Alternatives and similar repositories for ck

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

• initc3 / SaUCy
  The modular protocol framework based on Universal Composability
  ☆18Updated 5 years ago
• arkworks-rs / ripp
  Argument systems for inner pairing products
  ☆42Updated 11 months ago
• cfrg / draft-irtf-cfrg-bls-signature
  ☆32Updated 3 years ago
• amiller / haskell-saucy
  Super Amazing Universal Composability, Yeah!
  ☆34Updated 3 years ago
• daira / tweedle
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Updated 2 years ago
• MinaProtocol / snark-challenge-prover-reference
  ☆22Updated 3 years ago
• alinush / libvectcom
  An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…
  ☆13Updated 4 years ago
• hyraxZK / hyraxZK
  Hyrax reference implementation: meta-repo with top-level makefile, etc
  ☆37Updated 7 years ago
• pag-crypto / zkmbs
  Code for zero-knowledge middleboxes
  ☆63Updated 2 years ago
• arkworks-rs / sponge
  This library is archived; see crypto-primities for the latest version of this code
  ☆23Updated 2 years ago
• cathieyun / bfv12
  toy implementation of bfv in rust
  ☆26Updated 3 years ago
• runtimeverification / beacon-chain-verification
  ☆18Updated 2 years ago
• songzLi / coded_merkle_tree
  Coded Merkle Tree
  ☆26Updated 5 years ago
• daira / curvesearch
  Elliptic curve search experiments
  ☆35Updated 2 years ago
• zcash / orchard
  Implementation of the Zcash Orchard Protocol
  ☆55Updated last month
• CertiKProject / zkwasm-fv
  Formal verification of the zkWasm project
  ☆12Updated 11 months ago
• pairingwg / bls_standard
  BLS working standard draft
  ☆39Updated 5 years ago
• paritytech / bn
  Pairing cryptography library in Rust
  ☆35Updated last year
• kwantam / fffft
  fft impl for ff::Field
  ☆16Updated last year
• GaloisInc / BLST-Verification
  BLST-Verification
  ☆22Updated 5 months ago
• algorand / pointproofs
  ☆48Updated 2 years ago
• burdges / isogenies_vdf_uses
  Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves
  ☆15Updated 3 years ago
• argumentcomputer / FFaCiL.lean
  Finite Fields and Curves in Lean
  ☆13Updated 2 years ago
• trustboost / TrustBoost
  ☆19Updated 2 years ago
• arkworks-rs / dpc
  A library for decentralized private computation
  ☆19Updated 3 years ago
• arkworks-rs / ivls
  Implementation of incrementally verifiable ledger system
  ☆18Updated 4 years ago
• zkcrypto / groth16
  Implementation of the Groth16 zk-SNARK proving system
  ☆21Updated 7 years ago
• celo-org / celo-bls-snark-rs
  Implements SNARK-friendly BLS signatures
  ☆84Updated last year
• celo-org / snark-setup
  ☆18Updated last year
• lurk-lab / neptune-triton
  Futhark implementation of neptune-compatible Poseidon.
  ☆27Updated 4 years ago