TL;DR

1/ La esencia de la modularidad es romper el "triángulo imposible" y lograr la expansión de la capacidad sin aumentar la carga sobre el hardware del nodo.

2/ Celestia es la capa de disponibilidad de datos. Similar a Optimistic Rollup, los datos de bloque predeterminados son válidos. Utiliza prueba de fraude, codificación de borrado y muestreo de disponibilidad de datos para realizar la verificación de datos, al tiempo que permite que los nodos ligeros participen en la verificación.

3/ Celestia inicialmente formó un ecosistema. Actualmente, proyectos ecológicos conocidos incluyen Fuel, Cevmos, etc.

4/ Será crucial cómo Celestia pueda aprovechar el período de ventana, formar un efecto de escala antes de Polygon Avail y Danksharding, y atraer una gran cantidad de liquidez, especialmente la liquidez del Rollup nativo.

Normalmente, la Capa1 se divide en cuatro capas:

1) Capa de consenso

2) Capa de asentamiento

3) capa de datos

4) Capa de ejecución

Se requiere una capa de consenso. La modularización se refiere a desacoplar uno o dos de liquidación, datos y ejecución (estrictamente hablando, "desacoplamiento") y agregar consenso para formar una nueva capa de protocolos de red para romper el "triángulo imposible" sin agregar más. La expansión de la capacidad se puede lograr bajo la premisa de reducir la carga sobre el hardware del nodo y provocar la centralización.

Por ejemplo, Ethereum Rollup separa la capa de ejecución para proporcionar consenso y ejecución. Un secuenciador centralizado clasifica, empaqueta y comprime una gran cantidad de transacciones y las envía a la red principal de Ethereum, donde todos los nodos de la red principal verifican los datos de las transacciones.

Celestia es un proyecto de disponibilidad de datos (DA) basado en la arquitectura Cosmos. Proporciona una capa de datos y una capa de consenso para otras Capas 1 y 2, construye una cadena de bloques modular, tiene un modelo de negocio toB y cobra por otras cadenas públicas.

Para comprender completamente a Celestia y la disponibilidad de datos, primero debemos comenzar con el "triángulo imposible" y los problemas de disponibilidad de datos.

¿Por qué es importante la disponibilidad de datos? Del "triángulo imposible" a los problemas de disponibilidad de datos

El Triángulo Imposible, también conocido como Trilema, generalmente se refiere a la incapacidad de lograr descentralización, escalabilidad y seguridad al mismo tiempo. Fue propuesto por primera vez por los funcionarios de Ethereum.

Por lo general, cuando una transacción se envía a la cadena, primero ingresa a Mempool, donde los mineros la "seleccionan", la empaquetan en un bloque y el bloque se empalma en la cadena de bloques.

El bloque que contiene esta transacción se transmitirá a todos los nodos de la red. Otros nodos completos descargarán este nuevo bloque, realizarán cálculos complejos y verificarán cada transacción para garantizar que sea auténtica y válida.

Los cálculos complejos y la redundancia son la base de la seguridad de Ethereum y también traen problemas.

1) Disponibilidad de datos

Suele haber dos tipos de nodos:

Nodo completo: descargue y verifique toda la información del bloque y los datos de las transacciones.

Nodo ligero: un nodo no completamente verificado, fácil de implementar y que solo verifica el encabezado del bloque (resumen de datos).

Primero, asegúrese de que cuando se genere un nuevo bloque, todos los datos del bloque se hayan publicado para que otros nodos puedan verificarlo. Si el nodo completo no publica todos los datos del bloque, otros nodos no pueden detectar si el bloque oculta transacciones maliciosas.

En otras palabras, el nodo necesita obtener todos los datos de la transacción dentro de un cierto período de tiempo y verificar que no haya datos de transacción confirmados pero no verificados. Esta es la disponibilidad de datos en el sentido habitual.

Si un nodo completo oculta algunos datos de transacción, otros nodos completos se negarán a seguir este bloque después de la verificación. Sin embargo, los nodos ligeros que solo descargan la información del encabezado del bloque no podrán verificar y continuarán siguiendo este bloque bifurcado, lo que afecta la seguridad.

