supernovahs / zk-sunade
Groth16 verifier on Arbitrum Stylus
☆20Updated last year
Alternatives and similar repositories for zk-sunade:
Users that are interested in zk-sunade are comparing it to the libraries listed below
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆34Updated last month
- Breathe air☆22Updated 9 months ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated 9 months ago
- an introduction to noir, with simple examples☆43Updated last year
- A monorepo of reusable Noir circuits.☆31Updated this week
- Rust implementation of KZG point evaluation☆30Updated last month
- Axiom smart contracts☆26Updated last year
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated 10 months ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆31Updated 3 months ago
- Simple Proof of Concept demonstrating a 7683 + 7702 cross chain delegated transaction experience☆31Updated 2 months ago
- Implementing the Ethereum Virtual Machine from scratch & documenting the process☆23Updated 2 years ago
- Writing MACI circuits in Noir☆16Updated last year
- ZK Fault Proofs for Optimistic Rollups☆30Updated this week
- The first CHIP-8 zkvm☆17Updated 8 months ago
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆17Updated last year
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated last year
- Circuits for Pluto's `web-prover`☆19Updated last week
- Curta CTF #12☆20Updated last year
- Mutation testing tool for circom☆16Updated last year
- 🔥 flamegraphs for solidity☆35Updated 5 months ago
- secp256k1 elliptic curve cryptography in pure Solidity for on- and offchain operations☆60Updated last month
- Minimal template for using the Arbiter framework for simulations.☆45Updated last month
- Introduction to core development via CTF challenges☆40Updated 2 years ago
- Contains several examples and challenges to use Lambdaworks☆15Updated last year
- Noir implementation of BattleZips circuits☆27Updated last year
- RLN circuits in Circom☆29Updated 7 months ago
- ☆16Updated this week