jakiro
Autor: Shew & amp;
La pista actual de Bitcoin Layer2 se puede describir como llena de flores, y varias soluciones técnicas se han reunido en el horno de fusión ecológica BTC.Debido a las iteraciones rápidas en el campo blockchain, el vocabulario o los estándares profesionales cambian constantemente durante la innovación de la investigación y el aterrizaje de ingeniería.En este contexto, muchos proyectos obtendrán diferenciación y atención en la forma en que muchos proyectos utilizarán el «concepto»/»concepto de concepto», que se ha convertido en las reglas ocultas de la industria.
Por ejemplo, muchos proyectos de cadena de bloques modulares que originalmente estaban activos en el ecosistema de Ethereum/Celestia también tomaron el Dongfeng para tomar el expreso «Bitcoin Layer2», y fueron autoproclamados como «Rollup», pero sus soluciones técnicas a menudo no se cumplen Los estándares del rollup.
Sin embargo, el vocabulario como «Rollup» es altamente reconocido, y es más propicio para la publicidad bajo la bandera de «Rollup».Muchas fiestas de proyectos son tercos (rollo de autoexpresión) o el concepto de rollup, la corriente principal de la bifurcación (más una atribución ambigua, como el rollo soberano).
Pero de un vistazo, el principio de trabajo de muchos proyectos sigue siendo simplemente «verificación del cliente» o «cadena lateral», pero solo es conveniente ser conveniente para sí mismos a través del eslogan de «XX Rollup».Aunque este método de propaganda es relativamente común, a menudo es engañoso.
(El resumen del ministro de propaganda nazi Gobel de «propaganda mentirosa», que es común en muchos partidos de proyecto)
Entonces, ¿cómo podemos identificar el comportamiento de este tipo de «concepto Rolup»?
Tal vez, a partir de los principios de la primera parte, de acuerdo con los estándares ampliamente reconocidos de Occidente y la industria, para definir la categoría de esquema y el nivel de seguridad de diferentes proyectos de capa2, e integridad funcional, para que podamos abrir los pares de «escritura de caleidoscopio en la niebla para ver flores en la niebla.En otras palabras, qué tipo de solución no es la más importante.
A continuación, planeamos usar la capa de bitcoins realizada por el extranjero de Chainway como el caso para analizar la «verificación del cliente» oculta en el eslogan promocional «Rollup».Podemos ver más claramente, «Rollup Sobereign» y «Verificación del cliente», con las diferencias significativamente diferentes entre los esquemas de rollup, como la implementación de contratos inteligentes en la corriente principal de la industria u oprollup.
Por supuesto, esto no quiere decir que la verificación soberana o la verificación del cliente no sea tan segura y confiable como el rollup de ZK.Aunque Chainway es una capa típica de verificación de cliente2, propone una solución de transacción anti -revisión «en BTC Trigger+Verificación debajo de la cadena», y utiliza una prueba de ZK recursiva similar a la cadena pública de Mina, liderando la mayoría de la esencia de la capa de bitcoin2 de bitcoin2
Creemos que la investigación técnica sobre Chainway es relativamente valiosa, lo cual es de importante importancia de referencia para la mayoría del observador de Layer2 de Bitcoin.
(Las imágenes promocionales de Chainway se anuncian como ZK Rollup, pero su solución real es la verificación del cliente. En la actualidad, aún no se ha dado cuenta del consenso entre el cliente bajo la cadena, o el intercambio de información confiable)
texto:Chainway es un bien conocido Proyecto Bitcoin Layer2 en la comunidad occidental.En sus documentos técnicos, Chainway también es autoposicionamiento como «Rollup soberano».Recientemente, Chainway también anunció su nuevo proyecto Citrea, que afirma que se basa en ZK basado en BITVM.Dado que Citrea no ha explicado en detalle cómo se realiza por el esquema de verificación ZK basado en BITVM,Este artículo se centrará en la interpretación técnica de la solución ya planificada.
Podemos resumir en una oraciónSolución técnica actualmente divulgada de Chainway: DA Data se publica a través del Protocolo de Ordinales,Use BTC como su capa DA,Prueba ZK, que es estado Diff + en la capa1 para obtener detalles sobre los cambios en los cambios de estado.Equivalente a la versión de datos de transacción verificados completos.
(Estado Diff es el cambio en el estado de la cuenta)
Sin embargo, debido a que Layer1 no verifica directamente la prueba de ZK, el trabajo de verificación es realizado por el cliente/nodo independiente debajo de la cadena, yLa biblioteca de código actual de Chainway no ha logrado un consenso entre los clientes independientes bajo la cadena, y los funcionarios no han declarado este problema en las redes sociales.Por lo tanto, la solución técnica actual anunciada por Chainway es esencialmentepertenecer«Verificación del cliente»Tipos, aún más como un protocolo de índice de inscripción que admite activos de puente.
Lo siguiente introducirá principalmente la implementación técnica específica de Chainway y analizará su modelo de seguridad.
¿Qué es la soberanía?: DA Capeta libera datos + bajo verificación de la cadena
En los documentos técnicos de Chainway, se utilizó el concepto Soberano Rollup (Rollup Sovereign) de Celestia.yEl rollo soberano es en realidad diferente de la comunidad Ethereum e incluso el concepto de acumulación convencional de la industria (acumulación de contrato inteligente).EsenciaEntonces, ¿cuál es la estructura específica del rollup soberano?
de hechoEl rollo soberano basado en Bitcoin es un poco similar a la «» cadena de clientes/cadena lateral bajo la cadena de datos DA en la cadena BTC «,La característica más importante es que el contrato inteligente en la capa1 se requiere para verificar la conversión de estado/comportamiento de la cadena cruzada de la capa2. extensión.
ciertamente,Algunas soluciones de acumulación soberana altamente seguras dependerán de la tercera capa de asentamiento de partidos (similar a la cadena lateral) debajo de la cadena BTC para completar la verificación de conversión de estado.Y entre diferentes clientes independientes/nodos completos, hay una capa de consenso o transmisión confiable de mensajes, a fin de lograr «consistencia» para ciertos comportamientos controvertidos.peroAlgunos proyectos de soberanía enrollados son «verificación del cliente» desnudas, y no existe una transmisión de mensajes confiable entre el cliente/nodos independientes.
Para comprender mejor el concepto único de «Rollup soberano»,Podemos comparar el acurrucado de soberanía con su correspondiente contrato inteligente.Layer2 en Ethereum es básicamente un contrato inteligente, como el árbitro y el Starknet.La estructura del contrato inteligente puede referirse a la figura a continuación:
En la figura anterior, podemos ver varios términos de narrativa de blockchain modular, como sigue:
Capa de ejecución de ejecución:Ejecutar transacciones de usuario, actualizar el estado de la cadena de bloques y enviar datos a la capa DA y la capa de asentamiento
Capa de liquidación de liquidación:Verifique la conversión estatal de la capa de ejecución, resuelva disputas (como a prueba de fraude) y proporcione módulos de puente para manejar los activos del puente L1-L2 que reciba activos
DA Capa:Un gran tablero de anuncios, que recibe los datos de conversión de estado enviados por la capa de ejecución y proporciona estos datos a la confianza a cualquier persona
Capa de consenso de consenso:Para garantizar la naturaleza final de la clasificación de transacciones, parece estar más cerca de la función de la capa DA (el método en capas de la comunidad Ethereum en la cadena de bloques modular no incluye la capa de consenso)
Desde la arquitectura del contrato inteligente, vemos que, a excepción de la capa de ejecución, las funciones de las otras tres capas son soportadas por Ethereum.La siguiente figura muestra el papel de Ethereum en el contrato inteligente.
Los contratos enrollables sobre Ethereum recibirán prueba de validez (prueba de validez) o prueba de fraude para verificar la efectividad de la conversión de estado de Layer2.Vale la pena mencionar que el contrato inteligente de Rollup aquí es en realidad una entidad de la capa de asentamiento en la cadena de bloques modular.El contrato de la capa de liquidación a menudo contiene el módulo de conexión del puente para procesar el puente Ethereum para recibir los activos de la capa2.
Para DA, el contrato de la capa de liquidación puede obligar al secuenciador del clasificador a poner los últimos datos de datos de transacción/cambio de estado en la cadena.
(Rollup de ZK u OP Rollup, puede exigir datos de DA en la cadena y no puede actualizar el estado de la liquidación de la capa de asentamiento)
Podemos ver,Smart Contract Rollup se basa seriamente en contratos inteligentes en la capa1.Para Layer1, que es difícil de soportar la lógica comercial compleja, es básicamente imposible construir Layer2, que está «alineada» al rollo en Ethereum.
yEl esquema de acumulación soberano simplemente no requiere el contrato en la capa1 para la verificación del estado/procesamiento del puente.La arquitectura es la siguiente:
Podemos ver,En el rollo soberano, los grupos de nodos fuera de la capa DA como entidades para la ejecución de transacciones y las operaciones de liquidación tienen un mayor grado de libertad.El flujo de trabajo específico es el siguiente:
El nodo de la capa de ejecución del encierro soberano envía los detalles de los datos de transacción/cambio de estado a la capa DA, y el método de la capa/cliente de liquidación está configurado para obtener datos y verificados.Vale la pena señalarDado que el módulo de capa de asentamiento no se encuentra en la capa1, el rollup soberano es teóricamente incapaz de lograr un puente que sea equivalente a la capa1.A menudo depende del notario del puente, o un tercer puente parcial.
En la actualidad, el esquema soberano de verificación del cliente/cliente es menos difícil de aterrizar.En cuanto a las piezas debajo de la cadena y el consenso debajo de la cadena, hay mucho espacio gratis.Incluso muchas cadenas laterales solo necesitan publicar datos DA en el BTC, que básicamente se convierten en «Rollup soberano basado en BTC», pero la seguridad específica es dudosa.
Pero el problema es,El rendimiento de datos de Bitcoin es extremadamente bajo,El máximo de 4 MB por bloque, el tiempo de salida promedio es de 10 minutos y el rendimiento de los datos es de solo 6 kb/s.Ahora, la solución de Layer2 que afirma ser la soberanía puede no publicarse en la cadena BTC, y luego adoptar otros compromisos.: Por ejemplo, publique datos DA bajo la cadena y almacene Datahash en la cadena BTC como un «compromiso».O encontrar una manera de comprimir datos DA altos (como la prueba de estado Diff+ZK) que afirma ser utilizado por Chainway.
Pero obviamente, este modelo no se ajusta a la definición de «rollo soberano» o la definición de rollup grave.Predecimos que en el futuro, la mayor parte del proyecto Layer2 bajo la bandera de «Rollup» eventualmente se publicará completamente en la cadena BTC.Por lo tanto, las soluciones prácticas son «ZK Rollup» y «OP Rollup» en el papel blanco y el eslogan de «ZK Rollup» y «OP Rollup» en el papel blanco.
Finalmente, resumamos simplemente la diferencia entre el encierro soberano y el contrato inteligente:
Primero, se puede actualizar.La iteración iterativa de actualización de Smart Contract Rollup implica la actualización de contratos inteligentes, y el equipo de desarrollo necesita usar contratos mejorados.Los permisos de actualización de este contrato inteligente generalmente están controlados por el equipo de desarrollo final.Las reglas de actualización del rollo soberano son similares a la horquilla suave y dura de la cadena de bloques convencional.Desde este punto de vista, Sovereign Rollup es superior al contrato inteligente.
Segundo, puente.El puente del contrato inteligente se minimiza en las condiciones ideales, pero las actualizaciones del contrato pueden afectar su seguridad.yBajo el esquema de rollo soberano, el desarrollador necesita construir un puente para conectar el componente debajo de la cadena de la capa1.
Estructura btc da
En lo anterior, lo mencionamos,Para lograr el encierro soberano basado en BTC, el núcleo es usar el protocolo Ordinales para usar el BTC como la capa DA.Chainway usa esta solución.
Podemos observar una presentación de datos DA del clasificador de la cadena.
24Add7CDCBFFCDA8D43509C8E27C5A72F4DF1731BE84BDBA727CD83AE0000,El diagrama esquemático es el siguiente:
El código de script de esta transacción tomado del protocolo OP_0 OP_IF en Ordinales para implementar esquemas de redacción de datos y escribir los datos DA de Rollup en la cadena BTC(Cambio de estado de liberación+prueba de ZK, que es igual a la versión de datos de transacciones originales en seguridad, pero el tamaño de los datos puede comprimirse enormemente).
Por supuesto, además de los datos de DA, el clasificador también escribe algunos datos de autoridad en la transacción. es presentado por el clasificador.
Deberíamos prestar atención aquíEn cualquier transacción que involucre datos de DA, hay 16 binarios 0 (es decir, 0 bytes consecutivos son 0 bytes consecutivos).En el código, podemos ver este límite:
El número aleatorio B715 en el diagrama de comercio de muestra anterior es ajustar el valor después de que la transacción toma el hash, de modo que la cola se transporta con 16 0 específicos, lo que hace que un número aleatorio no sea similar a la minería de bitcoin, de modo que la parte delantera N Los bits de hash son 0, que cumple con restricciones específicas.
Este diseño es simplificar la dificultad de obtener datos de DA.Cuando se requiere Layer2 para obtener datos DA, simplemente escanee el bloque BTC, todo el final establecido en 16 0 transacciones,Es equivalente a la transacción iniciada cuando el clasificador de datos se envía a los datos, que se distingue claramente de otras transacciones en la cadena de bitcoin.En el artículo posterior, se dice que esto contiene datos de DA yLa transacción con 16 0 0 al final es «CComercio estándar de Hainway.
Luego, los puntos clave mencionados en el título de este artículo:¿Cómo logra Chainway anti -censura?Debido a que el clasificador de Layer2 puede rechazar deliberadamente la solicitud de transacción de un usuario, debemos usar una solución especial para permitir a los usuarios iniciar transacciones contra la presentación.
Frente a este problema, Chainway permite a los usuarios iniciar«Transacción obligatoria», Transacción forzada.Una vez que el usuario envía esta declaración de transacción en el bloque BTC, el clasificador de la cadena debe manejar la solicitud de transacción en Layer2, de lo contrario no podrá salir normalmente, o el cliente vinculado no reconocerá el bloque.
La estructura de parámetros de la transacción obligatoria es la siguiente:
La transacción se enviará a la cadena de bitcoin como una «transacción estándar de la cadena», y 16 0 0 al final del hash comercial.Cuando el clasificador de la cadena genera el bloque L2,La «transacción de especificación de capa2» que se ha revelado en la cadena BTC pero no se incluye en el L2 L2, L2,Y el resumen de un árbol de Merkle escribe su raíz de Merkle en la cabeza del bloque L2.
Una vez que el usuario inicia directamente las transacciones obligatorias en la cadena BTC, el clasificador debe procesarse, de lo contrario no se puede generar el siguiente bloque efectivo.El cliente de la cadena debajo de la cadena BTC puede verificar primero la prueba de ZK, determinar la efectividad del bloque L2 enviado por el clasificador y verificar la raíz de Merkle en el cabezal del bloque L2 para determinar si el clasificador contiene la solicitud de transacción obligatoria.
Su flujo de trabajo puede referirse al siguiente diagrama de flujo.Tenga en cuenta que, limitado al espacio, en la figura a continuación, verify_relevant_tx_list carece de un juicio condicional:
En general, el cliente/nodo de Chainway sincronizará el bloque de red principal BTC, y de él para escanear los «datos DA» liberados por el clasificador de la cadena, confirme que los datos son publicados por el clasificador especificado, y contiene todos enviados enviados BTCS enviado a BTC «Comercio estándar de Chainway» en la cadena.
No es difícil ver,Mientras el usuario pueda construir una «transacción estándar» que cumpla con las condiciones y la envíe a la cadena BTC, esta transacción eventualmente se incluirá en el Libro L2 local en el cliente de la cadena, de lo contrario, el bloque L2 liberado por el clasificador de la cadena Be será Will Client Neges.
Si es confiableTransmisión de mensajes de consenso/alerta debajo de la cadena,La solución de transacción anti -revisión de Chainway se acerca al método ideal anti -revisión del rollo soberano ideal.Por ejemplo, algunos esquemas de acumulación soberanos han declarado claramente que encontrar bloques no válidos transmitirá información de alerta de alerta entre los clientes bajo la cadena para mejorar la seguridad.
Si un bloque no contiene sinceramente «transacciones obligatorias», obviamente activará una transmisión de advertencia bajo la cadena.Pero ahora Chainway aún no ha logrado esta pieza(Al menos la información actual y la biblioteca de código muestra que no ha hecho esta tecnología).
Incluso si se implementa el consenso entre el cliente/nodo bajo la cadena,El efecto anti -revisión de la «transacción obligatoria» de la «transacción obligatoria» no es tan bueno como el contrato inteligente, como el árbitro, porque el árbitro uno eventualmente garantizará que la «transacción obligatoria» se incluya en el libro mayor2 a través del libro mayor a través del Contrata en la capa1, que hereda completamente la resistencia de la capa1.Obviamente, el acurrucado soberano no puede alinearse con el contrato inteligente, y su anti -revisión finalmente depende de la parte inferior.
Esto también se determina,La idea del esquema de «rollo soberano» y «verificación del cliente»,BásicoIncapaz deComo el árbitro uno o la lloy, dydx y degate,enteroHeredando el anti -examen de Layer1, debido a que la transacción obligatoria se puede incluir con éxito en el libro mayor de Layer2, depende de la toma de decisiones de las entidades de cadena de capa2, que no tiene nada que ver con la capa misma.
Obviamente,Vía de la cadenaEsta solución que simplemente depende del cliente debajo de la cadena,Simplemente heredó la confiabilidad DA de la capa1 y no heredó completamente su resistencia.
Similar a la prueba de ZK recursiva de Mina
En esta sección, introduciremos otras partes de la cadena.Similar a la prueba de ZK recursiva de MinaEsenciaLa estructura general es la siguiente:
Después de procesar la transacción del usuario, el clasificador de la red de la cadena genera la prueba de ZK final, y los cambios de estado con diferentes cuentas son difusos y publicados en la cadena BTC.Todo el nodo sincronizará todos los datos históricos publicados en el BTC.Cada prueba de ZK no solo debe demostrar el proceso de conversión de estado del bloque actual, sino que también asegurar que el certificado ZK del bloque anterior sea efectivo.
Según el plan anterior, podemos encontrar que cada nueva prueba se genera.El último certificado ZK puede garantizar que todos los certificados ZK que comienzan desde el bloque de creación sean efectivos.Este diseño es similar a Mina.
Cuando un «cliente de luz» que solo sincroniza el cabezal de bloque, es decir, el nodo de luz se agrega a la red,Solo la última prueba de ZK que es válida para la última prueba de ZK en el BTC puede confirmar los datos históricos de toda la cadena y toda la conversión de estado.
Si el clasificador es malvado, deliberadamente no acepta transacciones obligatorias, o no utiliza la certificación ZK anterior para pruebas recursivas, la nueva prueba de ZK generada por él no puede ser aceptada por el cliente (generado o reconocido), como se muestra a continuación:
Resumir
Como el resumen de este artículo,Chainway es esencialmente un esquema soberano de verificación/verificación del cliente que usa BTC como una capa DA.Para mejorar el anti -examinación del rollup, Chainway introdujo el concepto de transacciones obligatorias.Por otro lado, Chainway utiliza la tecnología recursiva de prueba ZK, de modo que los nodos recién ingresados pueden confiar más en la salida del clasificador y confirmar que los datos históricos de toda la cadena son correctos en cualquier momento.
La pregunta actual de Chainway es cómo confiar en la parte del puente de la cadena cruzada,Debido a que adopta el esquema de acumulación soberano, no se explica que en el esquema de puente de la cadena cruzada, es difícil juzgar cómo se planea su seguridad final para resolver los detalles técnicos.
hoy,A través del análisis en profundidad de la solución técnica de Chainway, encontramos que los tipos técnicos promovidos por la comunidad del proyecto no son roll up en sentido convencional.Teniendo en cuenta que el proyecto actual de Bitcoin Layer2 ha alcanzado docenas de (cientos de años en medio año), para reducir el costo cognitivo del término técnico de todos, continuaremos clasificando la clasificación y los estándares de seguridad y los estándares de evaluación funcional de las soluciones de Layer2 , Estándares de seguridad y estándares de evaluación completos funcionales en la investigación profunda, ¡así que estad atentos!
