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
• arielgabizon / Lectures
  ☆28Updated this week
• 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
• EDGDrummond / DeVo
  Decentralised Voting Scheme
  ☆16Updated 4 years ago
• daira / tweedle
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Updated 3 years ago
• EspressoSystems / veri-zexe
  DPC with Universal Setup
  ☆46Updated 2 years ago
• hashcloak / stoffelMPC
  ☆45Updated 7 months ago
• geometryxyz / technical_notes
  A collection of technical notes from the Geometry research team.
  ☆47Updated 2 years ago
• adria0 / plonk-by-fingers
  Implementation of Plonk by Hand in rust
  ☆62Updated last year
• crate-crypto / qesa
  Efficient zero-knowledge arguments in the discrete log setting, revisited
  ☆16Updated 5 years ago
• 0xPolygonZero / r1cs-workshop
  Notes for the R1CS programming workshop at ZK0x04
  ☆31Updated 6 years ago
• matter-labs / pairing
  Pairing-friendly elliptic curve library
  ☆24Updated last year
• barryWhiteHat / roll_up_token
  yellow paper for roll_up token
  ☆67Updated 6 years ago
• zkpstandard / wg-sigma-protocols
  ☆15Updated 3 months ago
• flashbots / geth-sgx-gramine
  Geth-in-SGX provides an example of running go-ethereum in SGX
  ☆76Updated last year
• matter-labs / z-prize-msm-gpu-combined
  Combined solution from Matter Labs and Yrrid based on their respective submissions for the Z-Prize category Accelerating MSM Operations o…
  ☆16Updated 2 years ago
• hermeznetwork / circuits
  Implements hermez network zk-Snarks circuits
  ☆56Updated 2 years ago
• w3f / fflonk
  ☆31Updated 8 months ago
• arkworks-rs / pcd
  Implementations of proof-carrying data
  ☆36Updated 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
• QED-it / libsnark-tutorial_forge_proof
  ☆17Updated 7 years ago
• arkworks-rs / nonnative
  R1CS constraints for non-native field arithmetic
  ☆21Updated 4 years ago
• arkworks-rs / accumulation
  Rust library for accumulation schemes
  ☆25Updated 2 years ago
• fluidex / snarkit
  A toolkit to compile and debug circom circuit.
  ☆27Updated 2 years ago
• matter-labs / rescue-poseidon
  Rescue and Poseidon hash function implementations
  ☆43Updated last year
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆42Updated last year
• arnaucube / nova-study
  Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf
  ☆45Updated 2 years ago
• nikkolasg / snarkpack
  snarkpack for arkwork
  ☆21Updated 2 years ago
• adria0 / a0kzg
  Kate-Zaverucha-Goldberg polynomial commitments in rust playground
  ☆13Updated 4 years ago