feat: add square size field to data root tuple (#145)

<!--
Please read and fill out this form before submitting your PR.

Please make sure you have reviewed our contributors guide before
submitting your
first PR.
-->

## Overview

As per the decision in
#142, we
need to add the block size to the data root tuple.


<!-- 
Please provide an explanation of the PR, including the appropriate
context,
background, goal, and rationale. If there is an issue with this
information,
please provide a tl;dr and link the issue. 
-->

## Checklist

<!-- 
Please complete the checklist to ensure that the PR is ready to be
reviewed.

IMPORTANT:
PRs should be left in Draft until the below checklist is completed.
-->

- [ ] New and updated code has appropriate documentation
- [ ] New and updated code has new and/or updated testing
- [ ] Required CI checks are passing
- [ ] Visual proof for any user facing features like CLI or
documentation updates
- [ ] Linked issues closed with keywords

---------

Co-authored-by: Rootul P <[email protected]>

Author: rach-id

src/DataRootTuple.sol

@@ -11,4 +11,6 @@ struct DataRootTuple {
     uint256 height;
     // Data root.
     bytes32 dataRoot;
+    // Celestia block original square size.
+    uint256 squareSize;
 }

src/test/QuantumGravityBridge.t.sol

@@ -95,13 +95,14 @@ contract RelayerTest is DSTest {
     }
 
     /*
-    the values used in the verify attestation test are in the format `<height padded to 32 bytes || data root>`, which
-    represent an encoded `abi.encode(DataRootTuple)`:
-
-    0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-    0x00000000000000000000000000000000000000000000000000000000000000010101010101010101010101010101010101010101010101010101010101010101
-    0x00000000000000000000000000000000000000000000000000000000000000020202020202020202020202020202020202020202020202020202020202020202
-    0x00000000000000000000000000000000000000000000000000000000000000030303030303030303030303030303030303030303030303030303030303030303
+    the values used in the verify attestation test are in the format
+    `<height padded to 32 bytes || data root || original square size padded to 32 bytes>`,
+    which represent an encoded `abi.encode(DataRootTuple)`:
+
+    0x000000000000000000000000000000000000000000000000000000000000000101010101010101010101010101010101010101010101010101010101010101010000000000000000000000000000000000000000000000000000000000000020
+    0x000000000000000000000000000000000000000000000000000000000000000202020202020202020202020202020202020202020202020202020202020202020000000000000000000000000000000000000000000000000000000000000020
+    0x000000000000000000000000000000000000000000000000000000000000000303030303030303030303030303030303030303030303030303030303030303030000000000000000000000000000000000000000000000000000000000000040
+    0x000000000000000000000000000000000000000000000000000000000000000404040404040404040404040404040404040404040404040404040404040404040000000000000000000000000000000000000000000000000000000000000040
     */
     function testVerifyAttestation() public {
         uint256 initialVelsetNonce = 0;
@@ -110,15 +111,16 @@ contract RelayerTest is DSTest {
         // commitment to a set of roots.
         // these values were generated using the tendermint implementation of binary merkle trees:
         // https://github.com/celestiaorg/celestia-core/blob/60310e7aa554bb76b735a010847a6613bcfe06e8/crypto/merkle/proof.go#L33-L48
-        bytes32 newTupleRoot = 0x82dc1607d84557d3579ce602a45f5872e821c36dbda7ec926dfa17ebc8d5c013;
+        bytes32 newTupleRoot = 0x3db8fb64a10316e447733af826165d0543b94b9de3b4146dcad70611f5089018;
         // a data root committed to by the above tuple root.
-        bytes32 newTuple = 0x0101010101010101010101010101010101010101010101010101010101010101;
+        bytes32 newTuple = 0x0202020202020202020202020202020202020202020202020202020202020202;
         // the height of the data root.
-        uint256 height = 1;
+        uint256 height = 2;
+        uint256 squareSize = 32;
         // the binary merkle proof of the data root to the data root tuple root.
         bytes32[] memory sideNodes = new bytes32[](2);
-        sideNodes[0] = 0x98ce42deef51d40269d542f5314bef2c7468d401ad5d85168bfab4c0108f75f7;
-        sideNodes[1] = 0x575664048c9e64260eca2304d177b11d1566d0c954f1417fc76a4f9f27350063;
+        sideNodes[0] = 0x1ce3b03bea51b24a60e147396ced1b7eec566129aa43ed98c5b5060b937b4ea8;
+        sideNodes[1] = 0x9e7df00a432e3c8c7ec9177f9581d43a6d837a5a05467f6ce5d730fe3c4467d7;
         BinaryMerkleProof memory newTupleProof;
         newTupleProof.sideNodes = sideNodes;
         newTupleProof.key = 1;
@@ -143,6 +145,7 @@ contract RelayerTest is DSTest {
         DataRootTuple memory t;
         t.height = height;
         t.dataRoot = newTuple;
+        t.squareSize = squareSize;
 
         // verify that the tuple was committed to
         bool committedTo = bridge.verifyAttestation(nonce, t, newTupleProof);