Skip to main contentSet 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:
- Retrieve the batch commitment from Set L2.
- Obtain the Merkle proof from the sequencer.
- Recompute the root and compare with the on-chain commitment.
Verify Policy Compliance
Compliance proofs are anchored alongside batch commitments:
- Retrieve proof metadata from Set L2.
- Validate proof hash and policy hash.
- 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
