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:
- ☆41Updated last week
- lattice-based zkSNARKs over libsnark [ISW21]☆32Updated 8 months ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆37Updated last year
- Prototyping library for lattice-based cryptography.☆21Updated last month
- ☆39Updated 4 months ago
- Rust Code for CELPC☆20Updated 2 months ago
- ☆17Updated 2 months ago
- ☆19Updated 2 months ago
- Experiments with Universal Composability in EasyCrypt☆34Updated this week
- Authenticated Garbling and Efficient Maliciously Secure Two-Party Computation☆27Updated 2 years ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.