hashi
  • Welcome
  • Introduction
    • What is Hashi?
    • Why Hashi?
    • Key Features
    • The SSN
  • Getting Started
    • How Hashi Works
    • Quick Start
      • Verifying foreign event
        • Setting the scene
        • Getting the Event Proof
        • Validating your statements
      • Reading foreign state
        • Setting the scene
        • Getting the Storage Proof
        • Validating your statements
      • Pushing a message
        • Writing your message sending contract
        • Implementing your callback
        • Waiting for the cross-chain execution
  • Core Concepts
    • Block Header Relaying
    • Message Dispatching
    • Oracles
    • Additive Security Model
  • Deployments
    • Blockchains
    • Oracles
  • Smart Contracts
    • Key Contracts
    • HashiProver API
  • TOOLS
    • SP1 storage proof verifier
    • Solana integration
  • APPS / INTEGRATIONS
    • Safe Crosschain
    • Aragon UCG
    • Openfort Chain Abstraction
  • META
    • Developer resources
    • Audits
    • Explorer
    • Community
Powered by GitBook
On this page
Export as PDF
  1. TOOLS

SP1 storage proof verifier

PreviousHashiProver APINextSolana integration

Last updated 4 months ago

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

Install the SP1 storage proof generator from the

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.

SP1 zkVM
Github repo.