fairmath / openfhe-rs
OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/
☆29Updated last month
Related projects ⓘ
Alternatives and complementary repositories for openfhe-rs
- ☆15Updated this week
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆34Updated 11 months ago
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆23Updated last year
- An elastic proof system based on arkworks☆76Updated 11 months ago
- ☆23Updated 2 months ago
- lattice-based zkSNARKs over libsnark [ISW21]☆28Updated last month
- Argument systems for inner pairing products☆41Updated 3 months ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆37Updated 4 years ago
- Libra zero knowledge proof system☆48Updated last year
- The instance generator of the Vision and Rescue block ciphers.☆16Updated 2 years ago
- A ZKP-augmented fork of the OpenFHE library☆12Updated 4 months ago
- ☆42Updated 3 years ago
- A framework for SPDZ-style maliciously-secure MPC.☆48Updated 2 weeks ago
- Verifiable FHE prototype☆17Updated 3 months ago
- ZPrize 2022 - All qualified entries☆52Updated last year
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- ECFFT in Rust☆55Updated last year
- ☆17Updated last month
- A basic implementation of Yao's Garbled Circuits☆30Updated 2 years ago
- Prototype implementations of various Collaborative zkSNARKs.☆110Updated 8 months ago
- Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.☆42Updated 2 weeks ago
- Rust implementation for zcash/pasta☆81Updated 11 months ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Updated last year
- ☆70Updated 3 months ago
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆50Updated last week
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆57Updated 3 years ago
- An implementation of ZKBoo☆33Updated 2 years ago
- C++ implementation of VSS using LWE encryption and proofs☆15Updated 3 years ago
- toy implementation of bfv in rust☆26Updated 2 years ago
- ☆40Updated 3 months ago