palomachain / paloma

The fast blockchain messenger protocol
Apache License 2.0
290 stars 136 forks source link

chore: VerifyAgainstTX implementation #1203

Closed maharifu closed 2 months ago

maharifu commented 2 months ago

Related Github tickets

Background

Each message type attested by Paloma needs to implement VerifyAgainstTX to ensure the reported evidence actually matches the expected evidence.

For each message type - UploadSmartContract, UpdateValset and SubmitLogicCall we implement the VerifyAgainstTX method. It reconstructs the transaction data from the original message in the same way as Pigeon does and compares the resulting bytecode against what's reported in the evidence.

Testing completed

Breaking changes