feat(all): changes base on protocol's tokenomics_implementation (#104)

bindings/.githead

@@ -1 +1 @@
-4b0893e3b0a723cd9115fd0c03e4ec4d1e0d1a38
+191eb110990d60b49883eb3f3d7841c33421d067

bindings/encoding/input.go

@@ -177,7 +177,7 @@ func init() {
 }
 
 // EncodeBlockMetadata performs the solidity `abi.encode` for the given blockMetadata.
-func EncodeBlockMetadata(meta *bindings.LibDataBlockMetadata) ([]byte, error) {
+func EncodeBlockMetadata(meta *bindings.TaikoDataBlockMetadata) ([]byte, error) {
 	b, err := blockMetadataArgs.Pack(meta)
 	if err != nil {
 		return nil, fmt.Errorf("failed to abi.encode block metadata, %w", err)
@@ -204,7 +204,7 @@ func EncodeCommitHash(beneficiary common.Address, txListHash [32]byte) []byte {
 }
 
 // EncodeProposeBlockInput encodes the input params for TaikoL1.proposeBlock.
-func EncodeProposeBlockInput(meta *bindings.LibDataBlockMetadata, txListBytes []byte) ([][]byte, error) {
+func EncodeProposeBlockInput(meta *bindings.TaikoDataBlockMetadata, txListBytes []byte) ([][]byte, error) {
 	metaBytes, err := EncodeBlockMetadata(meta)
 	if err != nil {
 		return nil, err
@@ -239,7 +239,7 @@ func EncodeProveBlockInput(
 // EncodeProveBlockInvalidInput encodes the input params for TaikoL1.proveBlockInvalid.
 func EncodeProveBlockInvalidInput(
 	evidence *TaikoL1Evidence,
-	target *bindings.LibDataBlockMetadata,
+	target *bindings.TaikoDataBlockMetadata,
 	receipt *types.Receipt,
 ) ([][]byte, error) {
 	evidenceBytes, err := EncodeEvidence(evidence)

bindings/encoding/input_test.go

@@ -96,7 +96,7 @@ func TestDecodeEvidenceHeader(t *testing.T) {
 	require.NotNil(t, err)
 
 	b, err := EncodeEvidence(&TaikoL1Evidence{
-		Meta: bindings.LibDataBlockMetadata{
+		Meta: bindings.TaikoDataBlockMetadata{
 			Id:           new(big.Int).SetUint64(rand.Uint64()),
 			L1Height:     new(big.Int).SetUint64(rand.Uint64()),
 			L1Hash:       testutils.RandomHash(),

bindings/encoding/struct.go

@@ -29,7 +29,7 @@ type BlockHeader struct {
 }
 
 type TaikoL1Evidence struct {
-	Meta   bindings.LibDataBlockMetadata
+	Meta   bindings.TaikoDataBlockMetadata
 	Header BlockHeader
 	Prover common.Address
 	Proofs [][]byte

bindings/encoding/struct_test.go

@@ -32,7 +32,7 @@ var (
 		Nonce:       types.EncodeNonce(rand.Uint64()),
 		BaseFee:     new(big.Int).SetUint64(rand.Uint64()),
 	}
-	testMeta = bindings.LibDataBlockMetadata{
+	testMeta = bindings.TaikoDataBlockMetadata{
 		Id:          new(big.Int).SetUint64(rand.Uint64()),
 		L1Height:    new(big.Int).SetUint64(rand.Uint64()),
 		L1Hash:      testutils.RandomHash(),

bindings/struct.go

@@ -4,29 +4,18 @@ import (
 	"math/big"
 )
 
-// ProtocolConstants contains some constants used by Taiko protocol, defined in protocol's LibConstants.
-// NOTE: this struct *MUST* match the return values of TaikoL1.getConstants method.
-// ref: https://github.com/taikoxyz/taiko-mono/blob/main/packages/protocol/contracts/libs/LibConstants.sol
-type ProtocolConstants struct {
-	ZKProofsPerBlock         *big.Int // uint256 K_ZKPROOFS_PER_BLOCK
-	ChainID                  *big.Int // uint256 K_CHAIN_ID
-	MaxNumBlocks             *big.Int // uint256 K_MAX_NUM_BLOCKS
-	MaxVerificationsPerTx    *big.Int // uint256 K_MAX_VERIFICATIONS_PER_TX
-	CommitDelayConfirmations *big.Int // uint256 K_COMMIT_DELAY_CONFIRMS
-	MaxProofsPerForkChoice   *big.Int // uint256 K_MAX_PROOFS_PER_FORK_CHOICE
-	BlockMaxGasLimit         *big.Int // uint256 K_BLOCK_MAX_GAS_LIMIT
-	BlockMaxTxs              *big.Int // uint256 K_BLOCK_MAX_TXS
-	TxListMaxBytes           *big.Int // uint256 K_TXLIST_MAX_BYTES
-	TxMinGasLimit            *big.Int // uint256 K_TX_MIN_GAS_LIMIT
-	AnchorTxGasLimit         *big.Int // uint256 K_ANCHOR_TX_GAS_LIMIT
-}
-
 // ProtocolStateVariables contains some state variables used by Taiko protocol, defined in protocol's LibData.
 // NOTE: this struct *MUST* match the return values of TaikoL1.getStateVariables method.
 // ref: https://github.com/taikoxyz/taiko-mono/blob/main/packages/protocol/contracts/L1/LibData.sol
 type ProtocolStateVariables struct {
 	GenesisHeight        uint64
+	GenesisTimestamp     uint64
+	StatusBits           uint64
+	FeeBase              *big.Int
+	NextBlockID          uint64
+	LastProposedAt       uint64
+	AvgBlockTime         uint64
 	LatestVerifiedHeight uint64
 	LatestVerifiedID     uint64
-	NextBlockID          uint64
+	AvgProofTime         uint64
 }

docs/README.md

@@ -54,7 +54,7 @@ Proposing a block involves a few steps:
 1. Fetch the pending transactions from the L2 execution engine through the `txpool_content` RPC method.
 2. If there are too many pending transactions in the L2 execution engine, split them into several smaller txLists. This is because the Taiko protocol restricts the max size of each proposed txList.
 3. Commit hashes of the txLists by sending `TaikoL1.commitBlock` transactions to L1.
-4. Wait for `LibConstants.TAIKO_COMMIT_DELAY_CONFIRMATIONS` (currently `4`) L1 blocks confirmations.
+4. Wait for `TaikoData.Config.commitConfirmations` (currently `0`) L1 blocks confirmations.
 5. Propose all splitted txLists by sending `TaikoL1.proposeBlock` transactions.
 
 ## Prover