Title Proof-Carrying Data from Accumulation Schemes
Authors Benedikt Bünz and Alessandro Chiesa and Pratyush Mishra and Nicholas Spooner
Year 2020





Videos



–