Lo básico que debe saber sobre el resumen

Capa 2 es un término general para soluciones diseñadas para ayudar a escalar aplicaciones mediante el procesamiento de transacciones en la red principal de Ethereum (Capa 1), mientras se aprovecha el sólido modelo de seguridad descentralizado de la red principal. En la actualidad, la velocidad de transacción de Ethereum es lenta, y el problema de la mala experiencia del usuario se produce cuando aumenta la factura de la luz y aumenta el número de usuarios. Los protocolos de capa 2 nacieron para resolver este problema.

Capa 2 es un término general para soluciones diseñadas para ayudar a escalar aplicaciones mediante el procesamiento de transacciones en la red principal de Ethereum (Capa 1), mientras se aprovecha el sólido modelo de seguridad descentralizado de la red principal. Cuando la red está ocupada, la velocidad de procesamiento de transacciones puede verse afectada, lo que puede hacer que la experiencia del usuario para ciertos tipos de dapps sea deficiente. A medida que la red se vuelve más ocupada, los costos de electricidad aumentan a medida que los remitentes de transacciones ofertan. Esto puede hacer que usar Ethereum sea muy costoso.

La traducción literal de rollup en chino es empaquetado, y el uso anterior es un empaquetador de módulos de lenguaje de programación, que es equivalente a módulo en python. Una solución que ahora se utiliza en los protocolos de capa 2. En general, empaquetan muchas transacciones en la cadena principal y generan una declaración o prueba de que todas las transacciones en este paquete son legales (es decir, la raíz del árbol Merkle antes de la transacción corresponde a la raíz posterior a la transacción en el paquete anterior ) y el contenido de la transacción es compatible), y luego solo una parte del contenido se publica en la cadena principal, lo que aumenta la velocidad y reduce el consumo de electricidad y las tarifas de transacción.

La transacción se ejecuta fuera de la red principal;

Sin embargo, los datos de transacciones o las pruebas de transacciones se almacenan en la red principal para facilitar la verificación.

Zk-rollup a prueba de conocimiento cero;

Optimización de resumen optimista (traducido por el autor)

El índice de conversión de stETH a ETH en Curve se ha reducido a 1:0,9347, y el índice del fondo de liquidez se ha inclinado seriamente: según las noticias del 16 de junio, según la página de Curve, el índice de conversión de stETH a ETH ha disminuido a 1:0,9347. Actualmente hay 109.716,57 ETH (18,14 %) y stETH: 495.040,06 (81,86 %) en el grupo. La proporción de este grupo de liquidez está seriamente inclinada y la proporción de inclinación sigue aumentando. [2022/6/16 4:31:16]

Esta es solo una breve introducción, y la parte detallada se presentará en otro artículo. En pocas palabras, la prueba de conocimiento cero es convencer a la otra parte de que tengo ese secreto sin revelarlo. Por ejemplo, para dos personas, A y B, A conoce los secretos a, b (y a+b=7), B conoce el mapa lineal f(x), B le envía a A el mapa f, y A calcula f(a ) y f(b) y enviarlo a B, B calcula f(a)+f(b)=f(a+b). Si f(a+b)=f(7), entonces B puede estar seguro de que A sabe que a+b=7. Históricamente hablando, el concepto de conocimiento cero apareció por primera vez en 1985, Shafi Goldwasser, Silvio Micali y Charles Rackoff "La complejidad del conocimiento de los sistemas de prueba interactivos". El uso de la prueba de conocimiento cero para Rollup apareció por primera vez en el libro blanco de Barry en 2018.

La prueba de conocimiento cero aquí se utiliza principalmente para publicar y registrar públicamente la validez del bloque en la cadena de bloques de Ethereum. Las transacciones empaquetadas en la Capa 2 se publicarán en la cadena principal en forma de prueba, lo que permite que todos tengan una forma de verificarla. El propósito principal es evitar que alguien use transacciones malintencionadas en Layer2 para manipular la información. Vale la pena señalar que las pruebas de conocimiento cero no son garantías de privacidad, ni son sistemas criptográficos. Porque nadie puede descifrarlo excepto la persona que posee el secreto. Desde sus inicios, la prueba de conocimiento cero o ZK-Rollup ha pasado por tres etapas de desarrollo: SNARK, STARK y Bulletproofs Actualmente, Zcash, ZK Sync (Matter Labs), DarkForest (Juego), etc. están usando SNARK, Monero usa Bulletproofs La diferencia entre estos tres métodos se puede comparar en la figura a continuación. Más adelante se presentarán ejemplos específicos.

Los datos muestran que los 100 principales titulares de APE controlan el 52% del suministro: según las noticias del 23 de abril, según las estadísticas, el lanzamiento aéreo inicial de ApeCoin (APE) planea distribuir 150 millones de APE. Hasta el momento se han reclamado 140.725.540 APE. Los datos muestran que actualmente se encuentran en circulación 284.843.750 APE entre 48.570 titulares de APE. De la lista rica de APE en coincarp.com, se puede ver que entre todos los APE en circulación, hay una gran cantidad de ballenas ApeCoin concentradas.

