竹竹YZZ

En el whitepaper de Newton hay una frase que al principio casi paso por alto: Newton compila todo el motor de la estrategia en Rego en un programa que puede ejecutarse en una máquina virtual de conocimiento cero genérica. Cualquier estrategia escrita en Rego, sin requerir trabajo de ingeniería adicional, puede, por naturaleza, ser verificada mediante una demostración matemática.
El fin de semana pasado revisé de casualidad los tiempos reales de prueba de este tipo de zkVM generalistas, y el resultado me hizo cambiar a la mitad la interpretación de esa frase.
En la actualidad, la mayoría de las aplicaciones de pruebas de conocimiento cero en el mercado siguen una ruta de “uso exclusivo para un fin específico”: diseñan circuitos de forma individual para una tarea computacional concreta. Son eficientes, pero cada vez que aparece un nuevo escenario hay que volver a desarrollar. Newton, en cambio, compila todo el intérprete en el conjunto de instrucciones RISC-V y lo ejecuta en un zkVM generalista como SP1 o RISC0: el objeto de la prueba deja de ser “si esta estrategia produce un resultado correcto”, y pasa a ser “este intérprete ejecutó honestamente hasta el final”. Este enfoque lo apruebo: el autor de la estrategia no necesita entender criptografía; al escribir el código en Rego, obtiene automáticamente verificabilidad.