Hands-on guide to Solana ZK compression, covering rent, Merkle state compression, proofs, and compressed account lifecycle.
2 comments
If only the 32-byte fingerprint stays upstairs, how does a program actually prove it is looking at the right compressed account later without also paying to fetch the whole thing?
Via the Merkle path, the program verifies the 32-byte hash against the root, not the whole account.