Prueba de conocimiento-cero

Brevis es una plataforma de computación verificable basada en Zero-Knowledge Proofs (ZK), denominada la "Infinite Compute Layer" para Web3. Su enfoque principal es ejecutar cálculos intensivos en recursos off-chain y permitir que la Blockchain valide solo una prueba concisa.

Pico zkVM es la zkVM modular y de código abierto de Brevis (BREV). Con esta herramienta, los desarrolladores pueden programar cualquier lógica computacional en Rust y generar una Zero-Knowledge Proof (ZK) que certifica que la computación se realizó de forma correcta.

El coprocesador de datos ZK elimina la limitación de los contratos inteligentes para acceder a datos históricos al habilitar la obtención off-chain de datos históricos o de datos cross-chain desde nodos de archivo, realizar cálculos y devolver una prueba de conocimiento cero que confirma tanto el resultado como la autenticidad y la exactitud de los datos. El contrato puede verificar esta prueba on-chain en cuestión de milisegundos. El flujo de datos abarca cuatro etapas: solicitud de la aplicación, computación off-chain, generación de la prueba ZK y verificación on-chain junto con la recepción del resultado, lo que permite obtener conclusiones fiables sin tener que reproducir todos los datos.

Los oráculos introducen principalmente datos externos y off-chain en la blockchain, y su credibilidad se basa en los nodos y en incentivos económicos. Los coprocesadores ZK, como Brevis, se especializan en el cálculo verificable de datos históricos on-chain, utilizando pruebas de conocimiento cero para permitir la validación directa de los resultados en la blockchain. Estas dos tecnologías ocupan posiciones opuestas dentro del flujo de datos de la blockchain y ofrecen funciones complementarias en cuanto a dirección de datos, modelos de confianza y capacidades de cálculo. Sus límites no son estrictos; en la práctica, suelen adoptarse enfoques híbridos colaborativos.

BREV es el token nativo de la red Brevis y permite tres funciones clave: pagos de tarifas de prueba, staking de probador y gobernanza del protocolo. coChain funciona como una blockchain de prueba de participación, con mecanismos de staking y slashing basados en Ethereum. Los validadores presentan sus resultados como "propuestas" en la cadena de solicitudes, lo que activa una ventana de desafío. Si una propuesta incorrecta es impugnada correctamente mediante una prueba de conocimiento cero, el staking asociado se reduce en Ethereum. Si no hay desafío, el resultado se acepta automáticamente, lo que reduce el coste de la prueba.

La diferencia clave entre Manta Pacific y Manta Atlantic radica en sus funciones: Pacific es una red modular de capa 2 en Ethereum, orientada al despliegue y escalado de aplicaciones descentralizadas de conocimiento cero (ZK); Atlantic, por su parte, es una red de capa 1 ZK en Polkadot, enfocada en la infraestructura de identidad on-chain de cumplimiento de zkAddress y zkSBT. Ambas cadenas pertenecen al ecosistema de Manta Network y comparten el token de utilidad nativo MANTA, si bien presentan diferencias estructurales en sus ecosistemas subyacentes, stacks técnicos y grupos de usuarios objetivo.

Manta Network (MANTA) es un ecosistema blockchain modular diseñado para aplicaciones de conocimiento cero (ZK). Se compone de Manta Pacific, una red modular de capa 2 dentro del ecosistema de Ethereum, y Manta Atlantic, una red de capa 1 ZK en Polkadot. Pacific emplea la capa de disponibilidad de datos de Celestia junto con el entorno de ejecución EVM/zkEVM para dar soporte a aplicaciones descentralizadas, mientras que Atlantic se especializa en identidad on-chain conforme, proporcionando una infraestructura programable de identidad de conocimiento cero a través de zkSBT y zkAddress.

