オーナー
0xMiden
索引済みのリポジトリ 40 件 · GitHub で見る
-
miden-vm
STARK-based virtual machine
Rust · スター 772 個
-
protocol
Core components of the Miden protocol
Rust · スター 132 個
-
compiler
Compiler from Rust to Miden Assembly
Rust · スター 115 個
-
node
Reference implementation of the node for the Miden blockchain
Rust · スター 104 個
-
air-script
A domain-specific language for writing AIR constraints for STARKs
Rust · スター 96 個
-
rust-sdk
Client library that facilitates interaction with the Miden blockchain
Rust · スター 78 個
-
examples
Examples of using Polygon Miden
TypeScript · スター 21 個
-
tutorials
Miden tutorials for a smooth onboarding
Rust · スター 18 個
-
MultiSig
Building a MultiSig PoC
TypeScript · スター 12 個
-
faucet
Token faucet application for Miden testnet
Rust · スター 10 個
-
docs
Consolidated documentation for the Miden rollup
TypeScript · スター 10 個
-
Rust · スター 8 個
-
agentic-template
Mono repo template for agentic assisted full-stack development on Miden
Shell · スター 7 個
-
para-sdk
The Miden x Para SDK integration
JavaScript · スター 6 個
-
TypeScript · スター 5 個
-
golden-dkg
Golden DKG: distributed key generation and eVRF over a generic group abstraction
Rust · スター 4 個
-
Rust · スター 3 個
-
turnkey-sdk
Miden x Turnkey
JavaScript · スター 3 個
-
Rust · スター 3 個
-
Tree-sitter Query · スター 2 個
- ほか 20 件のリポジトリは GitHub で見る にあります
-
corelib recursive verifier
-
assembly
-
debugging processor
-
core corelib
-
air prover
-
air precompiles prover
-
air precompiles recursive verifier
-
processor
-
corelib on hold
-
prover
-
corelib recursive verifier
-
on hold
-
debugging on hold
-
merkle
-
documentation good first issue
-
assembly
-
assembly
-
corelib
-
corelib
-
prover
-
prover
-
bug
0xMiden/miden-formatting#4 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
0xMiden/miden-formatting#8 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
0xMiden/clob-example#5 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
0xMiden/clob-example#6 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
Instructions table オープン
0xMiden/developer-playground#1 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
Playground v0.2 オープン
0xMiden/developer-playground#2 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
accounts show error オープン
0xMiden/developer-playground#3 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
0xMiden/developer-playground#4 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·