Alternatives and similar repositories for zkvm

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

• thomas-waite / zkSocialRecovery
  Novel zero-knowledge proof based social recovery of smart contract wallets
  ☆34Updated 2 years ago
• matter-labs / pairing
  Pairing-friendly elliptic curve library
  ☆24Updated last year
• protolambda / macula
  Experimental python optimistic rollup fraud-proof generation
  ☆29Updated 3 years ago
• yondonfu / sol-baby-jubjub
  Solidity implementation of the baby jubjub curve
  ☆22Updated last year
• khovratovich / Kate
  ☆27Updated 2 years ago
• gballet / verkle-block-sample
  ☆39Updated 2 years ago
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆42Updated last year
• fluidex / snarkit
  A toolkit to compile and debug circom circuit.
  ☆27Updated 2 years ago
• EDGDrummond / DeVo
  Decentralised Voting Scheme
  ☆15Updated 3 years ago
• geometryxyz / baloo
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Updated 2 years ago
• nikkolasg / halo2-circuits
  ☆28Updated 3 years ago
• AztecProtocol / plonk-with-lookups
  ☆18Updated 5 years ago
• kilic / rln
  ☆30Updated 2 years ago
• ZenGo-X / zengo-will
  ☆15Updated 4 years ago
• 0xPolygonZero / r1cs-workshop
  Notes for the R1CS programming workshop at ZK0x04
  ☆31Updated 5 years ago
• abdk-consulting / abdk-libraries-circom
  Open-Source Libraries for Circom by ABDK Consulting
  ☆19Updated 5 years ago
• odradev / evm-at-risc0
  ☆17Updated 2 years ago
• arnaucube / evm-rs
  Ethereum Virtual Machine implementation from scratch in Rust
  ☆26Updated 4 years ago
• Consensys / liszt
  zk-rollup
  ☆22Updated 2 years ago
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆52Updated 3 years ago
• privacy-ethereum / multisetups
  A simple, IPFS-based multi-party trusted setup utility for snarkjs
  ☆27Updated 2 years ago
• informartin / zkRelay
  ☆29Updated 4 years ago
• AztecProtocol / aztec-2-bug-bounty
  ☆17Updated 3 years ago
• interlay / compressed-inclusion-proofs
  TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation
  ☆14Updated 2 years ago
• barryWhiteHat / baby_jubjub
  Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum
  ☆39Updated 6 years ago
• ChorusOne / tendermint-sol
  Tendermint in Solidity
  ☆61Updated 3 years ago
• protolambda / eth2-das
  DEPRECATED - Eth2 data availability sampling - Testground plan
  ☆27Updated 3 years ago
• AztecProtocol / consolerr
  Solidity error logging
  ☆23Updated 4 years ago
• adria0 / a0kzg
  Kate-Zaverucha-Goldberg polynomial commitments in rust playground
  ☆13Updated 4 years ago
• asonnino / fraudproofs-prototype
  Prototype of fraud proofs.
  ☆12Updated 3 years ago