feat(protocol): pacaya fork with simplified based rollup protocol

.github/workflows/protocol.yml

@@ -10,6 +10,13 @@ on:
       - "!packages/protocol/docs/**"
       - "!packages/protocol/simulation/**"
       - "!packages/protocol/deployments/**"
+      - "!packages/protocol/script/layer2/hekla/**"
+      - "!packages/protocol/script/layer2/mainnet/**"
+      - "!packages/protocol/script/layer1/hekla/**"
+      - "!packages/protocol/script/layer1/mainnet/**"
+      - "!packages/protocol/script/layer1/preconf/**"
+      - "!packages/protocol/script/layer1/provers/**"
+      - "!packages/protocol/script/layer1/team/**"
     branches-ignore:
       - release-please--branches--**
 

.gitignore

@@ -120,3 +120,4 @@ __pycache__/
 
 # Idea
 .idea/
+packages/protocol/snapshots/InboxTest_ProposeAndProve.json

.release-please-manifest.json

@@ -5,7 +5,7 @@
   "packages/fork-diff": "0.6.1",
   "packages/guardian-prover-health-check": "0.1.0",
   "packages/guardian-prover-health-check-ui": "0.2.0",
-  "packages/protocol": "1.11.0",
+  "packages/protocol": "2.0.0",
   "packages/relayer": "0.12.0",
   "packages/snaefell-ui": "1.1.0",
   "packages/supplementary-contracts": "1.0.0",

packages/docs-site/src/content/docs/taiko-protocol/codebase-analysis/taikol2-contract.md

@@ -82,7 +82,7 @@ description: Taiko protocol page for "TaikoL2.sol".
 
    - `parentHash`: Hash of the parent block.
    - `parentGasExcess`: Gas excess for base fee calculation.
-<br/><br/>
+     <br/><br/>
 
 2. **`EIP1559Update`**
    Emitted when gas parameters (e.g., target, excess, base fee) are updated.

packages/protocol/README.md

@@ -15,40 +15,39 @@ To install dependencies:
 foundryup && pnpm install
 ```
 
-## Compilation and Testing
+## Compilation
 
 Taiko’s protocol is split between Layer 1 (L1) and Layer 2 (L2). The smart contracts need to be compiled and tested separately for each layer:
 
-### Layer 1 (Ethereum, Duncan Hardfork)
-
-To compile, run tests, and generate the storage layout for L1:
+To compile and generate the storage layout for L1:
 
 ```bash
 pnpm compile:l1
-pnpm test:l1
 pnpm layout:l1
 ```
 
-### Layer 2 (Taiko, Shanghai Hardfork)
-
 Similarly, for L2:
 
 ```bash
 pnpm compile:l2
-pnpm test:l2
 pnpm layout:l2
 ```
 
-### Compile and Test for Both Layers
-
-To compile and test contracts for both L1 and L2 at once:
+To compile and generate the storage layout for both layers:
 
 ```bash
 pnpm compile
-pnpm test
 pnpm layout
 ```
 
+## Testing
+
+```bash
+pnpm test:l1
+pnpm test:l2
+pnpm test
+```
+
 ## Layer 2 Genesis Block
 
 ### Generating a Dummy Genesis Block

packages/protocol/contracts/layer1/automata-attestation/AutomataDcapV3Attestation.sol

@@ -57,6 +57,8 @@ contract AutomataDcapV3Attestation is IAttestation, EssentialContract {
     event RevokedCertSerialNumAdded(uint256 indexed index, bytes serialNum);
     event RevokedCertSerialNumRemoved(uint256 indexed index, bytes serialNum);
 
+    constructor() EssentialContract(address(0)) { }
+
     // @notice Initializes the contract.
     /// @param sigVerifyLibAddr Address of the signature verification library.
     /// @param pemCertLibAddr Address of certificate library.
@@ -437,7 +439,7 @@ contract AutomataDcapV3Attestation is IAttestation, EssentialContract {
             for (uint256 i; i < 3; ++i) {
                 bool isPckCert = i == 0; // additional parsing for PCKCert
                 bool certDecodedSuccessfully;
-                // todo! move decodeCert offchain
+                // TODO(Yue): move decodeCert offchain
                 (certDecodedSuccessfully, parsedQuoteCerts[i]) = pemCertLib.decodeCert(
                     authDataV3.certification.decodedCertDataArray[i], isPckCert
                 );

packages/protocol/contracts/layer1/automata-attestation/lib/QuoteV3Auth/V3Struct.sol

@@ -37,7 +37,7 @@ library V3Struct {
 
     struct CertificationData {
         uint16 certType;
-        // todo! In encoded path, we need to calculate the size of certDataArray
+        // TODO(Yue): In encoded path, we need to calculate the size of certDataArray
         // certDataSize = len(join((BEGIN_CERT, certArray[i], END_CERT) for i in 0..3))
         // But for plain bytes path, we don't need that.
         uint32 certDataSize;