Alternatives and similar repositories for zk-language-comparison

Users that are interested in zk-language-comparison are comparing it to the libraries listed below

• GaloisInc / zk-lean
  zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
  ☆13Updated last month
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆38Updated last month
• chyanju / __archived__Medjai
  A Symbolic Execution Tool for Cairo
  ☆16Updated 2 years ago
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆70Updated 2 years ago
• Veridise / circom2llvm
  Compile circom code to llvm partially
  ☆12Updated 2 years ago
• QEDProtocol / plonky2.5
  🪩 verify plonky3 proofs in plonky2
  ☆19Updated last year
• CharmsDev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆29Updated 4 months ago
• Veridise / Coda
  ☆47Updated last year
• arkworks-rs / dpc
  A library for decentralized private computation
  ☆19Updated 3 years ago
• Lagrange-Labs / reckle-trees
  ☆30Updated last year
• mitschabaude / montgomery
  Fast implementation of multi-scalar multiplication in WebAssembly
  ☆34Updated 6 months ago
• Layr-Labs / rust-kzg-bn254
  ☆14Updated last week
• succinctlabs / zkvm-perf
  ☆25Updated 5 months ago
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆32Updated last month
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆42Updated last year
• guangyuz / arkworks-gadgets
  Zero-knowledge gadget for Sparse Merkle Tree.
  ☆20Updated 3 years ago
• Veridise / Eurus
  Precise Attack Synthesis for DeFi Apps
  ☆47Updated 2 years ago
• greenhat / omnizk
  Compiler framework for ZK VMs
  ☆33Updated last year
• arkworks-rs / ivls
  Implementation of incrementally verifiable ledger system
  ☆17Updated 4 years ago
• matter-labs / zksync-crypto-gpu
  GPU-acceselerated cryptography libraries for ZKsync
  ☆19Updated 3 weeks ago
• CertiKProject / zkwasm-fv
  Formal verification of the zkWasm project
  ☆12Updated 10 months ago
• PetraProver / PetraVM
  A verifiable supercomputer
  ☆69Updated last week
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆76Updated last year
• Consensys / corset
  ☆19Updated 2 months ago
• sedaprotocol / bn254
  ☆17Updated last year
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆51Updated 2 years ago
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆18Updated last year
• arkworks-rs / gm17
  A Rust library for the preprocessing zkSNARK of Groth and Maller
  ☆11Updated 7 months ago
• NilFoundation / proof-market-toolchain
  A toolchain for interaction with the Proof Market protocol.
  ☆23Updated last year
• proxima-one / keccak-circuit-benchmarks
  Benchmarks of all public available SNARK/STARK keccak circuits
  ☆13Updated last year