structure FPData : Type

This is the data we need to implement these fraudproofs. It is the data we get from the DA

• txs : List TxId
• utxos_prev : List OutputRef
• utxos_post : List OutputRef
• wts : Withdrawals
• start_time : PosixTime
• end_time : PosixTime

def buildFPData (da : DataLayer.DA) (prev block : SimpleHeader) : Option FPData

Helper function getting the data from hashes and the DA.

Equations

• One or more equations did not get rendered due to their size.