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

> How to verify inclusion and compliance using Set L2 commitments.

# Set L2 Verification

Set L2 enables third parties to verify event inclusion and policy compliance using on-chain commitments and proof metadata.

## Verify Event Inclusion

To verify an event inclusion:

1. Retrieve the batch commitment from Set L2.
2. Obtain the Merkle proof from the sequencer.
3. Recompute the root and compare with the on-chain commitment.

## Verify Policy Compliance

Compliance proofs are anchored alongside batch commitments:

1. Retrieve proof metadata from Set L2.
2. Validate proof hash and policy hash.
3. Verify the proof using the STARK verifier.

## When to Use Verification

* External auditors validating an event trail
* Partners confirming a policy boundary (e.g., AML thresholds)
* Agents coordinating across systems without shared trust

## Related Documentation

* [Set L2 Overview](/stateset-set-l2)
* [Sequencer Overview](/stateset-sequencer)