Alternatives and similar repositories for zkvm-perf

Users that are interested in zkvm-perf are comparing it to the libraries listed below

• w3f / fflonk
  ☆30Updated 4 months ago
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆40Updated last year
• succinctlabs / plonky3
  ☆24Updated 8 months ago
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆35Updated last week
• 0xmozak / mozak-vm
  Mozak RISC-V Virtual Machine
  ☆25Updated 5 months ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆73Updated 6 months ago
• arkworks-rs / spongefish
  Fiat-Shamir for the masses.
  ☆73Updated last month
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆61Updated last year
• ed255 / riscu-jolt
  RISCU emulator and zk circuit simulator as a reference for a Jolt implementation
  ☆23Updated last year
• lurk-lang / bellpepper
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆76Updated 7 months ago
• cairoeth / sp1-eof
  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️
  ☆35Updated 4 months ago
• celestiaorg / hana
  Celestia derivation pipeline and proof crate built with kona
  ☆14Updated 3 weeks ago
• eth-act / zkevm-benchmark-workload
  zkVM benchmarking for Ethereum
  ☆30Updated this week
• pluto / aes-circuits
  Circom AES-GCM circuits
  ☆34Updated 3 weeks ago
• lurk-lang / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆85Updated 5 months ago
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆68Updated this week
• anoma / zkp-compiler-shootout
  Evaluating & benchmarking ZKP compilation strategies.
  ☆121Updated last year
• zksecurity / pumice
  An API compatible port of the Stone prover.
  ☆19Updated 9 months ago
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated last year
• zkmopro / gpu-acceleration
  Explorations on mobile-first GPU acceleration, currently support MSM.
  ☆23Updated 2 weeks ago
• geometryxyz / functional-commitment
  Implementation of efficient function-hiding functional commitments https://eprint.iacr.org/2021/1342
  ☆16Updated 2 years ago
• arnaucube / nova-study
  Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf
  ☆45Updated 2 years ago
• arkworks-rs / spartan
  Spartan on Arkworks
  ☆42Updated 2 weeks ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆58Updated 8 months ago
• NebraZKP / upa
  UPA is the proof aggregation engine built by NEBRA team.
  ☆34Updated 4 months ago
• lucasgleba / zkRiscV
  A Risc-V CPU implemented as a zk-SNARK
  ☆49Updated 2 years ago
• rubydusa / circom-lsp
  A Language Server Protocol Implementation for Circom
  ☆31Updated 2 years ago
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated last year
• arkworks-rs / sumcheck
  linear-time sumcheck protocol for multilinear polynomials and related addends
  ☆78Updated 11 months ago