Offline Verification: Proof That Outlives the Vendor | Synapse