0xPolygonMiden / examples
Examples of using Polygon Miden
☆17Updated 3 months ago
Alternatives and similar repositories for examples:
Users that are interested in examples are comparing it to the libraries listed below
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆82Updated last year
- CLI tool to develop Starknet projects written in Cairo☆56Updated last year
- A Solidity implementation of binary, sum, and sparse Merkle trees☆57Updated 9 months ago
- ZKM Development Template/Framework☆23Updated this week
- Smart contracts for the Telepathy protocol☆75Updated 9 months ago
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆82Updated this week
- ☆41Updated 9 months ago
- A ticking-blockchain built on top of the Optimism Bedrock rollup architecture☆23Updated 2 years ago
- Smart contracts for onchain verification of SP1.☆68Updated this week
- Repository for research on Suave.☆23Updated last year
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆46Updated 2 years ago
- ☆21Updated 5 months ago
- Sidecar to Enable Rollup Extensions☆62Updated 2 weeks ago
- This repo compiles .zkasm to a json ready for the zkExecutor☆31Updated 3 months ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆25Updated this week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 5 months ago
- Starknet Core Contract components in Cairo.☆26Updated last week
- ☆51Updated last year
- High performance EraVM for zkSync.☆23Updated 2 months ago
- ☆20Updated last month
- ☆24Updated 3 weeks ago
- ☆51Updated this week
- EigenLayer Rust Developer Tooling☆72Updated this week
- Email verification circuit in halo2☆66Updated 6 months ago
- Use ZK Email to do account recovery for any smart wallet, including 7579 and 4337 support.☆53Updated this week
- A EVM block proving backend in Cairo☆41Updated this week
- ☆15Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆73Updated this week
- Curated list of ZKML models and use cases made with Giza☆50Updated 7 months ago
- ☆34Updated 2 months ago