Alternatives and similar repositories for zk-language-comparison

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

• succinctlabs / zkvm-perf
  ☆27Updated 7 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
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆35Updated 2 weeks ago
• PetraProver / PetraVM
  A verifiable supercomputer
  ☆72Updated 2 months ago
• anoma / zkp-compiler-shootout
  Evaluating & benchmarking ZKP compilation strategies.
  ☆121Updated last year
• 0xmozak / mozak-vm
  Mozak RISC-V Virtual Machine
  ☆25Updated 5 months ago
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆73Updated 6 months ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• kevaundray / plookup
  ☆40Updated 2 years ago
• proxima-one / kzg
  a simple implementation of the KZG polynomial commitment scheme
  ☆25Updated 3 years ago
• arnaucube / fri-commitment
  FRI low-degree-testing & polynomial commitment scheme
  ☆24Updated 2 years ago
• andrewmilson / ecfft
  Elliptic Curve Fast Fourier Transform built on @arkworks-rs
  ☆67Updated 2 years ago
• clvv / rcc
  ☆24Updated last year
• arkworks-rs / pcd
  Implementations of proof-carrying data
  ☆35Updated 3 years ago
• wborgeaud / ecfft-bn254
  ECFFT in Rust
  ☆58Updated last year
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆87Updated last year
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆40Updated last year
• zkpstandard / wg-sigma-protocols
  ☆16Updated last year
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆17Updated last year
• adria0 / plonk-by-fingers
  Implementation of Plonk by Hand in rust
  ☆62Updated last year
• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆58Updated 2 years ago
• arielgabizon / Lectures
  ☆28Updated 11 months ago
• babybear-labs / benchmark
  Benchmark of ZKVMs and Proving Schemes
  ☆29Updated 3 months ago
• georgwiese / crypto-summaries
  My personal summaries of Cryptography-related books and papers
  ☆13Updated 2 weeks ago
• joshbeal / derecho
  A Rust library for proof-carrying disclosures
  ☆21Updated last year
• noir-lang / acvm
  ☆49Updated last year
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated last year
• Lagrange-Labs / reckle-trees
  ☆31Updated last year
• Layr-Labs / rust-kzg-bn254
  ☆14Updated this week
• NilFoundation / zkllvm-rslang
  ☆15Updated last year