Como es bien sabido, las verdaderas cadenas de bloques descentralizadas de nivel 1 (L1) enfrentan el triángulo imposible (no se puede lograr simultáneamente seguridad, escalabilidad y descentralización), y uno de los valores fundamentales más importantes de Ethereum es la descentralización, que es un aspecto que Ethereum ha mantenido firmemente. Ethereum siempre ha aspirado a funcionar en hardware de uso doméstico, con más de diez mil nodos y millones de validadores. La insistencia de Ethereum en la descentralización también ha llevado a que su progreso en el rendimiento de L1 sea relativamente lento, y finalmente ha desarrollado una arquitectura de L1 y L2, pero actualmente L2 enfrenta problemas de fragmentación de liquidez y captura de valor insuficiente. ¿Cómo resolver la dificultad inherente de la cadena de bloques de Ethereum (no poder equilibrar seguridad, escalabilidad y descentralización)? Uno de los aspectos importantes es adoptar la tecnología de pruebas ZK. El núcleo de las pruebas ZK es permitir la ejecución de una gran cantidad de cálculos o transacciones fuera de la cadena, y luego solo enviar una prueba concisa a la cadena, que demuestre que estas ejecuciones son correctas, sin revelar todos los detalles. La ventaja de esto es que se puede mejorar la escalabilidad y fortalecer la descentralización, al tiempo que se hereda la seguridad. Por ejemplo, utilizando zkVM para escalar L1/L2, lo que también ayuda a la fragmentación de liquidez de L2; las pruebas ZK son criptográficamente seguras, asegurando que la ejecución fuera de la cadena no fallará. Si la prueba es inválida, será rechazada, y también hereda la seguridad original de Ethereum; si al final la generación y verificación de pruebas son eficientes y de bajo costo, y el hardware común (teléfonos móviles o computadoras de uso doméstico) puede participar en la validación de nodos, entonces hay una oportunidad de fortalecer aún más la descentralización. Recientemente, Succinct (un proyecto de infraestructura centrado en pruebas ZK) lanzó su producto central SP1 (Succinct Proofs 1), que es un zkVM (máquina virtual de conocimiento cero) de alto rendimiento, que permite a los desarrolladores escribir cualquier programa en el lenguaje Rust y generar pruebas ZK para demostrar la corrección de la ejecución del programa, sin necesidad de reescribir el circuito. Esto es de gran ayuda para que el ecosistema de Ethereum resuelva el problema del triángulo imposible. Específicamente, Succinct puede ayudar a la escalabilidad de Ethereum de la siguiente manera: primero, su SP1 es un zkVM de alto rendimiento que admite la prueba de ejecución de programas en cualquier lenguaje compilado por LLVM, aplicable a escenarios de Rollups, coprocesadores y zkEVM. El SP1 de Succinct admite la generación rápida de pruebas, según lo que actualmente afirman oficialmente, puede lograr la generación de pruebas de Ethereum en tiempo real, es decir, casi cerca de la tecnología de "pruebas en tiempo real". Según la descripción de las pruebas oficiales actuales, en una prueba de referencia de 10,000 bloques de Ethereum, más del 93% de los bloques pueden generar pruebas en menos de 12 segundos, y la prueba de referencia se realizó en un clúster de aproximadamente 200 GPUs NVIDIA RTX 4090. Ejecutar un clúster completo de pruebas en tiempo real requiere aproximadamente 160 GPUs RTX 4090, y el costo de construcción actual es de aproximadamente 300,000 a 400,000 dólares; a través de la optimización del hardware y la mejora del sistema de pruebas, hay oportunidades de reducir el costo a alrededor de 100,000 dólares en el futuro. Además, Succinct también es una red de validadores descentralizada, que al separar el cálculo y la verificación, puede reducir el costo y la latencia de la validación de Ethereum, con el objetivo final de permitir que nodos comunes o teléfonos móviles participen en la validación de pruebas, apoyando la escalabilidad de Ethereum a más validadores. Por último, la tecnología ZK también permitirá más escenarios de aplicación, como la verificación de identidad, transacciones privadas, operaciones entre cadenas, etc. En resumen, en el camino de Ethereum hacia 10,000 tps, la tecnología ZK es una parte muy importante.
41,63K