How Proofs Are Verified On-Chain

This lesson is for enrolled learners

The concept You follow a proof from calldata to an accept/reject decision in a Solidity verifier: public inputs, proof bytes, a verifying key baked into the contract, and the pairing or other cryptographic checks the generated verifier runs. The lesson emphasizes that the contract only checks the proof against the public inputs you pass — wrong public inputs are an……

Enroll to continue Already enrolled? Sign in