@feelyourprotocol/statemanager 8141.0.0

package/dist/esm/proof/merkle.d.ts

@@ -0,0 +1,40 @@
+import { MerkleStateManager } from '../merkleStateManager.ts';
+import type { Proof, StorageProof } from '@feelyourprotocol/common';
+import type { Address, PrefixedHexString } from '@feelyourprotocol/util';
+import type { MerkleStateManagerOpts } from '../index.ts';
+/**
+ * Get an EIP-1186 proof
+ * @param address address to get proof of
+ * @param storageSlots storage slots to get proof of
+ */
+export declare function getMerkleStateProof(sm: MerkleStateManager, address: Address, storageSlots?: Uint8Array[]): Promise<Proof>;
+/**
+ * Adds a storage proof to the state manager
+ * @param storageProof The storage proof
+ * @param storageHash The root hash of the storage trie
+ * @param address The address
+ * @param safe Whether or not to verify if the reported roots match the current storage root
+ */
+export declare function addMerkleStateStorageProof(sm: MerkleStateManager, storageProof: StorageProof[], storageHash: PrefixedHexString, address: Address, safe?: boolean): Promise<void>;
+/**
+ * Create a StateManager and initialize this with proof(s) gotten previously from getProof
+ * This generates a (partial) StateManager where one can retrieve all items from the proof
+ * @param proof Either a proof retrieved from `getProof`, or an array of those proofs
+ * @param safe Whether or not to verify that the roots of the proof items match the reported roots
+ * @param opts a dictionary of StateManager opts
+ * @returns A new MerkleStateManager with elements from the given proof included in its backing state trie
+ */
+export declare function fromMerkleStateProof(proof: Proof | Proof[], safe?: boolean, opts?: MerkleStateManagerOpts): Promise<MerkleStateManager>;
+/**
+ * Add proof(s) into an already existing trie
+ * @param proof The proof(s) retrieved from `getProof`
+ * @param verifyRoot verify that all proof root nodes match statemanager's stateroot - should be
+ * set to `false` when constructing a state manager where the underlying trie has proof nodes from different state roots
+ */
+export declare function addMerkleStateProofData(sm: MerkleStateManager, proof: Proof | Proof[], safe?: boolean): Promise<void>;
+/**
+ * Verify an EIP-1186 proof. Throws if proof is invalid, otherwise returns true.
+ * @param proof the proof to prove
+ */
+export declare function verifyMerkleStateProof(sm: MerkleStateManager, proof: Proof): Promise<boolean>;
+//# sourceMappingURL=merkle.d.ts.map

package/dist/esm/proof/merkle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"merkle.d.ts","sourceRoot":"","sources":["../../../src/proof/merkle.ts"],"names":[],"mappings":"AAuBA,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAA;AAE7D,OAAO,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAC7D,OAAO,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AAClE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAA;AAEzD;;;;GAIG;AACH,wBAAsB,mBAAmB,CACvC,EAAE,EAAE,kBAAkB,EACtB,OAAO,EAAE,OAAO,EAChB,YAAY,GAAE,UAAU,EAAO,GAC9B,OAAO,CAAC,KAAK,CAAC,CA0ChB;AAED;;;;;;GAMG;AACH,wBAAsB,0BAA0B,CAC9C,EAAE,EAAE,kBAAkB,EACtB,YAAY,EAAE,YAAY,EAAE,EAC5B,WAAW,EAAE,iBAAiB,EAC9B,OAAO,EAAE,OAAO,EAChB,IAAI,GAAE,OAAe,iBAWtB;AAED;;;;;;;GAOG;AACH,wBAAsB,oBAAoB,CACxC,KAAK,EAAE,KAAK,GAAG,KAAK,EAAE,EACtB,IAAI,GAAE,OAAe,EACrB,IAAI,GAAE,sBAA2B,GAChC,OAAO,CAAC,kBAAkB,CAAC,CA8B7B;AAED;;;;;GAKG;AACH,wBAAsB,uBAAuB,CAC3C,EAAE,EAAE,kBAAkB,EACtB,KAAK,EAAE,KAAK,GAAG,KAAK,EAAE,EACtB,IAAI,GAAE,OAAe,iBAoBtB;AAED;;;GAGG;AACH,wBAAsB,sBAAsB,CAC1C,EAAE,EAAE,kBAAkB,EACtB,KAAK,EAAE,KAAK,GACX,OAAO,CAAC,OAAO,CAAC,CA0ElB"}

