feat: receipt proof within HashiProver

package.json

@@ -6,12 +6,14 @@
     "url": "https://github.com/gnosis"
   },
   "scripts": {
-    "prepare": "husky install"
+    "prepare": "husky install",
+    "postinstall": "patch-package"
   },
   "devDependencies": {
     "@commitlint/cli": "^17.5.1",
     "@commitlint/config-conventional": "^17.4.4",
     "husky": "^8.0.3",
+    "patch-package": "8.0.0",
     "prettier": "^2.8.7",
     "prettier-plugin-solidity": "^1.0.0"
   },

packages/evm/contracts/interfaces/IHashiProver.sol

@@ -12,10 +12,21 @@ interface IHashiProver {
         uint256 ancestralBlockNumber;
         bytes[] ancestralBlockHeaders;
         address account;
-        bytes accountProof;
+        bytes[] accountProof;
         bytes32 storageHash;
         bytes32[] storageKeys;
-        bytes[] storageProof;
+        bytes[][] storageProof;
+    }
+
+    struct ReceiptProof {
+        uint256 chainId;
+        uint256 blockNumber;
+        bytes blockHeader;
+        uint256 ancestralBlockNumber;
+        bytes[] ancestralBlockHeaders;
+        bytes[] receiptProof;
+        bytes transactionIndex;
+        uint256 logIndex;
     }
 
     error AncestralBlockHeadersLengthReached();
@@ -24,6 +35,10 @@ interface IHashiProver {
     error InvalidAccount();
     error InvalidBlockHeader();
     error InvalidBlockHeaderLength();
+    error InvalidLogIndex();
+    error InvalidReceipt();
+    error InvalidReceiptProof();
     error InvalidStorageHash();
     error InvalidStorageProofParams();
+    error UnsupportedTxType();
 }