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:
- ☆60Updated last month
- ☆72Updated last year
- ZKM Development Template/Framework☆30Updated 3 months ago
- Template repository for zkLLVM-based projects☆19Updated last year
- A Solidity implementation of binary, sum, and sparse Merkle trees☆56Updated 3 weeks ago
- Circom circuits used by the iden3 core protocol.☆91Updated 3 months ago
- zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.☆46Updated last year
- zkEVM proof generator reference written in Javascript☆82Updated 4 months ago
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆47Updated 3 years ago
- Generates zero-knowledge proofs of Ethereum smart contract execution.☆40Updated this week
- Use zk proofs of JWTs to authorize arbitrary transactions on chain. Soon to have scoped oauth'd session keys as well.☆22Updated last week
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- Polynomials Identity Language☆68Updated last year
- Specular Monorepo☆37Updated last year
- ☆86Updated 2 years ago
- CurveZero - Fixed rate USD loan protocol☆41Updated 3 years ago
- Checkpoint is a library for indexing Ethereum and Starknet events and making it accessible through GraphQL.☆55Updated this week
- ☆55Updated last year
- Cryptographic primitives used in Polygon Miden rollup☆121Updated this week
- Email verification circuit in halo2☆68Updated last year
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Updated 4 months ago
- ☆42Updated last year
- A place to collect ZKJobs☆16Updated 4 years ago
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆65Updated last year
- Smart contracts for the Telepathy protocol☆79Updated last year
- zkGames is a platform that allows users to play zk (zero knowledge) games and mint an NFT as proof that they have won.☆69Updated 3 years ago
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆101Updated 10 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 this week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Updated this week