La diferencia entre una regla de cumplimiento escrita y una que realmente se ejecuta.
Creo que una de las cosas más difíciles de explicar sobre newton es que el cumplimiento en este sistema no es un documento ni un manual de políticas. es código ejecutable real que se ejecuta antes de cada transacción.
mewton usa un lenguaje llamado rego para escribir estas reglas. es el mismo lenguaje que los grandes equipos tecnológicos usan para controlar el acceso en la infraestructura en la nube. es legible, es simple y siempre produce el mismo resultado cuando le das las mismas entradas. sin sorpresas, sin interpretaciones.
Una comprobación de sanciones en Rego se ve como una lista sencilla de condiciones. ¿el remitente está marcado? ¿el destinatario está marcado? ¿la jurisdicción está permitida? si falla cualquiera de las condiciones, la respuesta es denegar y la transacción no se realiza. esto se ejecuta antes de la liquidación, no como una revisión después de los hechos.
Lo que encuentro realmente interesante es qué tan componible es. un protocolo no escribe una regla gigantesca para todo. escriben módulos pequeños y enfocados. un módulo de sanciones. un módulo de KYC. un módulo de límite de velocidad. cada uno hace una cosa de forma clara y apilas los que necesitas para tu situación específica.
El archivo de política que se ejecuta en cualquier transacción se almacena por dirección de contenido en IPFS. eso significa que la versión exacta de las reglas que evaluaron una transacción es permanentemente referenciable. un regulador no tiene que preguntar qué política estaba vigente en una fecha específica. el comprobante de cumplimiento apunta directamente al archivo.
Y dado que Rego es un lenguaje puramente funcional, las mismas entradas siempre producen la misma salida. eso es lo que hace posible el mecanismo del desafío de conocimiento cero. si un operador firma el resultado incorrecto, cualquiera puede volver a ejecutar la misma política exacta y demostrar la respuesta correcta.