package/dist/esm/proof/merkle.js

@@ -0,0 +1,175 @@
+import { createMPTFromProof, createMerkleProof, updateMPTFromMerkleProof, verifyMerkleProof, } from '@feelyourprotocol/mpt';
+import { RLP } from '@feelyourprotocol/rlp';
+import { EthereumJSErrorWithoutCode, KECCAK256_NULL, KECCAK256_NULL_S, KECCAK256_RLP, KECCAK256_RLP_S, bigIntToHex, bytesToHex, createAccountFromRLP, createAddressFromString, equalsBytes, hexToBytes, setLengthLeft, unpadBytes, } from '@feelyourprotocol/util';
+import { MerkleStateManager } from "../merkleStateManager.js";
+/**
+ * Get an EIP-1186 proof
+ * @param address address to get proof of
+ * @param storageSlots storage slots to get proof of
+ */
+export async function getMerkleStateProof(sm, address, storageSlots = []) {
+    await sm['flush']();
+    const account = await sm.getAccount(address);
+    if (!account) {
+        const returnValue = {
+            address: address.toString(),
+            balance: '0x0',
+            codeHash: KECCAK256_NULL_S,
+            nonce: '0x0',
+            storageHash: KECCAK256_RLP_S,
+            accountProof: (await createMerkleProof(sm['_trie'], address.bytes)).map((p) => bytesToHex(p)),
+            storageProof: [],
+        };
+        return returnValue;
+    }
+    const accountProof = (await createMerkleProof(sm['_trie'], address.bytes)).map((p) => bytesToHex(p));
+    const storageProof = [];
+    const storageTrie = sm['_getStorageTrie'](address, account);
+    for (const storageKey of storageSlots) {
+        const proof = (await createMerkleProof(storageTrie, storageKey)).map((p) => bytesToHex(p));
+        const value = bytesToHex(await sm.getStorage(address, storageKey));
+        const proofItem = {
+            key: bytesToHex(storageKey),
+            value: value === '0x' ? '0x0' : value, // Return '0x' values as '0x0' since this is a JSON RPC response
+            proof,
+        };
+        storageProof.push(proofItem);
+    }
+    const returnValue = {
+        address: address.toString(),
+        balance: bigIntToHex(account.balance),
+        codeHash: bytesToHex(account.codeHash),
+        nonce: bigIntToHex(account.nonce),
+        storageHash: bytesToHex(account.storageRoot),
+        accountProof,
+        storageProof,
+    };
+    return returnValue;
+}
+/**
+ * Adds a storage proof to the state manager
+ * @param storageProof The storage proof
+ * @param storageHash The root hash of the storage trie
+ * @param address The address
+ * @param safe Whether or not to verify if the reported roots match the current storage root
+ */
+export async function addMerkleStateStorageProof(sm, storageProof, storageHash, address, safe = false) {
+    const trie = sm['_getStorageTrie'](address);
+    trie.root(hexToBytes(storageHash));
+    for (let i = 0; i < storageProof.length; i++) {
+        await updateMPTFromMerkleProof(trie, storageProof[i].proof.map((e) => hexToBytes(e)), safe);
+    }
+}
+/**
+ * Create a StateManager and initialize this with proof(s) gotten previously from getProof
+ * This generates a (partial) StateManager where one can retrieve all items from the proof
+ * @param proof Either a proof retrieved from `getProof`, or an array of those proofs
+ * @param safe Whether or not to verify that the roots of the proof items match the reported roots
+ * @param opts a dictionary of StateManager opts
+ * @returns A new MerkleStateManager with elements from the given proof included in its backing state trie
+ */
+export async function fromMerkleStateProof(proof, safe = false, opts = {}) {
+    if (Array.isArray(proof)) {
+        if (proof.length === 0) {
+            return new MerkleStateManager(opts);
+        }
+        else {
+            const trie = opts.trie ??
+                (await createMPTFromProof(proof[0].accountProof.map((e) => hexToBytes(e)), { useKeyHashing: true }));
+            const sm = new MerkleStateManager({ ...opts, trie });
+            const address = createAddressFromString(proof[0].address);
+            await addMerkleStateStorageProof(sm, proof[0].storageProof, proof[0].storageHash, address, safe);
+            for (let i = 1; i < proof.length; i++) {
+                const proofItem = proof[i];
+                await addMerkleStateProofData(sm, proofItem, true);
+            }
+            await sm.flush(); // TODO verify if this is necessary
+            return sm;
+        }
+    }
+    else {
+        return fromMerkleStateProof([proof], safe, opts);
+    }
+}
+/**
+ * Add proof(s) into an already existing trie
+ * @param proof The proof(s) retrieved from `getProof`
+ * @param verifyRoot verify that all proof root nodes match statemanager's stateroot - should be
+ * set to `false` when constructing a state manager where the underlying trie has proof nodes from different state roots
+ */
+export async function addMerkleStateProofData(sm, proof, safe = false) {
+    if (Array.isArray(proof)) {
+        for (let i = 0; i < proof.length; i++) {
+            await updateMPTFromMerkleProof(sm['_trie'], proof[i].accountProof.map((e) => hexToBytes(e)), safe);
+            await addMerkleStateStorageProof(sm, proof[i].storageProof, proof[i].storageHash, createAddressFromString(proof[i].address), safe);
+        }
+    }
+    else {
+        await addMerkleStateProofData(sm, [proof], safe);
+    }
+}
+/**
+ * Verify an EIP-1186 proof. Throws if proof is invalid, otherwise returns true.
+ * @param proof the proof to prove
+ */
+export async function verifyMerkleStateProof(sm, proof) {
+    const key = hexToBytes(proof.address);
+    const accountProof = proof.accountProof.map((rlpString) => hexToBytes(rlpString));
+    // This returns the account if the proof is valid.
+    // Verify that it matches the reported account.
+    const value = await verifyMerkleProof(key, accountProof, {
+        useKeyHashing: true,
+    });
+    if (value === null) {
+        // Verify that the account is empty in the proof.
+        const emptyBytes = new Uint8Array(0);
+        const notEmptyErrorMsg = 'Invalid proof provided: account is not empty';
+        const nonce = unpadBytes(hexToBytes(proof.nonce));
+        if (!equalsBytes(nonce, emptyBytes)) {
+            throw EthereumJSErrorWithoutCode(`${notEmptyErrorMsg} (nonce is not zero)`);
+        }
+        const balance = unpadBytes(hexToBytes(proof.balance));
+        if (!equalsBytes(balance, emptyBytes)) {
+            throw EthereumJSErrorWithoutCode(`${notEmptyErrorMsg} (balance is not zero)`);
+        }
+        const storageHash = hexToBytes(proof.storageHash);
+        if (!equalsBytes(storageHash, KECCAK256_RLP)) {
+            throw EthereumJSErrorWithoutCode(`${notEmptyErrorMsg} (storageHash does not equal KECCAK256_RLP)`);
+        }
+        const codeHash = hexToBytes(proof.codeHash);
+        if (!equalsBytes(codeHash, KECCAK256_NULL)) {
+            throw EthereumJSErrorWithoutCode(`${notEmptyErrorMsg} (codeHash does not equal KECCAK256_NULL)`);
+        }
+    }
+    else {
+        const account = createAccountFromRLP(value);
+        const { nonce, balance, storageRoot, codeHash } = account;
+        const invalidErrorMsg = 'Invalid proof provided:';
+        if (nonce !== BigInt(proof.nonce)) {
+            throw EthereumJSErrorWithoutCode(`${invalidErrorMsg} nonce does not match`);
+        }
+        if (balance !== BigInt(proof.balance)) {
+            throw EthereumJSErrorWithoutCode(`${invalidErrorMsg} balance does not match`);
+        }
+        if (!equalsBytes(storageRoot, hexToBytes(proof.storageHash))) {
+            throw EthereumJSErrorWithoutCode(`${invalidErrorMsg} storageHash does not match`);
+        }
+        if (!equalsBytes(codeHash, hexToBytes(proof.codeHash))) {
+            throw EthereumJSErrorWithoutCode(`${invalidErrorMsg} codeHash does not match`);
+        }
+    }
+    for (const stProof of proof.storageProof) {
+        const storageProof = stProof.proof.map((value) => hexToBytes(value));
+        const storageValue = setLengthLeft(hexToBytes(stProof.value), 32);
+        const storageKey = hexToBytes(stProof.key);
+        const proofValue = await verifyMerkleProof(storageKey, storageProof, {
+            useKeyHashing: true,
+        });
+        const reportedValue = setLengthLeft(RLP.decode(proofValue ?? new Uint8Array(0)), 32);
+        if (!equalsBytes(reportedValue, storageValue)) {
+            throw EthereumJSErrorWithoutCode(`Reported trie value does not match storage, key: ${stProof.key}, reported: ${bytesToHex(reportedValue)}, actual: ${bytesToHex(storageValue)}`);
+        }
+    }
+    return true;
+}
+//# sourceMappingURL=merkle.js.map

