12 Matching Annotations
  1. Jun 2019
  2. May 2019
    1. After executing the transactions against all updates, the client MUST verify that the resulting state updates are all equivalent.

      Maybe worth explaining why this is necessary.

    2. Next, the client MUST find all previously verified state updates that intersect with the range on the transations and where update.verifiedBlockNumber is equal to element.block - 1.

      Maybe tie this back into non-inclusion proof elements.