automata-network / multi-prover-avsLinks
Automata Multi-Prover AVS
☆12Updated 10 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
Sorting:
- Noir implementation of BattleZips circuits☆28Updated 2 years ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated 2 years ago
- Base64 encoding for Aztec's noir language☆16Updated last year
- A Noir library for Exponential ElGamal Encryption on the Baby Jubjub curve☆11Updated 2 years ago
- ☆16Updated last year
- RLN circuits in Noir☆12Updated 2 years ago
- A monorepo of reusable contracts for zero-knowledge technologies.☆16Updated 5 months ago
- Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…☆60Updated 2 years ago
- Email verification circuit in halo2☆68Updated last year
- ☆39Updated last year
- ☆13Updated 2 years ago
- Ethereum stateless tools☆45Updated 7 months ago
- A Solidity AST processor for transpiling Solidity smart contracts into Github's Mermaid.js language for diagramming.☆27Updated 2 years ago
- an introduction to noir, with simple examples☆44Updated last year
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆47Updated 3 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated 2 years ago
- 🦄 UniswapV3 fork that computes swaps off-chain in a zero-knowledge virtual machine☆84Updated 2 years ago
- Cutting edge on-chain dark pool☆19Updated 2 months ago
- storage proof made by sp1☆25Updated last year
- Breathe air☆25Updated last year
- CLI tool to develop Starknet projects written in Cairo☆55Updated 2 years ago
- JWT verification with zero knowledge proofs☆50Updated last year
- An efficient implementation of ECDSA on secp256r1 in Cairo☆23Updated 2 years ago
- Basic Noir private proof of membership☆90Updated 8 months ago
- The most gas optimized ERC-4337 account - written in Huff☆42Updated 2 years ago
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- A Noir circuit that mimics Solidity's ecrecover☆63Updated last month
- Share private EVM state attestations using STARK proofs☆73Updated 3 years ago
- ☆26Updated last month
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆93Updated 2 years ago