Skip to main content

​
Set L2 Verification Example

This example shows how a verifier confirms that an event is included in a committed batch.

​
Inputs

  • Batch commitment: On-chain root for the batch
  • Event hash: Hash of the event payload
  • Merkle proof: Proof path from the sequencer

​
1) Retrieve the Batch Commitment

Fetch the batch commitment from Set L2 using the batch ID.

​
2) Get the Merkle Proof

Request the Merkle proof for the event from the sequencer.

​
3) Recompute the Root

Use the event hash and proof path to recompute the Merkle root locally.

​
4) Compare On-Chain Root

If the recomputed root matches the on-chain root, the event is included in the batch.

​
Next Steps

After inclusion, verify policy compliance using the proof metadata anchored on Set L2.