NovaNet
NovaNet es la red de incentivos y coordinación para pruebas de cero conocimiento que se ejecutan en todas partes: para privacidad, computación verificable y más. Es la única red modular de incentivos de ZKP que ofrece pruebas rápidas y que preservan la privacidad en navegadores, dispositivos de consumo y cadenas de bloques.
NovaNet es una red de probadores descentralizada punto a punto. Se basa en las ideas de computación verificable incremental no uniforme (NIVC) del esquema de prueba SuperNova para permitir una máquina virtual altamente portátil y personalizable sin conocimiento y un marco de prueba basado en código de operación y máquina virtual de conocimiento cero. ¿Por qué usar NIVC? Porque tiene una eficiencia de memoria superior que permite que los probadores NovaNet funcionen en varios tipos de dispositivos.
Al permitir muchos tipos de dispositivos, cualquiera puede unirse a la red como probador. Es posible que los usuarios ganen fichas mientras juegan a sus ZKGames favoritos, utilizan una aplicación basada en un navegador o incluso se unen a la red como probadores especializados (e pluribus unum de ZK). Los investigadores pueden crear un sistema de pruebas especializado y obtener recompensas por su uso en el mundo real.
La primera implementación de NovaNet funciona para los ejecutables de WASM, pero podría ampliarse para RISC u otras máquinas virtuales en el futuro. Se ha elegido WASM como primer objetivo por su portabilidad óptima. WASM funciona en navegadores, servidores, cadenas de bloques y otras configuraciones. NovaNet también admite códigos de operación especializados para cosas como el aprendizaje automático de conocimiento cero (zKML), otras máquinas virtuales (JOLT) y cualquier otra cosa en la que los circuitos especializados superen a un zKVM de uso general.
Existen muchos servicios de comprobación y se están creando con una pila de comprobadores centralizada. La idea es que los probadores centralizados permitan «competir a prueba» y que la competencia conduzca a una velocidad óptima. Esta suposición suele limitar los casos de uso para preservar la privacidad y ejecutar pruebas a nivel local. Cuando se proporcionan datos a un probador no local se pierde la privacidad; es tan sencillo como eso. Además, sostenemos que la paralelización es posible con una generalización del IVC: los datos de prueba (PCD) pueden permitir la optimización de NovaNet desde el punto de vista teórico de juegos. Esto incentiva más a los participantes y permite obtener velocidades de prueba más rápidas en muchos entornos.
NovaNet permite a los desarrolladores alojar verificadores en cualquier entorno que deseen. Podría estar en Ethereum, en otra cadena de bloques o incluso en un servidor en la nube. Tienes la libertad de elegir. Hemos decidido no recrear la rueda con una zK-L1 específica de NovaNet. La capa de tokens de NovaNet es de cadena cruzada y los componentes principales trabajan en varias cadenas que se anunciarán próximamente. Los contratos inteligentes de orquestación se ocupan de la tokenómica, el depósito en garantía, los validadores y otros detalles. En su mayoría, son opacos para los desarrolladores de aplicaciones que utilizan la red, pero cualquiera puede inspeccionarlos mientras viven en cadena.
