jellevos / oraqle
A depth-aware secure computation compiler
☆10Updated this week
Alternatives and similar repositories for oraqle:
Users that are interested in oraqle are comparing it to the libraries listed below
- ☆17Updated 2 months ago
- A ZKP-augmented fork of the OpenFHE library☆14Updated 6 months ago
- OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/☆31Updated 3 months ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆37Updated last year
- Polycircuit is an FHE components library built via FHERMA competitions☆16Updated last month
- lattice-based zkSNARKs over libsnark [ISW21]☆30Updated 3 months ago
- ☆23Updated 2 years ago
- Elliptic curve search experiments☆35Updated last year
- ☆27Updated 4 months ago
- Scripts to generate data for security parameters constraints section☆11Updated last month
- Polymath: Groth16 Is Not The Limit☆29Updated 4 months ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 2 years ago
- A library for lattice-based multiparty homomorphic encryption in Go☆12Updated last month
- A rusty implementation of the Caulk+ lookup algorithm.☆12Updated 2 years ago
- LegoGroth16 implementation on top of Zexe☆21Updated 3 years ago
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆23Updated last year
- An implementation of the 'DiStefano: Decentralized Infrastructure for Sharing Trusted Encrypted Facts and Nothing More' protocol.☆27Updated last week
- An elastic proof system based on arkworks☆80Updated last year
- fft impl for ff::Field☆15Updated 8 months ago
- Argument systems for inner pairing products☆41Updated 6 months ago
- ☆13Updated 8 months ago
- Implementation of Valiant's universal circuit construction optimized for private function evaluation☆41Updated 4 years ago
- C++ implementation of VSS using LWE encryption and proofs☆15Updated 3 years ago
- [work in progress] Python framework for supporting cryptographic game-hopping proofs☆13Updated 2 years ago
- agora-unknown_order☆11Updated 7 months ago
- ☆22Updated 4 months ago
- An `arkworks` library for low-degree testing☆21Updated 4 months ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 5 years ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆13Updated 2 years ago
- Libra zero knowledge proof system☆48Updated last year