Computación verificable (verifiable computation)

Una técnica que permite a una parte realizar un cálculo y producir una prueba criptográfica de que se hizo correctamente, de modo que otros puedan confiar en el resultado sin rehacer el trabajo. Es lo que permite a una blockchain aceptar el resultado de cómputos pesados realizados fuera de la cadena, y es la base de los rollups de conocimiento cero (véase Prueba de conocimiento cero, Rollup).