Alternatives and similar repositories for pinocchio_lambda_vm:

Users that are interested in pinocchio_lambda_vm are comparing it to the libraries listed below

• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• lurk-lang / bellpepper
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆69Updated this week
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆38Updated last year
• renegade-fi / ark-mpc
  A framework for SPDZ-style maliciously-secure MPC.
  ☆49Updated last week
• scroll-tech / ceno
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆78Updated last week
• sigma0-dev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆29Updated 4 months ago
• brech1 / keaki
  Extractable Witness Encryption for KZG Commitments
  ☆28Updated 2 months ago
• cryptonetlab / testudo
  Testudo: Spartan + Groth16
  ☆51Updated 11 months ago
• geometryxyz / protostar
  ☆48Updated last year
• arkworks-rs / nimue
  Fiat-Shamir for the masses.
  ☆50Updated 3 weeks ago
• pluto / aes-circuits
  Circom AES-GCM circuits
  ☆27Updated 3 months ago
• Pratyush / algebra-intro
  ☆42Updated 3 years ago
• bgillesp / pazk
  Implementations of algorithms and protocols from Justin Thaler's "Proofs, Arguments, and Zero-knowledge"
  ☆20Updated last year
• arkworks-rs / spartan
  Spartan on Arkworks
  ☆40Updated last month
• geometryxyz / functional-commitment
  Implementation of efficient function-hiding functional commitments https://eprint.iacr.org/2021/1342
  ☆13Updated 2 years ago
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆59Updated 9 months ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆46Updated last month
• kevaundray / plookup
  ☆37Updated 2 years ago
• andrewmilson / ecfft
  Elliptic Curve Fast Fourier Transform built on @arkworks-rs
  ☆67Updated last year
• MatteoMer / any-zkvm
  A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use
  ☆44Updated last week
• arnaucube / protogalaxy-poc
  ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf
  ☆39Updated last year
• Lagrange-Labs / reckle-trees
  ☆24Updated 10 months ago
• WizardOfMenlo / whir
  WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification
  ☆84Updated this week
• philsippl / circom-witness-rs
  ☆61Updated 10 months ago
• nulltea / hyper-greco
  Verifiable FHE with GKR
  ☆25Updated 3 months ago
• adria0 / plonk-by-fingers
  Implementation of Plonk by Hand in rust
  ☆60Updated 11 months ago
• lambdaclass / simpleworks
  Arkworks made simple for us: the non cryptographer software plumbers
  ☆21Updated last year
• worldfnd / icao-9303
  Reader for ICAO 9303 electronic machine readable travel documents.
  ☆30Updated this week
• xJonathanLEI / oriac
  A toy Cairo VM implementation in Rust™
  ☆72Updated 2 years ago
• privacy-scaling-explorations / nova-bench
  A collection of comparison-benchmarks for Nova & related Proving systems
  ☆42Updated last year