PinnedLoading

1. HerodotusDev/integrityHerodotusDev/integrityPublic

   Cairo STARK proof verifier for Starknet

   Cairo 70 25

2. iosis-tech/zetinaiosis-tech/zetinaPublic

   Shared peer-to-peer network of zero-knowledge provers

   Cairo 16 1

3. iosis-tech/swiftnessiosis-tech/swiftnessPublic

   Cairo-VM STONE STARK Verifier Rust implementation

   Rust 40 12

4. binius-web-snarkbinius-web-snarkPublic

   Binius circuits web demos

   Rust 14

5. stwo-web-starkstwo-web-starkPublic

   Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇

   TypeScript 25 1

6. iosis-tech/zkemail-cairoiosis-tech/zkemail-cairoPublic

   DKIM RSA-SHA256 Verification Algorithm in Cairo ZKVM

   Rust 9 1