Una prueba de conocimiento cero normalmente significa que alguien construyó un circuito muy específico para una cosa muy específica. Demostrar que un saldo está por encima de un número. Demostrar que un voto se contó correctamente. Un trabajo estrecho, un circuito personalizado construido solo para ese trabajo, y si quieres demostrar otra cosa, básicamente empiezas de nuevo.
El sistema de disputas de Newton no funciona así, y me tomó un minuto entenderlo. En lugar de construir un circuito nuevo para cada política que alguien escriba, tomaron todo el motor de políticas de Rego, el intérprete real que ejecuta las reglas de cumplimiento, y compilaron todo en una zkvm de propósito general. Así, cualquier política escrita en Rego, una comprobación de sanciones, un límite de velocidad, alguna regla de elegibilidad de varios pasos, lo que sea, automáticamente se vuelve demostrable. No se requiere trabajo nuevo de circuitos por cada política. El motor en sí es lo que se hizo demostrable, no cada regla individual.
Esto funciona solo porque de 0f algo casi aburrido sobre Rego. Es determinista. La misma política, las mismas entradas, el mismo resultado, cada vez, sin efectos secundarios ni aleatoriedad colándose por ningún lado. Esa determinismo es realmente la razón completa de que este enfoque se mantenga unido. Si el lenguaje de la política permitiera algún estado externo o cualquier aleatoriedad, no podrías compilarlo en un circuito y esperar que la prueba signifique algo consistente.
Así que esto es lo que realmente te aporta. Cuando alguien impugna una atestación, el operador con su resultado firmado de una evaluación de política, no están pidiendo que alguien simplemente crea su versión de lo que debería haber ocurrido. Ejecutan la misma política ellos mismos a través de la zkvm y obtienen una prueba matemática real, no una opinión, no una interpretación diferente, una prueba de que el resultado original estaba equivocado. El contrato inteligente verifica esa prueba, revisa la ventana de impugnación y decide. Sin voto. Sin comité. Sin que nadie evalúe quién es más creíble. Solo las matemáticas de la verificación en el contrato y sanciones (slashing) a los operadores que se equivocaron si la prueba se sostiene.
Esto conecta con toda la idea de Newton de devolver una atestación de aprobación o rechazo firmada antes de que una transacción se liquide. Que esa atestación esté mal no es solo un informe de error esperando a discutirse más tarde. Es algo que cualquiera que se moleste en comprobar puede refutar matemáticamente, lo cual es una garantía muy distinta a la que ofrecen la mayoría de los sistemas.
Donde me atasco es al imaginar esta idea en una complejidad real. El ejemplo del whitepaper es una verificación de sanciones bastante simple: un puñado de reglas, entradas limpias y, por supuesto, eso se demuestra de forma limpia mediante una zkvm sin demasiados problemas. Pero la lógica de cumplimiento real se vuelve más enredada rápido. Múltiples fuentes de datos se referencian entre sí, condiciones anidadas, políticas que se nutren de varios feeds diferentes a la vez y las combinan de maneras que no son tan limpias como una única regla directa. Aún no sé si el tiempo de generación de la prueba se mantiene una vez que las políticas dejan de parecer ejemplos de tres líneas y empiezan a parecerse a la lógica real de sanciones y elegibilidad que las instituciones reales querrían ejecutar.
Magic Labs es el equipo detrás de todo esto, el mismo grupo que construyó la infraestructura de la wallet que funciona bajo cosas como Polymarket, así que claramente del lado de la ejecución saben lo que hacen a escala. Si esa misma confianza se mantiene cuando las políticas se vuelven realmente complicadas, los tiempos de prueba, el tamaño del circuito, todo eso, es algo que no he visto abordado en ningún lado aún.
Me da curiosidad si alguien esto lo ha probado realmente contra algo más cercano a la complejidad del mundo real en lugar del ejemplo limpio de libro de texto.