Aunque la cadena de bloques generalmente pierde el depósito del nodo completo, esto también causará pérdidas a los usuarios que se comprometieron con el nodo.

Y cuando los ingresos por ocultar datos excedan el costo de la confiscación, los nodos tendrán un incentivo para ocultarlos. En ese momento, las víctimas reales solo serán los usuarios que apuestan y otros usuarios de la cadena.

Por otro lado, si el despliegue completo de nodos se vuelve cada vez más centralizado, existe la posibilidad de colusión entre nodos, lo que pondrá en peligro la seguridad de toda la cadena.

Por eso es importante que los datos estén disponibles.

La disponibilidad de datos está recibiendo cada vez más atención, en parte debido a la fusión de Ethereum PoS y en parte debido a los desarrollos de Rollup. Actualmente Rollup ejecutará un secuenciador centralizado (Sequencer).

Los usuarios realizan transacciones en Rollup y el secuenciador clasifica, empaqueta y comprime las transacciones y las publica en la red principal de Ethereum. Todos los nodos de la red principal verifican los datos mediante prueba de fraude (Optimistic) o prueba de validez (ZK).

Siempre que todos los datos de los bloques enviados por el secuenciador estén realmente disponibles, la red principal de Ethereum puede rastrear, verificar y reconstruir el estado del Rollup en consecuencia para garantizar la autenticidad de los datos y la seguridad de la propiedad del usuario.

2) Explosión y centralización del Estado

La explosión del estado significa que los nodos completos de Ethereum acumulan cada vez más datos históricos y de estado, y los recursos de almacenamiento necesarios para ejecutar los nodos completos están aumentando y el umbral operativo aumenta, lo que lleva a la centralización de los nodos de la red.

Por lo tanto, existe la necesidad de encontrar una manera de que el nodo completo no necesite descargar todos los datos al sincronizar y verificar los datos del bloque, sino que solo necesite descargar algunos fragmentos redundantes del bloque.

En este punto, entendemos que la disponibilidad de datos es importante. Entonces, ¿cómo evitar la "tragedia de los comunes"? Es decir, todo el mundo conoce la importancia de la disponibilidad de datos, pero todavía es necesario que existan algunos beneficios prácticos para que todos utilicen una capa de disponibilidad de datos independiente.

Así como todo el mundo sabe que proteger el medio ambiente es importante, pero cuando veo basura al borde de la carretera, ¿por qué debería "yo" recogerla? ¿Por qué no alguien más? ¿Qué beneficios obtendré "yo" al recoger la basura?

Es el turno de Celestia.

¿Qué es Celestia?

Celestia proporciona una capa de disponibilidad de datos conectable y consenso para otras Capas 1 y 2, y está construida en base al consenso de Cosmos Tendermint y Cosmos SDK.

Celestia es un protocolo Layer1, compatible con las cadenas EVM y las cadenas de aplicaciones Cosmos. En el futuro, admitirá todo tipo de Rollups. Estas cadenas pueden usar Celestia directamente como la capa de disponibilidad de datos que se almacenará, llamará y verificará a través de Celestia. y luego regresó a su propia liquidación del Acuerdo.

Celestia también admite Rollup nativo y Layer2 se puede construir directamente sobre él, pero no admite contratos inteligentes, por lo que la dApp no ​​se puede construir directamente.

Cómo funciona Celestia

Rollup se conecta a Celestia ejecutando nodos de Celestia.

Celestia recibe información de transacciones acumuladas y ordena transacciones a través del consenso de Tendermint. Después de eso, Celestia no ejecutará la transacción ni cuestionará su validez, sino que solo empaquetará, clasificará y transmitirá la transacción.

Sí, en otras palabras, los bloques que ocultan datos de transacciones también se pueden publicar en Celestia. Entonces, ¿cómo identificar a Celestia?

La verificación se completa mediante codificación de borrado (Erasure Coding) y muestreo de disponibilidad de datos (Data Availability Sampling, DAS).

Específicamente, los datos originales son K (si el tamaño real de los datos es menor que K, los datos no válidos se complementarán para que el tamaño sea igual a K), se realiza una codificación de borrado, se divide en N ramas pequeñas (fragmentos) y se expande. a matriz de tamaño de 2K filas y columnas.

