En un reciente hito importante en el ecosistema de Bitcoin, Zulu anunció la implementación de la primera verificación zk-SNARK (ZKP) utilizando Bitcoin Script. Cubre el algoritmo principal Groth16/FFlonk y envía el código al repositorio de BitVM.

Se implementó Bitcoin Script para ZKP, lo que significa que la red Bitcoin puede verificar la capa 2. Esta es la verdadera capa 2, que heredará la seguridad de la red Bitcoin y la seguridad del mecanismo POW de Bitcoin. Esta debería ser la red más segura en la cadena de bloques.

Implementar ZKP es particularmente difícil debido a las limitaciones programáticas de la red Bitcoin. La mayoría de los Bitcoin L2 existentes no son en realidad L2 en el verdadero sentido porque su estado en la cadena no se puede verificar directamente en la red Bitcoin. Lo que están haciendo ahora es generar una prueba zk y publicarla en la red Bitcoin. Sin embargo, esta prueba no es verificada por la red Bitcoin, sino por el papel de su propia red, lo que da como resultado que el estado en cadena de l2 se separe de la red Bitcoin.

Obviamente, esto es diferente de la capa 2 de Ethereum. Ya sea zk-rollup u op-rollup, los datos se empaquetarán y enviarán a la red principal de Ethereum para su verificación. La mayor ventaja de la capa 2 de Ethereum en comparación con otras cadenas públicas es que Ethereum garantiza la seguridad de la capa 2.

El mayor beneficio de convertirse en capa 2 con verificación de red Bitcoin es heredar la seguridad de la red Bitcoin. La seguridad de la red Bitcoin es obviamente mejor que la de Ethereum. Ahora hay dos formas de heredar verdaderamente su seguridad. Uno está representado por Babylon, que promete BTC nativo, forma una red POS para la gestión y castiga a los perpetradores. Cuando el valor del BTC prometido es relativamente grande, el costo de hacer el mal es muy alto, lo que garantiza la seguridad. Sin embargo, la premisa de este método es que primero se promete una gran cantidad de BTC.

El segundo es utilizar la propia red POW de Bitcoin. Como la primera y más alta red de valor de mercado, BTC ha estado operando de manera segura durante 14 años y tiene la mayor potencia informática de toda la red. Su factor de seguridad es evidente. Entonces, una parte importante de heredar la seguridad de la red Bitcoin es que Bitcoin pueda lograr la verificación. Ésa es la importancia de Zulu y ZKP esta vez. La última vez que presté atención a la red Zulu, fue su primera arquitectura bitcoin de doble capa. Esta verificación zk-SNARK (ZKP) me hizo darme cuenta de que la fuerza técnica detrás de Zulu es muy poderosa.

La importancia de zk-SNARK

SNARK (argumento de conocimiento sucinto no interactivo) es un argumento de conocimiento conciso no interactivo. Su núcleo es construir un sistema de prueba a través de algoritmos matemáticos, lo que permite al verificador verificar la exactitud de los datos sin conocer los datos originales. Sabemos que Ethereum Layer 2 ahora tiene zk-rollup y op-rollup. Si bien el op-rollup se considera solo un período de transición intermedio, el zk-rollup es la forma final. Porque zk-rollup utiliza el algoritmo zk para empaquetar transacciones en lotes y generar certificados SNARK para enviarlos a la red principal, y la red principal verifica todas las transacciones en el lote. zk-SNARK puede proteger eficazmente la privacidad y tiene una gran escalabilidad. V God lo elogia como la máxima prioridad en los próximos 10 años.

BitVM

BitVM debe introducirse aquí. Antes de BitVM, el lenguaje de programación de scripts de Bitcoin no se consideraba completo en Turing. A pesar de los esfuerzos de un gran número de personas, este problema no se puede solucionar. Hasta que Robin Linus lanzó un sensacional BitVM en octubre del año pasado, el método de Robin era verificar un tipo especial de puerta lógica en el script de Bitcoin, llamada puerta NAND (puerta "NAND"). Este es el principio básico de la informática. , ubicado en el nivel físico/eléctrico. Todos los cálculos posibles se pueden realizar a partir de puertas NAND.

Recientemente, Robin propuso el plan de diseño de BitVM 2. En lugar de utilizar puertas NAND programadas directamente, se utilizan para utilizar un verificador de prueba de conocimiento cero SNARK genérico.

La importancia de BitVM es que se puede verificar utilizando la red Bitcoin sin actualizar, bifurcar ni suponer ninguna carga adicional para Bitcoin. La capa 2 realiza otros cálculos responsables y hereda la seguridad de la red principal. Debido a la enorme importancia de BitVM, muchas capas 2 se construyen sobre la base de BitVM. Por ejemplo, Bitlayer utiliza BitVM como su componente principal y adopta la tecnología de máquina virtual en capas (Layered Virtual Machine) como solución de segundo nivel.

En Zulu Network, BitVM también tiene una presencia muy importante. Zulu también es un contribuyente muy importante a BitVM. Se puede decir que usar scripts de Bitcoin para implementar la verificación zk-SNARK es el paso central de BitVM. Zulu ha contribuido mucho al repositorio de código oficial de BitVM 2 GitHub y ha sido altamente reconocido por Robin Louis, el inventor de BitVM.

La semana pasada, Zulu completó el corte del guión de Groth16. Con 2 entradas públicas, se dividen un total de 1701 subíndices, el tamaño es inferior a 4 M y la profundidad de la pila es <1000. La finalización de la segmentación de scripts ZKP representa otro hito en el viaje de BitVM hacia el uso comercial. Gracias al excelente trabajo de Zulu, BitVM2 pronto podrá implementar la primera prueba SNARK en Bitcoin. También muestra que la tecnología de Zulu también ocupa una posición de liderazgo.

Nota de imagen: el progreso tecnológico de Zulu ha sido altamente reconocido por el inventor de BitVM, Robin Louis.

Finalmente, una breve introducción a Zulu Network.

Zulu Network es la primera red de dos capas en el ecosistema Bitcoin, y su capa 2 es un ZuluPrime compatible con EVM. Los proyectos EVM se pueden implementar rápidamente y a bajo costo para lograr la prosperidad ecológica. La otra capa es Layer3, llamada ZuluNexus. Unifica de manera innovadora UTXO y tipos de activos de cuentas, y realiza innovación de contratos inteligentes basada en el modelo UTXO. Esto significa que puede maximizar las ventajas de UTXO y respaldar futuras innovaciones en UTXO. Zulu está desarrollando dos productos:

  • Un puente zulú que puede verificar el estado fuera de la cadena a través de ZKP para respaldar la emisión de activos

  • El primer puente ZK descentralizado que proporciona a los usuarios operaciones entre cadenas de cualquier cantidad

Zulu aún no ha emitido monedas. Aquellos que quieran participar temprano pueden participar en el evento de puntos testnet actual de Zulu. Consulte la documentación oficial para obtener más detalles https://www.yuque.com/zulunetworkzhongwenshequn/zvggg8/kr9epkg0v27rh860?singleDoc#