zama-ai / fhevm-backendLinks
Execution service for FHE computations
☆23Updated 5 months ago
Alternatives and similar repositories for fhevm-backend
Users that are interested in fhevm-backend are comparing it to the libraries listed below
Sorting:
- Test suite for fhevm☆26Updated 5 months ago
- Threshold MPC protocols for FHE☆54Updated 3 months ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆135Updated last month
- ☆80Updated 10 months ago
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆46Updated 6 months ago
- TEE stack for Seismic☆17Updated 2 weeks ago
- ☆220Updated 3 months ago
- Translate circomlib into gnark☆17Updated last month
- ZK proofs for image authenticity☆47Updated last month
- ☆12Updated 2 years ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆184Updated this week
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆114Updated last year
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆66Updated this week
- Prototype implementations of various Collaborative zkSNARKs.☆131Updated 5 months ago
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆68Updated 10 months ago
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆13Updated 8 months ago
- A lattice-based non-interactive folding scheme written in Rust☆109Updated 2 weeks ago
- ☆109Updated 2 weeks ago
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆47Updated 11 months ago
- ElGamal encryption/decryption Circom2 circuits on the Baby Jubjub curve with TypeScript integration for input handling, testing, and benc…☆14Updated 2 years ago
- ☆130Updated 10 months ago
- A dapp SDK for the FHEVM protocol.☆57Updated this week
- ☆69Updated 11 months ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆64Updated 8 months ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆176Updated 7 months ago
- Multi-party computation libraries written in Rust 🦀☆279Updated this week
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆172Updated last month
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆56Updated 3 months ago
- Rust Code for CELPC☆20Updated 7 months ago
- A PoC repo for a HyperNova impl☆83Updated 2 years ago