Puede entenderse simplemente como un cuadrado con una longitud y ancho de K y un área de K * K. Después de la codificación de borrado, se convierte en un cuadrado con una longitud y ancho de 2K y un área de 2K * 2K.

Si los datos originales son de 1 Mb, realice una codificación de borrado, divídalos en varias partes y extienda el tamaño a 4 Mb, de los cuales 3 Mb son datos especiales. Solo se necesita una parte de los datos de tamaño K*K para recuperar o ver todos los datos de 2K*2K.

Los cálculos matemáticos específicos son extremadamente complejos, pero el resultado es que incluso si un productor de bloques malicioso oculta incluso el 1% de los datos de la transacción, se convertirán en fragmentos (Chunks) que ocultan más del 50%.

Por lo tanto, para que la ocultación sea efectiva, la matriz de datos sufrirá cambios cualitativos, que los nodos de luz pueden descubrir fácilmente. Esto hace que ocultar datos sea muy improbable.

Los nodos completos pueden verificar datos a prueba de fraude, similar a otros Layer1. La función clave de la codificación de borrado es movilizar nodos de luz para participar en la verificación de datos.

El nodo completo envía el bloque al nodo ligero, y el nodo ligero realiza un muestreo de disponibilidad de datos. Si los datos no están ocultos, el nodo luminoso reconoce el bloque. Si faltan datos, el nodo ligero los enviará a otros nodos completos. Otros nodos completos iniciarán pruebas de fraude.

Para resumir,

1/ Celestia utiliza codificación de borrado para codificar los datos originales y cortar los datos originales en varias partes pequeñas (fragmentos). (Si todavía hay espacio en el bloque, se utilizarán datos no válidos para complementarlo, de modo que el bloque con espacio sea el bloque donde el nodo completo oculta los datos)

2/ Amplíe los datos originales de tamaño K*K a 2K*2K. Debido a que los datos K * K se han dividido en varias partes pequeñas, el estado de los datos 2K * 2K también se divide en varias partes pequeñas.

3/ Esto tiene tres beneficios:

1) Debido a que los datos se dividen en varias partes pequeñas, los nodos ligeros también pueden participar en la verificación. (Si los datos aún son grandes, el nodo ligero está limitado por el hardware y no puede participar en la verificación)

2) Solo se muestrean datos de tamaño K*K y se pueden restaurar todos los datos de 2K*2K. Los nodos ligeros se turnan para muestrear hasta que el tamaño de muestreo alcanza K*K, y luego pueden elegir si reconocen el bloque actual mediante la comparación de todos los datos.

3) Si los productores de bloques maliciosos ocultan incluso el 1% de los datos de las transacciones, se convertirán en fragmentos que ocultarán más del 50%.

4/ Los nodos completos pueden verificar directamente los datos del bloque a través de pruebas de fraude, similar a otros Layer1 como Ethereum.

5/ Los nodos ligeros pueden pasar la verificación de muestreo de disponibilidad de datos y se pueden muestrear aleatoriamente varios nodos ligeros hasta que el área de datos extraídos sea K*K. Aquí es donde Celestia innova.

6/ Para el muestreo de nodos ligeros, el modelo de muestreo es sublineal. Sólo necesitan descargar la raíz cuadrada de la cantidad de datos muestreados que necesitan. Es decir, si hay 10.000 pequeños fragmentos de datos para muestrear, sólo es necesario descargar y verificar 100 de ellos.

Porque 100 al cuadrado son 10.000.

7 / Si los datos del bloque verificados por el nodo ligero están ocultos, se pueden enviar a otros nodos completos y, a través de prueba de fraude, se confiscará el depósito del nodo tramposo.

expansión celestia

La codificación de borrado y el muestreo de disponibilidad de datos permiten a Celestia ampliar aún más la capacidad y mejorar la eficiencia de la red en comparación con otros datos existentes de Capa 1 disponibles.

1/ Utilizando prueba de fraude, los datos de bloque predeterminados están disponibles para garantizar el funcionamiento eficiente de la red en circunstancias normales.

2/ Cuantos más nodos ligeros haya, mayor será la eficiencia de la red.

