ahenzinger / underhoodLinks
The implementation of Tiptoe's linearly-homomorphic encryption scheme, accompanying the paper "Private Web Search with Tiptoe" (SOSP 2023).
☆19Updated last year
Alternatives and similar repositories for underhood
Users that are interested in underhood are comparing it to the libraries listed below
Sorting:
- The reference implementation of Tiptoe, accompanying the paper "Private web search with Tiptoe" (SOSP 2023).☆50Updated last year
- ☆18Updated 4 months ago
- A ZKP-augmented fork of the OpenFHE library☆18Updated last year
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆38Updated last year
- ☆84Updated last week
- An implementation of the 'DiStefano: Decentralized Infrastructure for Sharing Trusted Encrypted Facts and Nothing More' protocol.☆34Updated 2 months ago
- lattice-based zkSNARKs over libsnark [ISW21]☆34Updated 9 months ago
- ☆20Updated 8 months ago
- ☆22Updated 4 months ago
- ☆43Updated 5 months ago
- ☆21Updated last year
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆45Updated 2 years ago
- ☆26Updated 5 months ago
- Oblivious key-value store based on Circuit ORAM☆29Updated 4 months ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆11Updated 9 months ago
- Verifiable FHE prototype☆25Updated last year
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆27Updated last year
- ☆28Updated 3 weeks ago
- elliptic curve construction tool☆17Updated 2 years ago
- ☆15Updated 3 years ago
- ☆10Updated last year
- ☆44Updated 2 months ago
- A 2-round lattice-based threshold signature from standard assumptions☆15Updated 4 months ago
- Global-Scale Secure Multiparty Computation☆46Updated 2 years ago
- An implementation of a post quantum anonymous credential scheme☆14Updated 7 months ago
- ☆10Updated last year
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆39Updated 4 years ago
- A basic implementation of Yao's Garbled Circuits☆29Updated 3 years ago
- Rust Code for CELPC☆20Updated 4 months ago
- Fast 4 way vectorized ladder for the complete set of Montgomery curves☆11Updated 6 years ago