package/dist/esm/proof/merkle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"merkle.js","sourceRoot":"","sources":["../../../src/proof/merkle.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EACjB,wBAAwB,EACxB,iBAAiB,GAClB,MAAM,iBAAiB,CAAA;AACxB,OAAO,EAAE,GAAG,EAAE,MAAM,iBAAiB,CAAA;AACrC,OAAO,EACL,0BAA0B,EAC1B,cAAc,EACd,gBAAgB,EAChB,aAAa,EACb,eAAe,EACf,WAAW,EACX,UAAU,EACV,oBAAoB,EACpB,uBAAuB,EACvB,WAAW,EACX,UAAU,EACV,aAAa,EACb,UAAU,GACX,MAAM,kBAAkB,CAAA;AAEzB,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAA;AAM7D;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,EAAsB,EACtB,OAAgB,EAChB,eAA6B,EAAE;IAE/B,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,CAAA;IACnB,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAA;IAC5C,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,WAAW,GAAU;YACzB,OAAO,EAAE,OAAO,CAAC,QAAQ,EAAE;YAC3B,OAAO,EAAE,KAAK;YACd,QAAQ,EAAE,gBAAgB;YAC1B,KAAK,EAAE,KAAK;YACZ,WAAW,EAAE,eAAe;YAC5B,YAAY,EAAE,CAAC,MAAM,iBAAiB,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAC7F,YAAY,EAAE,EAAE;SACjB,CAAA;QACD,OAAO,WAAW,CAAA;IACpB,CAAC;IACD,MAAM,YAAY,GAAwB,CACxC,MAAM,iBAAiB,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,CACpD,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;IAC3B,MAAM,YAAY,GAAmB,EAAE,CAAA;IACvC,MAAM,WAAW,GAAG,EAAE,CAAC,iBAAiB,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;IAE3D,KAAK,MAAM,UAAU,IAAI,YAAY,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,CAAC,MAAM,iBAAiB,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;QAC1F,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAA;QAClE,MAAM,SAAS,GAAiB;YAC9B,GAAG,EAAE,UAAU,CAAC,UAAU,CAAC;YAC3B,KAAK,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,gEAAgE;YACvG,KAAK;SACN,CAAA;QACD,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAC9B,CAAC;IAED,MAAM,WAAW,GAAU;QACzB,OAAO,EAAE,OAAO,CAAC,QAAQ,EAAE;QAC3B,OAAO,EAAE,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC;QACrC,QAAQ,EAAE,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC;QACtC,KAAK,EAAE,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC;QACjC,WAAW,EAAE,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC;QAC5C,YAAY;QACZ,YAAY;KACb,CAAA;IACD,OAAO,WAAW,CAAA;AACpB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,EAAsB,EACtB,YAA4B,EAC5B,WAA8B,EAC9B,OAAgB,EAChB,OAAgB,KAAK;IAErB,MAAM,IAAI,GAAG,EAAE,CAAC,iBAAiB,CAAC,CAAC,OAAO,CAAC,CAAA;IAC3C,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAA;IAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,wBAAwB,CAC5B,IAAI,EACJ,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAC/C,IAAI,CACL,CAAA;IACH,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,KAAsB,EACtB,OAAgB,KAAK,EACrB,OAA+B,EAAE;IAEjC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAA;QACrC,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,GACR,IAAI,CAAC,IAAI;gBACT,CAAC,MAAM,kBAAkB,CACvB,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAC/C,EAAE,aAAa,EAAE,IAAI,EAAE,CACxB,CAAC,CAAA;YACJ,MAAM,EAAE,GAAG,IAAI,kBAAkB,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,CAAA;YACpD,MAAM,OAAO,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;YACzD,MAAM,0BAA0B,CAC9B,EAAE,EACF,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,EACrB,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EACpB,OAAO,EACP,IAAI,CACL,CAAA;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;gBAC1B,MAAM,uBAAuB,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,CAAA;YACpD,CAAC;YACD,MAAM,EAAE,CAAC,KAAK,EAAE,CAAA,CAAC,mCAAmC;YACpD,OAAO,EAAE,CAAA;QACX,CAAC;IACH,CAAC;SAAM,CAAC;QACN,OAAO,oBAAoB,CAAC,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;IAClD,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,EAAsB,EACtB,KAAsB,EACtB,OAAgB,KAAK;IAErB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,wBAAwB,CAC5B,EAAE,CAAC,OAAO,CAAC,EACX,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAC/C,IAAI,CACL,CAAA;YACD,MAAM,0BAA0B,CAC9B,EAAE,EACF,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,EACrB,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EACpB,uBAAuB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EACzC,IAAI,CACL,CAAA;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,uBAAuB,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAA;IAClD,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,EAAsB,EACtB,KAAY;IAEZ,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACrC,MAAM,YAAY,GAAG,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,SAA4B,EAAE,EAAE,CAC3E,UAAU,CAAC,SAAS,CAAC,CACtB,CAAA;IAED,kDAAkD;IAClD,+CAA+C;IAC/C,MAAM,KAAK,GAAG,MAAM,iBAAiB,CAAC,GAAG,EAAE,YAAY,EAAE;QACvD,aAAa,EAAE,IAAI;KACpB,CAAC,CAAA;IAEF,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,iDAAiD;QACjD,MAAM,UAAU,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,CAAA;QACpC,MAAM,gBAAgB,GAAG,8CAA8C,CAAA;QACvE,MAAM,KAAK,GAAG,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;QACjD,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,CAAC;YACpC,MAAM,0BAA0B,CAAC,GAAG,gBAAgB,sBAAsB,CAAC,CAAA;QAC7E,CAAC;QACD,MAAM,OAAO,GAAG,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAA;QACrD,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,CAAC;YACtC,MAAM,0BAA0B,CAAC,GAAG,gBAAgB,wBAAwB,CAAC,CAAA;QAC/E,CAAC;QACD,MAAM,WAAW,GAAG,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC,CAAA;QACjD,IAAI,CAAC,WAAW,CAAC,WAAW,EAAE,aAAa,CAAC,EAAE,CAAC;YAC7C,MAAM,0BAA0B,CAC9B,GAAG,gBAAgB,6CAA6C,CACjE,CAAA;QACH,CAAC;QACD,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;QAC3C,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,cAAc,CAAC,EAAE,CAAC;YAC3C,MAAM,0BAA0B,CAC9B,GAAG,gBAAgB,2CAA2C,CAC/D,CAAA;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,OAAO,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAA;QAC3C,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAA;QACzD,MAAM,eAAe,GAAG,yBAAyB,CAAA;QACjD,IAAI,KAAK,KAAK,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YAClC,MAAM,0BAA0B,CAAC,GAAG,eAAe,uBAAuB,CAAC,CAAA;QAC7E,CAAC;QACD,IAAI,OAAO,KAAK,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YACtC,MAAM,0BAA0B,CAAC,GAAG,eAAe,yBAAyB,CAAC,CAAA;QAC/E,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,WAAW,EAAE,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC;YAC7D,MAAM,0BAA0B,CAAC,GAAG,eAAe,6BAA6B,CAAC,CAAA;QACnF,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;YACvD,MAAM,0BAA0B,CAAC,GAAG,eAAe,0BAA0B,CAAC,CAAA;QAChF,CAAC;IACH,CAAC;IAED,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QACzC,MAAM,YAAY,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAwB,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAA;QACvF,MAAM,YAAY,GAAG,aAAa,CAAC,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAA;QACjE,MAAM,UAAU,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;QAC1C,MAAM,UAAU,GAAG,MAAM,iBAAiB,CAAC,UAAU,EAAE,YAAY,EAAE;YACnE,aAAa,EAAE,IAAI;SACpB,CAAC,CAAA;QACF,MAAM,aAAa,GAAG,aAAa,CACjC,GAAG,CAAC,MAAM,CAAC,UAAU,IAAI,IAAI,UAAU,CAAC,CAAC,CAAC,CAAe,EACzD,EAAE,CACH,CAAA;QACD,IAAI,CAAC,WAAW,CAAC,aAAa,EAAE,YAAY,CAAC,EAAE,CAAC;YAC9C,MAAM,0BAA0B,CAC9B,oDAAoD,OAAO,CAAC,GAAG,eAAe,UAAU,CACtF,aAAa,CACd,aAAa,UAAU,CAAC,YAAY,CAAC,EAAE,CACzC,CAAA;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC"}

