leisec / dtrtLinks
LaTeX package to Do The Right Thing
☆13Updated 3 years ago
Alternatives and similar repositories for dtrt
Users that are interested in dtrt are comparing it to the libraries listed below
Sorting:
- ☆14Updated last year
- ☆42Updated last month
- ☆21Updated 3 months ago
- Latex classes for IACR publications.☆12Updated last week
- CryptoBib BibTex files☆59Updated last month
- Experiments with Universal Composability in EasyCrypt☆36Updated last week
- Repository containing code accompanying the paper "Aggregating Falcon Signatures With LaBRADOR".☆11Updated last year
- Prototyping library for lattice-based cryptography.☆21Updated 2 months ago
- C++ library for IOP-based zkSNARKs☆167Updated last year
- ☆17Updated 3 months ago
- lattice-based zkSNARKs over libsnark [ISW21]☆32Updated 8 months ago
- Efficient and Interactive Zero-Knowledge Proofs☆95Updated last year
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated last year
- LaTeX package for typesetting pseudocode and cryptographic games☆177Updated last year
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆37Updated last year
- ☆42Updated 7 months ago
- Prototype implementations of various Collaborative zkSNARKs.☆125Updated last month
- Authenticated Garbling and Efficient Maliciously Secure Two-Party Computation☆30Updated 2 years ago
- SageMath library for constructing elliptic curves☆70Updated 2 years ago
- Lattices in Cryptography (University of Michigan)☆92Updated 9 months ago
- Rust Code for CELPC☆20Updated 3 months ago
- Global-Scale Secure Multiparty Computation☆46Updated 2 years ago
- Libra zero knowledge proof system☆52Updated 2 years ago
- A rust and SageMath implementation of (2,2)-isogenies in the theta model☆19Updated 6 months ago
- The reference implementation of SimplePIR and DoublePIR, accompanying the paper "One Server for the Price of Two: Simple and Fast Single-…☆90Updated 2 years ago
- A tiny, educational library for secure multi-party computation (in pure Python).☆91Updated 2 years ago
- ☆41Updated 4 months ago
- ☆12Updated 2 years ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆39Updated 4 years ago
- A Rust library for the Groth-Sahai non-interactive witness-indistinguishable and zero-knowledge proof system☆13Updated 2 months ago