rutefig / zklings

Related projects ⓘ

Alternatives and complementary repositories for zklings

• yetanotherco / zkRust
  ☆30Updated last month
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆56Updated last week
• hecmas / zkNotebook
  My personal notebook for various zk-related topics
  ☆48Updated 7 months ago
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆93Updated 3 months ago
• porco-rosso-j / awesome-zkecdsa
  A curated list of resources on zkECDSA
  ☆35Updated last year
• erhant / lambda-0b10
  Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.
  ☆29Updated last month
• DelphinusLab / zkWasm-host-circuits
  ☆24Updated 3 weeks ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆63Updated 4 months ago
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆81Updated last year
• nullity00 / zk-blockchain-ideas
  A collection of all the project ideas involving zk, blockchains & what not
  ☆24Updated last year
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆56Updated 7 months ago
• thor314 / pebble-stark
  A community-developed re-implementation of the Starkware Stone Prover
  ☆70Updated 3 weeks ago
• vacekj / air-fried-gyatt
  Breathe air
  ☆22Updated 6 months ago
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆20Updated 2 weeks ago
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆49Updated last month
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• ZK-University / ZKU
  Zero-Knowledge University
  ☆31Updated 3 months ago
• lambdaclass / circom_export_to_cairo
  Export Circom verifier to Cairo
  ☆49Updated 2 years ago
• privacy-scaling-explorations / pse.dev
  The PSE website
  ☆20Updated 2 weeks ago
• kurtpan666 / awesome-circlestark
  A curated list of awesome things related to learning Circle STARK.
  ☆20Updated last month
• iosis-tech / swiftness
  Cairo-VM STARK Verifier Rust implementation
  ☆38Updated last month
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆50Updated 11 months ago
• JumpCrypto / plonky2-crypto
  Crypto Gadgets for Plonky2
  ☆71Updated 6 months ago
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆59Updated 3 weeks ago
• laudiacay / barustenberg
  barretenburg in rust (here we go)
  ☆97Updated 10 months ago
• rkdud007 / awesome-zkvm
  A curated list of zkVM, zero-knowledge virtual machine
  ☆71Updated this week
• zksecurity / stark-evm-adapter
  Adapt your STARK stone proofs for verifications on Ethereum
  ☆17Updated last month
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆27Updated last year
• manuj-mishra / zkdiffpriv
  Zero knowledge proofs of differential privacy mechanisms
  ☆22Updated last year
• renegade-fi / renegade-contracts
  Smart contracts for on-chain anonymous settlement.
  ☆95Updated this week