#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 mis en 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 vague d'audits 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 actifs. À l'avenir, la vérifiabilité d'Internet et la transparence des programmes deviendront des caractéristiques clés. La combinaison de la blockchain avec l'IA/RWA a un potentiel énorme, et le calcul vérifiable en est l'une des infrastructures fondamentales. Dans le calcul vérifiable, les projets zk @RiscZero et @boundless_xyz réalisent le calcul vérifiable grâce à RISC-V et ZK VM. Depuis 2003, RiscZero évolue de zkvm à un zk L1 concret. Voici un partage d'une interview précédente de leur fondateur @zeroknowledgefm pour mieux comprendre l'équipe et les choix techniques du projet, ainsi que ses idées 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 dans des langages comme C, C++, Rust, similaire à 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 de 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) demande des données au host et les vérifie, 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 à l'intérieur du 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 ajouter des accélérateurs de multiplication de grands entiers et de corps 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 de 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é insuffisante des mathématiques 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, applicable à des scénarios comme DeFi, la sécurité de la chaîne d'approvisionnement, etc. Contenu complet de l'interview : image de long texte.