Owner

0xMiden

40 indexierte Repositories · Auf GitHub ansehen

miden-vm
STARK-based virtual machine

Rust · 772 Sterne
protocol
Core components of the Miden protocol

Rust · 132 Sterne
compiler
Compiler from Rust to Miden Assembly

Rust · 115 Sterne
node
Reference implementation of the node for the Miden blockchain

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

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

Rust · 78 Sterne
examples
Examples of using Polygon Miden

TypeScript · 21 Sterne
tutorials
Miden tutorials for a smooth onboarding

Rust · 18 Sterne
MultiSig
Building a MultiSig PoC

TypeScript · 12 Sterne
faucet
Token faucet application for Miden testnet

Rust · 10 Sterne
docs
Consolidated documentation for the Miden rollup

TypeScript · 10 Sterne
midenup

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

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

JavaScript · 6 Sterne
wallet

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

Rust · 4 Sterne
clob-example

Rust · 3 Sterne
turnkey-sdk
Miden x Turnkey

JavaScript · 3 Sterne
note-transport-service

Rust · 3 Sterne
zed-extension

Tree-sitter Query · 2 Sterne
20 weitere Repositories liegen auf Auf GitHub ansehen

Offen Alle

Bisher 1297 offene Issues indexiert

feat: Export Rust structs representing the trace layout Offen

0xMiden/air-script#384 · 1 Kommentar · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
Ensure Winterfell generated codegen can be proven and verified Offen

tests

0xMiden/air-script#390 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
ACE: Handle arbitrary degree AIRs Offen

codegen

0xMiden/air-script#391 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
ACE: Handle single row constraints Offen

0xMiden/air-script#392 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Add `no_std` support Offen

0xMiden/air-script#393 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Busses: generate powers of auxiliary random values Offen

0xMiden/air-script#397 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Change list comprehensions' body from ScalarExpr to Expr Offen

0xMiden/air-script#407 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Test ACE layout Offen

tests

0xMiden/air-script#421 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
Revised bus boundary constraints Offen

0xMiden/air-script#422 · 9 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Enforce selector rules for match statements Offen

0xMiden/air-script#428 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
Allow bus operations to be defined without a selector Offen

0xMiden/air-script#430 · 1 Kommentar · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
Refine type inference Offen

IR

0xMiden/air-script#432 · 11 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Add support for more general boundary constraints Offen

on hold

0xMiden/air-script#433 · 9 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Document usage of pure functions Offen

documentation

0xMiden/air-script#436 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Remove the `$main` keyword Offen

0xMiden/air-script#441 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Refactor lowering from MIR to AIR Offen

0xMiden/air-script#445 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Consider moving MIR's constant propagation to the AIR Offen

IR

0xMiden/air-script#446 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Add an AIR pass for Algebraic expressions optimization Offen

IR

0xMiden/air-script#448 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Implement Plonky3 `AirBuilder` main trace constraints code generation Offen

codegen

0xMiden/air-script#450 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
[Mir] Consider using direct computed indices for TraceAccess and PublicInputAccess Offen

0xMiden/air-script#452 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Improve `Let` statements lowering in MIR Offen

0xMiden/air-script#454 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Miden VM Constraints Implementation in AirScript DSL Offen

0xMiden/air-script#455 · 2 Kommentare · 2 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Unify all testing Airs Offen

0xMiden/air-script#456 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
Initial structure with minimal example Offen

0xMiden/air-script#463 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Update Bitwise chiplet constraints Offen

0xMiden/air-script#465 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Update Hasher chiplet constraints Offen

0xMiden/air-script#467 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Express and check expression degree Offen

0xMiden/air-script#474 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Randomize checking of each optimization pass Offen

0xMiden/air-script#475 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Consider adding a fold + reverse operations Offen

0xMiden/air-script#481 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Consider using a more optimal way to combine the limbs in the btiwise chiplet constraints Offen

MidenVM constraints

0xMiden/air-script#482 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Making use of `assert_bools` in Plonky3 Offen

codegen

0xMiden/air-script#483 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
The "enf match" pattern and the current chiplets design Offen

0xMiden/air-script#485 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Vector Slice Expansion in Evaluator Calls Offen

IR

0xMiden/air-script#486 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Improve `periodic_column` usage in Plonky3 backend Offen

codegen

0xMiden/air-script#492 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
nested slices break the parser and some Middle IR assumptions Offen

IR parser

0xMiden/air-script#502 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Potential Mir improvements Offen

0xMiden/air-script#504 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
Avoid Matrix Construct in MDS Multiplication Offen

0xMiden/air-script#506 · 2 Kommentare · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
Allow buses .first and .last to be set to a variable length public input. Offen

0xMiden/air-script#518 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
[Plonky3 Codegen] Support Aux trace generation for logup Offen

0xMiden/air-script#519 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
[Plonky3 Codegen] Investigate impact of aux trace generation on CSE pass Offen

0xMiden/air-script#521 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
[Plonky3 Codegen] Improve the usage of `build_aux_trace_with_miden_vm` Offen

0xMiden/air-script#522 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Remove `fmp` and `in_syscall` columns Offen

0xMiden/air-script#529 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Compare constraints evaluation on winterfell and plonky3 Offen

tests

0xMiden/air-script#532 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
[Plonky3 Codegen] Expression de-duplication in generated constraints Offen

0xMiden/air-script#534 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
[Plonky3 Codegen] Propagate tagging to Plonky3 generated constraints Offen

0xMiden/air-script#555 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Create a Figma that defines the frontend the the flow Offen

0xMiden/MultiSig#1 · 3 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Analyse missing features to implement the end to end user flow Offen

0xMiden/MultiSig#2 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
TransactionGuard (policy checks before transaction execution) Offen

0xMiden/MultiSig#10 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Revisit the single- vs. multi- account `MultisigClient` Offen

0xMiden/MultiSig#11 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Initial observation on the platform Offen

0xMiden/MultiSig#15 · 4 Kommentare · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026

0xMiden

Neue Issues direkt in Ihr Postfach