Merkle and Patricia trie proofs, storage slot reading, and state verification across chains. Generates proofs for cross-chain verification, zkBridge, and light client protocols. Trigger when proving account balance, storage slot, or cross-chain state inclusion.
