Mille-feuille: una guía de capa 2

Hola a todos, soy Zac, el CEO de Aztec. Inventamos Plonk, una tecnología ZK-SNARK de uso general, y zk.money, el primer proyecto acumulativo de privacidad del mundo y uno de los protocolos L2 implementados recientemente en la red principal de Ethereum. A medida que más y más equipos de Capa 2 implementan su tecnología en la red principal de Ethereum y continúan convirtiendo la visión de escalar Ethereum en realidad, el panorama en la Capa 2 se vuelve cada vez más fascinante. Pero si el usuario aún no se ha integrado a esta ecología y no ha entendido los términos relacionados con la Capa-2, entonces el usuario puede pisar el trueno. Desafortunadamente, la mayoría de las personas explican las soluciones de Capa 2 debido a sus intereses y estarán sesgadas hacia una tecnología específica (es decir, ¡sí, la tecnología utilizada por su protocolo!) ¿En qué se diferencia de ellos? ¡Absolutamente no! Pero al menos hablo claro y no pretendo ser imparcial, ¿verdad? Haré todo lo posible para dar una visión general justa. El mundo de las soluciones de escalado/criptografía basadas en blockchain es pequeño, por lo que todos los equipos que superan sus límites merecen nuestro respeto. ¡Así que pensé que deberíamos involucrarnos! ¿Qué es L2 y por qué es importante? Eth 1.0 tiene un rendimiento de transacción limitado, lo que resulta en tarifas de transacción extremadamente altas. Las tarifas de transacción de ETH provienen principalmente de: Tarifas por cambios de almacenamiento de estado Tarifas por datos de transacción Tarifas por computación Las soluciones de capa 2 delegan una o más de las tareas anteriores a una red secundaria construida sobre Ethereum. En términos generales, hay dos tipos de capa 2, cada uno con sus propios requisitos de seguridad y ventajas y desventajas: resúmenes optimistas y resúmenes zk. Aztec define una tercera categoría: resumen de privacidad. Resumen optimista Compass Mining gana $ 1,5 millones en demanda contra empresa de custodia: informes de Jinse Finance, 29 de diciembre de 2022 Documentos judiciales muestran que el corredor de servicios mineros Compass Mining ganó $ 150 en demanda contra el proveedor de servicios de custodia Dynamics Mining Diez mil dólares estadounidenses. Compass demandó a Dynamics en junio de 2022 por no brindar el servicio y detener las máquinas de los clientes. El corredor prestó a Dynamics $1 millón para construir dos sitios de minería de bitcoin, además de pagar $650,000 en tarifas de hospedaje y depósitos. Dynamics alega que Compass no pagó $ 861,000 en facturas de alojamiento y electricidad, y que Compass intentó ingresar a las instalaciones mineras de Dynamics para robar equipos de minería. El juez de la cancillería de Delaware, J. Travis Laster, falló a favor de Compass y emitió una sentencia en rebeldía contra Dynamics por $1,474,400, más intereses y costos posteriores a la sentencia. [2023/1/4 9:50:52] Un resumen optimista es como una versión en miniatura de Ethereum, que en sí mismo, como red, también puede llevar contratos y transacciones inteligentes. El resumen optimista transmite periódicamente bloques de transacciones a un contrato inteligente de capa 1. Estos "bloques" incluyen los datos de transacción completos para cada transacción en el bloque, y nada más. Los contratos inteligentes en la capa 1 no realizan ningún cálculo ni realizan actualizaciones de almacenamiento. Esto reduce drásticamente el costo de publicar un bloque. La razón por la que se llama resumen optimista (optimista) es porque el esquema asume que cada transacción es válida de forma predeterminada: el contrato inteligente en la capa 1 no verificará directamente su validez. Por el contrario, si un usuario cree que una transacción es incorrecta (por ejemplo, una transacción de doble gasto), puede emitir una "prueba de fraude". En este momento, los contratos inteligentes en la capa 1 pueden usar los datos de bloque liberados por el resumen para verificar la validez de esas transacciones sospechosas de fraude. Personas familiarizadas con el asunto: Alameda perdió más de dos tercios de sus activos en transacciones XRP en 2018: Jinse Finance informó que antes del colapso de FTX, la gente creía que Alameda Research era una de las principales empresas comerciales cuantitativas y creadores de mercado en el industria. Sin embargo, esta percepción puede ser en gran medida superficial, con un informe reciente que detalla las dificultades financieras de Alameda desde 2018. En la primavera de 2018, Alameda se vio muy afectada por apostar en XRP, perdiendo más de dos tercios de los activos de Alameda, dijeron personas familiarizadas con el asunto. Fuentes informadas explicaron que SBF comenzó a solicitar préstamos nuevamente y prometió una tasa de rendimiento del 20%. Los abogados de SBF explicaron cómo Alameda era uno de los principales creadores de mercado en un lanzamiento particular a los prestamistas, pero los abogados no revelaron ninguna información financiera, según un documento revisado por The Wall Street Journal. Además, el informe detalla que cuando SBF inició Alameda, la casa de comercio ganó millones a través del arbitraje. Como árbitro, SBF afirma que las oportunidades provienen de países como Japón y Corea del Sur, donde Bitcoin cotiza con una prima. Debido a la llamada "prima kimchi" en Corea del Sur, SBF dijo que BTC es a veces un 30% más alto y un 10% más alto en Japón. Ha habido numerosos informes que destacan que Alameda ha ganado millones a través del arbitraje de criptomonedas, pero un informe reciente de The Wall Street Journal, con fecha del 31 de diciembre de 2022, detalla que las operaciones de Alameda no siempre han sido rentables. [2023/1/3 22:21:17] Esta operación es muy costosa, pero solo debe realizarse si se sospecha que se ha cometido un delito. Si se confirma el comportamiento malicioso, la entidad que emitió el bloque acumulativo optimista (a menudo llamado validador) perderá parte de la criptomoneda que prometió. Las acumulaciones optimistas se basan en este consenso económico para garantizar que las transacciones sean legítimas. El período de espera de retiro para las acumulaciones optimistas suele ser más largo (por ejemplo, una semana). Esto se debe a que, una vez que se publica una transacción en los resúmenes, el usuario debe esperar para ver si alguien acusa a su transacción de ser inválida y se publica una prueba de fraude en la red (es como cuando un sacerdote pregunta "Cualquiera que se oponga a... "¿En una boda? El embarazoso silencio que sigue). The Sandbox suspenderá las funciones principales del sitio web a las 0:00 del 15 de septiembre: El 14 de septiembre, The Sandbox anunció que, en vista de la próxima fusión de Ethereum, suspenderá las transacciones, las cadenas cruzadas y las aplicaciones en el sitio web a las 0:00 el 15 de septiembre, hora de Beijing Collar, fundición y otras funciones principales. Noticias anteriores, The Sandbox anunció que solo es compatible con la cadena Ethereum POS. [2022/9/14 13:29:31] El tiempo de espera para las pruebas de fraude puede ralentizar drásticamente los tiempos de retiro El costo principal de ejecutar una transacción en un resumen optimista es el costo de publicar los datos de la transacción en la cadena. Todos los paquetes acumulativos se enfrentan a este problema de disponibilidad de datos, ya sean optimistas o no. Para evitar que se congelen sus propios fondos, los usuarios deben tener permiso para acceder a todos los datos de transacciones del resumen. Publique estos datos en la capa 1 o exija suposiciones de confianza adicionales de los usuarios (por ejemplo, crea que algunas cadenas laterales permitirán que los usuarios accedan a estos datos). Al momento de escribir este artículo, si los rollups que está utilizando no publican sus datos de transacción en la cadena, eso significa que solo puede esperar que el servicio centralizado en el que confía no congele sus fondos. Pros: rico en características. La arquitectura de Eth1.0 se puede copiar y se pueden admitir contratos inteligentes. Más fácil de construir e implementar que zk-rollups Contras: Tiempos de retiro más largos. Se tarda aproximadamente una semana desde el momento en que se ejecuta la transacción hasta que la transacción se considera "segura y válida" (es decir, no se presenta ninguna prueba de fraude). El problema de los tiempos de salida lentos se puede mitigar con la ayuda de suscriptores (es decir, aquellos que cobran una pequeña tarifa y brindan liquidez L1, con el objetivo de permitir que los usuarios se retiren rápidamente). Los ZK Rollups son manejados por la red secundaria Computación y almacenamiento. La empresa de publicidad de Samsung emitirá NFT y lanzará el mercado comercial de NFT: Golden Finance News, Cheil Worldwide, la empresa de publicidad de Samsung, anunció su entrada oficial en el negocio de NFT en la reciente junta de accionistas. Cheil Worldwide emitirá NFT y lanzará el mercado comercial de NFT. Actualmente, la empresa todavía está contratando. A partir del 14 de este mes, reclutaremos maestros y doctores en el extranjero para puestos de desarrollo de software NFT y blockchain. (biz.chosun) [2022/3/21 14:08:42] L2 transmite los datos de la transacción a la red principal y proporciona una prueba de validez; esta es una prueba matemática de que la transacción es válida. Es decir, las transacciones por lotes en L2 se agregan en una transacción grande y se envían a un contrato inteligente en L1. El prefijo "zk" en zkRollups significa "conocimiento cero". Sin embargo, los zkRollups no brindan protección de la privacidad: todas las transacciones son públicas de forma predeterminada, como los resúmenes optimistas. Se llama "zk" porque estas pruebas de validez suelen generarse mediante sistemas de prueba de conocimiento cero (por ejemplo, ZK-SNARK o ZK-STARK). La ventaja de esto es que hay menos gastos generales para las actualizaciones y los cálculos de los elementos de almacenamiento en la red principal de Ethereum. No hay necesidad de asumir de manera optimista que la transacción es válida y, si se demuestra que es válida, se puede determinar que la transacción es válida. Esto significa que los zkRollups tienen tiempos de retiro mucho más rápidos que los acumulativos optimistas y requieren menos suposiciones de confianza. El elefante blanco en la habitación es que las pruebas de conocimiento cero agregan una cantidad asombrosa de sobrecarga computacional a una transacción. ¡Crear una prueba de conocimiento cero para un cálculo es aproximadamente un millón de veces más lento que ejecutar el cálculo directamente! Esta es una estimación aproximada que variará según los cálculos involucrados, pero es precisa para los tipos de cálculos en los contratos inteligentes de Solidity. zkRollups maneja esto al delegar la generación de pruebas a "proveedores de resumen" de terceros con recursos informáticos masivos. Los usuarios confiarán en estos proveedores de servicios externos para crear transacciones para ellos. Los proveedores de acumulación pueden censurar o adelantar transacciones, al igual que los mineros de Ethereum. Cuanto más poder de cómputo se requiera, menos sujetos pueden ser proveedores de rollup, por lo que debemos resolver completamente el problema de revisión desde la arquitectura del protocolo. Rusia y Ucrania cierran múltiples granjas mineras de criptomonedas: Las autoridades rusas y ucranianas han cerrado varias instalaciones mineras ilegales de criptomonedas que supuestamente funcionaban con electricidad robada, según un informe del 5 de diciembre. Estas granjas subterráneas se han encontrado alrededor de las capitales Kiev y Moscú, así como en la República Rusa de Daguestán. (news.bitcoin) [2021/12/5 12:52:31] Cuando necesitamos portar contratos inteligentes a L2, la alta sobrecarga computacional nos trae algunas dificultades. Nuestro objetivo es ser totalmente compatibles con EVM. Para lograr este objetivo, debemos resolver este problema de ralentización de 1 millón de veces. El EVM es extremadamente hostil para los SNARK, ya que el tamaño de la palabra es de 256 bits y es compatible de forma nativa con SHA3 y otros algoritmos hash que no son compatibles con SNARK. Incluso delegar la prueba del cálculo a un tercero con grandes recursos informáticos puede no ser suficiente. Una posible solución es escribir el algoritmo probador zkSNARK directamente en silicio a través de FPGA o ASIC. Los proveedores de resumen necesitarán este hardware para crear pruebas. Crear pruebas zk es mucho más lento que ejecutar un programa normal. Nuestra investigación sobre Plonk y Plookup acelera los SNARK en un orden de magnitud, pero los zkRollups aún tienen problemas de rendimiento en comparación con los resúmenes optimistas. Por lo general, los lenguajes de programación SNARK y STARK han tenido que adaptarse a las ineficiencias de sus sistemas de prueba subyacentes. Estos dos lenguajes generalmente tienen dificultades para implementar bucles de longitud variable y acceso dinámico a la memoria (como vectores y matrices dinámicas). Algunos de estos problemas se resolvieron en nuestro último estudio de Plookup, pero no todos. Esto significa que zkRollup puede requerir que los desarrolladores transfieran sus contratos a un idioma personalizado (como el idioma Cairo de Starkware). Para aquellos zkRollups que no tienen como objetivo la compatibilidad total con EVM, existe la ventaja de que las transacciones son más baratas. Si no hay necesidad de seguir la semántica de EVM, es posible reducir la cantidad de datos de transmisión por transacción elemental. La red de Hermes hace precisamente eso. Los costos de transacción pueden ser más económicos que los resúmenes optimistas No requiere pruebas de fraude, los tiempos de retiro son más cortos En comparación con los resúmenes optimistas, las características se agregan más lentamente Depende de terceros que usan hardware personalizado para generar pruebas Puede requerir un lenguaje personalizado con funcionalidad limitada Recopilaciones de privacidad Aztec ha lanzado paquetes acumulativos de privacidad en la red principal en marzo de 2021. Los usuarios pueden encapsular ETH en un escudo de privacidad y enviar transacciones privadas a través de zk.money, nuestra billetera de privacidad en línea. La técnica de los rollups de privacidad es muy similar a la de zkRollups, pero su propósito es completamente diferente. Los paquetes acumulativos de privacidad están diseñados para proporcionar sólidas garantías de privacidad a 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, e incluso el monto de la transferencia está encriptado. Para ello utilizamos el sistema de prueba de conocimiento cero de última generación Plonk.

Tags：

Bitcoin