Block structure & serialization
A zkopru block is submitted to the layer1 in a serialized form. Then, the checksum of the proposal becomes the proposal ID and is used for the challenge system.
The zkopru block includes a header and a body.
Edit diagram here
The first 340 bytes of the data should be the block header. The block header contains the following data:
Parent block hash
Latest UTXO tree's root
Latest UTXO tree's leaf index
Nullifier tree's root
Latest withdrawal tree's root
Latest withdrawal tree's leaf index
A block body consists of transactions, mass deposits, and mass migrations. Moreover, the block header should contain correct information from the body. If the header does not have the correct value, the proposer will get slashed through the challenge system.