chore(protocol): update protocol configurations for alpha-2 testnet (#…

…12989)

Co-authored-by: jeff <113397187+cyberhorsey@users.noreply.github.com>
Co-authored-by: David <david@taiko.xyz>

packages/protocol/contracts/libs/LibSharedConfig.sol

@@ -8,43 +8,58 @@ pragma solidity ^0.8.18;
 
 import {TaikoData} from "../L1/TaikoData.sol";
 
+/*
+> cd taiko-mono/packages/protocol/utils/generate_config
+> python3 main.py
+Expected block time (seconds): 20
+Expected proof time (minutes): 10
+Slot availability multiplier: 20
+Number of ZKPs required per block before verificaiton: 1
+Extra slots (e.g, 50 means 50% more slots): 100
+---------
+min num slots: 30
+---------
+initialUncleDelay: 10 minutes
+maxNumBlocks: 61
+zkProofsPerBlock: 1
+slotSmoothingFactor: 16789
+*/
+
 library LibSharedConfig {
     /// Returns shared configs for both TaikoL1 and TaikoL2 for production.
     function getConfig() internal pure returns (TaikoData.Config memory) {
         return
             TaikoData.Config({
                 chainId: 167,
-                maxNumBlocks: 2049, // up to 2048 pending blocks
-                blockHashHistory: 100000,
-                // This number is calculated from maxNumBlocks to make
-                // the 'the maximum value of the multiplier' close to 20.0
-                zkProofsPerBlock: 1,
-                maxVerificationsPerTx: 20,
-                commitConfirmations: 0,
-                maxProofsPerForkChoice: 5,
-                blockMaxGasLimit: 5000000, // TODO
-                maxTransactionsPerBlock: 20, // TODO
-                maxBytesPerTxList: 10240, // TODO
-                minTxGasLimit: 21000, // TODO
-                anchorTxGasLimit: 250000,
-                slotSmoothingFactor: 590000,
-                rewardBurnBips: 100, // 100 basis points or 1%
-                proposerDepositPctg: 25, // 25%
+                maxNumBlocks: 61, // owner:daniel
+                blockHashHistory: 40, // owner:daniel
+                zkProofsPerBlock: 1, // owner:daniel
+                maxVerificationsPerTx: 10, //owner:david. Each time one more block is verified, there will be ~20k more gas cost.
+                commitConfirmations: 0, // owner:daniel
+                maxProofsPerForkChoice: 3, // owner:daniel
+                blockMaxGasLimit: 6000000, // owner:david. Set it to 6M, since its the upper limit of the Alpha-2 testnet's circuits.
+                maxTransactionsPerBlock: 79, //  owner:david. Set it to 79  (+1 TaikoL2.anchor transaction = 80), and 80 is the upper limit of the Alpha-2 testnet's circuits.
+                maxBytesPerTxList: 120000, // owner:david. Set it to 120KB, since 128KB is the upper size limit of a geth transaction, so using 120KB for the proposed transactions list calldata, 8K for the remaining tx fields.
+                minTxGasLimit: 21000, // owner:david
+                anchorTxGasLimit: 250000, // owner:david
+                slotSmoothingFactor: 16789, // owner:daniel
+                rewardBurnBips: 100, // owner:daniel. 100 basis points or 1%
+                proposerDepositPctg: 25, // owner:daniel - 25%
                 // Moving average factors
                 feeBaseMAF: 1024,
                 blockTimeMAF: 1024,
                 proofTimeMAF: 1024,
-                rewardMultiplierPctg: 400, // 400%
-                feeGracePeriodPctg: 125, // 125%
-                feeMaxPeriodPctg: 375, // 375%
-                blockTimeCap: 48 seconds,
-                proofTimeCap: 60 minutes,
-                bootstrapDiscountHalvingPeriod: 180 days,
-                initialUncleDelay: 60 minutes,
-                proverRewardRandomizedPercentage: 0,
-                enableTokenomics: false,
+                rewardMultiplierPctg: 400, //  owner:daniel - 400%
+                feeGracePeriodPctg: 200, // owner:daniel - 200%
+                feeMaxPeriodPctg: 400, // owner:daniel - 400%
+                blockTimeCap: 60 seconds, // owner:daniel
+                proofTimeCap: 30 minutes, // owner:daniel
+                bootstrapDiscountHalvingPeriod: 30 days, // owner:daniel
+                initialUncleDelay: 10 minutes,
+                proverRewardRandomizedPercentage: 20, // owner: daniel
+                enableTokenomics: true,
                 enablePublicInputsCheck: true,
-                enableProofValidation: false,
+                enableProofValidation: true,
                 enableOracleProver: true
             });
     }