jellevos / oraqle
A depth-aware secure computation compiler
☆13Updated last week
Alternatives and similar repositories for oraqle:
Users that are interested in oraqle are comparing it to the libraries listed below
- A ZKP-augmented fork of the OpenFHE library☆17Updated 10 months ago
- Scripts to generate data for security parameters constraints section☆12Updated 4 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☆19Updated 5 months ago
- ☆18Updated 5 months ago
- ☆16Updated 3 weeks ago
- Implementation of Valiant's universal circuit construction optimized for private function evaluation☆42Updated 4 years ago
- spqlios arithmetic library for FHE and post-quantum crypto☆19Updated 8 months ago
- ☆33Updated 2 months ago
- ☆26Updated 2 months ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 5 years ago
- Implementation of the Groth16 zk-SNARK proving system☆21Updated 6 years ago
- lattice-based zkSNARKs over libsnark [ISW21]☆32Updated 6 months ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆39Updated 4 years ago
- Implementation of SortingHat: Efficient Private Decision Tree Evaluation via Homomorphic Encryption and Transciphering.☆18Updated 2 years ago
- ☆9Updated 2 months ago
- ☆39Updated last month
- Sage implementation of the isogeny-and-pairing based VDF☆24Updated 4 years ago
- Fast 4 way vectorized ladder for the complete set of Montgomery curves☆11Updated 6 years ago
- ☆14Updated last week
- MAYO C implementation☆16Updated last month
- HELM: Navigating Homomorphic Encryption through Gates and Lookup Tables☆10Updated last month
- The instance generator of the Vision and Rescue block ciphers.☆16Updated 3 years ago
- Repository for the SoK paper on Fully Homomorphic Encryption (FHE) compilers.☆78Updated 2 years ago
- Multi-GPU acceleration for Fully Homomorphic Encryption☆18Updated 11 months ago
- Experiments with Universal Composability in EasyCrypt☆33Updated 3 weeks ago
- A zk-SNARK for randomized algorithms + linear-size universal circuits☆18Updated 4 years ago
- The fully homomorhic encryption scheme based on NTRU and LWE.☆41Updated 7 months ago
- Malicious Two Party Computation Based on Garbled Circuits.☆12Updated 4 years ago
- ☆79Updated this week