Function: validateMPT(byte[] _proof)

Verifies an MPT proof and returns a receipt if the proof is valid

Inputs

• _proof

  • Control: Fully controlled by caller.

  • Constraints: N/A. Assumed to be a valid proof payload.

  • Impact: Contains proof data to be validated by verifier.

Branches and code coverage (including function calls)

Intended branches

• Receipt is generated correctly for valid proof.

  Test Coverage

Negative behavior

• Reverts if proof is invalid.

  Test Coverage

• Reverts if proofData.publicInputs.length < 4.

  Test Coverage

• Reverts if _proof deserialization fails.

  Test Coverage