0xMiden / examplesLinks
Examples of using Polygon Miden
☆21Updated last week
Alternatives and similar repositories for examples
Users that are interested in examples are comparing it to the libraries listed below
Sorting:
- zkEVM proof generator reference written in Javascript☆80Updated 2 months ago
- ☆72Updated last year
- ☆60Updated last week
- CurveZero - Fixed rate USD loan protocol☆41Updated 3 years ago
- A Solidity implementation of binary, sum, and sparse Merkle trees☆56Updated last year
- Polynomials Identity Language☆68Updated last year
- Circom circuits used by the iden3 core protocol.☆90Updated last month
- ☆21Updated last year
- Template repository for zkLLVM-based projects☆19Updated last year
- Email verification circuit in halo2☆68Updated last year
- A ticking-blockchain built on top of the Optimism Bedrock rollup architecture☆24Updated 2 years ago
- ZKM Development Template/Framework☆26Updated 2 months ago
- Checkpoint is a library for indexing Ethereum and Starknet events and making it accessible through GraphQL.☆55Updated this week
- Specular Monorepo☆37Updated last year
- 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.☆27Updated 3 weeks ago
- Core components of the Miden protocol☆87Updated this week
- ☆42Updated last year
- This repo compiles .zkasm to a json ready for the zkExecutor☆31Updated 10 months ago
- ☆55Updated last year
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆92Updated 2 years ago
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆47Updated 2 years ago
- CLI tool to develop Starknet projects written in Cairo☆55Updated last year
- Curated list of ZKML models and use cases made with Giza☆49Updated last year
- My personal notebook for various zk-related topics☆48Updated 7 months ago
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- Extremely performant EVM oracle utilizing aggregated Schnorr signatures☆56Updated 2 months ago
- Noir implementation of BattleZips circuits☆27Updated 2 years ago
- Smart contracts for on-chain anonymous settlement.☆115Updated this week
- A stablecoin-based zkprotocol designed for simplicity, privacy and utility☆75Updated 11 months ago