Automata Multi-Prover AVS
☆12Jan 17, 2025Updated last year
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:
- ☆28Oct 31, 2025Updated 4 months ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- Efficient Anonymous Tokens with Private Metadata Bit☆15Mar 7, 2023Updated 2 years ago
- TEE stack for Seismic☆17Feb 25, 2026Updated last week
- Implementation of efficient function-hiding functional commitments https://eprint.iacr.org/2021/1342☆17Jan 5, 2023Updated 3 years ago
- openzepplin smart contracts written in rust for arbritum stylus☆13Apr 20, 2024Updated last year
- A monorepo of reusable contracts for zero-knowledge technologies.☆20Jun 12, 2025Updated 8 months ago
- ☆21Feb 19, 2026Updated 2 weeks ago
- An MCP server for the NEAR blockchain☆25May 4, 2025Updated 10 months ago
- Go implementation of Merkle Tree Certificates☆25Nov 5, 2025Updated 4 months ago
- Read dex state (e.g. Uniswap) from reth db☆30Oct 20, 2024Updated last year
- ☆23Jun 12, 2025Updated 8 months ago
- Mozak RISC-V Virtual Machine☆25Mar 24, 2025Updated 11 months ago
- A Rust library for proof-carrying disclosures☆23Apr 10, 2024Updated last year
- Groth16 verifier on Arbitrum Stylus☆25Dec 10, 2023Updated 2 years ago
- Rust library for accumulation schemes☆25Jan 24, 2023Updated 3 years ago
- A circom library for zero-knowledge proofs of symmetric encryption key ownership without key revelation.☆28Feb 27, 2026Updated last week
- ☆32Feb 14, 2026Updated 2 weeks ago
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆29Jul 29, 2025Updated 7 months ago
- Based on https://eprint.iacr.org/2022/1510☆26Oct 20, 2024Updated last year
- Template repository for a CG proposal or work item.☆17Aug 30, 2024Updated last year
- ☆26Nov 15, 2023Updated 2 years ago
- The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using R…☆28Dec 20, 2024Updated last year
- Opinionated Rust implementation of the Uniswap V4 SDK with a focus on readability and performance☆34Updated this week
- ☆28Sep 18, 2024Updated last year
- A threshold encryption framework for L1 & L2 EVM-compatible chains.☆40Updated this week
- ☆28Jun 18, 2024Updated last year
- Witness encryption for KZG openings☆33Nov 6, 2024Updated last year
- Simple Proof of Concept demonstrating a 7683 + 7702 cross chain delegated transaction experience☆34Dec 9, 2024Updated last year
- Diamond iO implementation https://eprint.iacr.org/2025/236☆91Sep 19, 2025Updated 5 months ago
- A silent threshold encryption scheme, which does not require any interaction during the setup phase☆38Jun 16, 2025Updated 8 months ago
- Crescent adds privacy to existing credentials with zero-knowledge☆46Sep 4, 2025Updated 6 months ago
- client side proving☆39Mar 12, 2025Updated 11 months ago
- Hyper-parallel ZK coprocessing.☆17Aug 29, 2025Updated 6 months ago
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Feb 25, 2026Updated last week
- An Automatic Tool to Search for Full Impossible-Differential, Zero-Correlation and Integral Attacks☆12Nov 12, 2024Updated last year
- ☆13Updated this week
- developer API for MEM functions☆32Nov 28, 2023Updated 2 years ago
- This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems☆50Updated this week