package/dist/esm/proof/rpc.d.ts

@@ -0,0 +1,10 @@
+import type { Address } from '@feelyourprotocol/util';
+import type { Proof, RPCStateManager } from '../index.ts';
+/**
+ * Get an EIP-1186 proof from the provider
+ * @param address address to get proof of
+ * @param storageSlots storage slots to get proof of
+ * @returns an EIP-1186 formatted proof
+ */
+export declare function getRPCStateProof(sm: RPCStateManager, address: Address, storageSlots?: Uint8Array[]): Promise<Proof>;
+//# sourceMappingURL=rpc.d.ts.map

package/dist/esm/proof/rpc.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rpc.d.ts","sourceRoot":"","sources":["../../../src/proof/rpc.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,KAAK,EAAE,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAEzD;;;;;GAKG;AACH,wBAAsB,gBAAgB,CACpC,EAAE,EAAE,eAAe,EACnB,OAAO,EAAE,OAAO,EAChB,YAAY,GAAE,UAAU,EAAO,GAC9B,OAAO,CAAC,KAAK,CAAC,CAQhB"}

package/dist/esm/proof/rpc.js

@@ -0,0 +1,17 @@
+import { bytesToHex, fetchFromProvider } from '@feelyourprotocol/util';
+/**
+ * Get an EIP-1186 proof from the provider
+ * @param address address to get proof of
+ * @param storageSlots storage slots to get proof of
+ * @returns an EIP-1186 formatted proof
+ */
+export async function getRPCStateProof(sm, address, storageSlots = []) {
+    if (sm['DEBUG'])
+        sm['_debug'](`retrieving proof from provider for ${address.toString()}`);
+    const proof = await fetchFromProvider(sm['_provider'], {
+        method: 'eth_getProof',
+        params: [address.toString(), storageSlots.map(bytesToHex), sm['_blockTag']],
+    });
+    return proof;
+}
+//# sourceMappingURL=rpc.js.map

