Propietario

0xMiden

40 repositorios indexados · Ver en GitHub

miden-vm
STARK-based virtual machine

Rust · 772 estrellas
protocol
Core components of the Miden protocol

Rust · 132 estrellas
compiler
Compiler from Rust to Miden Assembly

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

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

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

Rust · 78 estrellas
examples
Examples of using Polygon Miden

TypeScript · 21 estrellas
tutorials
Miden tutorials for a smooth onboarding

Rust · 18 estrellas
MultiSig
Building a MultiSig PoC

TypeScript · 12 estrellas
faucet
Token faucet application for Miden testnet

Rust · 10 estrellas
docs
Consolidated documentation for the Miden rollup

TypeScript · 10 estrellas
midenup

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

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

JavaScript · 6 estrellas
wallet

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

Rust · 4 estrellas
clob-example

Rust · 3 estrellas
turnkey-sdk
Miden x Turnkey

JavaScript · 3 estrellas
note-transport-service

Rust · 3 estrellas
zed-extension

Tree-sitter Query · 2 estrellas
20 repositorios más están en Ver en GitHub

Abierto Todos

1297 issues abiertos indexados

Add a Careers page, since we are hiring Abierto

0xMiden/homepage#13 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Update the homepage to collect email addresses from website visitors (according to the strategy) Abierto

0xMiden/homepage#14 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Fix social preview/thumbnail – nothing currently appears on X/TG/etc. when sharing a link to the website Abierto

0xMiden/homepage#15 · 1 comentario · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Improve SEO settings – the site doesn’t currently appear in search results for "Miden" Abierto

0xMiden/homepage#16 · 1 comentario · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Consider adding a clearer CTA (e.g. button or banner) on the Ecosystem page or at the top of the Pioneer Program page to highlight the application form link Abierto

0xMiden/homepage#17 · 0 comentarios · 0 reacciones · 1 asignado · Indexado el 13/9/2026
Suggest a new design for the explorer (Midenscan) Abierto

0xMiden/homepage#21 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Staging website review – September 2025 Abierto

0xMiden/homepage#33 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Improve IR tests Abierto

IR tests

0xMiden/air-script#7 · 0 comentarios · 0 reacciones · 1 asignado · Indexado el 13/9/2026
Add unit tests for codegen Abierto

tests

0xMiden/air-script#9 · 3 comentarios · 0 reacciones · 1 asignado · Indexado el 13/9/2026
identify & warn for identical periodic columns Abierto

0xMiden/air-script#31 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Refactor Periodic columns handling in IR and codegen Abierto

0xMiden/air-script#43 · 0 comentarios · 0 reacciones · 1 asignado · Indexado el 13/9/2026
Propagate comments from parser to generated rust code Abierto

on hold

0xMiden/air-script#66 · 4 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Recoverable Errors Abierto

on hold parser

0xMiden/air-script#88 · 2 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
add new built-in $x for accessing x value at each row Abierto

on hold

0xMiden/air-script#90 · 3 comentarios · 2 reacciones · 0 asignados · Indexado el 13/9/2026
Convert consts to field elements from u32 if possible Abierto

codegen

0xMiden/air-script#131 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Add support for preprocessed columns Abierto

0xMiden/air-script#135 · 3 comentarios · 1 reacción · 0 asignados · Indexado el 13/9/2026
Consider adding graph visualization utility for constraint graph Abierto

0xMiden/air-script#167 · 2 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Converting base field elements to extension filed elements in codegen Abierto

0xMiden/air-script#170 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Consider adding support for matrix rows as iterables in list comprehension Abierto

0xMiden/air-script#174 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Write constraints for the memory chiplet (excludes multiset check constraints) Abierto

MidenVM constraints

0xMiden/air-script#182 · 4 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Allow inbuilt variables as iterables in list and constraint comprehension Abierto

0xMiden/air-script#198 · 1 comentario · 0 reacciones · 1 asignado · Indexado el 13/9/2026
write MidenVM constraints for the stack u32 ops Abierto

MidenVM constraints

0xMiden/air-script#199 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
write MidenVM constraints for chiplets module (excludes multiset check constraints) Abierto

