# Cálculo verificable - Entrevista en podcast con el CEO de RiscZero El rápido desarrollo de la IA aumenta la productividad, pero también reduce los costos de falsificación/estafa. Más RWA se están incorporando a la cadena, pero si los activos en la cadena no están verificados y auditados programáticamente, estos activos RWA enfrentan grandes riesgos. Recuerdo que entre 2023 y 2024 hubo una ola de auditorías zk de activos CEX, pero en el futuro, con más RWA en la cadena, se necesitará más verificación de activos y auditorías de seguimiento. En el futuro, la verificabilidad de Internet y la transparencia de los programas se convertirán en características clave. La combinación de blockchain e IA tiene un gran potencial, y el cálculo verificable es el núcleo de la infraestructura. En el cálculo verificable, los proyectos zk @RiscZero y @boundless_xyz logran el cálculo verificable a través de RISC-V y ZK VM. Desde 2003, he estado siguiendo a RiscZero desde zkvm hasta el zk L1 específico, que ha estado en desarrollo. A continuación, comparto una entrevista anterior con su fundador @zeroknowledgefm para conocer más a fondo sobre este equipo y las elecciones tecnológicas del proyecto, ideas comerciales, etc. Esta entrevista se realizó antes de que @boundless_xyz se publicara, pero la entrevista anterior ya reveló la planificación del L1. ¿Tienes buen oído para el inglés? Escucha la versión original: Resumen de la entrevista: La tecnología central de Risc0 ZK VM y RISC-V: Risc0 ha construido un ZK VM que ejecuta código RISC-V, soportando programas compilados en C, C++, Rust, etc., similar a un microcontrolador virtual, con propiedades de conocimiento cero (ocultando entradas y programas). Elección de RISC-V: debido a su naturaleza de código abierto, sin restricciones de propiedad intelectual, simplicidad y eficiencia, y con soporte para pruebas de conformidad y modelos formales, es adecuado para implementarse en circuitos ZK. Privacidad y escalabilidad: soporta pruebas de conocimiento cero tanto para la ejecución del programa como para el propio programa, enfocándose inicialmente en la escalabilidad para soportar un ecosistema de aplicaciones complejas, mientras que la privacidad (como la identidad ZK) es una dirección futura. Memoria y no determinismo: la memoria se representa como un número de 32 bits, codificando el estado inicial a través de una estructura Merkle; soporta solicitudes de datos no deterministas, donde el invitado (ZK VM) solicita datos al anfitrión y verifica, manteniendo la privacidad. Implementación técnica y aceleración de aplicaciones STARKs: Utiliza pruebas STARKs para estructuras repetitivas (como pasos de tiempo del procesador), adecuado para el modelo de ejecución temporal de VM. Soporte recursivo: en desarrollo, soporta la ejecución de un validador Rust dentro de ZK VM, verificando pruebas, logrando pruebas incrementales (como de bloque génesis a bloque N+1). Aceleración de hardware: actualmente alcanza 30,000 ciclos/segundo en M1 Pro, se espera que la aceleración GPU (Metal/CUDA) alcance 1,000,000 ciclos/segundo, y la GPU 3090 alrededor de 10,000,000 ciclos/segundo. Soporta circuitos aceleradores como SHA-256, y se planea agregar aceleradores para campos finitos y multiplicación de enteros grandes. Paralelización: el proceso de prueba puede ser paralelo, adecuado para aceleración GPU, reduciendo la latencia y soportando cálculos a gran escala (como la ejecución de compiladores). Visión y aplicación Cloud 2.0: El objetivo es construir una nube pública descentralizada, soportando DeFi, juegos, NFT y aplicaciones complejas (como bases de datos SQL, redes sociales), logrando "costos de transacción tan bajos que no necesitan ser medidos". Blockchain L1: Desarrollar L1, utilizando ZK para optimizar el mecanismo de consenso ("prueba de transacción"), determinando la cadena más larga por la cantidad de computación en lugar del número de transacciones, soportando miles de millones de transacciones por segundo. Casos de uso: incluyen seguridad en la cadena de suministro (verificando que los binarios provienen de código fuente auditado), seguimiento de activos físicos, etc. Ecosistema y conexión futura del ecosistema: Se planea integrar con otras blockchains (como Ethereum) a través de puentes o validadores, soportando la verificación de pruebas Risc0 en Ethereum o la ejecución de EVM. Hoja de ruta: la versión actual es de código abierto, la próxima versión (que incluye soporte recursivo y aceleración GPU) se abrirá pronto. Se planea lanzar DevNet a finales de 2022 o principios de 2023, publicando inscripciones para pruebas a través de Twitter y otros. Risc0 existe como L1, ¿se conectará con otras redes o grupos de redes? ¿Como eth de @VitalikButerin, @Polkadot de @gavinwood, Cosmos, etc.? Brian dijo que casi con certeza se conectará. Ve la tecnología Risc0 como una herramienta de aplicación amplia. Aunque tiene su propia visión de L1, también espera que esta tecnología sirva a otros ecosistemas. Desafíos y reflexiones sobre la facilidad de programación: Reducir la barrera de entrada para los desarrolladores a través de lenguajes y cadenas de herramientas existentes, sin necesidad de aprender un nuevo lenguaje o circuitos aritméticos. Perspectivas de aceleración de hardware: A corto plazo, la GPU dominará, debido a que las matemáticas no están maduras y el ciclo de desarrollo de ASIC es largo; FPGA y ASIC pueden aplicarse en circuitos SNARK específicos. Competencia y posicionamiento: A diferencia de otros proyectos ZK VM/EVM, Risc0 enfatiza la versatilidad y la escalabilidad a nivel de nube, equilibrando el ecosistema de Ethereum y otras redes. Risc0 utiliza RISC-V y STARKs para construir ZK VM, resolviendo el problema de escalabilidad de sistemas distribuidos, con el objetivo de crear una nube pública descentralizada que soporte cálculos a gran escala y con protección de privacidad. La versión actual de código abierto ya está disponible, y el soporte para aceleración GPU y recursividad se lanzará pronto, con planes para construir L1 e integrarse con otros ecosistemas, aplicable a DeFi, seguridad en la cadena de suministro y otros escenarios. Contenido completo de la entrevista: imagen de texto largo.