0xMiden / examplesLinks
Examples of using Polygon Miden
☆21Updated last month
Alternatives and similar repositories for examples
Users that are interested in examples are comparing it to the libraries listed below
Sorting:
- ZKM Development Template/Framework☆25Updated last month
- Circom circuits used by the iden3 core protocol.☆90Updated last month
- ☆42Updated last year
- ☆72Updated last year
- ☆60Updated 8 months ago
- Template repository for zkLLVM-based projects☆19Updated last year
- Core components of the Miden protocol☆86Updated this week
- Polynomials Identity Language☆68Updated last year
- zkEVM proof generator reference written in Javascript☆80Updated 2 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- A system for managing privacy-preserving groups.☆77Updated 4 months ago
- Email verification circuit in halo2☆68Updated last year
- Cryptographic primitives used in Polygon Miden rollup☆114Updated last week
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆27Updated last month
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆133Updated last week
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated last month
- Monorepo for Summa Proof of Solvency Protocol☆98Updated 11 months ago
- ☆21Updated 11 months ago
- Generates a stark from a pil☆98Updated last year
- Reference implementation of the node for the Miden blockchain☆71Updated this week
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆65Updated 10 months ago
- EigenTrust - A distributed reputation system☆113Updated last year
- A Solidity library that authenticates that the user is a correct holder of the specific email address, and specify entirely in Solidity h…☆78Updated this week
- Use https://twitter.prove.email to prove that you own a Twitter username, on-chain.☆48Updated 5 months ago
- CurveZero - Fixed rate USD loan protocol☆41Updated 3 years ago
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆90Updated 2 years ago
- ZK Email in Noir☆74Updated 3 weeks ago
- Multi proof Aggregation for Zk SNARK on Ethereum☆62Updated 2 years ago
- A Solidity implementation of binary, sum, and sparse Merkle trees☆56Updated last year
- Smart contracts for the Telepathy protocol☆78Updated last year