Debido a que el tamaño de los datos originales es K*K, si solo hay un nodo de luz, se requieren tiempos de muestreo K*K. Por el contrario, si hay nodos luminosos K*K, sólo se necesita un muestreo.

3/ El muestreo sublineal permite a Celestia utilizar bloques grandes.

Además, las características de la codificación de borrado permiten que los datos de la transacción se restablezcan en manos de los nodos ligeros en caso de una falla a gran escala de todos los nodos de Celestia, lo que garantiza que los datos aún sean accesibles.

Puente de gravedad cuántica

Quantum Gravity Bridge es un puente de retransmisión entre Celestia y Ethereum Layer 2. Está construido sobre Ethereum Layer 2 y puede publicar datos de transacciones en Celestia a través de Quantum Gravity Bridge, utilizar servicios de datos disponibles y verificar datos en Celestia a través de contratos inteligentes.

Celestial

Celestium es la Capa 2 de Ethereum, utilizando Celestia como capa de disponibilidad de datos y Ethereum como capa de liquidación y consenso.

Actualmente en etapa de desarrollo.

¿Por qué utilizar Celestia?

¿Recuerda la “tragedia de los comunes” que mencionamos antes? Es decir, ¿por qué Rollup utiliza Celestia como capa de datos?

1/ El costo de usar Celestia es bajo

El costo actual de Ethereum Rollup consta de dos partes:

1) Costo de Gas propio del Rollup. Es decir, interacción del usuario, clasificación del secuenciador y cargos de transición de estado.

2) Rollup envía el bloque a Ethereum y gasta Gas.

Una vez empaquetado y comprimido el secuenciador Rollup, se creará un bloque en Ethereum. Actualmente almacenado en formato Calldata, el costo es de 16 Gas por byte.

Ethereum y Rollup cobran gas diferente según las diferentes condiciones de congestión. El secuenciador hará todo lo posible para predecir la tarifa de Ethereum Gas y cobrarla al usuario antes de procesar por lotes el contenido de la interacción del usuario.

En otras palabras, la razón por la que Gas on Rollup es barato es porque varias interacciones de usuarios se empaquetan juntas, lo que equivale a compartir Gas por igual entre todos.

Cuando el mercado está en un período frío, hay menos interacciones en Ethereum y el gas que todos necesitan compartir también se reducirá. Rollup solo cobrará una pequeña ganancia sobre el gas normal. Una vez que el Gas on Ethereum aumente, el Gas on Rollup también aumentará.

Por lo tanto, Rollup esencialmente sigue compitiendo por el espacio de bloque con dApps en la red principal de Ethereum y otros Rollups.

Por otro lado, Rollup en sí es muy interactivo y también aumentará el Gas. Por ejemplo, el reciente Aribitrum Odyssey.

En general, el modelo de costos actual de Rollup es lineal y el costo aumentará o disminuirá según la demanda interactiva de Ethereum.

El costo de Celestia es sublineal y eventualmente se acercará a un valor mucho más bajo que el costo actual de Ethereum.

Después de implementar la actualización EIP-4844, el almacenamiento de datos acumulativos cambiará de Calldata a Blob y el costo se reducirá, pero seguirá siendo más caro que Celestia.

2/ Autosoberanía

El Rollup autónomo esencialmente le da a Rollup el poder de bifurcarse de forma independiente. El Rollup nativo de Celestia es una cadena independiente, y Celestia no restringe la gobernanza y las actualizaciones de bifurcaciones.

¿Por qué son importantes los tenedores?

Normalmente, las cadenas de bloques requieren actualizaciones mediante bifurcaciones duras, lo que puede debilitar la seguridad. La razón es que si alguien quiere cambiar o actualizar el código de la cadena de bloques, otros participantes deben estar de acuerdo y cambiarlo.

Si desea actualizar toda la cadena, debe bifurcar toda la capa de consenso, al igual que la fusión Ethereum PoS tuvo que usar una bomba de potencia informática para obligar a los nodos a migrar de PoW a PoS. Todos los nodos participan en la actualización para que no se pierda ninguna seguridad.

Celestia proporcionará capacidades de bifurcación para Rollup porque todas las bifurcaciones utilizan la misma capa de disponibilidad de datos.

