SP1 storage proof verifier

Hashi offers a tool able to generate a storage proof using Zero Knowledge proofs. This tools leverage SP1 zkVM to generate a storage proof that can be used with Hashi.

Install the SP1 storage proof generator from the Github repo.

Usage

RUST_LOG=info cargo run --release -- --execute \
    --rpc-url <rpc_url> \
    --block-number <block_number_hex_encoded> \
    --proof-block-number <ancestral_block_number_hex_encoded> \
    --account <account> \
    --storage-key <storage_key>

where:

• <rpc_url>: The RPC URL of your node.

• <reference_block_number>(optional): The block number in hexadecimal format.

• <proof_block_number>: The block number for the proof, specified in hexadecimal format (e.g., 0xAABBCC). If <proof_block_number> is set to a value less than <reference_block_number>, the program will validate the entire chain of blocks from <reference_block_number> down to <proof_block_number>.

• <account>: The account address to verify.

• <storage_key>: The storage key you wish to verify.