# Verifieerbare berekeningen - Podcastinterview 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 processen op het internet cruciale kenmerken worden. De combinatie van blockchain met AI/RWA heeft enorm potentieel, en verifieerbare berekeningen zijn een van de kerninfrastructuren hier. In verifieerbare berekeningen realiseren de zk-projecten @RiscZero en @boundless_xyz verifieerbare berekeningen via RISC-V en ZK VM. Sinds 2003 ben ik geïnteresseerd in RiscZero, van zkvm tot specifieke zk L1, en het is voortdurend in ontwikkeling. Hieronder deel ik een eerder interview met hun oprichter @zeroknowledgefm, om dieper inzicht te krijgen in het team en de technische keuzes, zakelijke ideeën, enz. Dit interview is gedaan voordat @boundless_xyz werd gepubliceerd, maar het eerdere interview heeft al de planning van L1 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 C, C++, Rust, enz., 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 de uitvoering van programma's als het programma zelf, 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 met 32-bits getallen, de initiële staat wordt gecodeerd via een Merkle-structuur; ondersteunt non-deterministische gegevensverzoeken, de gast (ZK VM) vraagt gegevens aan de host en verifieert deze, behoudt privacy. Technische implementatie en versnelling van STARKs-toepassingen: Gebruik 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 ZK VM, verifieert bewijzen en implementeert incrementele bewijzen (zoals van de genesisblok naar blok N+1). 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 versnellingscircuits voor eindige velden en grote gehele getallen toe te voegen. Parallelisatie: het bewijsproces kan parallel worden uitgevoerd, geschikt voor GPU-versnelling, verlaagt de latentie, 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 verifiers, 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 zijn. 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 ten goede komt. 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 ontwikkeling van ASIC's lang duurt; 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 ondersteunen voor grootschalige, privacy-beschermde berekeningen. 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 interviewinhoud: lange tekst afbeelding.