Add blob verifier

Author: gianbelinche

da-contracts/contracts/da-layers/eigenda/DummyEigenDABridge.sol

@@ -5,55 +5,23 @@ pragma solidity 0.8.24;
 import {IEigenDABridge} from "./IEigenDABridge.sol";
 import {IImplementation} from "./IImplementation.sol";
 import {DummyImplementation} from "./DummyImplementation.sol";
-import {IEigenDABatchMetadataStorage} from "@eigenda/eigenda-utils/interfaces/IEigenDABatchMetadataStorage.sol";
+import {IBlobVerifier} from "./IBlobVerifier.sol";
 
 contract DummyEigenDABridge is IEigenDABridge {
     IImplementation public implementationContract;
-    IEigenDABatchMetadataStorage public eigenDaServiceManager;
+    IBlobVerifier public eigenBlobVerifier;
 
-    constructor(address _eigenDaServiceManager) {
+    constructor(address _eigenBlobVerifier) {
         implementationContract = new DummyImplementation();
-        eigenDaServiceManager = IEigenDABatchMetadataStorage(_eigenDaServiceManager);
+        eigenBlobVerifier = IBlobVerifier(_eigenBlobVerifier);
     }
 
     function implementation() external view returns (IImplementation) {
         return implementationContract;
     }
 
-    function hashBatchMetadata(BatchMetadata calldata batchMetadata) external pure returns (bytes32) {
-        return keccak256(abi.encodePacked(keccak256(abi.encode(batchMetadata.batchHeader)),batchMetadata.signatoryRecordHash,batchMetadata.confirmationBlockNumber));
-    }
-
     function verifyBlobLeaf(MerkleProofInput calldata merkleProof) external view returns (bool) {
-        // Inspired by eigenlayer contracts Merkle.verifyInclusionKeccak
-        // https://github.com/Layr-Labs/eigenlayer-contracts/blob/3f3f83bd194b3bdc77d06d8fe6b101fafc3bcfd5/src/contracts/libraries/Merkle.sol
-        bytes32 hashedBatchMetadata = this.hashBatchMetadata(merkleProof.blobVerificationProof.batchMetadata);
-        require(hashedBatchMetadata == IEigenDABatchMetadataStorage(eigenDaServiceManager).batchIdToBatchMetadataHash(merkleProof.blobVerificationProof.batchId), "invalid batch metadata");
-        uint256 index = merkleProof.blobVerificationProof.blobIndex;
-        bytes memory inclusionProof = merkleProof.blobVerificationProof.inclusionProof;
-        require(inclusionProof.length % 32 == 0, "proof length not multiple of 32");
-        bytes32 computedHash = merkleProof.leaf;
-        uint256 length = inclusionProof.length;
-        for (uint256 i = 32; i <= length; i += 32) {
-            if (index % 2 == 0) {
-                // if ith bit of index is 0, then computedHash is a left sibling
-                assembly {
-                    mstore(0x00, computedHash)
-                    mstore(0x20, mload(add(inclusionProof, i)))
-                    computedHash := keccak256(0x00, 0x40)
-                    index := div(index, 2)
-                }
-            } else {
-                // if ith bit of index is 1, then computedHash is a right sibling
-                assembly {
-                    mstore(0x00, mload(add(inclusionProof, i)))
-                    mstore(0x20, computedHash)
-                    computedHash := keccak256(0x00, 0x40)
-                    index := div(index, 2)
-                }
-            }
-        }
-        require(computedHash == merkleProof.blobVerificationProof.batchMetadata.batchHeader.blobHeadersRoot, "invalid proof");
+        eigenBlobVerifier.verifyBlobV1(merkleProof.blobHeader, merkleProof.blobVerificationProof);
         return true;
     }
 }

da-contracts/contracts/da-layers/eigenda/IBlobVerifier.sol

@@ -0,0 +1,12 @@
+// SPDX-License-Identifier: MIT
+
+pragma solidity 0.8.24;
+
+import {IEigenDABridge} from "./IEigenDABridge.sol";
+
+interface IBlobVerifier {
+    function verifyBlobV1(
+        IEigenDABridge.BlobHeader calldata blobHeader,
+        IEigenDABridge.BlobVerificationProof calldata blobVerificationProof
+    ) external view;
+}

da-contracts/contracts/da-layers/eigenda/IEigenDABridge.sol

@@ -27,8 +27,26 @@ interface IEigenDABridge {
         bytes quorumIndices;
     }
 
+    struct QuorumBlobParam {
+        uint8 quorumNumber;
+        uint8 adversaryThresholdPercentage;
+        uint8 confirmationThresholdPercentage; 
+        uint32 chunkLength; 
+    }
+
+    struct G1Point {
+        uint256 X;
+        uint256 Y;
+    }
+
+    struct BlobHeader {
+        G1Point commitment; 
+        uint32 dataLength; 
+        QuorumBlobParam[] quorumBlobParams; 
+    }
+
     struct MerkleProofInput {
-        bytes32 leaf;
+        BlobHeader blobHeader;
         BlobVerificationProof blobVerificationProof;
     }
 

l1-contracts/deploy-scripts/DeployL1.s.sol

@@ -212,8 +212,7 @@ contract DeployL1Script is Script, DeployUtils {
         }
 
         if (config.contracts.eigenDAL1Validator == address(0)) {
-            address eigenDAServiceManagerAddress = address(0);
-            address eigendaBridge = deployViaCreate2(Utils.readDummyEigenDABridgeBytecode(), abi.encode(eigenDAServiceManagerAddress));
+            address eigendaBridge = deployViaCreate2(Utils.readDummyEigenDABridgeBytecode(), abi.encode(config.contracts.eigenDABlobVerifier));
             addresses.daAddresses.eigenDAL1Validator = deployViaCreate2(
                 Utils.readEigenDAL1ValidatorBytecode(),
                 abi.encode(eigendaBridge)

l1-contracts/deploy-scripts/DeployUtils.s.sol

@@ -167,6 +167,7 @@ struct ContractsConfig {
     bytes32 defaultAAHash;
     address availL1DAValidator;
     address eigenDAL1Validator;
+    address eigenDABlobVerifier;
 }
 
 struct TokensConfig {
@@ -246,6 +247,10 @@ contract DeployUtils is Script {
             config.contracts.eigenDAL1Validator = toml.readAddress("$.contracts.eigenda_l1_validator");
         }
 
+        if (vm.keyExistsToml(toml, "$.contracts.eigenda_blob_verifier_addr")) {
+            config.contracts.eigenDABlobVerifier = toml.readAddress("$.contracts.eigenda_blob_verifier_addr");
+        }
+
         config.tokens.tokenWethAddress = toml.readAddress("$.tokens.token_weth_address");
     }