lunfardo314 / verkle

Related projects ⓘ

Alternatives and complementary repositories for verkle

• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆41Updated 3 months ago
• l2iterative / ll0
  Delve into low-level RISC Zero machine
  ☆27Updated 10 months ago
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated last year
• PopcornPaws / fde
  ☆29Updated 7 months ago
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated last year
• han0110 / halo2-kzg-srs
  ☆32Updated 10 months ago
• lyronctk / kzg-blob
  Prove multi-opens of EIP-4844 KZG blobs
  ☆14Updated last year
• kilic / rln
  ☆30Updated 2 years ago
• hashcloak / smol-mpc
  A port of TinySMPC into Rust.
  ☆21Updated last year
• protocol / vdf
  A Sloth-based Verifiable Delay Function (VDF) evaluator and SNARK prover.
  ☆16Updated 2 years ago
• demox-labs / webgpu-crypto
  ☆30Updated 11 months ago
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• lambdaclass / aleo_lambda_vm
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21Updated last year
• PufferFinance / rave
  Remote Attestation VErification
  ☆29Updated 3 months ago
• sigma0-dev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆28Updated 2 months ago
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated 4 months ago
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆38Updated 11 months ago
• geometryxyz / functional-commitment
  Implementation of efficient function-hiding functional commitments https://eprint.iacr.org/2021/1342
  ☆13Updated last year
• 0x3327 / SKProof
  Scikit-learn compatible Python library for generating ZK proofs of execution
  ☆18Updated last year
• nulltea / two-party-adaptor
  Joint 2-Party generation of the one-time Verifiable Encrypted Signature (VES) aka adaptor signatures
  ☆12Updated last year
• ChorusOne / celo-light-client
  Celo Light Client (IBC compatible)
  ☆16Updated 2 years ago
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated last year
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• arkworks-rs / spartan
  Spartan on Arkworks
  ☆38Updated 4 months ago
• crate-crypto / proto-danksharding-crypto
  ☆12Updated last year
• DelphinusLab / zkWasm-prover
  ☆20Updated this week
• ChainSafe / das-prototype
  Research prototypes of Data Availability Sampling for Ethereum (WIP)
  ☆16Updated last year
• arkworks-rs / sponge
  This library is archived; see crypto-primities for the latest version of this code
  ☆22Updated last year
• NilFoundation / zkllvm-blueprint
  Circuit components definition library for zkLLVM circuit compiler
  ☆43Updated 2 months ago