Add tests to Steel that ensure any corruption of the data will be detected by the zkVM guest, or during verification against a the set of trusted block commitments. This serves as a basic check against unconstrained modification of the Steel query results, complimenting our tests of the "happy path".
Examples of data we need to check:
Modification of a value in EVM storage.
Modification or omission of nodes in the storage MPT inclusion proof.
Modification of the contract code.
Modification of account balances.
Modification or omission of nodes in the state MPT inclusion proof.
Add tests to Steel that ensure any corruption of the data will be detected by the zkVM guest, or during verification against a the set of trusted block commitments. This serves as a basic check against unconstrained modification of the Steel query results, complimenting our tests of the "happy path".
Examples of data we need to check: