Alternatives and similar repositories for sigma-proofs

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

• mmaker / draft-irtf-cfrg-sigma-protocols
  This is only the beginning.
  ☆18Updated last week
• kwantam / addchain
  addition chains
  ☆20Updated 7 years ago
• guruvamsi-policharla / zkdilithium
  An implementation of a post quantum anonymous credential scheme
  ☆16Updated 10 months ago
• dkales / banquet
  Banquet implementation
  ☆14Updated 3 years ago
• zkcrypto / curve25519-dalek-ng
  A pure-Rust implementation of group operations on Ristretto and Curve25519
  ☆28Updated last year
• MQuaresma / pswoosh
  Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange
  ☆27Updated last year
• pornin / ecgfp5
  Curve ecGFp5
  ☆68Updated 3 years ago
• Inria-Prosecco / pqxdh-analysis
  Formal Analysis of the PQXDH Protocol
  ☆28Updated last year
• armfazh / h2c-rust-ref
  [RFC9380] Hash to curves - Rust reference implementation
  ☆28Updated 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.
  ☆60Updated 2 years ago
• shaih / cpp-lwevss
  C++ implementation of VSS using LWE encryption and proofs
  ☆15Updated 4 years ago
• kwantam / bls12-381_hash
  Fast and simple constant-time hashing to the BLS12-381 elliptic curve
  ☆45Updated 5 years ago
• arkworks-rs / ripp
  Argument systems for inner pairing products
  ☆43Updated last year
• facebook / voprf
  An implementation of a verifiable oblivious pseudorandom function (RFC 9497)
  ☆74Updated last week
• cathieyun / bfv12
  toy implementation of bfv in rust
  ☆27Updated 3 years ago
• mcarrickscott / modarith
  Script generated finite field arithmetic for elliptic curve cryptography
  ☆23Updated this week
• pqov / pqov
  ☆17Updated 3 weeks ago
• thibmeu / tlock-rs
  Rust encryption library for practical time-lock encryption.
  ☆35Updated last year
• lovesh / ps-sig
  Pointcheval Sanders signature
  ☆27Updated 5 years ago
• brave-experiments / CDLS
  CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness
  ☆11Updated last year
• brave-experiments / DiStefano
  An implementation of the 'DiStefano: Decentralized Infrastructure for Sharing Trusted Encrypted Facts and Nothing More' protocol.
  ☆37Updated 5 months ago
• tobias-rothmann / Polynomial-Commitment-Schemes
  Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.
  ☆10Updated 3 months ago
• mmaker / tinybear
  ☆26Updated 8 months ago
• cronokirby / yao-gc
  A basic implementation of Yao's Garbled Circuits
  ☆30Updated 3 years ago
• fairmath / openfhe-rs
  OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/
  ☆54Updated 8 months ago
• IACR / latex
  Latex classes for IACR publications.
  ☆14Updated last month
• arkworks-rs / spongefish
  Fiat-Shamir for the masses.
  ☆79Updated last week
• Cosmian / abe_gpsw
  ABE GPSW scheme using BLS pairing implemented in Rust.
  ☆15Updated 2 years ago
• obliviouslabs / oram
  Oblivious key-value store based on Circuit ORAM
  ☆30Updated 7 months ago
• CertiKProject / zkwasm-fv
  Formal verification of the zkWasm project
  ☆15Updated last year