Encriptación económica: la fusión de inversión y tecnología
La encriptación económica no es solo una revolución tecnológica, sino también un campo que requiere una profunda comprensión de las leyes de inversión. Muchos profesionales y entusiastas tienen dificultades para adaptarse a esta industria, en gran medida debido a su volatilidad cíclica excesiva. En un mercado alcista, las personas comunes realmente tienen la oportunidad de obtener ganancias de diez o incluso cien veces, pero en un mercado bajista, las pérdidas también son igualmente severas. En última instancia, independientemente de quién sea, una vez que ingresen al campo de la encriptación, el conocimiento de inversión es un curso obligatorio.
La principal razón del actual mercado bajista es la contracción de liquidez causada por el aumento de las tasas de interés de la Reserva Federal. La era de altos rendimientos locos de las finanzas descentralizadas ( DeFi ) ha terminado, y las tasas de rendimiento de los protocolos de préstamo convencionales han caído generalmente por debajo del 2%. En comparación, el rendimiento de los bonos del Tesoro de EE.UU. en el mundo real ha superado el 3%, lo que ha llevado a los inversores institucionales y a los proyectos de monedas estables a transferir continuamente fondos del mercado de criptomonedas al mercado financiero tradicional para comprar bonos del Tesoro.
Desde la década de 1980, la Reserva Federal ha pasado por 6 ciclos de aumento de tasas, cada uno de los cuales ha durado de 1 a 3 años, con un promedio de hasta 10 aumentos. Cuanto más lento es el ritmo de aumento, a menudo los efectos son peores y la inflación es más difícil de controlar. Por ejemplo, el sexto ciclo de aumento de tasas de 2015 a 2018 fue relativamente lento, lo que llevó a que los precios de las materias primas, representados por el petróleo, no solo no disminuyeran, sino que aumentaran. Después de octubre de este año, el precio del petróleo se ha mantenido firme, lo que podría llevar a la Reserva Federal a continuar con una política de aumento de tasas agresiva. Sin duda, en 2023, los mercados bursátiles globales y el mercado de encriptación seguirán enfrentando la presión de la retirada de fondos institucionales, el fondo del mercado bajista aún no ha llegado, y los inversores no deberían hablar a la ligera sobre encontrar el fondo.
zkRollup de Ethereum: una solución de escalado prometedora
Dejando de lado el gran ciclo del mercado de capitales, solo desde la perspectiva de la innovación traída por la encriptación y la posible oleada de Web3.0, Ethereum y su solución de escalado zkRollup, especialmente la solución zkRollup basada en la nueva generación de zkEVM, aún merecen que mantengamos un optimismo.
El cofundador de Ethereum, Vitalik Buterin, dijo en una conferencia el 30 de septiembre: "Después de la fusión, el siguiente objetivo de Ethereum es la escalabilidad." La escalabilidad es el problema central que impide que muchas criptomonedas y aplicaciones de blockchain se conviertan en mainstream. zkRollups logran la escalabilidad empaquetando cientos de transacciones en una única tarea de ejecución y validando todas las transacciones en esa única tarea.
Con el fuerte apoyo de Vitalik, Rollup se ha convertido en la solución principal para la escalabilidad de Ethereum. Las soluciones Rollup se pueden dividir en dos categorías: Optimistic Rollup y zkRollup, siendo la principal diferencia la forma en que se garantiza la validez de las transacciones. Optimistic Rollup utiliza un esquema de prueba de fraude, mientras que zkRollup utiliza pruebas de conocimiento cero matemáticas.
En la red optimista Rollup, hay un rol de retador que puede demostrar que los datos enviados a Ethereum son fraudulentos, y luego revertir las transacciones no válidas a través del consenso de la red. En comparación, zkRollup utiliza tecnología de prueba de conocimiento cero al procesar datos de transacciones, y, garantizando la validez de los datos de transacción, envía directamente la prueba a Ethereum, logrando una coherencia de estado final instantánea.
En comparación con el Rollup optimista, zkRollup utiliza pruebas de conocimiento cero para la verificación matemática, lo que ofrece más ventajas técnicas. Algunos proyectos ya han realizado exploraciones prospectivas en este campo durante varios años.
Sin embargo, un problema clave es que el EVM(, la máquina virtual de Ethereum), no fue diseñada para soportar la encriptación de conocimiento cero, lo que hace que construir una máquina virtual compatible con Solidity y que soporte la encriptación de conocimiento cero sea muy difícil. Por ejemplo, ciertos proyectos no pueden soportar contratos inteligentes escritos en Solidity.
Para resolver este problema, varios equipos están desarrollando una máquina virtual que soporte cálculos de prueba de conocimiento cero y sea compatible con Solidity, es decir, zkEVM. A diferencia de las máquinas virtuales comunes, zkEVM puede demostrar la corrección de la ejecución, incluida la validez de las entradas y salidas utilizadas durante el proceso de ejecución.
La necesidad de rediseñar zkEVM
Diferentes equipos han adoptado diferentes soluciones de implementación de zkEVM. Algunos compilan el bytecode en microcódigos, utilizan STARK para generar pruebas de validez de la transición de estado y luego envían la prueba a Ethereum para su verificación tras utilizar SNARK para validar la corrección de la prueba. Algunas soluciones son similares a esto en cierta medida, pero solo utilizan Halo 2 como su método de prueba de conocimiento cero.
Además, el equipo compila el código de contrato escrito en Solidity a Yul(, un lenguaje intermedio que se puede compilar en bytecode para diferentes máquinas virtuales ), y luego recompila el bytecode de Yul en un conjunto de bytecode personalizado y compatible con circuitos diseñado específicamente para su zkEVM.
¿Son estos sistemas lo suficientemente maduros como para ser utilizados en producción? ¿Necesitamos rediseñar un mejor zkEVM? zkRollup generalmente utiliza un protocolo de conocimiento cero para probar y agregar todas las transacciones antes de publicar la prueba de resumen en la cadena principal. Teóricamente, esto significa que la cadena de capa 1 puede verificar un breve "prueba" que cubre miles de transacciones complejas, y no hay posibilidad de trampa. Sin embargo, después del lanzamiento de algunas pruebas de zkEVM, se descubrió que la realidad no era ideal: procesar varias transacciones podría tardar decenas de minutos, la velocidad es muy lenta.
Un equipo ha rediseñado el zkEVM optimizando su estructura, logrando que su eficiencia supere a todas las soluciones zkEVM existentes. La razón principal es la adopción de una estructura jerárquica bien diseñada, que comprime el espacio desperdiciado y el tamaño del polinomio de compromiso en los circuitos, reduciendo así el tiempo necesario para generar pruebas. Al mismo tiempo, su secuenciador ejecuta un nodo de Ethereum, recibe transacciones de los usuarios, genera nuevos estados y un Trace especial amigable con zkEVM. El generador de pruebas obtiene este Trace del secuenciador y lo procesa en zkEVM utilizando una gran cantidad de tablas pequeñas ( en lugar de una tabla gigante ), lo que reduce drásticamente la redundancia y mejora la velocidad de generación de pruebas.
La importancia de las pruebas de conocimiento cero más rápidas
SNARK, aunque es conciso, no es tan eficiente como STARK. Sin embargo, con la aparición de nuevas tecnologías, las ventajas de STARK ya no son tan evidentes. Dado que la velocidad es el cuello de botella del zkEVM, comparar la eficiencia de cálculo tiene una gran importancia. STARK logra un tiempo de prueba y un tiempo de verificación casi lineales, más rápido que SNARK, pero claramente más lento que los nuevos sistemas de prueba.
Algunos nuevos sistemas de pruebas son la primera implementación en el mundo de pruebas de conocimiento cero que logran un tiempo de prueba lineal y un tiempo de verificación sublineal, alcanzando así el límite teórico. Generalmente son transparentes, no requieren ningún establecimiento de confianza, manteniendo así el más alto nivel de seguridad.
Estos nuevos sistemas se basan en códigos que se pueden codificar en tiempo lineal, siendo los más rápidos entre todos los esquemas de prueba de conocimiento cero existentes. Además, debido al uso de técnicas recursivas, el tamaño de la prueba se reduce a 1/7 de los esquemas existentes, lo que permite a los usuarios finales disfrutar de los servicios de la red de segunda capa de Ethereum a un costo muy bajo.
La necesidad de una capa de datos independiente y disponible
Actualmente, zkRollup se centra principalmente en reducir la carga computacional para validar transacciones. Esto es especialmente importante para Ethereum, ya que el costo de ejecutar contratos inteligentes complejos es alto. Sin embargo, los nodos de Ethereum aún deben almacenar simultáneamente los datos de transacciones originales. Esto no es ideal, ya que Ethereum es más adecuado como capa de consenso que como capa de almacenamiento, lo que significa que el cuello de botella de escalabilidad sigue existiendo: cuando el ancho de banda y el almacenamiento de los nodos son insuficientes ( en lugar de la capacidad de cálculo insuficiente ), el rendimiento de la red se ve afectado.
Esta es la razón por la cual Ethereum necesita una capa de disponibilidad de datos independiente para almacenar estos datos de transacciones en bruto, para evitar que todo el sistema de contratos inteligentes se congele debido a fallos en los servidores zkRollup o en los nodos de Ethereum. Más importante aún, desacoplará el costo de la red de segunda capa de la red de primera capa, reduciendo aún más el costo de las transacciones zkRollup basadas en zkEVM, con un posible descenso que podría superar el 50%.
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.
21 me gusta
Recompensa
21
1
Compartir
Comentar
0/400
Deconstructionist
· 07-25 07:26
La expansión debe resolver primero el cuello de botella.
Nuevos avances en la escalabilidad de Ethereum zkEVM: pruebas más rápidas y capa de datos independiente
Encriptación económica: la fusión de inversión y tecnología
La encriptación económica no es solo una revolución tecnológica, sino también un campo que requiere una profunda comprensión de las leyes de inversión. Muchos profesionales y entusiastas tienen dificultades para adaptarse a esta industria, en gran medida debido a su volatilidad cíclica excesiva. En un mercado alcista, las personas comunes realmente tienen la oportunidad de obtener ganancias de diez o incluso cien veces, pero en un mercado bajista, las pérdidas también son igualmente severas. En última instancia, independientemente de quién sea, una vez que ingresen al campo de la encriptación, el conocimiento de inversión es un curso obligatorio.
La principal razón del actual mercado bajista es la contracción de liquidez causada por el aumento de las tasas de interés de la Reserva Federal. La era de altos rendimientos locos de las finanzas descentralizadas ( DeFi ) ha terminado, y las tasas de rendimiento de los protocolos de préstamo convencionales han caído generalmente por debajo del 2%. En comparación, el rendimiento de los bonos del Tesoro de EE.UU. en el mundo real ha superado el 3%, lo que ha llevado a los inversores institucionales y a los proyectos de monedas estables a transferir continuamente fondos del mercado de criptomonedas al mercado financiero tradicional para comprar bonos del Tesoro.
Desde la década de 1980, la Reserva Federal ha pasado por 6 ciclos de aumento de tasas, cada uno de los cuales ha durado de 1 a 3 años, con un promedio de hasta 10 aumentos. Cuanto más lento es el ritmo de aumento, a menudo los efectos son peores y la inflación es más difícil de controlar. Por ejemplo, el sexto ciclo de aumento de tasas de 2015 a 2018 fue relativamente lento, lo que llevó a que los precios de las materias primas, representados por el petróleo, no solo no disminuyeran, sino que aumentaran. Después de octubre de este año, el precio del petróleo se ha mantenido firme, lo que podría llevar a la Reserva Federal a continuar con una política de aumento de tasas agresiva. Sin duda, en 2023, los mercados bursátiles globales y el mercado de encriptación seguirán enfrentando la presión de la retirada de fondos institucionales, el fondo del mercado bajista aún no ha llegado, y los inversores no deberían hablar a la ligera sobre encontrar el fondo.
zkRollup de Ethereum: una solución de escalado prometedora
Dejando de lado el gran ciclo del mercado de capitales, solo desde la perspectiva de la innovación traída por la encriptación y la posible oleada de Web3.0, Ethereum y su solución de escalado zkRollup, especialmente la solución zkRollup basada en la nueva generación de zkEVM, aún merecen que mantengamos un optimismo.
El cofundador de Ethereum, Vitalik Buterin, dijo en una conferencia el 30 de septiembre: "Después de la fusión, el siguiente objetivo de Ethereum es la escalabilidad." La escalabilidad es el problema central que impide que muchas criptomonedas y aplicaciones de blockchain se conviertan en mainstream. zkRollups logran la escalabilidad empaquetando cientos de transacciones en una única tarea de ejecución y validando todas las transacciones en esa única tarea.
Con el fuerte apoyo de Vitalik, Rollup se ha convertido en la solución principal para la escalabilidad de Ethereum. Las soluciones Rollup se pueden dividir en dos categorías: Optimistic Rollup y zkRollup, siendo la principal diferencia la forma en que se garantiza la validez de las transacciones. Optimistic Rollup utiliza un esquema de prueba de fraude, mientras que zkRollup utiliza pruebas de conocimiento cero matemáticas.
En la red optimista Rollup, hay un rol de retador que puede demostrar que los datos enviados a Ethereum son fraudulentos, y luego revertir las transacciones no válidas a través del consenso de la red. En comparación, zkRollup utiliza tecnología de prueba de conocimiento cero al procesar datos de transacciones, y, garantizando la validez de los datos de transacción, envía directamente la prueba a Ethereum, logrando una coherencia de estado final instantánea.
En comparación con el Rollup optimista, zkRollup utiliza pruebas de conocimiento cero para la verificación matemática, lo que ofrece más ventajas técnicas. Algunos proyectos ya han realizado exploraciones prospectivas en este campo durante varios años.
Sin embargo, un problema clave es que el EVM(, la máquina virtual de Ethereum), no fue diseñada para soportar la encriptación de conocimiento cero, lo que hace que construir una máquina virtual compatible con Solidity y que soporte la encriptación de conocimiento cero sea muy difícil. Por ejemplo, ciertos proyectos no pueden soportar contratos inteligentes escritos en Solidity.
Para resolver este problema, varios equipos están desarrollando una máquina virtual que soporte cálculos de prueba de conocimiento cero y sea compatible con Solidity, es decir, zkEVM. A diferencia de las máquinas virtuales comunes, zkEVM puede demostrar la corrección de la ejecución, incluida la validez de las entradas y salidas utilizadas durante el proceso de ejecución.
La necesidad de rediseñar zkEVM
Diferentes equipos han adoptado diferentes soluciones de implementación de zkEVM. Algunos compilan el bytecode en microcódigos, utilizan STARK para generar pruebas de validez de la transición de estado y luego envían la prueba a Ethereum para su verificación tras utilizar SNARK para validar la corrección de la prueba. Algunas soluciones son similares a esto en cierta medida, pero solo utilizan Halo 2 como su método de prueba de conocimiento cero.
Además, el equipo compila el código de contrato escrito en Solidity a Yul(, un lenguaje intermedio que se puede compilar en bytecode para diferentes máquinas virtuales ), y luego recompila el bytecode de Yul en un conjunto de bytecode personalizado y compatible con circuitos diseñado específicamente para su zkEVM.
¿Son estos sistemas lo suficientemente maduros como para ser utilizados en producción? ¿Necesitamos rediseñar un mejor zkEVM? zkRollup generalmente utiliza un protocolo de conocimiento cero para probar y agregar todas las transacciones antes de publicar la prueba de resumen en la cadena principal. Teóricamente, esto significa que la cadena de capa 1 puede verificar un breve "prueba" que cubre miles de transacciones complejas, y no hay posibilidad de trampa. Sin embargo, después del lanzamiento de algunas pruebas de zkEVM, se descubrió que la realidad no era ideal: procesar varias transacciones podría tardar decenas de minutos, la velocidad es muy lenta.
Un equipo ha rediseñado el zkEVM optimizando su estructura, logrando que su eficiencia supere a todas las soluciones zkEVM existentes. La razón principal es la adopción de una estructura jerárquica bien diseñada, que comprime el espacio desperdiciado y el tamaño del polinomio de compromiso en los circuitos, reduciendo así el tiempo necesario para generar pruebas. Al mismo tiempo, su secuenciador ejecuta un nodo de Ethereum, recibe transacciones de los usuarios, genera nuevos estados y un Trace especial amigable con zkEVM. El generador de pruebas obtiene este Trace del secuenciador y lo procesa en zkEVM utilizando una gran cantidad de tablas pequeñas ( en lugar de una tabla gigante ), lo que reduce drásticamente la redundancia y mejora la velocidad de generación de pruebas.
La importancia de las pruebas de conocimiento cero más rápidas
SNARK, aunque es conciso, no es tan eficiente como STARK. Sin embargo, con la aparición de nuevas tecnologías, las ventajas de STARK ya no son tan evidentes. Dado que la velocidad es el cuello de botella del zkEVM, comparar la eficiencia de cálculo tiene una gran importancia. STARK logra un tiempo de prueba y un tiempo de verificación casi lineales, más rápido que SNARK, pero claramente más lento que los nuevos sistemas de prueba.
Algunos nuevos sistemas de pruebas son la primera implementación en el mundo de pruebas de conocimiento cero que logran un tiempo de prueba lineal y un tiempo de verificación sublineal, alcanzando así el límite teórico. Generalmente son transparentes, no requieren ningún establecimiento de confianza, manteniendo así el más alto nivel de seguridad.
Estos nuevos sistemas se basan en códigos que se pueden codificar en tiempo lineal, siendo los más rápidos entre todos los esquemas de prueba de conocimiento cero existentes. Además, debido al uso de técnicas recursivas, el tamaño de la prueba se reduce a 1/7 de los esquemas existentes, lo que permite a los usuarios finales disfrutar de los servicios de la red de segunda capa de Ethereum a un costo muy bajo.
La necesidad de una capa de datos independiente y disponible
Actualmente, zkRollup se centra principalmente en reducir la carga computacional para validar transacciones. Esto es especialmente importante para Ethereum, ya que el costo de ejecutar contratos inteligentes complejos es alto. Sin embargo, los nodos de Ethereum aún deben almacenar simultáneamente los datos de transacciones originales. Esto no es ideal, ya que Ethereum es más adecuado como capa de consenso que como capa de almacenamiento, lo que significa que el cuello de botella de escalabilidad sigue existiendo: cuando el ancho de banda y el almacenamiento de los nodos son insuficientes ( en lugar de la capacidad de cálculo insuficiente ), el rendimiento de la red se ve afectado.
Esta es la razón por la cual Ethereum necesita una capa de disponibilidad de datos independiente para almacenar estos datos de transacciones en bruto, para evitar que todo el sistema de contratos inteligentes se congele debido a fallos en los servidores zkRollup o en los nodos de Ethereum. Más importante aún, desacoplará el costo de la red de segunda capa de la red de primera capa, reduciendo aún más el costo de las transacciones zkRollup basadas en zkEVM, con un posible descenso que podría superar el 50%.