Proving Systems and Trusted Setups·Lesson 18 of 33·30 min
Lab: Integrate a Circom Proof into a Solidity Contract
This lesson is for enrolled learners
The concept You wire a real path: compile a Circom circuit, perform or reuse a setup, generate a Solidity verifier, and write a wrapper contract plus tests that submit a valid proof and reject an invalid one. This lab is the first time the chain, not a local CLI, is the verifier. This lab connects a Circom proof to a……
Enroll to continue Already enrolled? Sign in