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:
- Axiom smart contracts☆26Updated 2 years ago
- Breathe air☆25Updated last year
- A Brainfuck zkVM with Circom.☆60Updated 2 years ago
- 🦄 UniswapV3 fork that computes swaps off-chain in a zero-knowledge virtual machine☆84Updated 2 years ago
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- ☆30Updated 6 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated this week
- BigInt library for Aztec's noir language☆32Updated last year
- Rust implementation of KZG point evaluation☆34Updated 4 months ago
- 🔴 💬 A hack for the OP Stack enabling sequencer commitments.☆28Updated 2 years ago
- Implementing the Ethereum Virtual Machine from scratch & documenting the process☆24Updated 3 years ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated 2 years ago
- Writing MACI circuits in Noir☆16Updated 2 years ago
- 🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.☆52Updated last year
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆91Updated 2 years ago
- Solidity transient storage that's mutable from within a `STATICCALL`☆24Updated 7 months ago
- ☆30Updated last year
- Noir implementation of RSA-verify☆43Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated last year
- PoC of Revm execution in SGX☆79Updated 2 years ago
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated 9 months ago
- Ethereum stateless tools☆45Updated 7 months ago
- Spire Labs' litepaper (it's pretty based bro)☆16Updated last year
- OS for next iteration of the world computer☆43Updated 2 years ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆110Updated 8 months ago
- an introduction to noir, with simple examples☆44Updated last year
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆19Updated this week
- 🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.☆60Updated last year
- Cross-chain message testing for Arbitrum with Foundry☆67Updated 2 years ago
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆35Updated last year