Validity Proof
ZK Compression · Abyss
In ZK Compression, a validity proof is a Groth16 zk-SNARK that cryptographically attests to the correctness of compressed account state transitions — proving that consumed accounts exist in the current Merkle tree, nullifiers are fresh, and output hashes are valid — without the verifier inspecting full account data. Proofs are generated off-chain and submitted alongside compressed instructions; the on-chain program verifies them via the alt_bn128 syscall before applying state changes. Validators only verify the succinct proof rather than re-executing logic, enabling high-throughput compressed state updates at minimal cost.