[tesseract]: Index ZK consensus proofs in the indexer PostgreSQL database

Cargo.toml

@@ -118,6 +118,7 @@ members = [
     "tesseract/consensus/relayer",
     "tesseract/consensus/polygon",
     "tesseract/consensus/tendermint",
+    "tesseract/consensus/proof-indexer",
 
 
     # Airdrop
@@ -350,6 +351,7 @@ tesseract-grandpa = { path = "tesseract/consensus/grandpa" }
 tesseract-consensus = { path = "tesseract/consensus/relayer" }
 tesseract-polygon = { path = "tesseract/consensus/polygon" }
 tesseract-tendermint = { path = "tesseract/consensus/tendermint" }
+proof-indexer = { path = "tesseract/consensus/proof-indexer" }
 
 
 [workspace.dependencies.codec]

evm/package.json

@@ -12,7 +12,7 @@
     "license": "ISC",
     "description": "",
     "dependencies": {
-        "@hyperbridge/core": "^1.6.0",
+        "@hyperbridge/core": "file:../sdk/packages/core",
         "@openzeppelin/contracts": "^5.4.0",
         "@polytope-labs/solidity-merkle-trees": "^0.4.0",
         "@uniswap/swap-router-contracts": "^1.3.1",

evm/src/consensus/BeefyV1.sol

@@ -28,6 +28,7 @@ import {
 } from "./Types.sol";
 import {StateMachine} from "@hyperbridge/core/libraries/StateMachine.sol";
 import {IConsensus, IntermediateState, StateCommitment} from "@hyperbridge/core/interfaces/IConsensus.sol";
+import {IConsensusV2} from "@hyperbridge/core/interfaces/IConsensusV2.sol";
 
 import {MerkleMultiProof} from "@polytope-labs/solidity-merkle-trees/src/MerkleMultiProof.sol";
 import {MerkleMountainRange} from "@polytope-labs/solidity-merkle-trees/src/MerkleMountainRange.sol";
@@ -46,7 +47,7 @@ import {ERC165} from "@openzeppelin/contracts/utils/introspection/ERC165.sol";
  * @notice This verifies secp256k1 signatures and authority set membership merkle proofs
  * in order to confirm newly finalized states of the Hyperbridge blockchain.
  */
-contract BeefyV1 is IConsensus, ERC165 {
+contract BeefyV1 is IConsensus, IConsensusV2, ERC165 {
     using HeaderImpl for Header;
 
     // The PayloadId for the mmr root.
@@ -80,7 +81,25 @@ contract BeefyV1 is IConsensus, ERC165 {
      * @dev See {IERC165-supportsInterface}.
      */
     function supportsInterface(bytes4 interfaceId) public view virtual override returns (bool) {
-        return interfaceId == type(IConsensus).interfaceId || super.supportsInterface(interfaceId);
+        return interfaceId == type(IConsensus).interfaceId || interfaceId == type(IConsensusV2).interfaceId
+            || super.supportsInterface(interfaceId);
+    }
+
+    function verify(bytes memory previousState, bytes memory proof)
+        external
+        pure
+        returns (bytes memory, IntermediateState[] memory, uint256)
+    {
+        BeefyConsensusState memory consensusState = abi.decode(previousState, (BeefyConsensusState));
+        (RelayChainProof memory relay, ParachainProof memory parachain) =
+            abi.decode(proof, (RelayChainProof, ParachainProof));
+
+        uint256 prevNextAuthoritySetId = consensusState.nextAuthoritySet.id;
+        (BeefyConsensusState memory newState, IntermediateState[] memory intermediates) =
+            verifyConsensus(consensusState, BeefyConsensusProof(relay, parachain));
+
+        uint256 newEpoch = newState.nextAuthoritySet.id > prevNextAuthoritySetId ? newState.nextAuthoritySet.id : 0;
+        return (abi.encode(newState), intermediates, newEpoch);
     }
 
     function verifyConsensus(bytes memory encodedState, bytes memory encodedProof)