nalinbhardwaj / zordle

Related projects: ⓘ

• zksecurity / noname
  Noname: a programming language to write zkapps
  ☆178Updated this week
• arkworks-rs / circom-compat
  Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
  ☆228Updated last week
• personaelabs / spartan-ecdsa
  The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
  ☆198Updated 9 months ago
• privacy-scaling-explorations / zk-kit
  A monorepo of reusable libraries for zero-knowledge technologies.
  ☆281Updated this week
• pluto / ronkathon
  Cryptography Educational Foundations
  ☆169Updated last week
• argumentcomputer / awesome-folding
  A curated list of zero-knowledge folding schemes
  ☆267Updated last month
• nalinbhardwaj / Nova-Scotia
  Middleware to compile Circom circuits to Nova prover
  ☆225Updated 6 months ago
• fluidex / awesome-plonk
  A curated list of awesome things related to plonk proof system
  ☆225Updated last month
• aszepieniec / stark-anatomy
  Tutorial for STARKs with supporting code in python
  ☆198Updated last month
• andrewmilson / ministark
  🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs
  ☆339Updated 7 months ago
• tlsnotary / tlsn
  Rust implementation of the TLSNotary protocol
  ☆259Updated this week
• zkemail / zk-email-verify
  Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.
  ☆348Updated this week
• lambdaclass / merkle_patricia_tree
  Patricia Merkle Tree implementation in Rust
  ☆154Updated 2 weeks ago
• 0xPARC / circom-ecdsa
  Big integer arithmetic and secp256k1 ECC operations in circom
  ☆301Updated 10 months ago
• privacy-scaling-explorations / halo2
  ☆202Updated this week
• maxgillett / giza
  A Cairo VM prover implemented using Winterfell
  ☆156Updated 2 years ago
• initc3 / babySNARK
  Baby SNARK (do do dodo dodo)
  ☆227Updated 3 months ago
• jules / supernova
  Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
  ☆120Updated last year
• adria0 / awesome-halo2
  List of halo2-related resources
  ☆187Updated 7 months ago
• 0xPARC / plonkathon
  educational python plonk implementation, based on vitalik's py_plonk
  ☆187Updated 2 months ago
• privacy-scaling-explorations / chiquito
  DSL for Halo2 circuits
  ☆185Updated 3 weeks ago
• thor314 / pazk
  Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group
  ☆122Updated 2 years ago
• privacy-scaling-explorations / mpz
  Multi-party computation libraries written in Rust 🦀
  ☆182Updated this week
• powdr-labs / powdr
  A modular stack for zkVMs, with a focus on productivity, security and performance.
  ☆383Updated this week
• lambdaclass / sparkling_water_bootcamp
  Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp
  ☆126Updated 9 months ago
• ZK-Garage / plonk
  A pure Rust PLONK implementation using arkworks as a backend.
  ☆289Updated last year
• risc0 / zeth
  A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
  ☆356Updated 2 weeks ago
• valida-xyz / valida
  A STARK-based VM focused on code reuse, performance, and modularity
  ☆273Updated 2 months ago
• zkemail / email-wallet
  A smart contract wallet controlled using email
  ☆129Updated 2 weeks ago
• vacp2p / zerokit
  A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.
  ☆130Updated this week