package/dist/esm/proof/rpc.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rpc.js","sourceRoot":"","sources":["../../../src/proof/rpc.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AAKhE;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,EAAmB,EACnB,OAAgB,EAChB,eAA6B,EAAE;IAE/B,IAAI,EAAE,CAAC,OAAO,CAAC;QAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,sCAAsC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAA;IACzF,MAAM,KAAK,GAAG,MAAM,iBAAiB,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE;QACrD,MAAM,EAAE,cAAc;QACtB,MAAM,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC;KAC5E,CAAC,CAAA;IAEF,OAAO,KAAK,CAAA;AACd,CAAC"}

package/dist/esm/rpcStateManager.d.ts

@@ -0,0 +1,162 @@
+import { Common } from '@feelyourprotocol/common';
+import { Account } from '@feelyourprotocol/util';
+import { Caches, OriginalStorageCache } from './cache/index.ts';
+import type { AccountFields, StateManagerInterface, StorageDump } from '@feelyourprotocol/common';
+import type { Address } from '@feelyourprotocol/util';
+import type { Debugger } from 'debug';
+import type { RPCStateManagerOpts } from './index.ts';
+export declare class RPCStateManager implements StateManagerInterface {
+    protected _provider: string;
+    protected _caches: Caches;
+    protected _blockTag: string;
+    originalStorageCache: OriginalStorageCache;
+    protected _debug: Debugger;
+    protected DEBUG: boolean;
+    private keccakFunction;
+    readonly common: Common;
+    constructor(opts: RPCStateManagerOpts);
+    /**
+     * Note that the returned statemanager will share the same JSONRPCProvider as the original
+     *
+     * @returns RPCStateManager
+     */
+    shallowCopy(): RPCStateManager;
+    /**
+     * Sets the new block tag used when querying the provider and clears the
+     * internal cache.
+     * @param blockTag - the new block tag to use when querying the provider
+     */
+    setBlockTag(blockTag: bigint | 'earliest'): void;
+    /**
+     * Clears the internal cache so all accounts, contract code, and storage slots will
+     * initially be retrieved from the provider
+     */
+    clearCaches(): void;
+    /**
+     * Gets the code corresponding to the provided `address`.
+     * @param address - Address to get the `code` for
+     * @returns {Promise<Uint8Array>} - Resolves with the code corresponding to the provided address.
+     * Returns an empty `Uint8Array` if the account has no associated code.
+     */
+    getCode(address: Address): Promise<Uint8Array>;
+    getCodeSize(address: Address): Promise<number>;
+    /**
+     * Adds `value` to the state trie as code, and sets `codeHash` on the account
+     * corresponding to `address` to reference this.
+     * @param address - Address of the `account` to add the `code` for
+     * @param value - The value of the `code`
+     */
+    putCode(address: Address, value: Uint8Array): Promise<void>;
+    /**
+     * Gets the storage value associated with the provided `address` and `key`. This method returns
+     * the shortest representation of the stored value.
+     * @param address - Address of the account to get the storage for
+     * @param key - Key in the account's storage to get the value for. Must be 32 bytes long.
+     * @returns {Uint8Array} - The storage value for the account
+     * corresponding to the provided address at the provided key.
+     * If this does not exist an empty `Uint8Array` is returned.
+     */
+    getStorage(address: Address, key: Uint8Array): Promise<Uint8Array>;
+    /**
+     * Adds value to the cache for the `account`
+     * corresponding to `address` at the provided `key`.
+     * @param address - Address to set a storage value for
+     * @param key - Key to set the value at. Must be 32 bytes long.
+     * @param value - Value to set at `key` for account corresponding to `address`.
+     * Cannot be more than 32 bytes. Leading zeros are stripped.
+     * If it is empty or filled with zeros, deletes the value.
+     */
+    putStorage(address: Address, key: Uint8Array, value: Uint8Array): Promise<void>;
+    /**
+     * Clears all storage entries for the account corresponding to `address`.
+     * @param address - Address to clear the storage of
+     */
+    clearStorage(address: Address): Promise<void>;
+    /**
+     * Dumps the RLP-encoded storage values for an `account` specified by `address`.
+     * @param address - The address of the `account` to return storage for
+     * @returns {Promise<StorageDump>} - The state of the account as an `Object` map.
+     * Keys are the storage keys, values are the storage values as strings.
+     * Both are represented as `0x` prefixed hex strings.
+     */
+    dumpStorage(address: Address): Promise<StorageDump>;
+    /**
+     * Gets the account associated with `address` or `undefined` if account does not exist
+     * @param address - Address of the `account` to get
+     */
+    getAccount(address: Address): Promise<Account | undefined>;
+    /**
+     * Retrieves an account from the provider and stores in the local trie
+     * @param address Address of account to be retrieved from provider
+     * @private
+     */
+    getAccountFromProvider(address: Address): Promise<Account>;
+    /**
+     * Saves an account into state under the provided `address`.
+     * @param address - Address under which to store `account`
+     * @param account - The account to store
+     */
+    putAccount(address: Address, account: Account | undefined): Promise<void>;
+    /**
+     * Gets the account associated with `address`, modifies the given account
+     * fields, then saves the account into state. Account fields can include
+     * `nonce`, `balance`, `storageRoot`, and `codeHash`.
+     * @param address - Address of the account to modify
+     * @param accountFields - Object containing account fields and values to modify
+     */
+    modifyAccountFields(address: Address, accountFields: AccountFields): Promise<void>;
+    /**
+     * Deletes an account from state under the provided `address`.
+     * @param address - Address of the account which should be deleted
+     */
+    deleteAccount(address: Address): Promise<void>;
+    /**
+     * Returns the applied key for a given address
+     * Used for saving preimages
+     * @param address - The address to return the applied key
+     * @returns {Uint8Array} - The applied key (e.g. hashed address)
+     */
+    getAppliedKey(address: Uint8Array): Uint8Array;
+    /**
+     * Checkpoints the current state of the StateManager instance.
+     * State changes that follow can then be committed by calling
+     * `commit` or `reverted` by calling rollback.
+     */
+    checkpoint(): Promise<void>;
+    /**
+     * Commits the current change-set to the instance since the
+     * last call to checkpoint.
+     *
+     * Partial implementation, called from the subclass.
+     */
+    commit(): Promise<void>;
+    /**
+     * Reverts the current change-set to the instance since the
+     * last call to checkpoint.
+     *
+     * Partial implementation , called from the subclass.
+     */
+    revert(): Promise<void>;
+    flush(): Promise<void>;
+    /**
+     * @deprecated This method is not used by the RPC State Manager and is a stub required by the State Manager interface
+     */
+    getStateRoot: () => Promise<Uint8Array<ArrayBuffer>>;
+    /**
+     * @deprecated This method is not used by the RPC State Manager and is a stub required by the State Manager interface
+     */
+    setStateRoot: (_root: Uint8Array) => Promise<void>;
+    /**
+     * @deprecated This method is not used by the RPC State Manager and is a stub required by the State Manager interface
+     */
+    hasStateRoot: () => never;
+}
+export declare class RPCBlockChain {
+    readonly provider: string;
+    constructor(provider: string);
+    getBlock(blockId: number): Promise<{
+        hash: () => Uint8Array<ArrayBufferLike>;
+    }>;
+    shallowCopy(): this;
+}
+//# sourceMappingURL=rpcStateManager.d.ts.map

