Awesome zkVerify

A curated list of awesome zkVerify resources, tutorials, and projects.

zkVerify is a high-performant, public, and decentralized blockchain dedicated to zero-knowledge proof verification. It provides a modular and composable approach for ZK apps to verify proofs.

Tutorials

• Client side proof generation with Circom and verification on zkVerify [docs] [code]

• Client side proof generation with Noir and verification on zkVerify [docs] [code]

• Using Relayer [docs] [code]

• Using zkVerifyJS [docs] [code]

Explorations

• Proof of Geolocation with MoPro [code]

• Proof of Secure Media with SP1 [X Post]

• zkEmail with zkVerify [docs] [code]

• Anon Aadhaar with zkVerify [code]

• TEE Verification with Risc Zero [docs] [code]

• Galxe Identity Protocol with zkVerify [docs] [code]

Notable HackerHouse projects

• zkRL: Reputation-Based Undercollateralized Lending Protocol [github]

• Block Hacker: Block Hacker Transforms "trust the game developer" into "trust the math" - players can prove they earned rewards through skill, not cheating, while maintaining smooth gameplay experience [devfolio] [X post]

• MEV Buster: Privacy-preserving dark pool trading system combining Uniswap V4, Phala TEE, EigenLayer AVS, and Zero-Knowledge Proofs [github]

• zkSignals: Anonymous Signaling for Verified Communities [github]

• Arthavia: Comprehensive wallet security protocol that provides emergency controls for your cryptocurrency wallet. It combines smart contract-based policy enforcement with a user-friendly frontend interface [github]

• DarkMint: Zero-Knowledge Privacy System for Ethereum [github]

• Tachyon: Bridge Solver with zkVerify & TEE Privacy Architecture [github]

• AnonPay: KYC-Compliant Contract System with Anon Aadhaar & zkVerify [github]

• Ninja Bridge: Private bridge between Horizen and Base [github]

You can find all the hackathons and hackerhouse projects here:

• India HH [Devfolio]
• Vietnam HH [Devfolio]
• ZK Online Hackathon for Web3 Builders [Devfolio]