#可验证计算 - Entrevista en el podcast del CEO de RiscZero El rápido desarrollo de la IA ha aumentado la productividad, pero también ha reducido el coste de la falsificación y el fraude. Más RWA en la cadena, pero ya sea que los activos en la cadena se verifiquen y auditen programáticamente, si no hay garantía de verificación, estos activos RWA enfrentan grandes riesgos, recuerdo que hubo una ola de auditoría de activos CEX zk en 23-24 años, pero en el futuro, se necesitan más RWA en la cadena, más verificación de activos y auditoría de seguimiento. En el futuro, la verificabilidad y la transparencia de los procedimientos de Internet serán características clave. Existe un gran potencial para la combinación de blockchain e IA, y la computación verificable es el núcleo de la infraestructura. En computación verificable, los proyectos zk @RiscZero y @boundless_xyz implementar computación verificable a través de RISC-V y ZK VM. Atención desde 2003 RiscZero ha ido evolucionando de zkvm a hormigón zk L1. Aquí hay una entrevista de podcast de @zeroknowledgefm con sus fundadores para obtener más información sobre el equipo y las opciones técnicas del proyecto, la visión comercial y más. Esta entrevista se realizó antes del lanzamiento de @boundless_xyz, pero entrevistas anteriores han revelado los planes para L1. ¿Cómo se escucha bien en inglés? Escucha directamente el original: Resumen de la entrevista: La tecnología central de Risc0 ZK VM y RISC-V: Risc0 ha construido una ZK VM que ejecuta código RISC-V, que admite programas compilados en C, C++, Rust y otros lenguajes, similares a los microcontroladores virtuales, con propiedades de conocimiento cero (entrada oculta y programas). Se eligió RISC-V: Es adecuado para su implementación en circuitos ZK porque es de código abierto, libre de restricciones de propiedad intelectual, simple y eficiente, y tiene pruebas de cumplimiento y soporte de modelo formal. Privacidad y extensibilidad: admita la prueba de conocimiento cero de la ejecución del programa y el programa en sí, concéntrese inicialmente en la extensibilidad para admitir la ecología de aplicaciones complejas y la privacidad (como la identidad ZK) como dirección futura. Memoria vs. no determinista: La memoria se representa como un número de 32 bits, que codifica el estado inicial a través de una estructura de Merkle; Se admiten solicitudes de datos no deterministas, y el invitado (ZK VM) solicita datos del host y verifica para mantener la privacidad. Tecnología para implementar y acelerar la aplicación de STARKs: Use STARK para probar estructuras de repetición, como los pasos de tiempo del procesador, que se ajusten al modelo de ejecución de tiempo de la máquina virtual. Soporte recursivo: En desarrollo, el validador de Rust se puede ejecutar en la máquina virtual ZK para verificar pruebas e implementar pruebas incrementales (por ejemplo, de bloques génesis a bloques N+1). Aceleración de hardware: actualmente hasta 30.000 ciclos/seg en el M1 Pro, 1 millón de ciclos/seg para Metal/CUDA y unos 10 millones de ciclos/seg para la GPU 3090. Se admiten circuitos aceleradores como SHA-256, y se planea agregar aceleradores analógicos de dominio finito y enteros grandes en el futuro. Paralelización: Los procesos de prueba se pueden paralelizar, son adecuados para la aceleración de GPU, reducen la latencia y admiten cálculos a gran escala (por ejemplo, ejecución del compilador). Visión y nube de aplicaciones 2.0: El objetivo es construir una nube pública descentralizada que admita DeFi, juegos, NFT y aplicaciones complejas (como bases de datos SQL, redes sociales), y logre que "los costos de transacción sean tan bajos que no se requiera medición". Cadena de bloques L1: Desarrolle L1 y use ZK para optimizar el mecanismo de consenso ("Prueba de transacción"), que utiliza la cantidad de cálculo en lugar del número de transacciones para determinar la cadena más larga, que admite miles de millones de transacciones por segundo. Casos de uso: Estos incluyen la seguridad de la cadena de suministro (demostrando que los binarios provienen del código fuente auditado), el seguimiento de activos físicos y más. Ecología y Conexión Ecológica Futura: Está previsto que se integre con otras cadenas de bloques como Ethereum a través de puentes o validadores para apoyar la verificación de pruebas Risc0 o la ejecución de EVM en Ethereum. Hoja de ruta: La versión actual es de código abierto, y la próxima versión (incluida la aceleración recursiva y de GPU) pronto será de código abierto. Está previsto que DevNet se lance a finales de 2022 o principios de 2023, y que las inscripciones beta se publiquen a través de Twitter y otros. Risc0 existe como L1, ¿se conectará con otras redes o clústeres de red? ¿Algo así @VitalikButerin como el eth, el @Polkadot de @gavinwood, Cosmos? Brian dice que es casi seguro que se conectará. La tecnología Risc0 se considera una herramienta ampliamente aplicable. Si bien tiene su propia visión L1, también quiere que esta tecnología sirva a otros ecosistemas. Retos y reflexiones sobre la facilidad de programación: Reduzca la barrera de entrada para los desarrolladores con lenguajes y cadenas de herramientas existentes sin tener que aprender nuevos lenguajes o circuitos aritméticos. Perspectivas de aceleración de hardware: A corto plazo, las GPU son dominantes, debido a la inmadurez de las matemáticas y a los largos ciclos de desarrollo de los ASIC. Los FPGA y los ASIC se pueden utilizar en circuitos SNARK específicos. Competencia y Posicionamiento: A diferencia de otros proyectos ZK VM/EVM, Risc0 hace hincapié en la versatilidad y el escalado a nivel de nube, teniendo en cuenta el ecosistema Ethereum y otras redes. Risc0 aprovecha RISC-V y STARK para crear máquinas virtuales ZK para resolver el problema de escalabilidad de los sistemas distribuidos, con el objetivo de descentralizar la nube pública y respaldar la computación a gran escala que preserve la privacidad. La versión actual de código abierto está disponible, la aceleración de GPU y el soporte de recursividad estarán disponibles pronto, y se planea construir L1 e integrarse con otros ecosistemas, adecuados para DeFi, seguridad de la cadena de suministro y otros escenarios Entrevista completa: Texto largo