#Calcul vérifiable - Interview du CEO de RiscZero sur un podcast Le développement rapide de l'IA améliore la productivité, mais réduit également les coûts de contrefaçon/escroquerie. Plus de RWA sont intégrés sur la chaîne, mais les actifs sur la chaîne sont-ils vérifiés et audités de manière programmatique ? Sans garantie de vérification, ces actifs RWA sont confrontés à de grands risques. Je me souviens qu'il y a eu une tendance d'audit zk des actifs CEX en 23-24, mais à l'avenir, avec davantage de RWA sur la chaîne, il sera nécessaire de vérifier et de suivre les audits des actifs. À l'avenir, la vérifiabilité d'Internet et la transparence des programmes deviendront des caractéristiques clés. La combinaison de la blockchain et de l'IA a un potentiel énorme, et le calcul vérifiable en est le cœur de l'infrastructure. Dans le calcul vérifiable, les projets zk @RiscZero et @boundless_xyz réalisent un calcul vérifiable grâce à RISC-V et ZK VM. Depuis 2003, RiscZero a évolué du zkvm à un zk L1 concret. Voici un partage d'une interview précédente de leur fondateur @zeroknowledgefm pour mieux comprendre ce groupe et les choix techniques, les visions commerciales, etc. Cette interview a été réalisée avant la publication de @boundless_xyz, mais l'interview précédente a déjà révélé la planification de L1. Si vous avez une bonne compréhension de l'anglais ? Écoutez directement la version originale : Résumé de l'interview : La technologie clé de Risc0 ZK VM et RISC-V : Risc0 a construit un ZK VM capable d'exécuter du code RISC-V, prenant en charge des programmes compilés en C, C++, Rust, etc., semblable à un microcontrôleur virtuel, avec des propriétés de connaissance nulle (cachant les entrées et le programme). Choix de RISC-V : en raison de son caractère open source, de l'absence de restrictions de propriété intellectuelle, de sa simplicité et de son efficacité, ainsi que du soutien aux tests de conformité et aux modèles formels, il est adapté à l'implémentation dans des circuits ZK. Confidentialité et évolutivité : prend en charge les preuves de connaissance nulle pour l'exécution des programmes et le programme lui-même, se concentrant initialement sur l'évolutivité pour soutenir un écosystème d'applications complexes, la confidentialité (comme l'identité ZK) étant une direction future. Mémoire et non-déterminisme : la mémoire est représentée par des nombres de 32 bits, encodant l'état initial via une structure Merkle ; prend en charge les demandes de données non déterministes, le guest (ZK VM) demandant des données au host et vérifiant, tout en préservant la confidentialité. Mise en œuvre technique et accélération des applications STARKs : Utilisation de STARKs pour prouver des structures répétitives (comme les étapes de temps du processeur), adaptées au modèle d'exécution temporelle du VM. Support récursif : en développement, prend en charge l'exécution d'un vérificateur Rust dans le ZK VM, vérifiant les preuves, réalisant des preuves incrémentales (comme de la genèse à N+1 blocs). Accélération matérielle : actuellement, atteint 30 000 cycles/seconde sur M1 Pro, l'accélération GPU (Metal/CUDA) devrait atteindre 1 million de cycles/seconde, et environ 10 millions de cycles/seconde sur un GPU 3090. Prend en charge des circuits d'accélération comme SHA-256, avec des plans futurs pour intégrer des accélérateurs de multiplication de grands entiers et de champs finis. Parallélisation : le processus de preuve peut être parallélisé, adapté à l'accélération GPU, réduisant la latence et soutenant des calculs à grande échelle (comme l'exécution de compilateurs). Vision et applications Cloud 2.0 : L'objectif est de construire un cloud public décentralisé, soutenant DeFi, jeux, NFT et applications complexes (comme des bases de données SQL, des réseaux sociaux), réalisant "des coûts de transaction si bas qu'ils ne nécessitent pas de mesure". Blockchain L1 : Développement de L1, utilisant ZK pour optimiser le mécanisme de consensus ("preuve de transaction"), déterminant la chaîne la plus longue en fonction de la quantité de calcul plutôt que du nombre de transactions, soutenant des milliards de transactions par seconde. Cas d'utilisation : y compris la sécurité de la chaîne d'approvisionnement (prouvant que le binaire provient d'un code source audité), le suivi d'actifs physiques, etc. Écosystème et connexion future : Plans d'intégration avec d'autres blockchains (comme Ethereum) via des ponts ou des validateurs, soutenant la vérification des preuves Risc0 sur Ethereum ou l'exécution de l'EVM. Feuille de route : la version actuelle est open source, la prochaine version (incluant le support récursif et l'accélération GPU) sera bientôt open source. Prévisions de lancement de DevNet d'ici fin 2022 ou début 2023, avec des annonces de tests via Twitter et autres. Risc0 en tant que L1, se connectera-t-il à d'autres réseaux ou clusters de réseaux ? Comme @VitalikButerin avec eth, @gavinwood avec @Polkadot, Cosmos, etc. ? Brian a déclaré qu'il est presque certain qu'il se connectera. Il considère la technologie Risc0 comme un outil largement applicable. Bien qu'il ait sa propre vision L1, il espère également que cette technologie servira d'autres écosystèmes. Défis et réflexions sur la facilité de programmation : Réduire le seuil d'entrée pour les développeurs grâce aux langages et chaînes d'outils existants, sans avoir besoin d'apprendre de nouveaux langages ou circuits arithmétiques. Perspectives d'accélération matérielle : À court terme, le GPU dominera, en raison de la maturité mathématique insuffisante et de la longue période de développement des ASIC ; FPGA et ASIC pourraient être appliqués dans des circuits SNARK spécifiques. Concurrence et positionnement : Contrairement à d'autres projets ZK VM/EVM, Risc0 met l'accent sur la polyvalence et l'évolutivité de niveau cloud, tout en tenant compte de l'écosystème Ethereum et d'autres réseaux. Risc0 utilise RISC-V et STARKs pour construire un ZK VM, résolvant le problème de l'évolutivité des systèmes distribués, avec pour objectif un cloud public décentralisé, soutenant des calculs à grande échelle et respectueux de la vie privée. La version open source actuelle est déjà disponible, avec un support d'accélération GPU et récursif à venir, avec des plans pour construire L1 et s'intégrer à d'autres écosystèmes, adaptés à des scénarios comme DeFi, la sécurité de la chaîne d'approvisionnement, etc. Contenu complet de l'interview : long texte image.