Alternatives and similar repositories for sigma-proofs

Users that are interested in sigma-proofs are comparing it to the libraries listed below

• pornin / ecgfp5
  Curve ecGFp5
  ☆68Updated 3 years ago
• mmaker / draft-irtf-cfrg-sigma-protocols
  This is only the beginning.
  ☆16Updated last week
• MQuaresma / pswoosh
  Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange
  ☆27Updated last year
• trailofbits / reverie
  An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.
  ☆61Updated 2 years ago
• dkales / banquet
  Banquet implementation
  ☆13Updated 3 years ago
• guruvamsi-policharla / zkdilithium
  An implementation of a post quantum anonymous credential scheme
  ☆15Updated 8 months ago
• thibmeu / tlock-rs
  Rust encryption library for practical time-lock encryption.
  ☆34Updated last year
• cathieyun / bfv12
  toy implementation of bfv in rust
  ☆26Updated 3 years ago
• zkcrypto / curve25519-dalek-ng
  A pure-Rust implementation of group operations on Ristretto and Curve25519
  ☆28Updated last year
• kwantam / addchain
  addition chains
  ☆20Updated 7 years ago
• arkworks-rs / ripp
  Argument systems for inner pairing products
  ☆42Updated last year
• Inria-Prosecco / pqxdh-analysis
  Formal Analysis of the PQXDH Protocol
  ☆26Updated last year
• armfazh / h2c-rust-ref
  [RFC9380] Hash to curves - Rust reference implementation
  ☆28Updated last year
• CertiKProject / zkwasm-fv
  Formal verification of the zkWasm project
  ☆14Updated last year
• kwantam / bls12-381_hash
  Fast and simple constant-time hashing to the BLS12-381 elliptic curve
  ☆44Updated 5 years ago
• facebook / voprf
  An implementation of a verifiable oblivious pseudorandom function (RFC 9497)
  ☆71Updated 4 months ago
• IACR / latex
  Latex classes for IACR publications.
  ☆13Updated last week
• arkworks-rs / spongefish
  Fiat-Shamir for the masses.
  ☆76Updated last month
• pornin / crrl
  Rust library for cryptographic research
  ☆142Updated 8 months ago
• ligeroinc / ligero-prover
  ☆48Updated 2 months ago
• mmaker / tinybear
  ☆26Updated 6 months ago
• pornin / rust-fn-dsa
  FN-DSA (Falcon) signature scheme
  ☆45Updated 5 months ago
• mcarrickscott / modarith
  Script generated finite field arithmetic for elliptic curve cryptography
  ☆22Updated last week
• brave-experiments / DiStefano
  An implementation of the 'DiStefano: Decentralized Infrastructure for Sharing Trusted Encrypted Facts and Nothing More' protocol.
  ☆36Updated 3 months ago
• zkcrypto / jubjub
  Implementation of the Jubjub elliptic curve group
  ☆122Updated last year
• Verified-zkEVM / ArkLib
  Formally Verified Arguments of Knowledge in Lean
  ☆102Updated this week
• cronokirby / boo-hoo
  An implementation of ZKBoo
  ☆33Updated 3 years ago
• zcash / pasta
  Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo
  ☆57Updated 2 years ago
• zcash / pasta_curves
  Rust implementation for zcash/pasta
  ☆83Updated 5 months ago
• shaih / cpp-lwevss
  C++ implementation of VSS using LWE encryption and proofs
  ☆15Updated 3 years ago