# Verifieerbare berekeningen - Podcast interview met de CEO van RiscZero De snelle ontwikkeling van AI verhoogt de productiviteit, maar verlaagt ook de kosten van vervalsing/fraude. Meer RWA op de blockchain, maar worden de on-chain activa geverifieerd en geaudit? Zonder verificatie lopen deze RWA-activa een groot risico. Ik herinner me dat er in 2023-2024 een trend was van zk-audits voor CEX-activa, maar in de toekomst, met meer RWA op de blockchain, is er een grotere behoefte aan activa-verificatie en tracking audits. In de toekomst zullen de verifieerbaarheid en transparantie van het internet cruciale kenmerken worden. De combinatie van blockchain en AI heeft enorm potentieel, en verifieerbare berekeningen zijn de kern van de infrastructuur. In verifieerbare berekeningen zijn er zk-projecten zoals @RiscZero en @boundless_xyz die verifieerbare berekeningen realiseren via RISC-V en ZK VM. Sinds 2003 volg ik RiscZero, van zkvm tot specifieke zk L1, en het is voortdurend in ontwikkeling. Hieronder deel ik een eerdere podcastinterview met hun oprichter @zeroknowledgefm, om dieper inzicht te krijgen in dit team en de technische keuzes, zakelijke ideeën, enz. Dit interview is gedaan voordat @boundless_xyz werd uitgebracht, maar het eerdere interview heeft al de L1-plannen onthuld. Als je goed bent in het luisteren naar Engels? Luister dan direct naar de originele versie: Samenvatting van het interview: De kerntechnologie van Risc0 ZK VM en RISC-V: Risc0 heeft een ZK VM gebouwd die RISC-V-code uitvoert en programma's ondersteunt die zijn gecompileerd in talen zoals C, C++, Rust, vergelijkbaar met een virtuele microcontroller, met zero-knowledge eigenschappen (verborgen invoer en programma). Keuze voor RISC-V: vanwege de open source, geen intellectuele eigendomsbeperkingen, eenvoudig en efficiënt, en met ondersteuning voor compliance tests en formele modellen, is het geschikt voor implementatie in ZK-circuits. Privacy en schaalbaarheid: ondersteunt zero-knowledge bewijzen voor zowel programmatuur als de uitvoering ervan, met een aanvankelijke focus op schaalbaarheid om complexe applicatie-ecosystemen te ondersteunen, privacy (zoals ZK-identiteit) is de richting voor de toekomst. Geheugen en non-determinisme: geheugen wordt weergegeven als 32-bits getallen, de initiële staat wordt gecodeerd via een Merkle-structuur; ondersteunt non-deterministische gegevensverzoeken, waarbij de gast (ZK VM) gegevens van de host aanvraagt en verifieert, en privacy behoudt. Technische implementatie en versnelling van STARKs-toepassingen: Gebruik van STARKs om herhalende structuren (zoals processor tijdstappen) te bewijzen, geschikt voor het tijdsuitvoeringsmodel van VM. Recursieve ondersteuning: in ontwikkeling, ondersteunt het uitvoeren van Rust-verifiers binnen de ZK VM, verifieert bewijzen en implementeert incrementele bewijzen (zoals van de genesisblok naar N+1 blok). Hardwareversnelling: momenteel tot 30.000 cycli/seconde op M1 Pro, GPU-versnelling (Metal/CUDA) verwacht 1.000.000 cycli/seconde, 3090 GPU ongeveer 10.000.000 cycli/seconde. Ondersteunt versnellingscircuits zoals SHA-256, met plannen om in de toekomst eindige velden en grote gehele getallen modulaire vermenigvuldigingsversnellers toe te voegen. Parallelisatie: het bewijsproces kan parallel worden uitgevoerd, geschikt voor GPU-versnelling, verlaagt de latentie en ondersteunt grootschalige berekeningen (zoals compileruitvoering). Visie en toepassingen Cloud 2.0: Het doel is om een gedecentraliseerde publieke cloud te bouwen, die DeFi, games, NFT's en complexe applicaties (zoals SQL-databases, sociale media) ondersteunt, met als doel "transactiekosten zo laag dat ze niet meetbaar zijn". L1 blockchain: Ontwikkeling van L1, gebruik van ZK om het consensusmechanisme te optimaliseren ("transactiebewijs"), gebruik van de hoeveelheid berekeningen in plaats van het aantal transacties om de langste keten te bepalen, ondersteunt tientallen miljarden transacties per seconde. Use cases: inclusief beveiliging van de toeleveringsketen (bewijzen dat binaire bestanden afkomstig zijn van geverifieerde broncode), tracking van fysieke activa, enz. Ecosysteem en toekomstige ecosysteemverbinding: Plannen om te integreren met andere blockchains (zoals Ethereum) via bruggen of validators, ondersteuning voor het verifiëren van Risc0-bewijzen of het uitvoeren van EVM op Ethereum. Roadmap: de huidige versie is open source, de volgende versie (inclusief recursie en GPU-versnelling) zal binnenkort open source worden. Plannen om DevNet eind 2022 of begin 2023 uit te brengen, met aankondigingen voor testinschrijvingen via Twitter en andere kanalen. Risc0 bestaat als L1, zal het verbinding maken met andere netwerken of netwerkclusters? Zoals @VitalikButerin's eth, @gavinwood's @Polkadot, Cosmos en dergelijke? Brian gaf aan dat het vrijwel zeker zal verbinden. Hij beschouwt Risc0-technologie als een breed toepasbaar hulpmiddel. Hoewel er een eigen L1-visie is, hoopt hij ook dat deze technologie andere ecosystemen zal dienen. Uitdagingen en overpeinzingen over programmeerbaarheid: Verlagen van de drempel voor ontwikkelaars door gebruik te maken van bestaande talen en toolchains, zonder dat ze een nieuwe taal of rekenkundige circuits hoeven te leren. Vooruitzichten voor hardwareversnelling: Op korte termijn domineren GPU's, omdat de wiskunde nog niet volwassen is en de ontwikkelingscyclus van ASIC's lang is; FPGA's en ASIC's kunnen worden toegepast in specifieke SNARK-circuits. Concurrentie en positionering: In tegenstelling tot andere ZK VM/EVM-projecten benadrukt Risc0 de veelzijdigheid en cloud-niveau schaalbaarheid, met aandacht voor zowel het Ethereum-ecosysteem als andere netwerken. Risc0 bouwt een ZK VM met RISC-V en STARKs om het schaalbaarheidsprobleem van gedistribueerde systemen op te lossen, met als doel een gedecentraliseerde publieke cloud te creëren die grootschalige, privacy-beschermde berekeningen ondersteunt. De huidige open source versie is beschikbaar, GPU-versnelling en recursieve ondersteuning komen eraan, met plannen om L1 te bouwen en te integreren met andere ecosystemen, geschikt voor DeFi, beveiliging van de toeleveringsketen en andere scenario's. Volledige inhoud van het interview: lange tekst afbeelding.