Alternatives and similar repositories for ck

Users that are interested in ck are comparing it to the libraries listed below

• scipr-lab / ecfactory
  SageMath library for constructing elliptic curves
  ☆71Updated 2 years ago
• amiller / haskell-saucy
  Super Amazing Universal Composability, Yeah!
  ☆32Updated 3 years ago
• scipr-lab / libiop
  C++ library for IOP-based zkSNARKs
  ☆174Updated last year
• imdea-software / legosnark
  C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.
  ☆40Updated 5 years ago
• daira / curvesearch
  Elliptic curve search experiments
  ☆35Updated 2 years ago
• cfrg / draft-irtf-cfrg-hash-to-curve
  Hashing to Elliptic Curves
  ☆80Updated last year
• sunblaze-ucb / Libra
  Libra zero knowledge proof system
  ☆54Updated 2 years ago
• KULeuven-COSIC / Marvellous
  The instance generator of the Vision and Rescue block ciphers.
  ☆17Updated 3 years ago
• initc3 / SaUCy
  The modular protocol framework based on Universal Composability
  ☆18Updated 5 years ago
• kobigurk / aggregatable-dkg
  Aggregatable Distributed Key Generation
  ☆49Updated 3 years ago
• algorand / pointproofs
  ☆47Updated 2 years ago
• cryptobern / thetacrypt
  Design and implementation of a threshold-cryptography library
  ☆18Updated 8 months ago
• easyuc / EasyUC
  Experiments with Universal Composability in EasyCrypt
  ☆39Updated this week
• kwantam / bls12-381_hash
  Fast and simple constant-time hashing to the BLS12-381 elliptic curve
  ☆45Updated 5 years ago
• isec-tugraz / gzkbpp
  Implementation of the ZKB++ proof system
  ☆19Updated 6 years ago
• kobigurk / cpsnarks-set
  Rust library for efficient, succinct and modular set membership and non-membership proofs
  ☆58Updated 4 years ago
• isogenies-vdf / isogenies-vdf-sage
  Sage implementation of the isogeny-and-pairing based VDF
  ☆24Updated 4 years ago
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆26Updated last month
• emp-toolkit / emp-agmpc
  Global-Scale Secure Multiparty Computation
  ☆48Updated 2 years ago
• ZenGo-X / class
  Rust library for building IQC: cryptography based on class groups of imaginary quadratic orders
  ☆65Updated 2 years ago
• QED-it / zkinterface
  zkInterface is a protocol for the interoperability of zero-knowledge frameworks.
  ☆129Updated 2 years ago
• hyraxZK / hyraxZK
  Hyrax reference implementation: meta-repo with top-level makefile, etc
  ☆37Updated 7 years ago
• cronokirby / yao-gc
  A basic implementation of Yao's Garbled Circuits
  ☆30Updated 3 years ago
• 0xPolygonZero / r1cs
  A Rust library for building R1CS gadgets
  ☆91Updated 4 years ago
• herumi / ate-pairing
  ☆136Updated 5 years ago
• alex-ozdemir / bellman-bignat
  Multiprecision arithmetic & RSA accumulators, within SNARKs
  ☆54Updated last year
• wborgeaud / ecfft-bn254
  ECFFT in Rust
  ☆58Updated 2 years ago
• Sobuno / ZKBoo
  ☆51Updated 2 years ago
• ebfull / halo
  ☆117Updated 4 years ago
• slowli / elastic-elgamal
  ElGamal encryption and related zero-knowledge proofs
  ☆17Updated 7 months ago