Además, la acumulación autónoma también brindará más flexibilidad. Los rollups de Ethereum están limitados por la capacidad de la red principal de Ethereum para manejar pruebas de fraude o pruebas de validez.

El Rollup autónomo no depende de una máquina virtual específica, como EVM. Por lo tanto, el Rollup autónomo tiene más opciones, como convertirse en Solana VM, etc. Sin embargo, al utilizar diferentes máquinas virtuales VM, la interoperabilidad será limitada.

Por otro lado, es posible que en este momento no haya mucha demanda para que Rollup se convierta en un Rollup autónomo;

A. Limitado por activos centralizados. Por ejemplo, USDC y USDT oficialmente no admiten nuevas cadenas bifurcadas.

B. Sujeto a restricciones de migración de dApps. Por ejemplo, las dApps como Uniswap aún permanecen en la cadena anterior y los usuarios no están dispuestos a abandonar sus hábitos originales y no han migrado a la nueva cadena bifurcada.

3/ Confianza en puentes minimizados y seguridad compartida

El artículo oficial de Celestia divide aproximadamente las cadenas cruzadas en dos categorías:

R. El puente entre cadenas confiable requiere confiar en un tercero, como los nodos de la cadena de retransmisión. Su confiabilidad se basa en el consenso de nodos de terceros, es decir, la mayoría de los nodos son honestos.

B. El puente entre cadenas de confianza minimizada, similar a la relación entre Ethereum y Rollup, se basa en pruebas de fraude (optimista) y pruebas de validez (ZK) para verificar la validez de los datos de las transacciones de Rollup.

Celestia propone un concepto: Clústeres, que son un grupo de cadenas que se comunican entre sí a través de puentes de minimización de confianza entre cadenas, cada cadena puede verificar el estado de otras cadenas.

Normalmente, los clusters encuentran dos factores limitantes,

R. Todas las cadenas del clúster deben comprender el entorno de ejecución de cada una. Pero esto es difícil, ya que ZK Rollup necesita comprender el sistema ZK de cada uno. Pero zk-SNARK y zk-STARK son sistemas ZK diferentes. Por tanto, ZK Rollup es relativamente independiente.

B. Para mantener todas las cadenas en el clúster utilizando la verificación de estado de confianza minimizada, cada cadena debe verificar la disponibilidad de otros datos de bloques de cadena en el clúster de manera de confianza minimizada.

Todas las cadenas de un clúster que utilizan Celestia como capa de disponibilidad de datos pueden verificar los bloques de cada uno para ver si están incluidos en la cadena de Celestia.

Sin embargo, lo que es un poco vergonzoso es que en el concepto de clúster de Celestia, Optimistic Rollup y ZK Rollup pertenecen a dos grupos.

Es decir, Optimistic Rollup, como Optimism y Aribitrum, pertenecen al mismo grupo, pero ellos y zkSync no.

Y debido a diferencias en los esquemas ZK Rollup, zkSync y StarkNet ni siquiera pertenecen al mismo grupo. Por tanto, Celestia todavía no puede resolver el problema de la relativa independencia entre Rollups y la falta de interoperabilidad a nivel atómico.

Optimint（Tendermint optimista）

Optimint es un reemplazo del consenso de Tendermint que permite a los desarrolladores crear paquetes acumulativos basados ​​en Cosmos mientras utilizan Celestia como capa de consenso y disponibilidad de datos.

El objetivo es formar un clúster basado en Cosmos Rollup.

Proyectos ecológicos existentes de Celestia

Combustible

Fuel es una capa de ejecución modular construida sobre Celestia y es la capa 2 acumulativa optimista de Ethereum.

Fuel creó FuelVM, una máquina virtual personalizada creada específicamente para contratos inteligentes que puede manejar transacciones paralelas utilizando cuentas UTXO.

cévmos

Cevmos es un Rollup desarrollado conjuntamente por la cadena de aplicaciones Cosmos EVM y Celestia

Cevmos se construye utilizando Optimint. Dado que Evmos en sí es un paquete acumulativo, Cevmos es en realidad un paquete acumulativo dentro de un paquete acumulativo (rollup recursivo).

