Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption
☆51May 7, 2025Updated last year
Alternatives and similar repositories for circomlib-fhe
Users that are interested in circomlib-fhe are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆42Dec 4, 2023Updated 2 years ago
- Verifiable FHE with GKR☆27Oct 5, 2024Updated 2 years ago
- ☆12Apr 22, 2025Updated last year
- Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…☆11Oct 10, 2023Updated 3 years ago
- A ZKP-augmented fork of the OpenFHE library☆30Jul 6, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.☆86Apr 20, 2023Updated 3 years ago
- ☆84Jan 7, 2025Updated last year
- ☆12Jun 5, 2025Updated last year
- ☆11Apr 2, 2024Updated 2 years ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆114Mar 20, 2024Updated 2 years ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆23Jul 18, 2025Updated last year
- ☆13May 28, 2024Updated 2 years ago
- ☆30Mar 24, 2023Updated 3 years ago
- Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.☆15Aug 10, 2020Updated 6 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- verify cairo execution in Halo2☆15Sep 12, 2023Updated 3 years ago
- An example of how to build an end-to-end dApp with plonky2x☆22Aug 30, 2023Updated 3 years ago
- ☆14Oct 27, 2023Updated 3 years ago
- Monorepo for Summa Proof of Solvency Protocol☆99Aug 26, 2024Updated 2 years ago
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- A testing & development environment for Circom.☆118Updated this week
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆284Apr 26, 2026Updated 6 months ago
- ☆23Nov 1, 2023Updated 3 years ago
- A zero-knowledge protocol for anonymous interactions.☆13Aug 27, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- BFV implementation in Python☆27Jul 16, 2024Updated 2 years ago
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆56Dec 18, 2025Updated 10 months ago
- Benchmarks of popular zkVMs including Jolt☆64Apr 19, 2024Updated 2 years ago
- Circom Circuits Library for Machine Learning☆186Jun 19, 2024Updated 2 years ago
- Plonk verifier in solidity (using Commit api)☆22Jun 24, 2024Updated 2 years ago
- ☆67May 13, 2025Updated last year
- ☆24Mar 8, 2024Updated 2 years ago
- polynomial commitments from linear codes☆51Dec 13, 2024Updated last year
- A lattice-based non-interactive folding scheme written in Rust☆131May 1, 2026Updated 6 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆14Dec 13, 2024Updated last year
- ☆18Mar 28, 2023Updated 3 years ago
- A "Type 0" zkEVM☆12Jul 16, 2025Updated last year
- Easy setup for Halo2 ZK circuits☆16Jun 6, 2024Updated 2 years ago
- ☆34Jul 14, 2026Updated 3 months ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆229Updated this week
- ☆96Updated this week