Verifying computations without reexecuting them: from theoretical possibility to near-practicality

Download PDF
Open Webpage

Michael Walfish, Andrew J. Blumberg

Published: 01 Jan 2013, Last Modified: 30 Sept 2024Electron. Colloquium Comput. Complex. 2013EveryoneRevisionsBibTeXCC BY-SA 4.0