Por ejemplo, entre los 284,84 millones de APE en circulación, la tenencia de los diez primeros titulares de APE representó el 9,16%, equivalente a 26.091.687,5 APE. Los 20 principales tenedores controlan actualmente el 14,16% del APE en circulación, que es 40333875 APE. Los datos muestran además que los 50 principales titulares de APE representan el 29,16% del total de APE en circulación, equivalente a 83060437,5 APE. Además, las 100 principales tenencias actuales de billeteras APE representan el 52,36% del suministro de APE.

Estos 100 titulares representan el 0,20% de los actuales 48.570 titulares de APE. De hecho, la dirección número uno tiene 30305548 APE, que es el 3,03% de la oferta actual. La segunda dirección más grande de APE posee 10.833.332 APE, lo que representa el 1,08% de los APE en circulación. (Bitcoin.com) [2022/4/24 14:44:20]

Debido a los problemas de escalabilidad de Plasma y las cadenas laterales, Rollup en sí se considera una solución emergente, y ZK-Rollup es la más escalable entre ellas y también la más rápida para procesar transacciones, en comparación con Plasma y OP-Rollup. Solo una pequeña parte de sus datos se almacena en la cadena principal.

Comisiones por transacción única reducidas.

En general, es rápido para la verificación y lento para la generación de pruebas. Pero debido a que su generación depende del contrato inteligente, es equivalente a asignar el trabajo de todos a una persona, y el resto del trabajo es una simple verificación, que solo se refiere a SNARK.

No se requiere un juego de trampas, lo que permite que las transacciones se validen en bloques rápidamente (alrededor de diez minutos).

La dificultad computacional de las pruebas de conocimiento cero requiere la optimización de datos para un rendimiento máximo.

ZK-Rollup necesita generar una cadena inicial, lo que hará que el sistema sea más centralizado.

La computación cuántica se puede descifrar, aquí se refiere a SNARK. STARK puede resistir ataques cuánticos.

Requiere mayores supuestos de seguridad.

La optimización de acumulaciones apareció en julio de 2019 como una idea de John Adler en el Foro de investigación de la Fundación Ethereum. Optimistic-Rollup es utilizado actualmente por Optimism, Fuel Labs y Arbitrum. La idea es relativamente simple. Aquí, OP-Rollup tiene dos roles fuera de la cadena, Aggregator (Agregador) y Validator (Validador). Las transacciones que ocurren en la Capa 2 son empaquetadas por el agregador y generan un encabezado de árbol de Merkle y contratos inteligentes. Después de que el agregador promete una suma de fondos, el agregador puede cargar la transacción empaquetada en la cadena principal. El verificador revisa el paquete, puede cuestionarlo y dar una prueba de fraude.

Prueba de Fraude: El verificador puede revisar el estado de los fondos y la suma Comparando con su propio estado local, si se encuentra alguna actualización anormal, el verificador puede plantear una pregunta y cambiar todos los bloques de este bloque al siguiente (bloque Hay será de 1 a 2 semanas de tiempo de preguntas después de cargar desde el resumen a la cadena principal, si nadie pregunta dentro de este período, el bloque se completará). El validador que plantea el desafío puede obtener los fondos prometidos por el agregador.

Los OP-Rollups utilizan la teoría de juegos y los juegos de verificación para garantizar la verificación de datos, y funcionan bajo el supuesto de que todos respetan la ética, pero si una parte malintencionada publica una transacción, el bloqueo se revierte, de ahí el nombre de Optimistic Rollups.

Características

Otra tabla de comparación se muestra a continuación:

En resumen, la idea de Rollup no es difícil de entender, se enfoca en empaquetar transacciones fuera de la cadena e intentar colocarlas en la cadena principal. Las transacciones empaquetadas ocurren y se ejecutan fuera de la cadena, lo que acelera las transacciones. Los datos almacenados en la cadena se reducen a solo la cabeza del árbol de Merkle o una prueba, lo que ahorra costos. Por el contrario, el autor es más optimista sobre las perspectivas a largo plazo de ZK-Rollup.La mayor ventaja de OP-Rollup radica en su aplicabilidad y buena experiencia de usuario. Estas dos ventajas han desaparecido gradualmente en la aplicación de EVM de ZK-Rollup y su rápido desarrollo actual. Sin embargo, ZK-Rollup tiene una seguridad más sólida, una velocidad de transacción teórica más rápida, menos almacenamiento de datos y más ahorro de costos. Solo hay una duda en este momento, es decir, el cálculo de ZK-Rollup es demasiado alto, lo que aún puede generar una desventaja en el costo. En el próximo artículo se dará otra pregunta, por supuesto, también puede deberse a la falta de comprensión del autor del proceso de aplicación de SNARK a la práctica.

Tags：

DAI