#征文活动BEL
A diferencia de los sistemas de "caja negra" de Web2, la verificabilidad significa que cualquier persona puede verificar de manera independiente cómo funciona el sistema. Ethereum avanza en esto al garantizar que cualquier persona (incluso en dispositivos de gama baja) pueda verificar el estado, la ejecución y el consenso. Para que Ethereum sea realmente verificable, deben demostrarse tres cosas: - Estado: ¿Pueden los usuarios confirmar los datos actuales de la cadena de bloques? - Ejecución: ¿Pueden los usuarios confirmar que la transición de estado (STF) es válida? - Consenso: ¿Pueden los usuarios confirmar que se eligió la cadena correcta? El estado de Ethereum es una instantánea de todos los saldos de cuentas, el almacenamiento de contratos inteligentes y el código en cualquier momento. ¿Cómo se puede probar que este estado es válido sin descargar toda la cadena de bloques? Esto implica los Árboles de Merkle y sus sucesores, los Árboles Verkle. Los Árboles de Merkle crean una "ruta de prueba" desde los datos hasta la raíz de Merkle, permitiendo a los usuarios verificar un solo punto de datos sin necesidad de un conjunto de datos completo. Sin embargo, a medida que el estado de Ethereum crece, las pruebas de Merkle se vuelven grandes e ineficientes. Los Árboles Verkle utilizan el "compromiso vectorial de curva elíptica" para reducir el tamaño de las pruebas. Los Árboles Verkle no hashan cada rama de datos, sino que utilizan técnicas criptográficas para generar una única prueba más pequeña, reduciendo efectivamente el tamaño de la prueba de 330 MB a aproximadamente 2 KB. La capa de ejecución de Ethereum ejecuta la función de transición de estado (STF), que toma el estado anterior y un nuevo bloque para calcular el siguiente estado. Para verificar la ejecución, los usuarios deben volver a ejecutar las transacciones, un proceso costoso que requiere una gran cantidad de almacenamiento y capacidad de cálculo. Ethereum utiliza una "prueba de validez" adjunta al bloque, sin necesidad de volver a ejecutar cada bloque. A través de la prueba de validez, el proponente demuestra a los clientes ligeros la corrección de la ejecución de STF. Los usuarios solo verifican 3 valores hash simples: raíz del estado antiguo, raíz del estado nuevo, hash del bloque. El consenso probabilístico y determinista de Ethereum permite la producción de bloques de baja latencia (slot), y cada período (32 slots) tiene una finalización. ¿Cómo se puede verificar este proceso sin ejecutar un validador completo? El comité de sincronización utiliza 512 validadores seleccionados aleatoriamente para firmar el encabezado de la cadena durante 27 horas. Los clientes ligeros pueden verificar esta firma sin descargar la cadena, para asegurar la corrección de la cadena. Este método es simple y eficiente, pero también presenta algunos riesgos (no se puede penalizar el mal comportamiento).