pensamiento rápido: este detalle siguió molestándome después de que escribí sobre el diseño de dos fases la última vez; me pareció incompleto sin cubrir también esta parte.
cada vez que un operador obtiene datos externos, una lista de precios y sanciones, lo que sea que sea, no los usa en silencio.
genera una atestación de ECDSA sobre lo que realmente observó, vinculando la evaluación a esa entrada verificable específica.
lo que esto significa en la práctica es que, si más adelante surge una disputa bajo el modelo de Newton, no es solo "el operador dice que la política pasó", sino "el operador dice que la política pasó y aquí están los datos firmados exactos que obtuve para llegar a esa conclusión".
la entrada es demostrable, no solo la salida.
creo que esto cierra una brecha que una atestación de salida pura por sí sola dejaría abierta.
técnicamente podrías falsificar una salida que suene correcta.
pero falsificar una afirmación firmada sobre datos de entrada específicos que luego se demuestra que era incorrecta es algo diferente y más difícil de hacer sin que te pillen.
todavía estoy pensando en si estas atestaciones de entrada se almacenan en algún lugar de forma permanente, como lo hace el recibo final de cumplimiento, o si realmente solo importan de manera transitoria, durante la ventana de disputa real si alguna vez se abre.
@NewtonProtocol $NEWT
#Newt
cada vez que un operador obtiene datos externos, una lista de precios y sanciones, lo que sea que sea, no los usa en silencio.
genera una atestación de ECDSA sobre lo que realmente observó, vinculando la evaluación a esa entrada verificable específica.
lo que esto significa en la práctica es que, si más adelante surge una disputa bajo el modelo de Newton, no es solo "el operador dice que la política pasó", sino "el operador dice que la política pasó y aquí están los datos firmados exactos que obtuve para llegar a esa conclusión".
la entrada es demostrable, no solo la salida.
creo que esto cierra una brecha que una atestación de salida pura por sí sola dejaría abierta.
técnicamente podrías falsificar una salida que suene correcta.
pero falsificar una afirmación firmada sobre datos de entrada específicos que luego se demuestra que era incorrecta es algo diferente y más difícil de hacer sin que te pillen.
todavía estoy pensando en si estas atestaciones de entrada se almacenan en algún lugar de forma permanente, como lo hace el recibo final de cumplimiento, o si realmente solo importan de manera transitoria, durante la ventana de disputa real si alguna vez se abre.
@NewtonProtocol $NEWT
#Newt