Las reglas de política Rego son tan buenas como quien las escribe
$NEWT Newton ejecuta evaluaciones a través de Rego, un lenguaje de políticas declarativo, y esa es la parte que todavía nadie está examinando. Alguien todavía tiene que redactar realmente estas reglas correctamente, y Rego es notoriamente fácil de escribir con una lógica técnicamente válida que no hace lo que crees que hace. Si un curador de bóvedas o un protocolo escribe una política defectuosa, la prueba zk confirmará con gusto que se siguió perfectamente esa política defectuosa. La verificación demuestra que la regla se ejecutó tal como está escrita; no dice nada sobre si la regla en sí era inteligente. Ese es un punto de error humano que está justo debajo de toda esta garantía criptográfica.
Quiero ver herramientas de auditoría de políticas antes de confiar en reglas escritas por curadores con un tamaño real. Mi exposición aumenta una vez que exista un estándar para revisar la lógica de Rego antes de que se publique en una bóveda. Las pruebas no te salvan de un mal diseño de políticas.
@NewtonProtocol $NEWT #Newt
$NEWT Newton ejecuta evaluaciones a través de Rego, un lenguaje de políticas declarativo, y esa es la parte que todavía nadie está examinando. Alguien todavía tiene que redactar realmente estas reglas correctamente, y Rego es notoriamente fácil de escribir con una lógica técnicamente válida que no hace lo que crees que hace. Si un curador de bóvedas o un protocolo escribe una política defectuosa, la prueba zk confirmará con gusto que se siguió perfectamente esa política defectuosa. La verificación demuestra que la regla se ejecutó tal como está escrita; no dice nada sobre si la regla en sí era inteligente. Ese es un punto de error humano que está justo debajo de toda esta garantía criptográfica.
Quiero ver herramientas de auditoría de políticas antes de confiar en reglas escritas por curadores con un tamaño real. Mi exposición aumenta una vez que exista un estándar para revisar la lógica de Rego antes de que se publique en una bóveda. Las pruebas no te salvan de un mal diseño de políticas.
@NewtonProtocol $NEWT #Newt
