The Taiko ZK Rollup protocol consists of two smart contracts deployed on layer 1 and layer 2 (L1 and L2).

TaikoL1, deployed on Ethereum, allows for the proposing, proving, and verifying of L2 (TaikoL2) blocks.

This smart contract maintains the following state variables:

• The total number of proposed blocks and the ID of the next block to be proposed The list of proposed blocks

• The ID of the last verified block

• The correspondence between the validation hashes of validated blocks and the numbers of the L1 blocks they contain

• The correspondence between the IDs of proposed blocks and their Fork choices

The Taiko L2 (smart contract deployed on Layer 2) allows for the reuse of EVM programmability and facilitates anchoring (the anchoring transaction is a means for Taiko to use the programmability of the EVM to enforce certain protocol behaviors).

It also allows for proving the invalidity of a block that has been proposed.

However, it is important to note that some EIPs will be disabled during implementation but will be reactivated in the near future.