Rego nunca fue diseñado pensando en pruebas de conocimiento cero. Es un lenguaje de políticas, hecho para escribir reglas claras sobre lo que se debe permitir y lo que no. Cosas como "bloquear esta transacción si supera cierta cantidad" o "requerir este tipo de verificación de identidad antes de permitir una transferencia". Es flexible y fácil de leer, y por eso tantos equipos ya lo usan. Pero convertir esas reglas flexibles en algo que un sistema de prueba de conocimiento cero realmente pueda verificar es un problema mucho más difícil. Ese es el reto que Newton abordó.

Por qué esto es difícil desde el principio

Las pruebas de conocimiento cero necesitan que todo sea exacto. Un sistema de pruebas tiene que saber con precisión qué se comprobó y confirmar que se comprobó correctamente, todo sin ver los datos privados que están detrás. Rego, por otro lado, está construido para ser flexible y expresivo. Puede manejar muchos tipos diferentes de lógica, lo cual es genial para escribir políticas, pero es difícil de convertir en algo que un sistema de pruebas pueda procesar. La mayoría de los equipos tendría que elegir una u otra cosa: o conservar Rego y perder la parte de privacidad de ZK, o construir un sistema de pruebas estricto y perder la flexibilidad que hizo que Rego fuera útil en primer lugar.

Cómo Newton cierra la brecha

Newton no quiso elegir. En su lugar, construyeron un sistema donde una política puede escribirse una vez en Rego y luego ejecutarse a través de su red de operadores cuando entra una transacción. Los operadores verifican la transacción contra la política y generan una prueba que demuestra que se cumplieron las reglas. Esa prueba se adjunta a la transacción como una atestación, una especie de recibo firmado que cualquiera puede verificar.

La parte clave es que los datos privados reales usados en la verificación, como el historial de saldos de una cartera o una puntuación de identidad, nunca tienen que mostrarse. La prueba solo confirma que se cumplió la política. No se revela nada más. Esto es lo que hace que sea realmente de conocimiento cero, en lugar de simplemente "confíen en que pasó".

Por qué esto realmente importa

Esto podría sonar como una pequeña victoria técnica, pero abre muchas puertas. El cumplimiento y la privacidad siempre han parecido tirar en direcciones opuestas. Los reguladores y los equipos de riesgo quieren pruebas de que se están siguiendo las normas. Los usuarios quieren que sus datos se mantengan privados. La mayoría de los sistemas obligan a elegir entre ambas cosas.

Al hacer que las políticas de Rego sean comprobables con conocimiento cero, Newton demuestra que no tienes que renunciar a una para obtener la otra. Un proyecto puede exigir verificaciones KYC, límites de transferencia o puntuación de riesgo, todo impuesto automáticamente, sin exponer la información personal de nadie en la cadena. La prueba sustituye a los datos.

Lo que esto podría significar a futuro

Si este enfoque se sostiene a escala, cambia cómo se construye el cumplimiento en cripto en adelante. En lugar de que cada aplicación escriba su propia lógica personalizada y espere que sea segura, los equipos podrían escribir políticas en un lenguaje que ya conocen y luego integrarlas en un sistema que hace esas políticas comprobables y privadas por defecto.

Aún es pronto, y escalar este tipo de generación de pruebas para muchas transacciones no es una tarea menor. Pero el hecho de que Newton esté demostrando que incluso es posible es un avance real. El cumplimiento no tiene que significar renunciar a la privacidad. Puede significar ambas cosas, trabajando juntos, respaldados por matemáticas en lugar de la confianza.@NewtonProtocol #Newt $NEWT