Receipt-Based Verification

Receipt-based verification is a technique where a shard generates a cryptographic proof, or receipt, to confirm that a specific event has occurred. This receipt is then submitted to the destination shard, which verifies the proof to trigger further actions.

This method is the backbone of asynchronous cross-shard communication. By using receipts, the destination shard does not need to query the source shard directly, which would be slow and inefficient.

Instead, it relies on the proof provided by the user or a relayer. This model is highly scalable and allows for flexible, permissionless interaction between shards.

It ensures that the system can maintain security and correctness without requiring constant, high-bandwidth communication between all parts of the network.