¿Por qué importan los sistemas de múltiples probadores para la seguridad de zkVM? Los zkVM aún están evolucionando. Los errores, ya sea en los probadores o en los verificadores, son inevitables en esta etapa. Las arquitecturas de múltiples probadores son una forma práctica de mantener la vitalidad y la seguridad, incluso cuando el sistema de pruebas más nuevo no es perfecto. Sustituyendo a @DeclanFox14 en nuestra Cumbre Ethproofs de Berlín, el Gerente de Producto de @OffchainLabs, @zkLumi, mencionó que una de las salvaguardias más importantes contra actualizaciones maliciosas o defectuosas de los zkVM es la diversidad de probadores. En lugar de depender de una única implementación de probador, una configuración de múltiples probadores puede: • Ejecutar múltiples implementaciones de pruebas ZK en paralelo. • Incorporar atestaciones de diferentes sistemas. • Volver a tipos de pruebas alternativos (por ejemplo, pruebas de fraude) si una prueba falla o no coincide con otra. Por ejemplo, las cadenas de @arbitrum Orbit pueden operar en un modo híbrido: • Normalmente funcionan con una prueba ZK. • Si ocurre una disputa o un probador falla, recurren a pruebas de fraude. • Mantener múltiples zkVM o implementaciones ZK para detectar errores. Este enfoque proporciona resiliencia si una actualización de zkVM introduce un defecto, ya sea un cambio malicioso o un error no intencionado, y asegura que siempre haya un camino seguro para validar el estado. También participan @alexanderlhicks de @ethereumfndn y @mpfzajac de @NethermindEth. Mira el panel completo aquí: