Cryptographically Self-Verifying Systems: Verifiability Without Trusting Any Party | Synapse