0xMiden / examples
Examples of using Polygon Miden
☆20Updated 2 weeks ago
Alternatives and similar repositories for examples
Users that are interested in examples are comparing it to the libraries listed below
Sorting:
- ZKM Development Template/Framework☆25Updated last week
- ☆42Updated last year
- A ticking-blockchain built on top of the Optimism Bedrock rollup architecture☆23Updated 2 years ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 9 months ago
- A Solidity implementation of binary, sum, and sparse Merkle trees☆56Updated last year
- Bridge aTokens to Starknet☆44Updated 2 years ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Updated 2 months ago
- ☆40Updated 6 months ago
- High performance EraVM for zkSync.☆24Updated 3 weeks ago
- ☆51Updated last week
- Email verification circuit in halo2☆68Updated 10 months ago
- Template repository for zkLLVM-based projects☆19Updated last year
- Ethereum stateless tools☆46Updated last month
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆47Updated 2 years ago
- Repository for research on Suave.☆23Updated last year
- ☆21Updated 9 months ago
- A toolkit for DAO-like governance on Starknet☆30Updated 3 months ago
- Spire Labs' litepaper (it's pretty based bro)☆16Updated 6 months ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 2 months ago
- The PSE website☆22Updated last week
- Configuration and scripts for running Astria☆21Updated 9 months ago
- Smart contracts for onchain verification of SP1.☆89Updated 2 weeks ago
- CLI to verify your starknet contracts classes on block explorers!☆26Updated last month
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- Solidity verifier for Plonk☆42Updated 9 months ago
- Noir implementation of BattleZips circuits☆27Updated 2 years ago
- PoC of Revm execution in SGX☆80Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- ☆25Updated 2 months ago
- ☆31Updated last year