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
• khovratovich / Kate
  ☆27Updated 3 years ago
• matter-labs / pairing
  Pairing-friendly elliptic curve library
  ☆24Updated last year
• ZenGo-X / zengo-will
  ☆15Updated 4 years ago
• fluidex / snarkit
  A toolkit to compile and debug circom circuit.
  ☆27Updated 2 years ago
• q9f / eth2-bench-2020-06
  preliminary, high-level eth2-client benchmarks
  ☆16Updated 5 years ago
• protolambda / eth2-das
  DEPRECATED - Eth2 data availability sampling - Testground plan
  ☆27Updated 4 years ago
• AztecProtocol / aztec-2-bug-bounty
  ☆17Updated 3 years ago
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆42Updated last year
• asonnino / fraudproofs-prototype
  Prototype of fraud proofs.
  ☆12Updated 3 years ago
• protolambda / macula
  Experimental python optimistic rollup fraud-proof generation
  ☆29Updated 3 years ago
• arnaucube / evm-rs
  Ethereum Virtual Machine implementation from scratch in Rust
  ☆26Updated 4 years ago
• AztecProtocol / aztec-v1-specification
  AZTEC protocol specification
  ☆31Updated 5 years ago
• gballet / verkle-block-sample
  ☆39Updated 3 years ago
• nikkolasg / halo2-circuits
  ☆28Updated 4 years ago
• Sovereign-Labs / Jupiter
  A research-only integration of Sovereign with Celestia
  ☆20Updated 2 years ago
• Consensys / liszt
  zk-rollup
  ☆22Updated 2 years ago
• EDGDrummond / DeVo
  Decentralised Voting Scheme
  ☆16Updated 4 years ago
• kilic / rln
  ☆30Updated 3 years ago
• ChorusOne / tendermint-sol
  Tendermint in Solidity
  ☆61Updated 3 years ago
• geometryxyz / baloo
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Updated 3 years ago
• yondonfu / sol-baby-jubjub
  Solidity implementation of the baby jubjub curve
  ☆21Updated last year
• odradev / evm-at-risc0
  ☆17Updated 2 years ago
• kilic / evmvdf
  Delay Function Verification Smart Contract
  ☆28Updated 4 years ago
• AztecProtocol / consolerr
  Solidity error logging
  ☆23Updated 4 years ago
• crate-crypto / qesa
  Efficient zero-knowledge arguments in the discrete log setting, revisited
  ☆16Updated 5 years ago
• han0110 / evilink
  😈 Demonstration how to manipulate VRF randomness of Chainlink
  ☆29Updated 4 years ago
• 0xPolygonZero / r1cs-workshop
  Notes for the R1CS programming workshop at ZK0x04
  ☆31Updated 6 years ago
• 0xProject / VDF
  A Solidity implementation of a VDF verifier contract
  ☆16Updated 2 years ago
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆53Updated 3 years ago