Introducción

En nuestra publicación de blog anterior, presentamos brevemente nuestro protocolo, ZKCross, cuyo objetivo es conectar Web2 y Web3 sin esfuerzo y sin agregar complejidad innecesaria. También destacamos los problemas actuales que afectan a la industria Web3, que obstaculizan una verdadera descentralización, eficiencia y accesibilidad para los desarrolladores. Esta publicación de blog profundizará en cómo planeamos superar estos problemas y lograr nuestro objetivo de vincular perfectamente Web2 y Web3.

Antes de entrar en detalles, ¡repasemos de qué se trata ZKCross!

¿Qué es ZKCross?

ZKCross es una plataforma innovadora que tiene como objetivo cerrar la brecha entre dos versiones de Internet, Web2 y Web3. Utiliza una máquina virtual WebAssembly llamada zkVM y una “capa zk-shadow”, lo que facilita el trabajo conjunto de diferentes partes de la plataforma. Este enfoque permite a los desarrolladores de Web2 utilizar lenguajes de programación como C/C++, Java o Python.

Nuestra plataforma también emplea una capa única que conecta perfectamente los entornos dentro y fuera de la cadena. Esta capa, conocida como "capa zk-shadow", facilita la conexión entre zkWASM y la capa en cadena a través de contratos zk-proxy. En consecuencia, esto nos permite romper la barrera entre Web2 y Web3 al tiempo que facilita un alto rendimiento y accesibilidad para cualquier usuario o desarrollador.

Las maravillas de la tecnología de conocimiento cero

La tecnología de conocimiento cero (ZK) se refiere a una clase de protocolos que permiten a una parte (el probador) demostrar el conocimiento de un secreto a otra parte (el verificador) sin revelar ninguna información sobre el secreto en sí. El concepto se introdujo a finales de la década de 1980 y desde entonces ha encontrado muchas aplicaciones, incluida la autenticación criptográfica. Una prueba ZK normalmente implica una serie de interacciones entre el probador y el verificador, durante las cuales el probador convence al verificador del conocimiento de un secreto sin revelarlo.

Para ser considerado a prueba de ZK, un protocolo debe ser completo, sólido y tener cero conocimientos. La integridad significa que un probador honesto siempre convencerá a un verificador honesto de la veracidad de la declaración que se prueba. La solidez significa que un probador deshonesto no puede convencer al verificador de una declaración falsa con una alta probabilidad. Finalmente, conocimiento cero significa que el protocolo no revela ninguna información sobre el secreto al verificador más allá de que el probador lo conoce. Esto significa que incluso si un atacante intercepta todas las comunicaciones entre el probador y el verificador, no aprenderá nada sobre el secreto.

Las limitaciones del desarrollo de ZK dApp

El desarrollo de aplicaciones ZK puede resultar complicado debido a las limitaciones en la elección del lenguaje de programación. Muchas cadenas de bloques utilizan un lenguaje de programación especializado llamado Solidity, diseñado para escribir contratos inteligentes. No es el lenguaje más fácil de usar y tiene una curva de aprendizaje pronunciada que puede desafiar a los desarrolladores Web2 desconocidos. lo que genera preocupaciones de accesibilidad para estos desarrolladores.

Para abordar este desafío, los desarrolladores están explorando nuevas soluciones que permitan una mayor flexibilidad del lenguaje de programación al crear aplicaciones ZK. Un enfoque implica el uso de una máquina virtual WebAssembly (WASM), que puede permitir a los desarrolladores codificar en sus lenguajes de programación de alto nivel preferidos, como C/C++, Java o Python. Esto permite a los desarrolladores Web2 aprovechar sus habilidades y experiencia existentes para crear aplicaciones ZK sin tener que aprender nuevos lenguajes de programación. Además, se están desarrollando herramientas y marcos (por ejemplo, ZKCross SDK) que abstraen parte de la complejidad de escribir contratos inteligentes, lo que facilita a los desarrolladores la creación de aplicaciones ZK seguras.

zkVM, la santísima trinidad del desarrollo

ZKVM es la abreviatura de Zero-Knowledge Virtual Machine, una tecnología utilizada en el protocolo ZKCross para ayudar a los desarrolladores de Web2 a escribir contratos inteligentes para Web3 sin tener que aprender nuevos lenguajes de programación. El zkVM aprovecha una máquina virtual WASM, que permite a los desarrolladores Web2 codificar en sus lenguajes de programación preferidos. WASM es increíblemente popular para aplicaciones basadas en web y se utiliza en todos los motores web importantes. Por lo tanto, el uso de zkVM permite a millones de desarrolladores crear aplicaciones listas para Web3 sin ninguna curva de aprendizaje pronunciada. Por otro lado, zkVM utiliza zk-SNARK; una prueba criptográfica que permite a una parte demostrarle a otra el conocimiento de una información específica sin revelar ninguna información al respecto. Los SNARK proporcionan una forma de validar los cálculos en la cadena de bloques sin exponer datos confidenciales (personales), como la información de identificación personal.

Una de las principales ventajas de los SNARK es su concisión. A diferencia de otros tipos de pruebas ZK, que pueden ser muy costosas desde el punto de vista computacional y requerir muchas rondas de interacción entre el probador y el verificador, las SNARK pueden ser muy eficientes y requieren solo una única prueba que pueda verificarse rápidamente.

Otra ventaja de los SNARK es su escalabilidad. Los SNARK se pueden utilizar para verificar la exactitud de grandes cálculos sin revelar ninguno de los detalles del cálculo en sí. Esto los hace particularmente útiles para verificar la exactitud de los contratos inteligentes en redes blockchain, donde los cálculos pueden ser muy complejos y requerir muchos recursos computacionales.

Ventajas de ZkVM

zkVM ofrece una variedad de beneficios para los desarrolladores que buscan crear aplicaciones descentralizadas.

  • Alta flexibilidad: con zkVM, los desarrolladores pueden escribir contratos inteligentes en su lenguaje de programación de alto nivel preferido, C/C++, Java o Python, en lugar de limitarse a lenguajes de programación específicos.

  • Escalabilidad mejorada: zkVM permite una ejecución de transacciones más rápida y un mayor rendimiento, esencial para crear aplicaciones descentralizadas escalables.

  • Vio modularidad y componibilidad: con zkVM, los desarrolladores pueden crear rápidamente aplicaciones descentralizadas complejas utilizando diferentes módulos sin preocuparse por problemas de compatibilidad de idioma o plataforma.

  • Seguridad mejorada: zkVM utiliza pruebas ZK, conocidas como SNARK, para proporcionar alta seguridad al permitir la verificación informática sin revelar datos confidenciales.

  • Descentralización: zkVM promueve la descentralización al permitir la ejecución de contratos inteligentes de manera distribuida en múltiples nodos, eliminando así la necesidad de autoridades centrales.

En los próximos blogs, nuestro ecosistema único y revolucionario se explicará con más detalle, destacando casos de uso, profundizando en la arquitectura y mucho más.