phklive / awesome-midenView external linksLinks
A collection of awesome Miden links, resources and shiny things.
☆18Jun 12, 2025Updated 8 months ago
Alternatives and similar repositories for awesome-miden
Users that are interested in awesome-miden are comparing it to the libraries listed below
Sorting:
- A proof-of-concept implementation of KiloNova☆12Oct 15, 2024Updated last year
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- ☆49Updated this week
- ☆24Dec 21, 2024Updated last year
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Jul 13, 2025Updated 7 months ago
- Rust utilities for the ethereum attestation service.☆14Apr 6, 2024Updated last year
- zkSNARK full flow example in Go☆12Jun 3, 2020Updated 5 years ago
- ☆11Mar 19, 2024Updated last year
- Universal zero knowledge game engine based on PLONK☆13Feb 7, 2025Updated last year
- Noir support for Zed☆11May 3, 2024Updated last year
- RLN circuits in Noir☆13Nov 18, 2023Updated 2 years ago
- Types of information in the world that are digitally signed, along with projects that use zk proofs over these signatures☆27Feb 5, 2024Updated 2 years ago
- My talks on zk: Groth16, Plonk, and STARK☆12Aug 22, 2024Updated last year
- implentation of Ligerito☆19Nov 9, 2025Updated 3 months ago
- Aptos Keyless ZK circuit implementation in circom, together with a Rust-based ZK proving service☆20Updated this week
- Circom arithmetic circuits and concepts explained, in depth.☆31May 26, 2025Updated 8 months ago
- Latex classes for IACR publications.☆15Updated this week
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆13Feb 17, 2025Updated 11 months ago
- Efficient Anonymous Tokens with Private Metadata Bit☆15Mar 7, 2023Updated 2 years ago
- ☆18Jan 2, 2026Updated last month
- A Swiss knife for Noir☆16Feb 5, 2026Updated last week
- Binius circuits web demos☆14Dec 15, 2024Updated last year
- Compiler framework for ZK VMs☆35Aug 2, 2023Updated 2 years ago
- a noir library for multiparty computation primitives☆18Feb 5, 2026Updated last week
- Poseidon encryption in Typescript and circom (decryption only) on the BN254 elliptic curve☆13Jul 12, 2023Updated 2 years ago
- Miden tutorials for a smooth onboarding☆15Updated this week
- Plonkish Nova implementation along with advanced features☆16Dec 16, 2023Updated 2 years ago
- Anemoi: a Family of ZK-friendly Arithmetization Oriented Hash Functions☆14Jul 9, 2023Updated 2 years ago
- Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers☆14Jan 16, 2020Updated 6 years ago
- An implementation of Sangria☆17Jun 1, 2023Updated 2 years ago
- Solidity based prover for AWS Nitro enclave attestations☆24Dec 13, 2024Updated last year
- An implementation of a post quantum anonymous credential scheme☆16Dec 18, 2024Updated last year
- Compact linkable ring signatures. A modification on MLSAG.☆20May 10, 2020Updated 5 years ago
- ring-vrf ring proof v2.5☆20Jan 28, 2026Updated 2 weeks ago
- ☆17Jul 11, 2025Updated 7 months ago
- the race to mainnet-grade L1 zkEVMs☆136Updated this week
- An observatory fork of SP1☆77Feb 11, 2025Updated last year
- Rust crypto library for zero-knowledge proofs☆19Jan 14, 2026Updated 3 weeks ago