Alternatives and similar repositories for a0kzg

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

• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆17Updated last year
• geometryxyz / baloo
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Updated 3 years ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆70Updated 2 years ago
• proxima-one / kzg
  a simple implementation of the KZG polynomial commitment scheme
  ☆25Updated 4 years ago
• lambdaclass / aleo_lambda_vm
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21Updated 2 years ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated 2 years ago
• barryWhiteHat / zkvm
  a sketch of what a zkvm could look like
  ☆26Updated 4 years ago
• adietrichs / kzg-sharding
  ☆19Updated 3 years ago
• odradev / evm-at-risc0
  ☆17Updated 2 years ago
• nikkolasg / halo2-circuits
  ☆28Updated 4 years ago
• Orbis-Tertius / tiny-ram-halo2
  A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…
  ☆39Updated 3 years ago
• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆60Updated 2 years ago
• abdk-consulting / abdk-libraries-circom
  Open-Source Libraries for Circom by ABDK Consulting
  ☆19Updated 6 years ago
• kevaundray / plookup
  ☆41Updated 3 years ago
• l2iterative / ll0
  Delve into low-level RISC Zero machine
  ☆30Updated 2 years ago
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆42Updated last year
• lambdaclass / aleo_lambda_blockchain
  Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass
  ☆15Updated 2 years ago
• halo2-ce / halo2
  ☆30Updated 2 years ago
• kilic / rln
  ☆30Updated 3 years ago
• arkworks-rs / accumulation
  Rust library for accumulation schemes
  ☆25Updated 3 years ago
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆51Updated 2 years ago
• lambdaclass / era_vm
  EraVM implementation
  ☆19Updated last year
• matter-labs / rescue-poseidon
  Rescue and Poseidon hash function implementations
  ☆43Updated last year
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆39Updated 2 years ago
• geometryxyz / proof-toolbox
  Cryptographic protocols
  ☆38Updated 2 years ago
• socathie / ZKaggleV2
  Version 2 of ZKaggle, 🏆 Finalist of ETHGlobal FVM Space Warp Hack
  ☆16Updated 2 years ago
• DelphinusLab / zkWasm-prover
  ☆20Updated 6 months ago
• qope / plonky2-bn254-pairing
  plonky2 implementation of bn254 pairing
  ☆19Updated last year
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆53Updated 3 years ago
• gballet / verkle-block-sample
  ☆39Updated 3 years ago