-
Notifications
You must be signed in to change notification settings - Fork 186
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
22 changed files
with
1,232 additions
and
332 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,209 @@ | ||
| // SPDX-License-Identifier: MIT | ||
| pragma solidity ^0.8.9; | ||
|
|
||
| import {IEigenDABlobVerifier} from "../interfaces/IEigenDABlobVerifier.sol"; | ||
| import {IEigenDAThresholdRegistry} from "../interfaces/IEigenDAThresholdRegistry.sol"; | ||
| import {IEigenDABatchMetadataStorage} from "../interfaces/IEigenDABatchMetadataStorage.sol"; | ||
| import {IEigenDASignatureVerifier} from "../interfaces/IEigenDASignatureVerifier.sol"; | ||
| import {EigenDABlobVerificationUtils} from "../libraries/EigenDABlobVerificationUtils.sol"; | ||
| import {OperatorStateRetriever} from "lib/eigenlayer-middleware/src/OperatorStateRetriever.sol"; | ||
| import {IRegistryCoordinator} from "lib/eigenlayer-middleware/src/RegistryCoordinator.sol"; | ||
| import {IEigenDARelayRegistry} from "../interfaces/IEigenDARelayRegistry.sol"; | ||
| import "../interfaces/IEigenDAStructs.sol"; | ||
|
|
||
| contract EigenDABlobVerifier is IEigenDABlobVerifier { | ||
|
|
||
| IEigenDAThresholdRegistry public immutable eigenDAThresholdRegistry; | ||
| IEigenDABatchMetadataStorage public immutable eigenDABatchMetadataStorage; | ||
| IEigenDASignatureVerifier public immutable eigenDASignatureVerifier; | ||
| IEigenDARelayRegistry public immutable eigenDARelayRegistry; | ||
|
|
||
| OperatorStateRetriever public immutable operatorStateRetriever; | ||
| IRegistryCoordinator public immutable registryCoordinator; | ||
|
|
||
| constructor( | ||
| IEigenDAThresholdRegistry _eigenDAThresholdRegistry, | ||
| IEigenDABatchMetadataStorage _eigenDABatchMetadataStorage, | ||
| IEigenDASignatureVerifier _eigenDASignatureVerifier, | ||
| IEigenDARelayRegistry _eigenDARelayRegistry, | ||
| OperatorStateRetriever _operatorStateRetriever, | ||
| IRegistryCoordinator _registryCoordinator | ||
| ) { | ||
| eigenDAThresholdRegistry = _eigenDAThresholdRegistry; | ||
| eigenDABatchMetadataStorage = _eigenDABatchMetadataStorage; | ||
| eigenDASignatureVerifier = _eigenDASignatureVerifier; | ||
| eigenDARelayRegistry = _eigenDARelayRegistry; | ||
| operatorStateRetriever = _operatorStateRetriever; | ||
| registryCoordinator = _registryCoordinator; | ||
| } | ||
|
|
||
| ///////////////////////// V1 /////////////////////////////// | ||
|
|
||
| /** | ||
| * @notice Verifies a the blob is valid for the required quorums | ||
| * @param blobHeader The blob header to verify | ||
| * @param blobVerificationProof The blob verification proof to verify the blob against | ||
| */ | ||
| function verifyBlobV1( | ||
| BlobHeader calldata blobHeader, | ||
| BlobVerificationProof calldata blobVerificationProof | ||
| ) external view { | ||
| EigenDABlobVerificationUtils._verifyBlobV1ForQuorums( | ||
| eigenDAThresholdRegistry, | ||
| eigenDABatchMetadataStorage, | ||
| blobHeader, | ||
| blobVerificationProof, | ||
| quorumNumbersRequired() | ||
| ); | ||
| } | ||
|
|
||
| /** | ||
| * @notice Verifies a batch of blobs for the required quorums | ||
| * @param blobHeaders The blob headers to verify | ||
| * @param blobVerificationProofs The blob verification proofs to verify the blobs against | ||
| */ | ||
| function verifyBlobsV1( | ||
| BlobHeader[] calldata blobHeaders, | ||
| BlobVerificationProof[] calldata blobVerificationProofs | ||
| ) external view { | ||
| EigenDABlobVerificationUtils._verifyBlobsV1ForQuorums( | ||
| eigenDAThresholdRegistry, | ||
| eigenDABatchMetadataStorage, | ||
| blobHeaders, | ||
| blobVerificationProofs, | ||
| quorumNumbersRequired() | ||
| ); | ||
| } | ||
|
|
||
| ///////////////////////// V2 /////////////////////////////// | ||
|
|
||
| /** | ||
| * @notice Verifies a blob for the base required quorums and the default security thresholds | ||
| * @param batchHeader The batch header of the blob | ||
| * @param blobVerificationProof The blob verification proof for the blob | ||
| * @param nonSignerStakesAndSignature The nonSignerStakesAndSignature for the blob | ||
| */ | ||
| function verifyBlobV2( | ||
| BatchHeaderV2 calldata batchHeader, | ||
| BlobVerificationProofV2 calldata blobVerificationProof, | ||
| NonSignerStakesAndSignature calldata nonSignerStakesAndSignature | ||
| ) external view { | ||
| EigenDABlobVerificationUtils._verifyBlobV2ForQuorums( | ||
| eigenDAThresholdRegistry, | ||
| eigenDASignatureVerifier, | ||
| eigenDARelayRegistry, | ||
| batchHeader, | ||
| blobVerificationProof, | ||
| nonSignerStakesAndSignature, | ||
| getDefaultSecurityThresholdsV2(), | ||
| quorumNumbersRequired() | ||
| ); | ||
| } | ||
|
|
||
| /** | ||
| * @notice Verifies a blob for the base required quorums and the default security thresholds | ||
| * @param signedBatch The signed batch to verify the blob against | ||
| * @param blobVerificationProof The blob verification proof for the blob | ||
| */ | ||
| function verifyBlobV2FromSignedBatch( | ||
| SignedBatch calldata signedBatch, | ||
| BlobVerificationProofV2 calldata blobVerificationProof | ||
| ) external view { | ||
| EigenDABlobVerificationUtils._verifyBlobV2ForQuorumsFromSignedBatch( | ||
| eigenDAThresholdRegistry, | ||
| eigenDASignatureVerifier, | ||
| eigenDARelayRegistry, | ||
| operatorStateRetriever, | ||
| registryCoordinator, | ||
| signedBatch, | ||
| blobVerificationProof, | ||
| getDefaultSecurityThresholdsV2(), | ||
| quorumNumbersRequired() | ||
| ); | ||
| } | ||
|
|
||
| ///////////////////////// HELPER FUNCTIONS /////////////////////////////// | ||
|
|
||
| /** | ||
| * @notice Returns the nonSignerStakesAndSignature for a given blob and signed batch | ||
| * @param signedBatch The signed batch to get the nonSignerStakesAndSignature for | ||
| */ | ||
| function getNonSignerStakesAndSignature( | ||
| SignedBatch calldata signedBatch | ||
| ) external view returns (NonSignerStakesAndSignature memory) { | ||
| return EigenDABlobVerificationUtils._getNonSignerStakesAndSignature( | ||
| operatorStateRetriever, | ||
| registryCoordinator, | ||
| signedBatch.attestation | ||
| ); | ||
| } | ||
|
|
||
| /** | ||
| * @notice Verifies the security parameters for a blob | ||
| * @param blobParams The blob params to verify | ||
| * @param securityThresholds The security thresholds to verify against | ||
| */ | ||
| function verifyBlobSecurityParams( | ||
| VersionedBlobParams memory blobParams, | ||
| SecurityThresholds memory securityThresholds | ||
| ) external view { | ||
| EigenDABlobVerificationUtils._verifyBlobSecurityParams(blobParams, securityThresholds); | ||
| } | ||
|
|
||
| /** | ||
| * @notice Verifies the security parameters for a blob | ||
| * @param version The version of the blob to verify | ||
| * @param securityThresholds The security thresholds to verify against | ||
| */ | ||
| function verifyBlobSecurityParams( | ||
| uint16 version, | ||
| SecurityThresholds memory securityThresholds | ||
| ) external view { | ||
| EigenDABlobVerificationUtils._verifyBlobSecurityParams(getBlobParams(version), securityThresholds); | ||
| } | ||
|
|
||
| /// @notice Returns an array of bytes where each byte represents the adversary threshold percentage of the quorum at that index | ||
| function quorumAdversaryThresholdPercentages() external view returns (bytes memory) { | ||
| return eigenDAThresholdRegistry.quorumAdversaryThresholdPercentages(); | ||
| } | ||
|
|
||
| /// @notice Returns an array of bytes where each byte represents the confirmation threshold percentage of the quorum at that index | ||
| function quorumConfirmationThresholdPercentages() external view returns (bytes memory) { | ||
| return eigenDAThresholdRegistry.quorumConfirmationThresholdPercentages(); | ||
| } | ||
|
|
||
| /// @notice Returns an array of bytes where each byte represents the number of a required quorum | ||
| function quorumNumbersRequired() public view returns (bytes memory) { | ||
| return eigenDAThresholdRegistry.quorumNumbersRequired(); | ||
| } | ||
|
|
||
| function getQuorumAdversaryThresholdPercentage( | ||
| uint8 quorumNumber | ||
| ) external view returns (uint8){ | ||
| return eigenDAThresholdRegistry.getQuorumAdversaryThresholdPercentage(quorumNumber); | ||
| } | ||
|
|
||
| /// @notice Gets the confirmation threshold percentage for a quorum | ||
| function getQuorumConfirmationThresholdPercentage( | ||
| uint8 quorumNumber | ||
| ) external view returns (uint8){ | ||
| return eigenDAThresholdRegistry.getQuorumConfirmationThresholdPercentage(quorumNumber); | ||
| } | ||
|
|
||
| /// @notice Checks if a quorum is required | ||
| function getIsQuorumRequired( | ||
| uint8 quorumNumber | ||
| ) external view returns (bool){ | ||
| return eigenDAThresholdRegistry.getIsQuorumRequired(quorumNumber); | ||
| } | ||
|
|
||
| /// @notice Returns the blob params for a given blob version | ||
| function getBlobParams(uint16 version) public view returns (VersionedBlobParams memory) { | ||
| return eigenDAThresholdRegistry.getBlobParams(version); | ||
| } | ||
|
|
||
| /// @notice Gets the default security thresholds for V2 | ||
| function getDefaultSecurityThresholdsV2() public view returns (SecurityThresholds memory) { | ||
| return eigenDAThresholdRegistry.getDefaultSecurityThresholdsV2(); | ||
| } | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,38 @@ | ||
| // SPDX-License-Identifier: MIT | ||
| pragma solidity ^0.8.9; | ||
|
|
||
| import {OwnableUpgradeable} from "@openzeppelin-upgrades/contracts/access/OwnableUpgradeable.sol"; | ||
| import {EigenDARelayRegistryStorage} from "./EigenDARelayRegistryStorage.sol"; | ||
| import {IEigenDARelayRegistry} from "../interfaces/IEigenDARelayRegistry.sol"; | ||
| import "../interfaces/IEigenDAStructs.sol"; | ||
|
|
||
| /** | ||
| * @title Registry for EigenDA relay keys | ||
| * @author Layr Labs, Inc. | ||
| */ | ||
| contract EigenDARelayRegistry is OwnableUpgradeable, EigenDARelayRegistryStorage, IEigenDARelayRegistry { | ||
|
|
||
| constructor() { | ||
| _disableInitializers(); | ||
| } | ||
|
|
||
| function initialize( | ||
| address _initialOwner | ||
| ) external initializer { | ||
| _transferOwnership(_initialOwner); | ||
| } | ||
|
|
||
| function addRelayInfo(RelayInfo memory relayInfo) external onlyOwner returns (uint32) { | ||
| relayKeyToInfo[nextRelayKey] = relayInfo; | ||
| emit RelayAdded(relayInfo.relayAddress, nextRelayKey, relayInfo.relayURL); | ||
| return nextRelayKey++; | ||
| } | ||
|
|
||
| function relayKeyToAddress(uint32 key) external view returns (address) { | ||
| return relayKeyToInfo[key].relayAddress; | ||
| } | ||
|
|
||
| function relayKeyToUrl(uint32 key) external view returns (string memory) { | ||
| return relayKeyToInfo[key].relayURL; | ||
| } | ||
| } |
Oops, something went wrong.