Proof-Carrying Data Without Succinct Arguments.

Benedikt Bnz, Alessandro Chiesa, William Lin, Pratyush Mishra, Nicholas Spooner

Browse the full CRYPTO paper archive.