jellevos / oraqleLinks
A depth-aware secure computation compiler
☆16Updated 2 months ago
Alternatives and similar repositories for oraqle
Users that are interested in oraqle are comparing it to the libraries listed below
Sorting:
- A ZKP-augmented fork of the OpenFHE library☆18Updated last year
- SageMath library for constructing elliptic curves☆71Updated 2 years ago
- Experiments with Universal Composability in EasyCrypt☆37Updated last week
- ☆18Updated 3 months ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆37Updated last year
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 5 years ago
- Reference repository on Lattice-based Cryptography☆25Updated 9 months ago
- Implementation of Valiant's universal circuit construction optimized for private function evaluation☆42Updated 4 years ago
- An implementation of the 'DiStefano: Decentralized Infrastructure for Sharing Trusted Encrypted Facts and Nothing More' protocol.☆34Updated 2 months ago
- We are a community of researchers and developers interested in advancing homomorphic encryption and other secure computation techniques.☆59Updated last week
- Sage implementation of the isogeny-and-pairing based VDF☆24Updated 4 years ago
- ☆44Updated last month
- Raccoon Signature Scheme -- Reference Code☆10Updated 2 years ago
- lattice-based zkSNARKs over libsnark [ISW21]☆34Updated 9 months ago
- ☆10Updated last year
- spqlios arithmetic library for FHE and post-quantum crypto☆20Updated last week
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆39Updated 4 years ago
- ☆28Updated 3 weeks ago
- ☆83Updated this week
- The instance generator of the Vision and Rescue block ciphers.☆16Updated 3 years ago
- Implementation of SortingHat: Efficient Private Decision Tree Evaluation via Homomorphic Encryption and Transciphering.☆19Updated 3 years ago
- Lattice-Based Zero-Knowledge Proofs and Applications: Shorter, Simpler, and More General☆15Updated 2 years ago
- ☆12Updated last month
- ☆14Updated last year
- Elliptic curve search experiments☆35Updated 2 years ago
- Global-Scale Secure Multiparty Computation☆46Updated 2 years ago
- Repo for the implementation of the isogeny based signature scheme CSI-FiSh☆24Updated 2 years ago
- ☆20Updated 8 months ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated last year
- Implementation of the ZKB++ proof system☆19Updated 6 years ago