Alternatives and similar repositories for zk-language-comparison

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

• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆38Updated last month
• succinctlabs / zkvm-perf
  ☆25Updated 4 months ago
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆18Updated 11 months ago
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆32Updated 3 weeks ago
• PetraProver / PetraVM
  A verifiable supercomputer
  ☆64Updated this week
• Lagrange-Labs / reckle-trees
  ☆30Updated last year
• GaloisInc / zk-lean
  zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
  ☆12Updated 2 weeks ago
• lita-xyz / rust-examples
  ☆17Updated 6 months ago
• Pi-Squared-Inc / proof-checker-public
  ☆20Updated 10 months 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…
  ☆37Updated 2 years ago
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated 2 years ago
• zksecurity / stark-book
  STARK book
  ☆20Updated 8 months ago
• Consensys / corset
  ☆19Updated 2 months ago
• openvm-org / stark-backend
  Proof system backends for OpenVM.
  ☆30Updated this week
• sedaprotocol / bn254
  ☆16Updated last year
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆42Updated last year
• iden3 / circom-witnesscalc
  ☆15Updated this week
• proxima-one / keccak-circuit-benchmarks
  Benchmarks of all public available SNARK/STARK keccak circuits
  ☆13Updated last year
• zkMIPS / zkm-prover
  A parallel proving service for ZKM.
  ☆21Updated last week
• CharmsDev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆29Updated 4 months ago
• babybear-labs / benchmark
  Benchmark of ZKVMs and Proving Schemes
  ☆27Updated 2 weeks ago
• ed255 / riscu-jolt
  RISCU emulator and zk circuit simulator as a reference for a Jolt implementation
  ☆23Updated last year
• arnaucube / fri-commitment
  FRI low-degree-testing & polynomial commitment scheme
  ☆24Updated 2 years ago
• Veridise / circom2llvm
  Compile circom code to llvm partially
  ☆12Updated 2 years ago
• greenhat / omnizk
  Compiler framework for ZK VMs
  ☆33Updated last year
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• TomWambsgans / Whirlaway
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆19Updated this week
• Veridise / Coda
  ☆47Updated last year
• 0xmozak / mozak-vm
  Mozak RISC-V Virtual Machine
  ☆25Updated 2 months ago
• matter-labs / zksync-crypto-gpu
  GPU-acceselerated cryptography libraries for ZKsync
  ☆18Updated this week