starkware-libs / stwo-cairo

Related projects: ⓘ

• starkware-libs / sequencer
  ☆18Updated this week
• scroll-tech / stateless-block-verifier
  ☆34Updated this week
• DelphinusLab / zkWasm-host-circuits
  ☆22Updated 2 weeks ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)
  ☆23Updated this week
• ingonyama-zk / super-sumcheck
  In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU
  ☆34Updated 5 months ago
• z-prize / 2023-entries
  Source code for all entries from the 2023 ZPrize competition
  ☆16Updated 3 months ago
• namnc / circom-2-arithc
  Circom interpreter to arithmetic circuit description
  ☆41Updated last week
• succinctlabs / op-succinct
  OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.
  ☆65Updated this week
• thor314 / pebble-stark
  A community-developed re-implementation of the Starkware Stone Prover
  ☆70Updated 7 months ago
• DoHoonKim8 / halo2-lasso
  Benchmark for adding Lasso lookup argument to halo2 backend
  ☆29Updated 6 months ago
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆48Updated this week
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆59Updated last month
• erhant / lambda-0b10
  Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.
  ☆26Updated 2 months ago
• PolyhedraZK / blogs
  Polyhedra ZK knowledge base
  ☆16Updated 3 weeks ago
• succinctlabs / sp1-contracts
  Verifier contracts for onchain verification of SP1.
  ☆55Updated this week
• DelphinusLab / continuation-batcher
  customizable halo2 circuits batcher
  ☆27Updated last week
• ingonyama-zk / open-binius
  building blocks for accelerating ZK proofs over binary fields
  ☆36Updated last month
• keep-starknet-strange / snos
  Rust Library for running the Starknet OS via the Cairo VM
  ☆53Updated this week
• matter-labs / zk_os
  OS for next iteration of the world computer
  ☆45Updated last year
• argumentcomputer / bellpepper-gadgets
  A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
  ☆17Updated last month
• shramee / cairo_pairing
  ☆18Updated last month
• vacp2p / zk-explorations
  ☆31Updated 5 months ago
• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆21Updated this week
• Okm165 / stone-prover-cairo0-verifier
  Integrating Stone Prover's generated proofs with the Cairo0 verifier
  ☆11Updated 6 months ago
• argumentcomputer / sphinx
  An observatory fork of SP1 (contact: @huitseeker)
  ☆35Updated this week
• zkCert / halo2-zkcert
  Verify a chain of x509 certificates in halo2
  ☆32Updated 9 months ago
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆48Updated this week
• maxgillett / halo2-fri-gadget
  A FRI verifier circuit for the Halo2 proof system
  ☆72Updated last year
• argumentcomputer / solidity-verifier
  Solidity implementation of Nova proving system verifier
  ☆56Updated 6 months ago
• philsippl / circom-witness-rs
  ☆58Updated 6 months ago