Crate data_anchor_proofs

This crate contains proofs related to the Solana blockchain.

The proofs can prove the state of accounts on the chain and whether or not they were updated, but it makes no semantic assumptions about the account data, it’s just considered raw bytes. The account data must first be deserialized and verified that it matches the expected state.

Modules

accounts_delta_hash

Proofs related to the accounts_delta_hash, proving whether a specific account was updated or not at a particular slot.

bank_hash

Proof of the bankhash, proving the state of the Solana bank (including the accounts_delta_hash) at a particular slot.

blob

Proof of the contents of a blob uploaded to the blober program.

blober_account_state

Proof of the state of one or many accounts in a specific Solana slot, without needing to know the public key of the accounts in advance. When combined with a bank hash proof (to ensure no updates were left out) it can additionally prove that no account states were censored.

compound

Combinations of multiple proofs to make more semantically meaningful proofs.

slot_hash

Proof of the state of the SlotHashes sysvar for a given slot. Can be used together with [vote proofs][crate::vote::single::SingleVoteProof] to prove that a specific bank hash was voted on.