github 0xPolygonHermez/zkevm-prover v4.0.2

latest releases: v9.0.0-RC1, v6.0.8, v6.0.7_mainnet...
pre-release9 months ago

Compatible versions

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

Don't miss a new zkevm-prover release

NewReleases is sending notifications on new releases.