automata-network / multi-prover-avs
Automata Multi-Prover AVS
☆11Updated 3 months ago
Alternatives and similar repositories for multi-prover-avs:
Users that are interested in multi-prover-avs are comparing it to the libraries listed below
- ☆17Updated 2 years ago
- Noir implementation of BattleZips circuits☆27Updated last year
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- Decentralized IPFS Pinning Service AVS☆13Updated 5 months ago
- A demo for validating Passkeys' signature in Solidity☆14Updated last year
- A ticking-blockchain built on top of the Optimism Bedrock rollup architecture☆23Updated 2 years ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆48Updated 2 months ago
- ☆42Updated last year
- ☆34Updated last year
- The most gas optimized ERC-4337 account - written in Huff☆46Updated last year
- Simple module to control a Safe via crosschain calls with Hashi☆28Updated 4 months ago
- Astraly Cairo Contracts☆39Updated 2 years ago
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- ☆40Updated 6 months ago
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆47Updated 2 years ago
- Concrete is a framework for building application-specific rollups on the OP Stack☆48Updated 7 months ago
- A circuit to verify the voice recovery process.☆49Updated 2 years ago
- storage proof made by sp1☆24Updated 7 months ago
- Email verification circuit in halo2☆68Updated 9 months ago
- Make compressed 4337 bundles swole again☆46Updated 10 months ago
- Hackathon for EthBogota - An Eth2 light client using Cannon verifyable computation☆30Updated 2 years ago
- Ethereum stateless tools☆46Updated last week
- ☆38Updated last year
- Spire Labs' litepaper (it's pretty based bro)☆16Updated 5 months ago
- ☆31Updated last year
- Collection of helpful smart contracts to build Suapps☆44Updated 4 months ago
- A capital-efficient Uniswap v4 liquidity bootstrapping pool (LBP) hooks contract☆56Updated last year
- Trust-minimized commitment pools with zkSNARKs☆39Updated 2 years ago
- Like Safe... but secret 🥷🏽☆59Updated 3 months ago
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆55Updated 2 years ago