sigma-rs / sigma-proofsLinks
☆25Updated last week
Alternatives and similar repositories for sigma-proofs
Users that are interested in sigma-proofs are comparing it to the libraries listed below
Sorting:
- This is only the beginning.☆19Updated this week
- ☆26Updated 11 months ago
- An implementation of a post quantum anonymous credential scheme☆16Updated last year
- Oblivious key-value store based on Circuit ORAM☆34Updated 10 months ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated last year
- ☆48Updated 11 months ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆41Updated 3 months ago
- Rust Code for CELPC☆20Updated 10 months ago
- ☆58Updated 2 weeks ago
- Testudo: Spartan + Groth16☆53Updated last year
- addition chains☆20Updated 7 years ago
- ☆52Updated 2 years ago
- An implementation of the 'DiStefano: Decentralized Infrastructure for Sharing Trusted Encrypted Facts and Nothing More' protocol.☆39Updated 2 months ago
- Fiat-Shamir for the masses.☆87Updated last month
- ☆66Updated 8 months ago
- ☆59Updated last month
- Formally Verified Arguments of Knowledge in Lean☆150Updated this week
- Reef: A zkSNARK system for proving that a committed document matches a regex☆76Updated 2 months ago
- Curve ecGFp5☆69Updated 3 years ago
- Latex classes for IACR publications.☆15Updated last week
- Compiler framework for ZK VMs☆35Updated 2 years ago
- Binary Proofs, Blazing Fast☆111Updated this week
- ☆52Updated 7 months ago
- ☆111Updated 2 months ago
- Repository containing code accompanying the paper "Aggregating Falcon Signatures With LaBRADOR".☆14Updated last year
- lattice-based zkSNARKs over libsnark [ISW21]☆36Updated last year
- Aggregatable Distributed Key Generation☆49Updated 3 years ago
- ☆30Updated 2 years ago
- Prototype implementations of various Collaborative zkSNARKs.☆131Updated 8 months ago
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆28Updated 2 years ago