La Fundación =nil; afirma que su nuevo software es combustible para cohetes para desarrolladores de conocimiento cero

La Fundación =nil;, lastartup de infraestructura blockchain con un nombre lúdico, presentó el jueves un conjunto de herramientas que, según dijo, reducirá radicalmente el tiempo que les tomará a los desarrolladores construir plataformas que utilicen criptografía de conocimiento cero.

El nuevo proyecto de =nil; llamado zkLLVM, está pensado para actuar como un compilador para desarrolladores que construyen circuitos de conocimiento cero: algoritmos sofisticados que permiten a alguien garantizar que algo es verdad sin tener que seguir los pasos para probarlo.

La Tecnología ZK ya existe desde la década de 1980Pero su aplicabilidad a las Cripto , que abarca desde la Privacidad de las transacciones hasta el escalado de la cadena de bloques, ha impulsado una especie de renacimiento de ZK en los últimos años. Los avances en la investigación de ZK han generado cientos de millones de dólares en financiación para startups como Laboratorios de materia,StarkWare y Mina que desarrollan infraestructura blockchain basada en ZK, y CoinDesk informó la semana pasada que =nil; había recaudó 22 millones de dólarespara construir su propio conjunto de productos de conocimiento cero.

Komarov dice que =nil; creó zkLLVM para reducir drásticamente las cargas de trabajo de los desarrolladores de ZK al permitirles convertir fácilmente el código escrito en lenguajes de programación familiares, como C++ y Rust, en circuitos de conocimiento cero completamente funcionales.

Escribir un circuito de conocimiento cero suele ser una tarea compleja y que requiere mucho tiempo para los desarrolladores. Generalmente implica familiarizarse con lenguajes de programación especializados y bibliotecas de software complejas y específicas del dominio.

LLVM, que significa "máquina virtual de bajo nivel", se refiere a un conjunto de bibliotecas de código abierto que los desarrolladores utilizan para compilar su código legible por humanos en un formato que pueda ser interpretado por una computadora. A partir del proyecto LLVM, "creamos un compilador a partir de lenguajes convencionales que ya son conocidos por todos"; declaró el fundador, Mikhail Komarov, a CoinDesk.

El proyecto zkLLVM también se conectará automáticamente a =nil;Recientemente anunciadoMercado de pruebas ZK, que se creó para ayudar a los equipos de ZK a descentralizar sus operaciones y subcontratar ciertos tipos de cálculos a terceros.

Sigue leyendo: La Fundación =nil; recauda 22 millones de dólares para crear un mercado de pruebas de conocimiento cero

La Fundación =nil; lanzó el proyecto el jueves en Github bajo una licencia de código abierto, lo que significa que cualquier desarrollador puede usar o modificar libremente el código zkLLVM.

La Fundación =nil; dice que su Tecnología será particularmente útil para las innumerables empresas que compiten por construir los llamados zkEVM, un tipo de solución de escalamiento de Ethereum que utiliza Tecnología ZK para reducir las tarifas y los tiempos de espera de la cadena de bloques.

Usando la plataforma zkEVM Scroll como ejemplo, Komarov explicó que "construían sus circuitos manualmente" usando una biblioteca de software especial desarrollada para el lenguaje de programación Rust. "Invirtieron casi un año y medio en eso y mucho dinero", dijo Komarov. "Si hubieran tenido acceso a lo que creamos un BIT antes, quizás podrían haber dedicado solo un par de meses a construir y depurar el sistema".

Sigue leyendo: El repentino auge de los paquetes acumulativos de ZK compatibles con EVM

Los circuitos ZK se utilizan cada vez más para asegurar el FLOW de activos digitales valiosos, lo que significa que los errores de programación pueden resultar extremadamente costosos. Komarov reconoció a CoinDesk que zkLLVM tendrá que demostrar su valía antes de ganarse la confianza de los desarrolladores. Cuando una versión anterior del código base de zkLLVM se filtró en línea, algunos... Los desarrolladores dijeronSerían cautelosos a la hora de confiar en las capacidades de generación de circuitos de =nil;, dada la complejidad del código.

Komarov también señaló que zkLLVM presenta actualmente limitaciones para manejar circuitos particularmente grandes (programas que son más complejos de traducir a formato de conocimiento cero). Sin embargo, espera que el código base de zkLLVM madure hasta el punto en que los desarrolladores finalmente puedan dejar de pensar en los detalles de la creación de circuitos ZK y centrarse en otras partes de su software.