Los contratos acumulativos y las aplicaciones existentes en Ethereum se pueden volver a implementar en Cevmos, usándolo como capa de liquidación y Celestia como capa de datos.

Cada Rollup de compilación tendrá un puente bidireccional de confianza minimizada con Cevmos Rollup para formar un clúster.

dimensión

dYmension es un Rollup independiente construido sobre Cosmos dYmension Hub proporciona liquidación, kit de desarrollo RDK e IRC de comunicación entre cadenas para facilitar el desarrollo de aplicaciones rollApp centradas en Rollup.

Eclipse

Eclipse es un Rollup autónomo basado en Cosmos, que utiliza Solana VM como capa de liquidación y ejecución y Celestia como capa de datos.

Progreso del proyecto

La red de prueba está actualmente en línea. La versión de recompensa testnet se lanzará en el primer trimestre de 2023. Ahora puedes ir al Discord oficial para obtener monedas de prueba de faucet. Se espera que la red principal se lance en el segundo trimestre de 2023.

Situación financiera

En marzo de 2021, completó una ronda de financiación inicial de 1,5 millones de dólares, con participantes como Binance Labs, Interchain Foundation, Maven 11, KR1, etc.

En diciembre de 2021 se completó un financiamiento por US$ 2,73 millones y no se reveló la información de la inversión.

En octubre de 2022, se completó una financiación de 55 millones de dólares, con participantes como Bain Capital, Polychain Capital, Placeholder, Galaxy, Delphi Digital, Blockchain Capital, Spartan Group, FTX Ventures, Jump Crypto, etc.

situación del equipo

CEO Mustafa Al-Bassam, doctorado en escalamiento de blockchain en UCL, cofundador de Chainspace (adquirida por Facebook)

CTO Ismail Koffi, ex ingeniero senior de Tendermint e Interchain Foundation

CRO John Adler, creador de Optimistic Rollups y ex investigador de escalabilidad de ConsenSys

El director de operaciones Nick White, cofundador de Harmony, tiene una licenciatura y una maestría de la Universidad de Stanford.

Equipo Asesor:

Zaki Manian - cocreador de IBC y uno de los primeros colaboradores de Cosmos

Ethan Buchman – Cofundador de Tendermint y Cofundador de Cosmos

Morgan Beller——Socio general de NFX, cofundador de Diem≋ (también conocido como Libra)

Nick White - Cofundador de Armonía

James Prestwich - Fundador de Summa (adquirida por Celo)

George Danezis - Profesor de Ingeniería de Seguridad y Privacidad en el University College London

Modelo económico simbólico

A juzgar por la información publicada, el token nativo de Celestia se utilizará como Gas y la fuente de ingresos del protocolo son las tarifas de transacción acumuladas. Y el token contiene un mecanismo de destrucción similar al EIP-1559.

Actualmente, la valoración del mercado primario de Celestia es de mil millones de dólares.

Productos de la competencia

Polígono disponible

Avail es una solución de disponibilidad de datos de Polygon. La idea de implementación es la misma que la de Celestia. La diferencia es que Celestia usa código de borrado + prueba de fraude, y Avail usa código de borrado + Compromiso polinómico KZG.

Celestia expande los datos K*K en 2K*2K cuadrados, y Avail los expande por filas, extendiendo la matriz de n filas y m columnas a 2n filas, y calcula el compromiso del polinomio KZG para cada fila.

Los nodos ligeros utilizan DAS de muestreo de disponibilidad de datos para verificar criptográficamente polinomios y pruebas de KZG sin descargar los datos originales.

En comparación, Avail es más difícil de implementar y, cuando se implementa por completo, los resultados son relativamente más confiables. Sin embargo, actualmente ambos proyectos están en desarrollo y es difícil juzgar la competencia.

Ethereum Danksharding

Danksharding es una capa de disponibilidad de datos independiente que Ethereum planea lanzar oficialmente. De manera similar a Avail, Danksharding usa codificación de borrado + compromiso polinómico KZG, y el formato de datos usa Blob en lugar de calldata existente.

Hay dos propuestas como transición antes del despliegue de Danksharding.

EIP-4488 reduce directamente el gas de datos de llamadas de 16 a 3 por byte y también estipula un límite superior de ocupación de datos de llamadas de 1,4 Mb.

