Verifying computations without reexecuting them

Published: 2015, Last Modified: 30 Sept 2024Commun. ACM 2015EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: From theoretical possibility to near practicality.
Loading