Universal Circuits es una biblioteca de circuitos preconstruidos ZK-as-a-Service desplegada en Manta Pacific: los desarrolladores de Solidity pueden añadir funcionalidad de conocimiento cero a sus DApp a través de interfaces de contrato estándar, sin necesidad de migrar a lenguajes ZK especializados como Cairo; las aplicaciones habituales incluyen pagos conformes, verificación de identidad y juegos on-chain como zkShuffle.

Manta Network desarrolló zkAddress y zkSBT como componentes centrales de identidad privada en la cadena Manta Atlantic. zkAddress ofrece direcciones de privacidad reutilizables de estilo UTXO, mientras que zkSBT vincula credenciales de cumplimiento a esa dirección mediante pruebas de conocimiento cero. Juntos, conforman la infraestructura de identidad que cumple con las normas en la cadena Atlantic, permitiendo a las aplicaciones Web3 verificar identidades sin revelar los datos personales originales de los usuarios.

El puente de activos hacia Manta Pacific implica un proceso repetible de bloqueo, acuñación y mapeo de saldos entre la red principal de Ethereum y Manta Pacific, una red modular de capa 2, a través de un puente cross-chain. Como capa de ejecución de Manta Network dentro del ecosistema de Ethereum, Manta Pacific permite el despliegue y la interacción on-chain para ETH, ERC-20 y otros activos. Para participar en las aplicaciones del ecosistema en el lado de Pacific, los usuarios deben comprender primero cómo se activa el puente, cómo cambian internamente los estados del sistema y cómo confirmar que los fondos han llegado.

Zcash Orchard es el pool de transacciones blindadas de tercera generación en la red Zcash, basado en el sistema de prueba de conocimiento cero Halo 2 para mejorar la eficiencia, escalabilidad y capacidad de actualización a largo plazo de las transacciones privadas. En comparación con sus predecesores, Sprout y Sapling, Orchard reduce la dependencia de una configuración de confianza a la vez que optimiza los procesos de generación y verificación de pruebas.

El mecanismo central de Nockchain sustituye las operaciones hash tradicionales de PoW por pruebas de conocimiento cero. En esta red, los mineros ya no compiten por bloques con operaciones hash arbitrarias; en su lugar, generan pruebas verificables para integrarse en el consenso de la red. Su arquitectura incluye componentes como NockVM, NockApp, Proofpower y Global Consensus SNARKs, diseñados para conformar una red de prueba descentralizada que dé soporte a IA, aplicaciones de privacidad y computación verificable.

Nockchain es una red blockchain basada en Zero-Knowledge Proof-of-Work (ZKPoW), cuyo objetivo central es sustituir los cálculos de hash sin utilidad del PoW tradicional por la generación de pruebas de conocimiento cero (ZK proving) verificables y de valor práctico. A diferencia de Bitcoin, que depende de la competencia por hashrate, Nockchain orienta la potencia computacional de los mineros hacia la generación de pruebas computacionales verificables, estableciendo así un modelo de "prueba de trabajo útil".

Tanto Railgun como Tornado Cash son protocolos de privacidad on-chain, aunque difieren significativamente en su filosofía de diseño y enfoque operativo. Tornado Cash actúa principalmente como un mezclador anónimo, utilizando pools de denominaciones fijas para romper la vinculación entre los fondos. En contraste, Railgun es un protocolo DeFi privado basado en zk-SNARK que permite cuentas de privacidad, transacciones confidenciales e interacciones anónimas con contratos inteligentes.

Railgun es un protocolo DeFi de privacidad construido sobre blockchains EVM que aprovecha las pruebas de conocimiento cero zk-SNARK para ocultar direcciones de usuarios, saldos de activos, cantidades de transacciones y actividad on-chain, al tiempo que preserva la componibilidad con protocolos del ecosistema como Ethereum, Arbitrum y BNB Chain. A diferencia de las monedas de privacidad o los mezcladores tradicionales, Railgun no depende de una blockchain independiente; en su lugar, permite transacciones privadas e interacciones anónimas con contratos inteligentes directamente en la cadena nativa.