> ## Documentation Index
> Fetch the complete documentation index at: https://docs.stateset.com/llms.txt
> Use this file to discover all available pages before exploring further.

# Set L2 Verification Example

> Step-by-step inclusion verification using batch commitments.

# 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.

## Related Documentation

* [Set L2 Verification](/stateset-set-l2-verification)
* [Set L2 Overview](/stateset-set-l2)