Este es un segmento del boletín 0xResearch. Para leer ediciones completas, suscríbete.
La TestNet incentivada (Mainnet Beta) de la red sin límites de RISC Zero se puso en marcha ayer en la base.
Boundless no es una nueva cadena de bloques. Boundless es un mercado para pruebas de máquinas virtuales de conocimiento cero (ZKVM), a veces llamado mercado de pruebas, que puede implementar en cualquier red y resolver pruebas en cualquier lugar.
¿Quién lo necesita? Cualquier cadena o aplicación que desee procesar una gran cantidad de computación, pero cuyo entorno virtual existente no es adecuado para aprovechar la tecnología ZK.
Unimensil permite que los equipos lo hagan sin hacer cambios radicales en su arquitectura. Al igual que ChainLink trajo los alimentos de los precios a cada cadena, Boundless trae cómputo verificable.
Red sin límites
Así es como funciona la red:
- Solicitud de cadenas/aplicaciones y envíe tareas de cálculo a la red ilimitada que ejecuta subastas en sus contratos.
- Los “Provergidos” (mineros) en la red ilimitada que ejecuta CPU/GPU reclama estos trabajos para realizar la costosa computación fuera de la cadena.
- Para aceptar tareas, los retrocesos de los tokens ZKC para bloquear una solicitud de prueba. Estas fichas son cortadas, por lo que hay un mecanismo económico para mantener honesto el trabajo.
- Cuando los retrocesos terminan el trabajo, se establece un recibo de prueba de conocimiento cero (ZKP) pequeño y verificable matemáticamente.
Debido a que verificar una prueba de tamaño pequeño en Ethereum o un rollup cuesta solo una cantidad mínima de gas, la cadena base nunca siente el calor del cálculo subyacente, incluso si ese cálculo tomó minutos, funcionó en un clúster con GPU o gigabytes de datos tocados.
El CEO de Boundless, Shiv Shankar, me recordó los costos prohibitivos de ejecutar ZK Computation Onchain, que puede llegar a miles de dólares.
“Hoy, cualquiera puede hacer ese cálculo masivo con un ZKVM por menos de $ 30. Este tipo de mentalidad ilimitada es lo que estamos aportando a cada cadena. Computación ilimitada elástica [is] Disponible para usted en cualquier momento ”, dijo.
El explorador ilimitado muestra 363 trabajos activos de procesamiento de Proversy hoy, aunque el equipo me dijo que anticipan que al menos mil GPU demuestran pronto.
Arquitectura sin límites
La red exclusiva de Boundless ‘es su primitivo criptográfico autodesarrollado llamado “Prueba de trabajo verificable” (POVW).
La prueba de trabajo tradicional paga a los mineros de Bitcoin por los hashes, ‘POVW BoVW paga por ciclos útiles de ZKVM.
POVW Etiqueta piezas de metadatos verificables, o “recibos de trabajo”, a cada prueba como un registro de cuánto cálculo entró en él. Esto permite pagar a los cientos de retrocesos en su red en proporción al cómputo real entregado, así como detectar pruebas fraudulentas.
Esto contrasta con la oferta de subasta fuera de la cadena que los usos sucintos, o las citas basadas en el tiempo que Kalypso usa.
La adopción de hoy
Los primeros adoptantes de ilimitados incluyen equipos como Eigenlayer, Celestia, Taiko, Lido y más.
Los equipos están utilizando una provisión ilimitada de cómputo verificable para una variedad de propósitos.
Por ejemplo, Eigenlayer está utilizando ilimitados para alimentar su lógica de corte AVS, Celestia lo está utilizando para probar la validez de su disponibilidad de datos en cualquier cadena, el rollup basado en Taiko lo usa como parte de su configuración múltiple y las alcance de LIDO sin límites para un oráculo basado en ZK.