Alternatives and similar repositories for verkle

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

• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆42Updated 9 months ago
• protocol / vdf
  A Sloth-based Verifiable Delay Function (VDF) evaluator and SNARK prover.
  ☆17Updated 2 years ago
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated 2 years ago
• ChainSafe / das-prototype
  Research prototypes of Data Availability Sampling for Ethereum (WIP)
  ☆16Updated 2 years ago
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆39Updated last year
• zhenfeizhang / pasta-solidity
  A Solidity implementation of Halo2's Pasta curves
  ☆49Updated 2 years ago
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆18Updated 11 months ago
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• odradev / evm-at-risc0
  ☆17Updated 2 years ago
• lyronctk / kzg-blob
  Prove multi-opens of EIP-4844 KZG blobs
  ☆14Updated last year
• lopeetall / caulk
  Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf
  ☆12Updated 2 years ago
• joshbeal / derecho
  A Rust library for proof-carrying disclosures
  ☆20Updated last year
• l2iterative / ll0
  Delve into low-level RISC Zero machine
  ☆27Updated last year
• zksecurity / stark-book
  STARK book
  ☆20Updated 8 months ago
• hero78119 / risc0-nova
  RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme
  ☆28Updated last year
• Lagrange-Labs / reckle-trees
  ☆30Updated last year
• DelphinusLab / zkWasm-prover
  ☆20Updated 2 months ago
• hashcloak / smol-mpc
  A port of TinySMPC into Rust.
  ☆22Updated last year
• EspressoSystems / op-leader-election
  Leader election support in Optimism. Optimism is Ethereum, scaled.
  ☆10Updated 9 months ago
• arkworks-rs / accumulation
  Rust library for accumulation schemes
  ☆23Updated 2 years ago
• Consensys / gkr-mimc
  gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation
  ☆25Updated 11 months ago
• ZenGo-X / vdf
  Simple RSA VDF in Rust
  ☆20Updated 4 years ago
• puma314 / batch-ecdsa
  Batch ECDSA in circom
  ☆33Updated 2 years ago
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated 11 months ago
• lambdaclass / aleo_lambda_vm
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21Updated 2 years ago
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated 2 years ago
• yondonfu / sol-baby-jubjub
  Solidity implementation of the baby jubjub curve
  ☆22Updated last year
• arkworks-rs / spartan
  Spartan on Arkworks
  ☆42Updated 5 months ago
• han0110 / halo2-kzg-srs
  ☆33Updated last year
• arnaucube / fri-commitment
  FRI low-degree-testing & polynomial commitment scheme
  ☆24Updated 2 years ago