Alternatives and similar repositories for SoK

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

• barryWhiteHat / zkvm
  a sketch of what a zkvm could look like
  ☆26Updated 4 years ago
• khovratovich / Kate
  ☆27Updated 3 years ago
• fluidex / snarkit
  A toolkit to compile and debug circom circuit.
  ☆27Updated 2 years ago
• EDGDrummond / DeVo
  Decentralised Voting Scheme
  ☆16Updated 4 years ago
• arielgabizon / Lectures
  ☆28Updated last month
• informartin / zkRelay
  ☆29Updated 4 years ago
• Orbis-Tertius / tiny-ram-halo2
  A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…
  ☆39Updated 3 years ago
• AztecProtocol / plonk-with-lookups
  ☆19Updated 5 years ago
• matter-labs / pairing
  Pairing-friendly elliptic curve library
  ☆24Updated last year
• AIGC-NFT / implementation
  ☆13Updated last year
• adria0 / plonk-by-fingers
  Implementation of Plonk by Hand in rust
  ☆62Updated last year
• benjaminion / c-kzg
  Simple implementation of KZG commitments in C
  ☆36Updated 3 years ago
• privacy-ethereum / rln
  ☆19Updated 3 years ago
• Consensys / gkr-mimc
  gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation
  ☆25Updated last year
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆42Updated last year
• EspressoSystems / veri-zexe
  DPC with Universal Setup
  ☆46Updated 2 years ago
• hermeznetwork / circuits
  Implements hermez network zk-Snarks circuits
  ☆56Updated 2 years ago
• arnaucube / kzg-commitments-study
  Kate-Zaverucha-Goldberg Polynomial Commitments
  ☆29Updated 4 years ago
• hashcloak / stoffelMPC
  ☆45Updated 9 months ago
• ZenGo-X / zengo-will
  ☆15Updated 4 years ago
• gballet / verkle-block-sample
  ☆39Updated 3 years ago
• geometryxyz / technical_notes
  A collection of technical notes from the Geometry research team.
  ☆47Updated 2 years ago
• ethresearch / Shuffle_SSLE
  ☆15Updated 5 years ago
• interlay / compressed-inclusion-proofs
  TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation
  ☆14Updated 3 years ago
• crate-crypto / qesa
  Efficient zero-knowledge arguments in the discrete log setting, revisited
  ☆16Updated 5 years ago
• hero78119 / risc0-nova
  RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme
  ☆28Updated 2 years ago
• 3for / learning-ZKP-from-zero-to-one
  Some tips for new learners of ZKP
  ☆28Updated 5 years ago
• flashbots / geth-sgx-gramine
  Geth-in-SGX provides an example of running go-ethereum in SGX
  ☆76Updated last year
• daira / tweedle
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Updated 3 years ago
• puma314 / batch-ecdsa
  Batch ECDSA in circom
  ☆35Updated 3 years ago