Torta de mil capas: Competencia de tres acumulaciones de la Guía de capa 2

Hola. Soy Zac, el CEO del equipo Azteca. Inventamos la tecnología ZK-SNARK de uso general Plonk y zk.money, que es la primera instancia de resumen centrada en la privacidad del mundo y una de las nuevas instancias de capa 2 implementadas recientemente en la cadena de bloques de Ethereum. El mundo de Layer-2 se está volviendo vertiginoso a medida que muchos equipos convierten constantemente sus ideales en realidad y lanzan sus propios productos. Sin embargo, si no está arraigado en esta ecología, necesitará un poco de navegación para atravesar esta jungla. Desafortunadamente, muchas de las personas que explican la tecnología Layer-2 a todos tienen interés en ella y están sesgadas en contra de ciertas tecnologías (sí, ¡las que ellos mismos usan!). Entonces, ¿soy diferente a ellos? ¡No! Soy igualmente parcial, pero te lo diré de frente sin pretender ser imparcial, ¿qué opinas? Haré todo lo posible para darle una perspectiva relativamente equilibrada. El mundo de las soluciones de escalado/criptografía basadas en blockchain es pequeño, y cada equipo que supera sus límites merece nuestro respeto. ¡Así que profundicemos en ello! El rendimiento de transacciones de Ethereum 1.0 es muy limitado, lo que también hace que el costo de enviar transacciones sea extremadamente alto. El costo principal de las transacciones de Ethereum proviene del costo de cambiar los elementos de almacenamiento de estado, el costo de los datos de transacción y el costo de cálculo. La solución de Capa 2 subcontrata uno o más de los anteriores a una red secundaria que se basa en Ethereum. En términos generales, dividimos las soluciones de capa 2 en dos categorías, cada una con sus propios requisitos de seguridad y ventajas y desventajas: resumen optimista y resumen zk. Aztec está definiendo una tercera categoría: resumen privado. El resumen optimista es como el epítome de la cadena de bloques Ethereum. Tiene una red propia que también aloja contratos y transacciones inteligentes. El CEO de FTX enfatizó que SBF y otros miembros de su círculo interno ya no están involucrados en las operaciones diarias de la compañía: Jinse Finance informó que el CEO de FTX, John Ray, enfatizó en la reunión general de la compañía esta semana que SBF y otros miembros de su círculo interno (incluida Alameda La directora ejecutiva, Caroline Ellison, ya no participa en las operaciones diarias de la empresa y la empresa no se ha comunicado ni "tratado" con ellos. Ray no proporcionó detalles específicos sobre cómo se desarrollaría el proceso de bancarrota, pero los expertos en reestructuración trataron de calmar a los empleados ansiosos señalando que "las cosas se aliviarán un poco", dijo Ray, "y tenemos cada vez más control sobre la situación". ." [2022/12/1 21:14:27] El esquema de acumulación optimista transmitirá periódicamente sus bloques de transacciones a un contrato inteligente de Capa-1. Estos "bloques" contienen, y solo contienen, datos de transacciones que ocurrieron en el sistema de acumulación Optimistic. Este contrato inteligente de capa 1 tampoco realiza ningún cálculo ni actualiza los elementos almacenados. Esto reduce en gran medida la sobrecarga de publicar un bloque. Se llama "optimista" porque dicho sistema asume que cada transacción en el bloque L2 publicado es válida; el contrato inteligente no verifica directamente su validez. Por el contrario, si un usuario cree que una transacción es incorrecta (como que resulta en múltiples pagos), puede emitir una "prueba de fraude (fraud-proof)". Los contratos inteligentes en Layer-1 pueden usar los datos que ha publicado el resumen para verificar la validez de la supuesta transacción. Las pruebas de fraude son intrínsecamente costosas, pero solo deben realizarse cuando se sospecha un comportamiento malicioso. Si se confirma el comportamiento malicioso, el sujeto que emitió este bloque acumulativo optimista (comúnmente conocido como "validador") perderá su criptomoneda previamente bloqueada. La acumulación optimista se basa en este consenso económico para garantizar que las transacciones sean correctas. Coinbase transfirió 5000 bitcoins a una billetera desconocida: Golden Finance informó que Bitcoin Magazine tuiteó que 5000 bitcoins (con un valor de $101 millones) acababan de ser transferidos de Coinbase a una billetera desconocida. [2022/6/21 4:41:33] El tiempo de retiro del resumen optimista es generalmente más largo (por ejemplo, 1 semana). Esto se debe a que después de que una transacción se hace pública, los usuarios esperan para ver si se han producido acusaciones de comportamiento malicioso. (Algo así como una boda en la que el sacerdote pregunta "¿Hay alguien que se oponga a este matrimonio..." y hay un silencio incómodo) - Esperar pruebas de fraude ralentizará considerablemente los retiros - El costo principal de ejecutar transacciones en la acumulación optimista proviene de poner El costo de enviar los datos de estas transacciones a la cadena subyacente. Este problema de disponibilidad de datos es común a todos los rollups, tanto optimistas como otros. Para evitar que los fondos se congelen, los usuarios deben poder acceder a todos los datos de transacciones desde el principio hasta el final de un resumen. Los datos deben enviarse a la capa 1 o el usuario necesita confianza adicional (por ejemplo, confiar en que la cadena lateral divulgará los datos). Al momento de escribir este artículo, si su resumen no divulga los datos de su transacción a la cadena, entonces debe esperar que el proveedor de servicios centralizado no congele sus fondos. (Nota del traductor: esta declaración es un poco inexplicable. Si un resumen optimista no publica datos de transacciones en la cadena, entonces no se llama resumen optimista, se llama Plasma). Ventajas: Rico en funciones. Puede replicar la arquitectura de Eth1.0 y admitir contratos inteligentes. Es más fácil de desarrollar e implementar que zk-rollup. La posición bloqueada total de la red Ethereum L2 es de 6.27 mil millones de dólares estadounidenses: Golden Financial News, los datos de L2BEAT muestran que como del 30 de abril, Ethereum El volumen total de bloqueo de la Capa 2 es de $ 6,27 mil millones, una disminución del 3,26% en 7 días. Entre ellos, Arbitrum tiene el monto de bloqueo más alto de alrededor de 3560 millones de dólares estadounidenses, lo que representa el 56,76 %; seguido de dYdX, con un monto de bloqueo de 997 millones de dólares estadounidenses, lo que representa el 15,9 %; el tercero es Optimism, con una cantidad de bloqueo de 661 millones de dólares estadounidenses, lo que representa el 56,76% del 10,54%. [2022/4/30 2:42:28] Desventajas: La demora en retirar fondos es mayor. Espere aproximadamente 1 semana desde que se hace pública una transacción hasta que se convierte en definitiva. Los suscriptores (es decir, los proveedores de liquidez que le cobran una pequeña tarifa para proporcionarle fondos L1...) pueden aliviar el inconveniente de la retirada prolongada de fondos. La red secundaria se encarga del cálculo y el almacenamiento estatal. L2 transmite los datos de la transacción a la red principal L1 junto con la prueba de validez asociada. La llamada "prueba de validez" es la prueba matemática de la validez de estas transacciones. Un lote de transacciones L2 se acumula en una transacción enviada a un contrato inteligente en L1. El prefijo "ZK" se refiere a "prueba de conocimiento cero (conocimiento cero)", sin embargo, el resumen zk a menudo no puede proteger la privacidad: todas las transacciones serán públicas de forma predeterminada, al igual que el resumen optimista. El prefijo "zk" se usa porque las pruebas de validez en las que se basan estos sistemas a menudo se generan utilizando sistemas de prueba de conocimiento cero (como ZK-SNARK o ZK-STARK). La ventaja de este esquema es que la actualización del elemento de almacenamiento y la sobrecarga de cálculo se eliminan de la cadena principal de Ethereum, y no hay necesidad de asumir de manera optimista que la transacción transmitida es correcta, siempre que demuestre ser válida, sabrá esto La transacción es válida. Esto también significa que los tiempos de retiro pueden ser mucho más rápidos que en un sistema tipo rollup optimista, con menos suposiciones de confianza requeridas. Huashang Daily y Juntu Chain "Hi Yuan Universe" publicaron trabajos de fotografía de noticias NFT: El 10 de enero, Huashang Daily y Juntu Chain "Hi Yuan Universe" publicaron una colección digital de noticias con el tema "tomarse de la mano con tu Xi'an favorito". La colección selecciona ocho momentos de video inolvidables en Xi'an en el último año, cada uno limitado a 10.000 copias, y se entrega a usuarios y coleccionistas de forma gratuita. Se entiende que este conjunto de colecciones digitales condensa muchas preciosas escenas de video en Xi'an en 2021: 1. Su Bingtian ganó la primera medalla de oro de los Juegos Nacionales en la final masculina de 100 metros de los 14º Juegos Nacionales. 2. A finales de año, la nueva epidemia de la corona invadió Xi'an, y decenas de miles de empleados y voluntarios luchaban en la primera línea de prevención de epidemias. 3. El 5º Maratón de Xi'an comenzó con entusiasmo antes de los Juegos Nacionales. 4. En 2021, una boda grupal de bienestar público a gran escala en la muralla de la ciudad de Xi'an. 5. Diez años de arduo trabajo, beneficiando a 14 millones de personas en Guanzhong, el túnel de transferencia de agua Han-to-Wei está a punto de completarse. 6. El hermoso paisaje de Xi'an después de la mejora de tres ríos y una montaña. 7. Se inauguró el cinturón forestal de Xingfu, uno de los proyectos de utilización del espacio subterráneo más grandes del mundo. 8. El China Railway Express está listo para partir del puerto internacional de Xi'an. (Huashang.com) [2022/1/10 8:37:50] Pero el elefante en la habitación es que las pruebas de conocimiento cero agregan una sobrecarga computacional asombrosa a una transacción. ¡Generar una prueba de conocimiento cero para un cómputo es aproximadamente 1 millón de veces más costoso computacionalmente que ejecutar el cómputo directamente! Esta es una estimación aproximada, y la situación real puede variar mucho debido a las características del cálculo original en sí, pero para el programa de cálculo del tipo de contrato inteligente Solidity, (esta estimación) generalmente es precisa. El sistema de rollup ZK responde encomendando la tarea de construcción de pruebas a terceros con grandes recursos informáticos, denominados "proveedores de rollup". Los usuarios confían en estos servicios de terceros para crear transacciones para ellos. Los proveedores de acumulación pueden censurar o adelantarse a estas transacciones, al igual que los mineros de Ethereum. Cuanta más potencia de cómputo se requiere, menos sujetos son capaces de actuar como proveedores, por lo que debemos considerar completamente el tema de la revisión desde la arquitectura del protocolo. La enorme sobrecarga computacional también trae algunos problemas al trasplante de contratos inteligentes. Nuestro objetivo es cumplir totalmente con EVM, por lo que tenemos que lidiar con esta desaceleración de 1 millón de veces. EVM es extremadamente hostil para SNARK porque su longitud de palabra es de 256 bits y es compatible de forma nativa con SHA3 y otros algoritmos hash que no son compatibles con SNARK. Incluso ser capaz de subcontratar la sobrecarga computacional de generar pruebas a sujetos con grandes recursos computacionales puede no ser suficiente. Un enfoque posible es escribir el algoritmo probador de zkSNARK directamente en hardware FPGA o ASIC. Luego, el proveedor necesita este hardware para crear pruebas. El servicio de billetera Venly y el mercado NFT han respaldado la cadena de bloques Avalanche: el 30 de octubre, el proveedor de tecnología blockchain Venly anunció recientemente que los usuarios de Venly pueden crear una billetera Avalanche en su billetera Venly e intercambiar Avalanche NFT en el mercado Venly. Con la solución de billetera Venly, los proyectos en Avalanche pueden proporcionar servicios de billetera a sus usuarios. Mediante el uso de la API del mercado de Venly, el proyecto Avalanche puede crear fácilmente un mercado NFT impulsado por la tecnología de Venly. [2021/10/30 6:21:43] La construcción de una prueba de conocimiento cero es mucho más lenta que ejecutar un programa normal. Nuestra investigación de Plonk y Pollkup ha mejorado la velocidad de SNARK en un orden de magnitud, pero el resumen de zk aún enfrenta un cuello de botella de rendimiento en comparación con el resumen optimista. En general, los lenguajes de programación de SNARK y STARK tienen que adaptarse a las ineficiencias de los sistemas de prueba subyacentes. Estos lenguajes tienen dificultades para implementar bucles de longitud variable y accesos dinámicos a la memoria, como vectores y matrices dinámicas. Nuestra última investigación de Plookup alivia algunos, si no todos, los problemas. Esto significa que zk rollup requiere que los desarrolladores transfieran sus contratos a un lenguaje de programación personalizado (como el Cairo de Starkware). Para las acumulaciones de zk que no pretenden ser totalmente compatibles con EVM, el beneficio es que las transferencias se vuelven más baratas. Si no es necesario seguir la semántica de EVM, se puede reducir la cantidad de datos de transmisión para transferencias básicas. La red de Hermes hace precisamente eso. El costo de las transacciones puede ser más barato que el resumen optimista, no se requiere prueba de fraude, los retiros son más rápidos que el resumen optimista y la adición de funciones es más lenta. Los terceros que dependen de hardware personalizado pueden necesitar lenguajes de programación personalizados con mayor prioridad. Aztec lanzó un paquete acumulativo de privacidad en marzo de 2021. Puede envolver su ETH en un escudo de privacidad y usar nuestra billetera de privacidad en línea zk.money para enviar transacciones privadas. Los paquetes acumulativos de privacidad utilizan técnicas muy similares a los paquetes acumulativos zk, pero tienen características completamente diferentes. La arquitectura de resumen de privacidad está diseñada para proporcionar sólidas garantías de privacidad para todos los usuarios de L2. Los usuarios mantienen fondos de forma anónima. Al ejecutar una transacción, tanto el remitente como el receptor son anónimos y el monto de la transferencia está encriptado. Usamos Plonk, un sistema de prueba de conocimiento cero de última generación. Inventamos Plonk en 2019 y rápidamente se convirtió en el estándar de la industria entre los equipos que desarrollan en cadenas de bloques utilizando pruebas de conocimiento cero. Garantizar la privacidad por diseño requiere una arquitectura de resumen muy diferente a la de zk rollup. Tomamos el camino de la privacidad primero porque sabíamos que con una L2 pública, implantar la privacidad programable a menudo requeriría sacrificar la experiencia del usuario o refactorizar radicalmente todo el protocolo. La solución de privacidad actual basada en Ethereum es el mezclador. Los mezcladores tienen la capacidad de anonimizar los fondos de los usuarios, pero por lo demás tienen usuarios limitados. Nuestra versión completa de capa privada 2 puede hacer aún más: contratos inteligentes privados totalmente programables

Tags：

Ripple