Expand description
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§
- 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][
crate::bank_hash::BankHashProof] (to ensure no updates were left out) it can additionally prove that no account states were censored. - compound
- This proof module contains the logic for verifying “inclusion” in the sense that a specific Solana block contains blobs, and that there are no other blobs in the block.