Prueba de fraude y la implementación del ZK Fraud Proof
La prueba de fraude es una solución técnica ampliamente utilizada en el ámbito de blockchain, que se originó en la comunidad de Ethereum y fue adoptada por Layer2 como Arbitrum y Optimism. Después del surgimiento del ecosistema de Bitcoin en 2023, Robin Linus propuso el esquema BitVM, que tiene como idea central la prueba de fraude, proporcionando un nuevo modelo de seguridad para la segunda capa de Bitcoin o puentes.
BitVM ha pasado por múltiples evoluciones de versiones, desde el temprano BitVM0 basado en puertas lógicas, hasta el posterior BitVM2 que tiene como núcleo la Prueba de Fraude ZK y el circuito de verificación Groth16, con un camino tecnológico en constante maduración. Varios proyectos como Bitlayer, Citrea, BOB, entre otros, se han implementado sobre la base tecnológica de BitVM.
Este artículo tomará como ejemplo el esquema de prueba de fraude de Optimism, analizará su enfoque basado en la máquina virtual MIPS y la prueba de fraude interactiva, así como las principales ideas de la prueba de fraude ZK.
OutputRoot y StateRoot
Optimism es un conocido proyecto de Optimistic Rollup, cuya arquitectura está compuesta por un secuenciador y contratos inteligentes en la cadena de Ethereum. Después de procesar las transacciones, el secuenciador envía los datos a Ethereum. Cualquiera puede ejecutar el cliente de nodo de Optimism, descargar datos y ejecutar transacciones localmente, calculando el hash del conjunto de estados actual.
Si el secuenciador sube un hash de conjunto de estado incorrecto, el resultado del cálculo local será diferente, en este momento se puede iniciar una disputa. Optimism utiliza el campo OutputRoot para reflejar los cambios de estado, que se calcula a partir de StateRoot y otros dos campos.
Máquina virtual MIPS y árbol Merkle de memoria
Para verificar la corrección de OutputRoot en la cadena, el equipo de Optimism implementó la máquina virtual MIPS con Solidity y diseñó un sistema interactivo de prueba de fraude. Este sistema detalla el proceso de procesamiento de transacciones y observa qué código de operación MIPS causó el error.
La información de estado de la máquina virtual MIPS se organiza en una estructura de árbol de Merkle. En la prueba de fraude interactiva, es necesario determinar qué código de operación causó el error en el hash de estado, y luego reproducir el estado de la máquina virtual en la cadena y ejecutar ese código de operación.
Prueba de fraude interactiva
Optimism desarrolló el protocolo Fault Dispute Game(FDG), que incluye dos roles: el retador y el defensor. Ambas partes deben construir un GameTree localmente y, a través de múltiples interacciones, localizar los códigos de operación MIPS en disputa.
Prueba de fraude ZK
Las pruebas de fraude tradicionales presentan problemas como la complejidad de la interacción, altos costos de gas y gran dificultad de desarrollo. Por ello, Optimism ha propuesto el concepto de Prueba de Fraude ZK. La clave es que el retador especifica la transacción que debe ser reproducida, el secuenciador proporciona la prueba ZK, y un contrato de Ethereum verifica.
En comparación con la prueba de fraude interactiva, la Prueba de Fraude ZK simplifica múltiples interacciones en una sola generación y verificación de prueba ZK, ahorrando tiempo y costos. En comparación con ZK Rollup, solo genera pruebas cuando es desafiada, reduciendo los costos de computación.
Esta idea también fue adoptada por BitVM2. BitVM2 implementa la verificación de ZK Proof a través de scripts de Bitcoin y ha simplificado el programa en la cadena. Varios proyectos como Bitlayer, Goat Network, entre otros, ya han adoptado esta solución.
Esta página puede contener contenido de terceros, que se proporciona únicamente con fines informativos (sin garantías ni declaraciones) y no debe considerarse como un respaldo por parte de Gate a las opiniones expresadas ni como asesoramiento financiero o profesional. Consulte el Descargo de responsabilidad para obtener más detalles.
11 me gusta
Recompensa
11
7
Republicar
Compartir
Comentar
0/400
BugBountyHunter
· 07-22 23:54
Otra vez la tecnología de la carreta de op, tsk tsk.
Ver originalesResponder0
GateUser-a180694b
· 07-22 23:36
El nuevo esquema Groth16 tiene algo especial.
Ver originalesResponder0
TestnetFreeloader
· 07-22 22:00
¡Pronto volveré a cosechar recompensas hasta quedarme sin manos!
Ver originalesResponder0
GasWastingMaximalist
· 07-20 00:31
mundo Cripto también está demasiado competitivo, un montón de gente está haciendo comprobaciones.
Ver originalesResponder0
LiquidatedTwice
· 07-20 00:29
prueba de fraude jugado claro, directamente a enriquecer
Ver originalesResponder0
BridgeTrustFund
· 07-20 00:28
¿Por qué se quedó a medias la prueba de fraude OP del autor?
Análisis de la prueba de fraude de Optimism y la implementación de la prueba de fraude ZK
Prueba de fraude y la implementación del ZK Fraud Proof
La prueba de fraude es una solución técnica ampliamente utilizada en el ámbito de blockchain, que se originó en la comunidad de Ethereum y fue adoptada por Layer2 como Arbitrum y Optimism. Después del surgimiento del ecosistema de Bitcoin en 2023, Robin Linus propuso el esquema BitVM, que tiene como idea central la prueba de fraude, proporcionando un nuevo modelo de seguridad para la segunda capa de Bitcoin o puentes.
BitVM ha pasado por múltiples evoluciones de versiones, desde el temprano BitVM0 basado en puertas lógicas, hasta el posterior BitVM2 que tiene como núcleo la Prueba de Fraude ZK y el circuito de verificación Groth16, con un camino tecnológico en constante maduración. Varios proyectos como Bitlayer, Citrea, BOB, entre otros, se han implementado sobre la base tecnológica de BitVM.
Este artículo tomará como ejemplo el esquema de prueba de fraude de Optimism, analizará su enfoque basado en la máquina virtual MIPS y la prueba de fraude interactiva, así como las principales ideas de la prueba de fraude ZK.
OutputRoot y StateRoot
Optimism es un conocido proyecto de Optimistic Rollup, cuya arquitectura está compuesta por un secuenciador y contratos inteligentes en la cadena de Ethereum. Después de procesar las transacciones, el secuenciador envía los datos a Ethereum. Cualquiera puede ejecutar el cliente de nodo de Optimism, descargar datos y ejecutar transacciones localmente, calculando el hash del conjunto de estados actual.
Si el secuenciador sube un hash de conjunto de estado incorrecto, el resultado del cálculo local será diferente, en este momento se puede iniciar una disputa. Optimism utiliza el campo OutputRoot para reflejar los cambios de estado, que se calcula a partir de StateRoot y otros dos campos.
Máquina virtual MIPS y árbol Merkle de memoria
Para verificar la corrección de OutputRoot en la cadena, el equipo de Optimism implementó la máquina virtual MIPS con Solidity y diseñó un sistema interactivo de prueba de fraude. Este sistema detalla el proceso de procesamiento de transacciones y observa qué código de operación MIPS causó el error.
La información de estado de la máquina virtual MIPS se organiza en una estructura de árbol de Merkle. En la prueba de fraude interactiva, es necesario determinar qué código de operación causó el error en el hash de estado, y luego reproducir el estado de la máquina virtual en la cadena y ejecutar ese código de operación.
Prueba de fraude interactiva
Optimism desarrolló el protocolo Fault Dispute Game(FDG), que incluye dos roles: el retador y el defensor. Ambas partes deben construir un GameTree localmente y, a través de múltiples interacciones, localizar los códigos de operación MIPS en disputa.
Prueba de fraude ZK
Las pruebas de fraude tradicionales presentan problemas como la complejidad de la interacción, altos costos de gas y gran dificultad de desarrollo. Por ello, Optimism ha propuesto el concepto de Prueba de Fraude ZK. La clave es que el retador especifica la transacción que debe ser reproducida, el secuenciador proporciona la prueba ZK, y un contrato de Ethereum verifica.
En comparación con la prueba de fraude interactiva, la Prueba de Fraude ZK simplifica múltiples interacciones en una sola generación y verificación de prueba ZK, ahorrando tiempo y costos. En comparación con ZK Rollup, solo genera pruebas cuando es desafiada, reduciendo los costos de computación.
Esta idea también fue adoptada por BitVM2. BitVM2 implementa la verificación de ZK Proof a través de scripts de Bitcoin y ha simplificado el programa en la cadena. Varios proyectos como Bitlayer, Goat Network, entre otros, ya han adoptado esta solución.