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:
- Template repository for zkLLVM-based projects☆19Updated last year
- A Solidity implementation of binary, sum, and sparse Merkle trees☆56Updated last year
- A place to collect ZKJobs☆16Updated 4 years ago
- zkEVM proof generator reference written in Javascript☆81Updated 3 months ago
- ☆60Updated 3 weeks ago
- Email verification circuit in halo2☆68Updated last year
- Circom circuits used by the iden3 core protocol.☆91Updated 2 months ago
- Generates zero-knowledge proofs of Ethereum smart contract execution.☆40Updated last week
- CurveZero - Fixed rate USD loan protocol☆41Updated 3 years ago
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆47Updated 2 years ago
- ☆86Updated 2 years ago
- ☆42Updated last year
- Specular Monorepo☆37Updated last year
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆65Updated 11 months ago
- ZKM Development Template/Framework☆29Updated 2 months ago
- Use zk proofs of JWTs to authorize arbitrary transactions on chain. Soon to have scoped oauth'd session keys as well.☆22Updated last month
- ☆72Updated last year
- My personal notebook for various zk-related topics☆48Updated 8 months ago
- Smart contracts for the Telepathy protocol☆79Updated last year
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Updated last month
- zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.☆46Updated 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
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆84Updated last year
- ☆36Updated 2 years ago
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆92Updated 2 years ago
- Polynomials Identity Language☆68Updated last year
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆53Updated last year