Reference implementation of the node for the Miden blockchain
☆91Updated this week
Alternatives and similar repositories for node
Users that are interested in node are comparing it to the libraries listed below
Sorting:
- Core components of the Miden protocol☆112Updated this week
- Compiler from Rust to Miden Assembly☆104Updated this week
- Cryptographic primitives used in Polygon Miden rollup☆132Updated this week
- Client library that facilitates interaction with the Miden blockchain☆61Updated this week
- STARK-based virtual machine☆728Feb 20, 2026Updated last week
- A domain-specific language for writing AIR constraints for STARKs☆94Feb 20, 2026Updated last week
- Examples of using Polygon Miden☆21Aug 25, 2025Updated 6 months ago
- NodeKit SEQ is a Shared Sequencer Subnet☆20Mar 4, 2025Updated 11 months ago
- ☆99Jul 17, 2025Updated 7 months ago
- A library for fast NTTs over the Goldilocks prime field☆80Sep 25, 2024Updated last year
- General purpose Blended Execution layer☆56Feb 14, 2026Updated 2 weeks ago
- ☆31Oct 27, 2025Updated 4 months ago
- Crypto Gadgets for Plonky2☆77May 16, 2024Updated last year
- Circuits for Pluto's `web-prover`☆25Apr 25, 2025Updated 10 months ago
- ☆15Nov 22, 2025Updated 3 months ago
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆65Jul 27, 2024Updated last year
- Extractable Witness Encryption for KZG Commitments☆32Nov 29, 2024Updated last year
- Reference implementation of the Cartesi Rollups Node☆28Updated this week
- ☆23Jun 12, 2025Updated 8 months ago
- Extracting the semantics of Noir to Lean for formal verification☆36Feb 20, 2026Updated last week
- Rust implementation of KZG point evaluation☆35Feb 16, 2026Updated last week
- Implementation of efficient function-hiding functional commitments https://eprint.iacr.org/2021/1342☆16Jan 5, 2023Updated 3 years ago
- Minimal Yul Transpilation to the Miden VM☆52Jan 27, 2023Updated 3 years ago
- Minimal Merkle Tree implementations☆31Jun 13, 2025Updated 8 months ago
- Fiat-Shamir for the masses.☆88Feb 14, 2026Updated 2 weeks ago
- A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.☆144Updated this week
- Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles☆155Updated this week
- ☆18Jul 16, 2025Updated 7 months ago
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆163Feb 12, 2025Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Jul 18, 2025Updated 7 months ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆177Mar 24, 2025Updated 11 months ago
- Rust implementation of the Agglayer.☆116Updated this week
- ☆65May 2, 2024Updated last year
- ☆221Jul 29, 2025Updated 7 months ago
- Efficient nibble-sized (4-bit) byte sequence data structure☆36Feb 11, 2026Updated 2 weeks ago
- An advanced fork of Nova (contact:@huitseeker)☆88Mar 3, 2025Updated 11 months ago
- https://eprint.iacr.org/2020/1516.pdf☆19Jan 2, 2023Updated 3 years ago
- Cairo-VM STONE STARK Verifier Rust implementation☆43Feb 4, 2025Updated last year
- An instantiation of the Poseidon hash for use with decaf377☆29Mar 6, 2025Updated 11 months ago