0xPolygonMiden / examples
Examples of using Polygon Miden
☆18Updated last month
Related projects ⓘ
Alternatives and complementary repositories for examples
- ZKM Development Template/Framework☆18Updated last week
- A ticking-blockchain built on top of the Optimism Bedrock rollup architecture☆23Updated last year
- ☆41Updated 7 months ago
- Repository for research on Suave.☆23Updated last year
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆25Updated 2 months ago
- Configuration and scripts for running Astria☆20Updated 3 months ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆21Updated 2 months ago
- Smart contracts for onchain verification of SP1.☆59Updated 3 weeks ago
- Development Kit for building Smart Account Modules☆64Updated last week
- A Solidity implementation of binary, sum, and sparse Merkle trees☆57Updated 7 months ago
- Extremely performant EVM oracle utilizing aggregated Schnorr signatures☆53Updated last month
- 🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.☆47Updated 10 months ago
- The most gas optimized ERC-4337 account - written in Huff☆42Updated last year
- CLI tool to develop Starknet projects written in Cairo☆56Updated 11 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆56Updated this week
- Transports, Middleware, and Networks for the OP Stack built on Alloy☆41Updated this week
- Sidecar to Enable Rollup Extensions☆55Updated this week
- Smart contracts for the Telepathy protocol☆74Updated 7 months ago
- Solmate-style Cairo ERC4626 Implementation☆46Updated last year
- My personal notebook for various zk-related topics☆48Updated 7 months ago
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆46Updated 2 years ago
- An awesome list of xERC20 resources.☆23Updated 3 weeks ago
- ☆59Updated last month
- ☆30Updated 3 weeks ago
- Noir implementation of BattleZips circuits☆27Updated last year
- ☆30Updated 9 months ago
- EIP-5164 implementation☆29Updated 9 months ago
- An Attestation Registry for securely using Smart Account Modules☆39Updated 2 weeks ago
- A toolkit for DAO-like governance on Starknet☆30Updated last month