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
This example shows how a verifier confirms that an event is included in a committed batch.
- 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.