EIP-4844 introduce blobs (transacciones que transportan blobs, blob: objetos binarios grandes) en lugar de datos de llamada. Blob es un nuevo tipo de transacción que incluye espacio de almacenamiento adicional a un costo mucho menor que calldata.

Los blobs se almacenan en la cadena de balizas de Ethereum y son compatibles con la fragmentación posterior. El valor hash del compromiso de KZG se utiliza para verificar los datos. No es necesario acceder a los datos, solo verificar el compromiso de KZG.

Los compromisos de KZG están vinculados y no pueden modificarse una vez finalizado el cálculo. Entonces, en esencia, Avail y Danksharding se basan en datos de verificación de compromiso polinómico criptográfico KZG, mientras que Celestia se basa en el método a prueba de fraude de la economía.

En teoría, la seguridad del compromiso polinomial de KZG es mejor que la prueba de fraude. Al mismo tiempo, requiere un ancho de banda menor y menos cálculos para el muestreo. En el futuro, Ethereum también considerará introducir métodos de verificación que resistan ataques cuánticos, como zk-SRARK.

riesgo

1) Centralización

Aunque la codificación de borrado permite que los nodos ligeros participen en la verificación de datos, el almacenamiento de datos de Celestia aún requiere el establecimiento de nodos de almacenamiento completos.

Requiere 8 GB de memoria, CPU de 4 núcleos, al menos 250 GB de espacio de almacenamiento restante, ancho de banda de enlace ascendente superior a 100 Mb/s y ancho de banda de enlace descendente superior a 1 Gb/s. Los requisitos de configuración son muy altos y deben construirse en un servidor en la nube.

2) Competencia en Ethereum Danksharding

3) Problema del "libro mayor sucio"

La pregunta fue planteada por un equipo de investigación de Stanford. Celestia utiliza prueba de fraude y los datos de bloque predeterminados están disponibles para garantizar que la red funcione de manera eficiente en circunstancias normales, por lo que es un libro de contabilidad "sucio", porque Celestia aún aceptará bloques con datos problemáticos, esperando el desafío del fraude. prueba.

Supongamos que un retador quiere demostrar que la transacción Tc es un gasto doble y presentar pruebas de que el dinero se ha utilizado en la transacción Tb. Pero ¿qué pasa si hay una transacción Ta que puede demostrar que Tb no es válida?

Si Tb no es válido, entonces el doble gasto de Tc puede ser válido.

En algunos casos, el "libro mayor sucio" no puede conocer el verdadero estado de las transacciones a menos que reproduzca cada transacción en el historial de Celestia hasta el bloque de génesis.

Esto significa que tanto el retador como el desafiado deben ser nodos de almacenamiento completo. El problema se publicó en la cuenta oficial de Youtube de Celestia y el equipo actualmente está resolviendo el problema, como introducir suposiciones de subjetividad débiles.

El supuesto de una subjetividad débil es una condición para resolver el problema. Por ejemplo, ¿cómo comprar un delicioso pomelo? La subjetividad en esta pregunta es elegir basándose en sentimientos subjetivos. La objetividad consiste en juzgar el contenido de agua del pomelo en función de la relación entre la gravedad y el volumen del pomelo.

La subjetividad débil es sostener pomelos de tamaño similar con ambas manos y comparar el peso. Después de comparar varios, elige el más pesado.

Volviendo al problema del "libro mayor sucio" de Celestia, se puede exigir al retador y al retador que conserven los datos durante 3 semanas, pero esto también es una carga para los nodos.

El problema del "libro mayor sucio" es en realidad un problema esencial al que se enfrentan las pruebas de fraude basadas en modelos económicos para garantizar la seguridad. Sin embargo, la dificultad de implementación de la prueba de fraude es menor que el compromiso polinómico de KZG. En teoría, el progreso del desarrollo de Celestia es más rápido que Polygon Avail y Ethereum Danksharding.

Por lo tanto, será crucial para Celestia aprovechar el período de ventana, formar un efecto de escala y atraer una gran cantidad de liquidez, especialmente la liquidez del Rollup nativo, antes que Polygon Avail y Danksharding.