Compatible versions:

• Prover: v4.0.2
• Bridge: v0.4.0

Etrog changelog

Precompiled

• add support for the following precompiled smart contracts
  • sha256
  • modexp
  • ecadd
  • ecmul
  • ecpairing

L1InfoTree

• merkle tree that contains historical data
• saved in the smart contracts
• each leaf contains the following parameters:
  • ger: global exit root
  • blockHashL1: blockHash of the L1 network
  • minTimestamp: minimum timestamp

changeL2Block transaction

• add a marker in the batch data which allows to change L2Block inside a batch
• format:

fields: [type | deltaTimestamp | indexL1InfoTree ]
bytes:  [  1  |       4        |         4       ]

• where
  • type: transaction type to allow differentiate between preEIP155 and legacy transactions
  • deltaTimestamp: time to add to previous block in order to compute the current block timestamp
  • indexL1InfoTree: leaf index in the l1InfoTree. The index will determine the paraneters to insert into L2

BlockInfoTree

• SMT to include all the block data while the L2 Block is being processed
• Allow to verify data returned by the RPC
• Data included in the BlockInfoTree:
  • header
    • previousBlockHash
    • coinbaseL2
    • blockNumber
    • gasLimit
    • timestamp
    • ger
    • blockHashL1
    • gasUSed
  • each transaction processed
    • l2TxHash
    • status
    • cumulativeGasUsed
    • logsData