ZK, ZK-VM y. ZK-EVM
Para comprender las especificaciones detrás de cada proyecto de carretera ZK, primero comprendamos los conceptos básicos involucrados en ZK.
ZKP (Zero Knowledge Proof) significa prueba de conocimiento cero, que se refiere a resolver los problemas de privacidad y escalabilidad de la cadena de bloques a través de la criptografía matemática, principalmente a través de validadores y usuarios, para verificar la precisión de los datos sin revelarlos.
ZK-VM es una máquina virtual basada en prueba de conocimiento cero que combina una prueba ZK y una VM (máquina virtual). El ZK-VM normalmente consta de dos componentes importantes: un compilador que puede compilar lenguajes de alto nivel como C++ y Rust en expresiones intermedias (IR) para que las ejecute el sistema ZK; el otro es el marco de conjunto de instrucciones ISA (Instruction Architecture), que ejecuta principalmente instrucciones sobre operaciones de la CPU y es una serie de instrucciones que se utilizan para indicar a la CPU que realice operaciones.
ZK-EVM es un tipo de ZK-VM. Su característica principal es que es compatible con Ethereum EVM y admite contratos inteligentes escritos en Solidity para ejecutarse en su máquina virtual para ayudar a extender la segunda capa de Ethereum. Starknet, zkSync, Scroll y Polygon Hermez pertenecen a ZK-EVM.
ZK nuevos proyectos financieros notables recientes
La fundación cero
El nombre completo de Nil Foundation es “=nil; Fundación”, que suena como letras desordenadas. En realidad, este extraño apodo se deriva de una broma de inyección SQL.
Nil Foundation comenzó como un sistema de gestión de bases de datos en 2018. Cerró una ronda de inversión de $ 22 millones con una valoración de $ 220 millones a fines del año pasado, encabezada por Polychain Capital, con la participación de Blockchain Capital, Starkware, Mina Protocol e IOSG Ventures.
The Nil Foundation ha creado un compilador ZK basado en LLVM que puede convertir programas de lenguaje de alto nivel como C++ y Rust en expresiones intermedias (IR) adecuadas para la validación del sistema. Es decir, Nil Foundation es un compilador en lugar de una computadora virtual.
LLVM (LowLevelVirtualMachine) es un marco para compiladores de marcos que pueden optimizar la compilación y el tiempo de ejecución de lenguajes de alto nivel como Rust y C++. LLVM fue creado en 2000 por el Dr. Chris Lattner de la Universidad de Illinois. Chris Lattner comenzó a comprometerse con la implementación de LLVM en plataformas de desarrollo después de unirse a Apple en 2006. Ahora grandes corporaciones como Apple, Microsoft, Google y Facebook utilizan LLVM.
Además, la Fundación Nil tiene un lugar distinto en el sentido de que ha formado un “Mercado de prueba”. Los usuarios pueden pagar a los propietarios de hardware para que verifiquen por ellos a través de Proof Market, y los probadores compiten para probar a los usuarios que les pagan. Esta dinámica de libre mercado permitirá a los probadores optimizar computacionalmente las tareas de prueba más rentables.
Laboratorios Soberanos
Sovereign Labs, que se enfoca en desarrollar ZK-Rollup SDK, ganó $7.4 millones en fondos iniciales en enero de este año. Haun Ventures lideró esta ronda de financiación, con la participación de Maven 11, 1KX, Robot Ventures y Plaintext Capital.
Sovereign Labs tiene la intención de producir un kit de desarrollo de software (SDK) para ayudar a los desarrolladores a crear paquetes acumulativos de conocimiento cero seguros e interoperables. El SDK de Sovereign pretende facilitar la creación de ZK-Rollups, al igual que el SDK de Cosmos facilita la creación de la Capa 1.
Es el primer marco de agregación que elimina la complejidad del conocimiento cero, lo que facilita que los desarrolladores diseñen aplicaciones sin necesidad de ser especialistas en criptografía. Los desarrolladores podrán crear aplicaciones en Rust idiomático (o C++) utilizando Sovereign SDK, y el SDK las convertirá automáticamente en una máquina virtual ZK eficiente.
La hoja de ruta de Sovereign Labs se divide en tres secciones. El primer paso implica terminar el prototipo de diseño de investigación en el segundo trimestre de 2023. Celestia para la disponibilidad de datos y Risc0 para la prueba se incluyen en el prototipo actual. La segunda etapa es la instalación de Sovereign SDK, que incluye una red peer-to-peer, un nodo RPC, una API central y módulos de clasificación y almacenamiento predeterminados. El tercer paso consiste en limpiar, probar, fuzzear y auditar el código.
Ulvetanna
Ulvetanna, una empresa que desarrolla hardware para aumentar la eficiencia de la producción a prueba de conocimiento cero (ZKP), recaudó USD 15 millones en una ronda semilla encabezada por Bain Capital Crypto y Paradigm, con la participación de Jump Crypto. elenco.
Ulvetanna está desarrollando hardware para acelerar la generación de ZKP y su equipo está compuesto por programadores e ingenieros de Coinbase, Microsoft e Intel.
Cuando la necesidad de ZKP crezca en el futuro, ZKP requerirá una gran cantidad de cálculos, lo que requerirá tecnología sofisticada y una gran cantidad de electricidad. Ulvetanna cree que la generación de ZKP es mucho más eficiente en hardware especialmente diseñado, por lo que Ulvetanna reunió a un equipo experimentado de criptógrafos aplicados, ingenieros de software y hardware, arquitectos de centros de datos y de la nube, e inversores nativos criptográficos para proporcionar servicios informáticos de hardware ZKP eficientes al combinar criptografía y computación de alto rendimiento.
císico
Cysic, una empresa de hardware de ZK, recaudó 6 millones de dólares en una ronda semilla encabezada por Polychain Capital en diciembre de 2022, con inversores adicionales, incluidos Hashkey, SNZ Holding, ABCDE y Web3.com Foundation.
Cysic tiene la intención de ofrecer una solución acelerada por hardware para pruebas ZK. Scroll, Nil Foundation e Hyper Oracle se encuentran entre los socios actuales de Cysic.
Cysic creó un prototipo FPGA de multiplicación escalar múltiple (MSM), una especie de hardware programable similar a los procesadores de CPU y GPU.
Híper oráculo
Hyper Oracle, una red de computadoras Oracle ZK, concluyó recientemente una ronda inicial de $ 3 millones codirigida por dao5 y Sequoia China Seed Fund, con Foresight Ventures, FutureMoney Group y otros uniéndose a la inversión.
Para abordar los problemas del middleware de blockchain en términos de seguridad, descentralización, integridad computacional y rendimiento, Hyper Oracle está creando el protocolo de middleware ZK y la máquina ZK Oracle zkOracle basada en la máquina virtual zkWASM.
poliedros
Polyhedra Network, una empresa de infraestructura ZK, ha concluido una ronda de financiación de 10 millones de dólares encabezada por Binance Labs y Polychain Capital, con la participación de Animoca Brands y Dao5.
Polyhedra está trabajando actualmente en tres productos ZK basados en tecnología ZK: ZK Bridge (zkBridge) para transmisión de activos L1 y L2; ZK-DID, una solución de identidad de usuario que protege la privacidad utilizando tecnología de prueba de conocimiento cero; y un protocolo NFT programable. Este dispositivo, ZK-NFT, emplea tecnología a prueba de conocimiento cero para salvaguardar la privacidad de los activos del usuario. La red de prueba zkBridge está actualmente operativa.
Además, Polyhedra ha creado ParaPlonk, una solución de escalado que puede emplear una red de generación de prueba distribuida a gran escala para acelerar las acumulaciones de ZK. Polyhedra tiene la intención de integrar nuevas cadenas de bloques y hacerlas accesibles para los desarrolladores a través de herramientas API y SDK para atraer a más desarrolladores de ZK-rollup.
RISC cero
RISC Zero (los detalles de financiación aún no se han publicado) es un ZK-VM de propósito general de código abierto. El proyecto obtuvo su nombre del conocido procesador RISC (Computadora con conjunto de instrucciones reducido).
El objetivo del conjunto de instrucciones RISC-V es optimizar el conjunto de instrucciones reducido, que solo tiene más de 40 conjuntos de instrucciones. RISC Zero admite lenguajes de programación sofisticados como C++, Rust y Go gracias al conjunto de instrucciones RISC-V, y los desarrolladores pueden utilizar ZK-VM sin aprender nuevos lenguajes.
Crecimiento cero del producto en RISC Según el vicepresidente Manasi (anteriormente director de crecimiento de Uniswap), RISC Zero también admitirá Solidity, lo que lo hará más atractivo para los desarrolladores nativos de Ethereum. RISC ZERO utiliza la arquitectura LLVM, que utilizan varios de los principales fabricantes para la compilación de lenguajes. Debido al uso de una compilación bastante madura y una solución de conjunto de instrucciones, RISC ZERO puede convertirse en un proyecto típico en la pista ZK-VM desde un punto de vista tecnológico.
Estrategia de desarrollo de vías ZK
El año pasado, las iniciativas de la pista ZK se concentraron principalmente en ZK-EVM compatible con Ethereum, como Starknet, zkSync, Scroll y otros proyectos conocidos. Según las categorías de iniciativas ZK que se han financiado recientemente, se basan principalmente en infraestructura, como compiladores de circuitos ZK, aceleración de hardware ZK, oráculos ZK y puentes.
Al mismo tiempo, estos proyectos demostraron una tendencia, a saber, un crecimiento en el número de iniciativas ZK-VM. Por lo tanto, al ofrecer el sistema de prueba ZK, ZK-VM puede ayudar a una gran cantidad de aplicaciones Web2 a combinarse con pruebas de conocimiento cero para llegar a Web3. La actual solución back-end de Gamefi para gestionar los datos de los usuarios, por ejemplo, está centralizada. El juego puede alcanzar una verdadera descentralización si el backend usa ZK-VM. Muchas aplicaciones Web2, por analogía, pueden descentralizarse si es necesario.
¿Qué es mejor para el futuro, ZK-EVM o ZK-VM? Si bien las aplicaciones de Ethereum admitirán gradualmente ZK-EVM, Web3 no se limita a Ethereum porque ZK-VM admite lenguajes más avanzados y es más fácil de compilar que ZK-EVM (ZK-VM puede usar un compilador maduro y una arquitectura de conjunto de instrucciones), y si ZK -VM también puede soportar bien Solidity, ZK-VM puede ser el futuro de Web3.
DESCARGO DE RESPONSABILIDAD: La información de este sitio web se proporciona como un comentario general del mercado y no constituye un consejo de inversión. Le animamos a que haga su propia investigación antes de invertir.