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
  ☆26Updated 6 months ago
• 0xmozak / mozak-vm
  Mozak RISC-V Virtual Machine
  ☆25Updated 4 months ago
• anoma / zkp-compiler-shootout
  Evaluating & benchmarking ZKP compilation strategies.
  ☆121Updated last year
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆33Updated 2 months ago
• PetraProver / PetraVM
  A verifiable supercomputer
  ☆73Updated last month
• Consensys / corset
  ☆19Updated 4 months ago
• ipsilon / eof
  Validation code for the EOF specification
  ☆57Updated 3 months ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• Lagrange-Labs / reckle-trees
  ☆31Updated last year
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆18Updated last year
• eth-act / zkevm-benchmark-workload
  zkEVM benchmarking
  ☆29Updated last week
• adria0 / plonk-by-fingers
  Implementation of Plonk by Hand in rust
  ☆62Updated last year
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆85Updated last year
• 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
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆72Updated 5 months ago
• babybear-labs / benchmark
  Benchmark of ZKVMs and Proving Schemes
  ☆29Updated 2 months ago
• greenhat / omnizk
  Compiler framework for ZK VMs
  ☆33Updated 2 years ago
• arielgabizon / Lectures
  ☆28Updated 10 months ago
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆40Updated last year
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆50Updated 2 years ago
• clvv / rcc
  ☆24Updated last year
• proxima-one / kzg
  a simple implementation of the KZG polynomial commitment scheme
  ☆25Updated 3 years ago
• wborgeaud / ecfft-bn254
  ECFFT in Rust
  ☆58Updated last year
• joshbeal / derecho
  A Rust library for proof-carrying disclosures
  ☆21Updated last year
• unbalancedparentheses / cryptography_in_rust_for_hackers
  Cryptography In Rust For Hackers
  ☆21Updated last year
• kevaundray / plookup
  ☆40Updated 2 years ago
• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆59Updated 2 years ago
• lurk-lab / lurk
  Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …
  ☆86Updated 4 months ago
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆61Updated last year
• NilFoundation / zkllvm-rslang
  ☆15Updated last year