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 1301 offene Issues indexiert

Reduce recursive verifier random coin overhead Offen

corelib recursive verifier

0xMiden/miden-vm#3239 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
falcon512_poseidon2: Polynomial zeroization is an unbacked promise, secret polynomial temporaries and encoded key buffers are never wiped Offen

0xMiden/miden-vm#3533 · 1 Kommentar · 1 Reaktion · 1 zugewiesene Person · Indexiert am 13.9.2026
Flag unused masm imports (exempt reachable `pub use`) Offen

assembly

0xMiden/miden-vm#3302 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Add a package first debug execution API Offen

debugging processor

0xMiden/miden-vm#3321 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
Consider including `pipe_elements_preimage_to_memory` in `miden::core::mem` Offen

core corelib

0xMiden/miden-vm#3362 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Fuzz deferred precompiles and bound hash/MSM evaluation cost Offen

0xMiden/miden-vm#3378 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Support executable dyn nodes in `MastForest` generation via a `MASM-level` generator Offen

0xMiden/miden-vm#3397 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Model public inputs per AIR in multi-AIR statements Offen

air prover

0xMiden/miden-vm#3410 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Repack precompiles-prover lookup columns after #3412 Offen

air precompiles prover

0xMiden/miden-vm#3417 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Simplify ACE codegen error handling Offen

air precompiles recursive verifier

0xMiden/miden-vm#3419 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Remove blanket impl of Host for all impls of SyncHost Offen

processor

0xMiden/miden-vm#3421 · 0 Kommentare · 1 Reaktion · 1 zugewiesene Person · Indexiert am 13.9.2026
Support LeanSig as a hash-based post-quantum application signature scheme Offen

corelib on hold

0xMiden/miden-vm#3439 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Define and enforce aggregate execution-proof resource limits Offen

prover

0xMiden/miden-vm#3458 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
perf(challenger): consider reimplementing in-house challenger Offen

corelib recursive verifier

0xMiden/miden-vm#3473 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Separate code loading from host library loading Offen

on hold

0xMiden/miden-vm#3477 · 4 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Remove no-op event handlers for readonly events Offen

debugging on hold

0xMiden/miden-vm#3593 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Windows checkout fails because generated snapshot paths exceed default path length Offen

0xMiden/miden-vm#3602 · 5 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
[Parent] Sparse Merkle forest: serialization, reconstruction, and commitment soundness Offen

merkle

0xMiden/miden-vm#3614 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
bug: version_cmp ignores prerelease labels, treats "1.5.0" and "1.5.0-alpha.3" as equal Offen

0xMiden/miden-vm#3654 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Printed procedure signatures and `@locals` attributes are invalid Masm Offen

0xMiden/miden-vm#3658 · 5 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
compile writes a .masb artifact that no other CLI command can read Offen

0xMiden/miden-vm#3660 · 6 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
word::gt / word::lt: internal accumulator variable is mislabeled in comments (swapped between the two procedures) Offen

documentation good first issue

0xMiden/miden-vm#3676 · 5 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Deeply nested constant expressions overflow the parser stack Offen

assembly

0xMiden/miden-vm#3680 · 2 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Deeply nested type expressions overflow the parser stack Offen

assembly

0xMiden/miden-vm#3681 · 2 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
docs: clarify coverage of the comprehensive instruction reference Offen

0xMiden/miden-vm#3705 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Run compiler advice-taint analysis over the core library in CI Offen

0xMiden/miden-vm#3710 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
bug: `--kernel` is silently ignored when running or proving a `.masp` package Offen

0xMiden/miden-vm#3728 · 1 Kommentar · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
bug: prove --proof writes the outputs file where verify will not look for it Offen

0xMiden/miden-vm#3737 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
EdDSA Ed25519 verification precompile Offen

corelib

0xMiden/miden-vm#3747 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Precompile AIR count reduction Offen

corelib

0xMiden/miden-vm#3748 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Precompile prover memory budget Offen

prover

0xMiden/miden-vm#3749 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Serialized execution witness proving service Offen

0xMiden/miden-vm#3750 · 1 Kommentar · 1 Reaktion · 1 zugewiesene Person · Indexiert am 13.9.2026
Display for a felt-sized push immediate byte-swaps the value Offen

0xMiden/miden-vm#3754 · 4 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Define a processor-independent native event-handler interface aligned with the Wasm ABI Offen

0xMiden/miden-vm#3761 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Validate deferred witnesses in Verifier::verify() Offen

0xMiden/miden-vm#3765 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Agree on Unicode versus ASCII in comments and documentation Offen

0xMiden/miden-vm#3776 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
perf(precompiles-prover): translate_uint/translate_ec re-traverse shared DAG subgraphs exponentially, causing trace duplication Offen

0xMiden/miden-vm#3787 · 2 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
bug: bundle defaults to a fixed "out.masp" instead of deriving the name from the root file Offen

0xMiden/miden-vm#3801 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Accelerate Eidos transcript grinding with WebGPU Offen

prover

0xMiden/miden-vm#3813 · 6 Kommentare · 2 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Make processor backward compatible Offen

0xMiden/miden-vm#3814 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Make ParsingError non-exhaustive in v0.33.0 Offen

0xMiden/miden-vm#3816 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Report MASM compatibility per procedure Offen

0xMiden/miden-vm#3817 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Unsupported @callconv forms break AST rendering round trips Offen

0xMiden/miden-vm#3820 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Stack overflow in `Document::has_leading_newline` on large document Offen

bug

0xMiden/miden-formatting#4 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
PrettyPrint for str and split join the first two lines together Offen

0xMiden/miden-formatting#8 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Payback note recipient is built with SWAPP.masm instead of P2ID.masm Offen

0xMiden/clob-example#5 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
match_orders compares inverted prices, accepting fills worse than the incoming limit Offen

0xMiden/clob-example#6 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Instructions table Offen

0xMiden/developer-playground#1 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Playground v0.2 Offen

0xMiden/developer-playground#2 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
accounts show error Offen

0xMiden/developer-playground#3 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026

0xMiden

Neue Issues direkt in Ihr Postfach