Proof Methodology

Receipt by Notifier

struct ReceiptPayload {
  uint16 srcChainId;
  bytes rlpBlock;
  bytes rlpReceipt;
  bytes rlpIndex;
  bytes rlpStack;
  uint256[] logIndexes;
}

1. The notifier accesses the verifier of the destination chain.

2. Executes function forwardReceipt

   1. Parameter description

      1. bytes rlpBlock; The blockheader is RLP (Recursive Length Prefix) encoded.

      2. bytes rlpReceipt;

      3. bytes rlpIndex; The index of the target transaction included in the block (equals the receipt index).

      4. bytes rlpStack; The obtained MP-tree stack is used as rlpStack.

3. The following MP (Merkle Patricia) verify is conducted.

   Proof.verify(
     keccak256(payload.rlpReceipt),
     payload.rlpIndex,
     payload.rlpStack,
     header.receiptsRoot
   )