And Steve and I envision that such proof checkers get built into all our compute hardware, so it just becomes impossible to run very unsafe code.
Steve y yo prevemos que esos verificadores de pruebas estén integrados en todo nuestro hardware de cómputo, por lo que será imposible ejecutar código muy inseguro.