Propriétaire

0xMiden

40 dépôts indexés · Voir sur GitHub

miden-vm
STARK-based virtual machine

Rust · 772 étoiles
protocol
Core components of the Miden protocol

Rust · 132 étoiles
compiler
Compiler from Rust to Miden Assembly

Rust · 115 étoiles
node
Reference implementation of the node for the Miden blockchain

Rust · 104 étoiles
air-script
A domain-specific language for writing AIR constraints for STARKs

Rust · 96 étoiles
rust-sdk
Client library that facilitates interaction with the Miden blockchain

Rust · 78 étoiles
examples
Examples of using Polygon Miden

TypeScript · 21 étoiles
tutorials
Miden tutorials for a smooth onboarding

Rust · 18 étoiles
MultiSig
Building a MultiSig PoC

TypeScript · 12 étoiles
faucet
Token faucet application for Miden testnet

Rust · 10 étoiles
docs
Consolidated documentation for the Miden rollup

TypeScript · 10 étoiles
midenup

Rust · 8 étoiles
agentic-template
Mono repo template for agentic assisted full-stack development on Miden

Shell · 7 étoiles
para-sdk
The Miden x Para SDK integration

JavaScript · 6 étoiles
wallet

TypeScript · 5 étoiles
golden-dkg
Golden DKG: distributed key generation and eVRF over a generic group abstraction

Rust · 4 étoiles
clob-example

Rust · 3 étoiles
turnkey-sdk
Miden x Turnkey

JavaScript · 3 étoiles
note-transport-service

Rust · 3 étoiles
zed-extension

Tree-sitter Query · 2 étoiles
20 autres dépôts se trouvent sur Voir sur GitHub

Ouverte Toutes

1301 issues ouvertes indexées

ACE: Handle arbitrary degree AIRs Ouverte

codegen

0xMiden/air-script#391 · 0 commentaires · 0 réactions · 1 personne assignée · Indexée le 13/9/2026
ACE: Handle single row constraints Ouverte

0xMiden/air-script#392 · 0 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Add `no_std` support Ouverte

0xMiden/air-script#393 · 0 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Busses: generate powers of auxiliary random values Ouverte

0xMiden/air-script#397 · 2 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Change list comprehensions' body from ScalarExpr to Expr Ouverte

0xMiden/air-script#407 · 0 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Test ACE layout Ouverte

tests

0xMiden/air-script#421 · 0 commentaires · 1 réaction · 0 personnes assignées · Indexée le 13/9/2026
Revised bus boundary constraints Ouverte

0xMiden/air-script#422 · 9 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Enforce selector rules for match statements Ouverte

0xMiden/air-script#428 · 0 commentaires · 1 réaction · 0 personnes assignées · Indexée le 13/9/2026
Allow bus operations to be defined without a selector Ouverte

0xMiden/air-script#430 · 1 commentaire · 1 réaction · 0 personnes assignées · Indexée le 13/9/2026
Refine type inference Ouverte

IR

0xMiden/air-script#432 · 11 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Add support for more general boundary constraints Ouverte

on hold

0xMiden/air-script#433 · 9 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Document usage of pure functions Ouverte

documentation

0xMiden/air-script#436 · 0 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Remove the `$main` keyword Ouverte

0xMiden/air-script#441 · 0 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Refactor lowering from MIR to AIR Ouverte

0xMiden/air-script#445 · 0 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Consider moving MIR's constant propagation to the AIR Ouverte

IR

0xMiden/air-script#446 · 0 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Add an AIR pass for Algebraic expressions optimization Ouverte

IR

0xMiden/air-script#448 · 0 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Implement Plonky3 `AirBuilder` main trace constraints code generation Ouverte

codegen

0xMiden/air-script#450 · 1 commentaire · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
[Mir] Consider using direct computed indices for TraceAccess and PublicInputAccess Ouverte

0xMiden/air-script#452 · 0 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Improve `Let` statements lowering in MIR Ouverte

0xMiden/air-script#454 · 0 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Miden VM Constraints Implementation in AirScript DSL Ouverte

0xMiden/air-script#455 · 2 commentaires · 2 réactions · 0 personnes assignées · Indexée le 13/9/2026
Unify all testing Airs Ouverte

