0xMiden / examplesLinks
Examples of using Polygon Miden
☆21Updated 2 months ago
Alternatives and similar repositories for examples
Users that are interested in examples are comparing it to the libraries listed below
Sorting:
- Template repository for zkLLVM-based projects☆19Updated last year
- Circom circuits used by the iden3 core protocol.☆91Updated 3 months ago
- zkEVM proof generator reference written in Javascript☆82Updated 5 months ago
- Polynomials Identity Language☆68Updated last year
- ZKM Development Template/Framework☆29Updated 4 months ago
- A place to collect ZKJobs☆16Updated 4 years ago
- CurveZero - Fixed rate USD loan protocol☆41Updated 3 years ago
- Smart contracts for the Telepathy protocol☆79Updated last year
- Email verification circuit in halo2☆68Updated last year
- A Solidity implementation of binary, sum, and sparse Merkle trees☆56Updated last month
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆65Updated last year
- ☆61Updated 2 months ago
- Checkpoint is a library for indexing Ethereum and Starknet events and making it accessible through GraphQL.☆55Updated last week
- ☆86Updated 2 years ago
- ☆73Updated last year
- Use zk proofs of JWTs to authorize arbitrary transactions on chain. Soon to have scoped oauth'd session keys as well.☆23Updated last month
- Core components of the Miden protocol☆91Updated last week
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Updated 4 months ago
- Monorepo for Summa Proof of Solvency Protocol☆99Updated last year
- Use https://twitter.prove.email to prove that you own a Twitter username, on-chain.☆49Updated 8 months ago
- A Solidity library that authenticates that the user is a correct holder of the specific email address, and specify entirely in Solidity h…☆82Updated 3 weeks ago
- Curated list of ZKML models and use cases made with Giza☆51Updated last year
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆55Updated last year
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- group signatures implemented with zkSNARKs☆85Updated 3 years ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Updated this week
- ☆43Updated last year
- Generates zero-knowledge proofs of Ethereum smart contract execution.☆41Updated last week
- Cryptographic primitives used in Polygon Miden rollup☆120Updated this week
- JavaScript SDK for StarkEx☆32Updated 2 years ago