mmaker / sigma-rsLinks
☆16Updated this week
Alternatives and similar repositories for sigma-rs
Users that are interested in sigma-rs are comparing it to the libraries listed below
Sorting:
- This is only the beginning.☆13Updated this week
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated last year
- ☆26Updated 5 months ago
- addition chains☆20Updated 7 years ago
- Latex classes for IACR publications.☆13Updated last week
- A basic implementation of Yao's Garbled Circuits☆29Updated 3 years ago
- An implementation of a post quantum anonymous credential scheme☆14Updated 7 months ago
- SageMath library for constructing elliptic curves☆71Updated 2 years ago
- Oblivious key-value store based on Circuit ORAM☆29Updated 4 months ago
- Formally Verified Arguments of Knowledge in Lean☆84Updated this week
- ☆14Updated last year
- Aggregatable Distributed Key Generation☆49Updated 3 years ago
- Curve ecGFp5☆68Updated 3 years ago
- The instance generator of the Vision and Rescue block ciphers.☆16Updated 3 years ago
- Testudo: Spartan + Groth16☆52Updated last year
- C++ implementation of VSS using LWE encryption and proofs☆15Updated 3 years ago
- Formal verification of the zkWasm project☆12Updated 11 months ago
- Compiler framework for ZK VMs☆33Updated 2 years ago
- ECFFT in Rust☆58Updated last year
- ☆51Updated last year
- Fiat-Shamir for the masses.☆73Updated last week
- Fast and simple constant-time hashing to the BLS12-381 elliptic curve☆44Updated 5 years ago
- Implementation of the Fish and Begol signature schemes☆14Updated 8 years ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆38Updated 3 weeks ago
- [RFC9380] Hash to curves - Rust reference implementation☆28Updated last year
- ☆35Updated this week
- Hashing to Elliptic Curves☆81Updated 10 months ago
- OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/☆51Updated 5 months ago
- ☆42Updated 5 months ago
- ☆56Updated 2 months ago