0xMiden/air-script#456 · 0 commentaires · 1 réaction · 0 personnes assignées · Indexée le 13/9/2026
Initial structure with minimal example Ouverte

0xMiden/air-script#463 · 0 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Update Bitwise chiplet constraints Ouverte

0xMiden/air-script#465 · 0 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Update Hasher chiplet constraints Ouverte

0xMiden/air-script#467 · 1 commentaire · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Express and check expression degree Ouverte

0xMiden/air-script#474 · 0 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Randomize checking of each optimization pass Ouverte

0xMiden/air-script#475 · 0 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Consider adding a fold + reverse operations Ouverte

0xMiden/air-script#481 · 1 commentaire · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Consider using a more optimal way to combine the limbs in the btiwise chiplet constraints Ouverte

MidenVM constraints

0xMiden/air-script#482 · 0 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Making use of `assert_bools` in Plonky3 Ouverte

codegen

0xMiden/air-script#483 · 2 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
The "enf match" pattern and the current chiplets design Ouverte

0xMiden/air-script#485 · 0 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Vector Slice Expansion in Evaluator Calls Ouverte

IR

0xMiden/air-script#486 · 0 commentaires · 0 réactions · 1 personne assignée · Indexée le 13/9/2026
Improve `periodic_column` usage in Plonky3 backend Ouverte

codegen

0xMiden/air-script#492 · 0 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
nested slices break the parser and some Middle IR assumptions Ouverte

IR parser

0xMiden/air-script#502 · 0 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Potential Mir improvements Ouverte

0xMiden/air-script#504 · 0 commentaires · 1 réaction · 0 personnes assignées · Indexée le 13/9/2026
Avoid Matrix Construct in MDS Multiplication Ouverte

0xMiden/air-script#506 · 2 commentaires · 1 réaction · 0 personnes assignées · Indexée le 13/9/2026
Allow buses .first and .last to be set to a variable length public input. Ouverte

0xMiden/air-script#518 · 0 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
[Plonky3 Codegen] Support Aux trace generation for logup Ouverte

0xMiden/air-script#519 · 0 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
[Plonky3 Codegen] Investigate impact of aux trace generation on CSE pass Ouverte

0xMiden/air-script#521 · 0 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
[Plonky3 Codegen] Improve the usage of `build_aux_trace_with_miden_vm` Ouverte

0xMiden/air-script#522 · 0 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Remove `fmp` and `in_syscall` columns Ouverte

0xMiden/air-script#529 · 0 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Compare constraints evaluation on winterfell and plonky3 Ouverte

tests

0xMiden/air-script#532 · 0 commentaires · 0 réactions · 1 personne assignée · Indexée le 13/9/2026
[Plonky3 Codegen] Expression de-duplication in generated constraints Ouverte

0xMiden/air-script#534 · 0 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
[Plonky3 Codegen] Propagate tagging to Plonky3 generated constraints Ouverte

0xMiden/air-script#555 · 0 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Create a Figma that defines the frontend the the flow Ouverte

0xMiden/MultiSig#1 · 3 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Analyse missing features to implement the end to end user flow Ouverte

0xMiden/MultiSig#2 · 1 commentaire · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
TransactionGuard (policy checks before transaction execution) Ouverte

0xMiden/MultiSig#10 · 0 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Revisit the single- vs. multi- account `MultisigClient` Ouverte

0xMiden/MultiSig#11 · 0 commentaires · 0 réactions · 0 personnes assignées · Indexée le 13/9/2026
Initial observation on the platform Ouverte

0xMiden/MultiSig#15 · 4 commentaires · 1 réaction · 0 personnes assignées · Indexée le 13/9/2026
Use Mockchain to test multisig actions Ouverte

enhancement

0xMiden/MultiSig#21 · 0 commentaires · 0 réactions · 1 personne assignée · Indexée le 13/9/2026
RFC: Unified Private State Manager (PSM) Architecture for Multisig Accounts Ouverte

enhancement

0xMiden/MultiSig#22 · 4 commentaires · 0 réactions · 1 personne assignée · Indexée le 13/9/2026

0xMiden

Recevez les nouvelles issues par e-mail