Workshop: Verifying zk-SNARK Proofs (Circom & Noir) on Starknet This is the 8th session of the Starknet online Re{solve} hackathon workshop series. Learn how to bridge zero-knowledge proofs to Starknet in this 30-minute workshop. We’ll use the Garaga toolkit to generate Cairo verifier contracts and verify zk-SNARK proofs on-chain. This session covers both Circom (Groth16) and Noir (Ultra Honk) flows, includes a live demo (declare/deploy a verifier, send a proof for verification), and ships a minimal React dApp that uses the garaga npm package to build calldata and invoke the verifier. You’ll leave with a repo, a working example, and a step-by-step guide to integrate proofs into Starknet dApps. Workshop Mentor: Casio | Fat Solutions
Workshop: Verifying zk-SNARK Proofs (Circom & Noir) on Starknet
www.linkedin.com
Join the hackathon: https://resolve-starknet.devpost.com/
Ecosystem @Starknet Foundation
1moRelevant Links: - Resources link: https://hackmd.io/@IrxgNBpSQKSNBTpimFhtYA/ByEsI1Kjll - Demo repo link: https://github.com/casiojapi/starknet-zk-workshop