supernovahs / zk-sunade
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
- Cross-chain message testing for Arbitrum with Foundry☆66Updated 2 years ago
- Simple Proof of Concept demonstrating a 7683 + 7702 cross chain delegated transaction experience☆33Updated 4 months ago
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- Breathe air☆23Updated 11 months ago
- Minimal template for using the Arbiter framework for simulations.☆46Updated 3 months ago
- an introduction to noir, with simple examples☆45Updated last year
- Axiom smart contracts☆26Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- 🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.☆56Updated last year
- Ethereum stateless tools☆46Updated last week
- Macros + Primitives for PADE format☆29Updated this week
- Huffidity, but let's you jump back to Solidity runtime execution from Huff runtime execution.☆32Updated last year
- ☆23Updated 7 months ago
- ☀️ SUAVE Alpha Protocol Specifications☆38Updated 6 months ago
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated last year
- The most gas optimized ERC-4337 account - written in Huff☆46Updated last year
- Keccak-f[1600] permutation in the EVM☆27Updated 2 months ago
- Hyper-Optimised Secp256r1/P256 Verifier Huff Implementation☆26Updated last year
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- Proof of slashed validator inside the EVM☆20Updated 11 months ago
- An EVM low-level language that gives full control over the control flow of the smart contract.☆26Updated 9 months ago
- secp256k1 elliptic curve cryptography in pure Solidity for on- and offchain operations☆61Updated last month
- Safer than SafeMath. Goes up to 11!☆37Updated this week
- Learn Cairo and StarkNet Smart Contract programming with example code☆22Updated 2 years ago
- The goal of this project is to automatically generate stack comments for huff macros☆50Updated last year
- Project starter template for writing Arbitrum Stylus programs in Rust☆47Updated 2 weeks ago
- 🔴 💬 A hack for the OP Stack enabling sequencer commitments.☆28Updated last year
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- Execute programs from forge with an open 2-way communication channel between both☆56Updated 10 months ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated 11 months ago