package/dist/esm/rpcStateManager.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rpcStateManager.d.ts","sourceRoot":"","sources":["../../src/rpcStateManager.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAW,MAAM,oBAAoB,CAAA;AAEpD,OAAO,EACL,OAAO,EAYR,MAAM,kBAAkB,CAAA;AAIzB,OAAO,EAAE,MAAM,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAA;AAG/D,OAAO,KAAK,EAAE,aAAa,EAAE,qBAAqB,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAC3F,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAC/C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,OAAO,CAAA;AACrC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAA;AAIrD,qBAAa,eAAgB,YAAW,qBAAqB;IAC3D,SAAS,CAAC,SAAS,EAAE,MAAM,CAAA;IAC3B,SAAS,CAAC,OAAO,EAAE,MAAM,CAAA;IACzB,SAAS,CAAC,SAAS,EAAE,MAAM,CAAA;IAC3B,oBAAoB,EAAE,oBAAoB,CAAA;IAC1C,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAA;IAC1B,SAAS,CAAC,KAAK,EAAE,OAAO,CAAA;IACxB,OAAO,CAAC,cAAc,CAAU;IAChC,SAAgB,MAAM,EAAE,MAAM,CAAA;gBAElB,IAAI,EAAE,mBAAmB;IAoBrC;;;;OAIG;IACH,WAAW,IAAI,eAAe;IAU9B;;;;OAIG;IACH,WAAW,CAAC,QAAQ,EAAE,MAAM,GAAG,UAAU,GAAG,IAAI;IAMhD;;;OAGG;IACH,WAAW,IAAI,IAAI;IAInB;;;;;OAKG;IACG,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAY9C,WAAW,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAKpD;;;;;OAKG;IACG,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;IAKjE;;;;;;;;OAQG;IACG,UAAU,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC;IAsBxE;;;;;;;;OAQG;IACG,UAAU,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;IAIrF;;;OAGG;IACG,YAAY,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;IAInD;;;;;;OAMG;IACH,WAAW,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC;IAWnD;;;OAGG;IACG,UAAU,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,OAAO,GAAG,SAAS,CAAC;IAkBhE;;;;OAIG;IACG,sBAAsB,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;IAehE;;;;OAIG;IACG,UAAU,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,GAAG,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC;IAiB/E;;;;;;OAMG;IACG,mBAAmB,CAAC,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC;IAiBxF;;;OAGG;IACG,aAAa,CAAC,OAAO,EAAE,OAAO;IAOpC;;;;;OAKG;IACH,aAAa,CAAC,OAAO,EAAE,UAAU,GAAG,UAAU;IAI9C;;;;OAIG;IACG,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC;IAIjC;;;;;OAKG;IACG,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC;IAK7B;;;;;OAKG;IACG,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC;IAIvB,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;IAI5B;;OAEG;IACH,YAAY,yCAEX;IAED;;OAEG;IACH,YAAY,GAAU,OAAO,UAAU,mBAAO;IAE9C;;OAEG;IACH,YAAY,cAEX;CACF;AAED,qBAAa,aAAa;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;gBACb,QAAQ,EAAE,MAAM;IAKtB,QAAQ,CAAC,OAAO,EAAE,MAAM;;;IAU9B,WAAW;CAGZ"}