0xMiden / examplesLinks
Examples of using Polygon Miden
☆21Updated 4 months ago
Alternatives and similar repositories for examples
Users that are interested in examples are comparing it to the libraries listed below
Sorting:
- Use zk proofs of JWTs to authorize arbitrary transactions on chain. Soon to have scoped oauth'd session keys as well.☆23Updated 2 months ago
- Circom circuits used by the iden3 core protocol.☆92Updated 5 months ago
- Email verification circuit in halo2☆68Updated last year
- ZKM Development Template/Framework☆30Updated 5 months ago
- Template repository for zkLLVM-based projects☆19Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- Generates zero-knowledge proofs of Ethereum smart contract execution.☆41Updated 3 weeks ago
- Use https://twitter.prove.email to prove that you own a Twitter username, on-chain.☆49Updated 10 months ago
- Checkpoint is a library for indexing Ethereum and Starknet events and making it accessible through GraphQL.☆56Updated 2 months ago
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆102Updated last year
- ☆73Updated last year
- ☆42Updated 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…☆82Updated last month
- 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
- Specular Monorepo☆37Updated last year
- Cross-zk-rollup aggregation☆61Updated 2 years ago
- zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.☆46Updated 2 years ago
- Polynomials Identity Language☆68Updated last year
- Circom arithmetic circuits and concepts explained, in depth.☆31Updated 7 months ago
- Curated list of ZKML models and use cases made with Giza☆51Updated last year
- Finite Field Library in Javascript☆55Updated 3 months ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Updated 3 weeks ago
- Cryptographic primitives used in Polygon Miden rollup☆129Updated this week
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Updated 6 months ago
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆66Updated last year
- ☆61Updated 4 months ago
- ☆23Updated last year
- Core components of the Miden protocol☆99Updated this week
- My personal notebook for various zk-related topics☆48Updated 11 months ago