MidenVM constraints

0xMiden/air-script#201 · 0 comentarios · 0 reacciones · 1 asignado · Indexado el 13/9/2026
write MidenVM constraints for hasher chiplet (excludes multiset check constraints) Abierto

MidenVM constraints

0xMiden/air-script#202 · 0 comentarios · 0 reacciones · 1 asignado · Indexado el 13/9/2026
write MidenVM constraints for the decoder (general) Abierto

MidenVM constraints

0xMiden/air-script#206 · 0 comentarios · 0 reacciones · 1 asignado · Indexado el 13/9/2026
write MidenVM constraints for system (clk constraint) Abierto

MidenVM constraints

0xMiden/air-script#207 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
write MidenVM constraints for the stack (general) and determine operation flag handling Abierto

MidenVM constraints

0xMiden/air-script#209 · 0 comentarios · 0 reacciones · 1 asignado · Indexado el 13/9/2026
write MidenVM constraints for the decoder block stack table (multiset check constraints) Abierto

MidenVM constraints

0xMiden/air-script#210 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
write MidenVM constraints for the system trace (except the `clk` column) Abierto

MidenVM constraints

0xMiden/air-script#211 · 0 comentarios · 0 reacciones · 1 asignado · Indexado el 13/9/2026
Implement support for combination of constraint comprehension and selectors Abierto

0xMiden/air-script#220 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Allow inlined vectors as iterables in list and constraint comprehension Abierto

0xMiden/air-script#230 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Allow users to combine constraints applied on same selectors Abierto

0xMiden/air-script#231 · 0 comentarios · 1 reacción · 0 asignados · Indexado el 13/9/2026
Add IR tests Abierto

0xMiden/air-script#235 · 0 comentarios · 0 reacciones · 1 asignado · Indexado el 13/9/2026
modularity for boundary constraints Abierto

0xMiden/air-script#240 · 1 comentario · 2 reacciones · 0 asignados · Indexado el 13/9/2026
Write new memory constraints to check correctness Abierto

0xMiden/air-script#244 · 0 comentarios · 0 reacciones · 1 asignado · Indexado el 13/9/2026
Consider optionally allowing named segments as evaluator parameters Abierto

0xMiden/air-script#268 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Forbid name shadowing on comprehensions Abierto

0xMiden/air-script#273 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Treatment of duplicate integrity constraints Abierto

good first issue

0xMiden/air-script#275 · 4 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Stdlib for airscript Abierto

0xMiden/air-script#294 · 1 comentario · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Point and sequence assertions Abierto

0xMiden/air-script#313 · 1 comentario · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Sort public inputs by name Abierto

0xMiden/air-script#314 · 0 comentarios · 1 reacción · 0 asignados · Indexado el 13/9/2026
Sort boundary constraints Abierto

0xMiden/air-script#315 · 1 comentario · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Separation between Felt, Binary, and Integer types Abierto

parser

0xMiden/air-script#334 · 0 comentarios · 0 reacciones · 1 asignado · Indexado el 13/9/2026
Error if an evaluator column is unconstrained Abierto

0xMiden/air-script#346 · 0 comentarios · 1 reacción · 0 asignados · Indexado el 13/9/2026
Grammar accepts if/else blocks with an empty then branch Abierto

0xMiden/tree-sitter-masm#1 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Reproducible Build Abierto

0xMiden/air-script#347 · 0 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
Optimize Winterfell codegen in some expressions Abierto

0xMiden/air-script#354 · 0 comentarios · 1 reacción · 0 asignados · Indexado el 13/9/2026
Working example Miden VM with minimal set of constraints Abierto

MidenVM constraints

0xMiden/air-script#377 · 7 comentarios · 0 reacciones · 1 asignado · Indexado el 13/9/2026
Design and implement support multiple main traces Abierto

IR parser

0xMiden/air-script#379 · 2 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026
JSON output for Fabric VPU Abierto

codegen

0xMiden/air-script#381 · 2 comentarios · 0 reacciones · 0 asignados · Indexado el 13/9/2026

0xMiden

Recibe los nuevos issues en tu correo