#可验证计算 - Intervju med RiscZero VD Podcast Den snabba utvecklingen av AI har ökat produktiviteten, men den har också minskat kostnaderna för förfalskningar/bedrägerier. Mer RWA i kedjan, men oavsett om tillgångarna i kedjan är programmatiskt verifierade och granskade, om det inte finns någon verifieringsgaranti, står dessa RWA-tillgångar inför stora risker, jag minns att det fanns en våg av CEX-tillgångszk-revision i 23-24 år, men i framtiden behövs mer RWA i kedjan, mer tillgångsverifiering och spårningsrevision. I framtiden kommer det att vara viktigt att Internet är verifierbart och öppet i förfarandena. Det finns en stor potential för kombinationen av blockchain och AI, och verifierbar databehandling är kärnan i infrastrukturen. Inom verifierbar databehandling implementerar zk-projekt @RiscZero och @boundless_xyz verifierbar databehandling via RISC-V och ZK VM. Uppmärksamhet från 2003 RiscZero har utvecklats från zkvm till betong zk L1. Här är en @zeroknowledgefm podcastintervju med deras grundare för att lära dig mer om teamet och projektets tekniska val, affärsvision och mer. Den här intervjun gjordes innan @boundless_xyz släpptes, men tidigare intervjuer har avslöjat planerna för L1. Hur lyssnar du bra på engelska? Lyssna direkt på originalet: Sammanfattning av intervjun: Risc0:s kärnteknik ZK VM och RISC-V: Risc0 har byggt en ZK VM som kör RISC-V-kod, som stöder program kompilerade i C, C++, Rust och andra språk, liknande virtuella mikrokontroller, med nollkunskapsegenskaper (dold inmatning och program). Valet föll på RISC-V: Det är lämpligt för implementering i ZK-kretsar eftersom det är öppen källkod, fritt från begränsningar för immateriella rättigheter, enkelt och effektivt och har överensstämmelsetestning och formellt modellstöd. Sekretess och utökningsbarhet: Stöd för nollkunskapsbevis för programkörning och själva programmet, fokuserar inledningsvis på utökningsbarhet för att stödja komplex programekologi och sekretess (till exempel ZK-identitet) som den framtida riktningen. Minne kontra icke-deterministiskt: Minnet representeras som ett 32-bitars tal som kodar det ursprungliga tillståndet genom en Merkle-struktur; Icke-deterministiska databegäranden stöds och gästen (ZK VM) begär data från värden och verifierar för att upprätthålla sekretessen. Teknik för att implementera och påskynda tillämpningen av STARK: Använd STARKs för att bevisa upprepade strukturer, till exempel processortidssteg, som passar tidskörningsmodellen för den virtuella datorn. Rekursivt stöd: Under utveckling kan Rust-valideraren köras i ZK VM för att verifiera bevis och implementera inkrementella bevis (t.ex. från genesis-block till N+1-block). Hårdvaruacceleration: för närvarande upp till 30 000 cykler/sek på M1 Pro, 1 miljon cykler/sek för Metal/CUDA och cirka 10 miljoner cykler/sek för 3090 GPU. Acceleratorkretsar som SHA-256 stöds, och analoga acceleratorer med ändlig domän och stora heltal planeras att läggas till i framtiden. Parallellisering: Bevisprocesser kan parallelliseras, vara lämpliga för GPU-acceleration, minska svarstiden och stödja storskalig beräkning (t.ex. kompilatorkörning). Vision och Application Cloud 2.0: Målet är att bygga ett decentraliserat offentligt moln som stöder DeFi, spel, NFT:er och komplexa applikationer (som SQL-databaser, sociala medier) och uppnår att "transaktionskostnaderna är så låga att ingen mätning krävs". L1 Blockkedja: Utveckla L1 och använd ZK för att optimera konsensusmekanismen ("Proof of Transaction"), som använder beräkningsmängden snarare än antalet transaktioner för att bestämma den längsta kedjan, vilket stöder miljarder transaktioner per sekund. Användningsfall: Dessa inkluderar säkerhet i leveranskedjan (som bevisar att binärfiler kommer från granskad källkod), spårning av fysiska tillgångar med mera. Samband mellan ekologi och framtidsekologi: Det är planerat att integreras med andra blockkedjor som Ethereum genom broar eller validerare för att stödja verifiering av Risc0-bevis eller köra EVM:er på Ethereum. Översikt: Den aktuella versionen är öppen källkod och nästa version (inklusive rekursiv acceleration och GPU-acceleration) kommer snart att vara öppen källkod. DevNet är planerat att lanseras i slutet av 2022 eller början av 2023, med betaregistreringar som släpps via Twitter och andra. Risc0 finns som L1, kommer den att ansluta till andra nätverk eller nätverkskluster? Något i stil med @VitalikButerin's eth, @gavinwood's @Polkadot, Cosmos? Brian säger att den nästan säkert kommer att ansluta. Risc0-tekniken anses vara ett allmänt användbart verktyg. Även om de har sin egen L1-vision, vill de också att den här tekniken ska tjäna andra ekosystem. Utmaningar och reflektioner kring enkel programmering: Sänk inträdesbarriären för utvecklare med befintliga språk och verktygskedjor utan att behöva lära sig nya språk eller aritmetiska kretsar. Utsikter för hårdvaruacceleration: På kort sikt är GPU:er dominerande, på grund av omogen matematik och långa ASIC-utvecklingscykler. FPGA:er och ASIC:er kan användas i specifika SNARK-kretsar. Tävling & Positionering: Till skillnad från andra ZK VM/EVM-projekt betonar Risc0 mångsidighet och skalning på molnnivå, med hänsyn till Ethereums ekosystem och andra nätverk. Risc0 använder RISC-V och STARKs för att bygga virtuella ZK-datorer för att lösa skalbarhetsproblemet med distribuerade system, med målet att decentralisera det offentliga molnet och stödja storskalig, integritetsbevarande databehandling. Den nuvarande versionen med öppen källkod är tillgänglig, stöd för GPU-acceleration och rekursion kommer snart att finnas tillgängligt, och det är planerat att bygga L1 och integrera med andra ekosystem, lämpliga för DeFi, säkerhet i leveranskedjan och andra scenarier Hela intervjun: Lång textbild