From 60be3d740620f3bf3cab347dbdfec9ddd9aa70e2 Mon Sep 17 00:00:00 2001 From: John Adler Date: Mon, 6 Jun 2022 15:24:07 -0400 Subject: [PATCH] Order initial storage slot keys. (#329) --- specs/protocol/tx_format.md | 1 + 1 file changed, 1 insertion(+) diff --git a/specs/protocol/tx_format.md b/specs/protocol/tx_format.md index e5470393..87ed1a22 100644 --- a/specs/protocol/tx_format.md +++ b/specs/protocol/tx_format.md @@ -157,6 +157,7 @@ Transaction is invalid if: - `staticContractsCount > MAX_STATIC_CONTRACTS` - `staticContracts` is not ordered in ascending order - Any contract with ID in `staticContracts` is not in the state +- The keys of `storageSlots` are not in ascending lexicographic order - The computed contract ID (see below) is not equal to the `contractID` of the one `OutputType.ContractCreated` output - `storageSlotsCount > MAX_STORAGE_SLOTS` - The [Sparse Merkle tree](./cryptographic_primitives.md#sparse-merkle-tree) root of `storageSlots` is not equal to the `stateRoot` of the one `OutputType.ContractCreated` output