supernovahs / zk-sunadeLinks
Groth16 verifier on Arbitrum Stylus
☆25Updated last year
Alternatives and similar repositories for zk-sunade
Users that are interested in zk-sunade are comparing it to the libraries listed below
Sorting:
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆84Updated last year
- 🔴 💬 A hack for the OP Stack enabling sequencer commitments.☆28Updated last year
- Ethereum stateless tools☆45Updated 6 months ago
- an introduction to noir, with simple examples☆44Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated this week
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- Solidity contracts for a next-gen rollup system.☆69Updated last week
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆91Updated 2 years ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated last year
- Minimal template for using the Arbiter framework for simulations.☆46Updated 9 months ago
- A Brainfuck zkVM with Circom.☆59Updated 2 years ago
- Cross-chain message testing for Arbitrum with Foundry☆67Updated 2 years ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 11 months ago
- MEV Olympics☆44Updated 10 months ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated 2 years ago
- Breathe air☆25Updated last year
- Simple Proof of Concept demonstrating a 7683 + 7702 cross chain delegated transaction experience☆34Updated 10 months ago
- ☆27Updated 2 years ago
- Axiom smart contracts☆26Updated 2 years ago
- ☆23Updated last year
- Spire Labs' litepaper (it's pretty based bro)☆16Updated 11 months ago
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆28Updated last year
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated 8 months ago
- secp256k1 elliptic curve cryptography in pure Solidity for on- and offchain operations☆61Updated 2 months ago
- Macros + Primitives for PADE format☆29Updated 2 months ago
- Implementing the Ethereum Virtual Machine from scratch & documenting the process☆24Updated 2 years ago
- ☆30Updated last year
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆34Updated 11 months ago
- 🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.☆52Updated last year
- A collection of all the project ideas involving zk, blockchains & what not☆23Updated 2 years ago