#可验证计算 - RiscZero CEO Podcast Intervju Den raske utviklingen av AI har økt produktiviteten, men det har også redusert kostnadene ved forfalskning/svindel. Mer RWA på kjeden, men om eiendelene i kjeden er programmatisk verifisert og revidert, hvis det ikke er noen verifiseringsgaranti, står disse RWA-eiendelene overfor store risikoer, jeg husker at det var en bølge av CEX asset zk-revisjon på 23-24 år, men i fremtiden er det behov for mer RWA på kjeden, mer aktivaverifisering og sporingsrevisjon. I fremtiden vil etterprøvbarhet og prosessuell åpenhet på Internett være nøkkelfunksjoner. Det er et stort potensial for at blokkjede kan kombineres med AI/RWA, og verifiserbar databehandling er en av kjerneinfrastrukturene her. I verifiserbar databehandling @RiscZero og @boundless_xyz zk-prosjekter implementere verifiserbar databehandling gjennom RISC-V og ZK VM. Oppmerksomhet fra 2003 RiscZero har utviklet seg fra zkvm til betong zk L1. Her er et @zeroknowledgefm podcastintervju med grunnleggerne deres for å lære mer om teamet og prosjektets tekniske valg, forretningsvisjon og mer. Dette intervjuet ble gjort før utgivelsen av @boundless_xyz, men tidligere intervjuer har avslørt planene for L1. Hvordan lytter du godt på engelsk? Lytt direkte til originalen: Sammendrag av intervju: Risc0s kjerneteknologi ZK VM og RISC-V: Risc0 har bygget en ZK VM som kjører RISC-V-kode, som støtter programmer kompilert i C, C++, Rust og andre språk, som ligner på virtuelle mikrokontrollere, med nullkunnskapsegenskaper (skjulte innganger og programmer). RISC-V ble valgt: Den er egnet for implementering i ZK-kretser fordi den er åpen kildekode, fri for immaterielle begrensninger, enkel og effektiv, og har samsvarstesting og formell modellstøtte. Personvern og utvidbarhet: Støtt nullkunnskapsbevis på programutførelse og selve programmet, fokuser i utgangspunktet på utvidbarhet for å støtte kompleks applikasjonsøkologi, og personvern (for eksempel ZK-identitet) som fremtidig retning. Minne vs. ikke-deterministisk: Minne er representert som et 32-biters tall, som koder den opprinnelige tilstanden gjennom en Merkle-struktur; Ikke-deterministiske dataforespørsler støttes, og gjesten (ZK VM) ber om data fra verten og verifiserer for å opprettholde personvernet. Teknologi for å implementere og akselerere bruken av STARKs: Bruk STARK-er til å bevise gjentatte strukturer, for eksempel prosessortidstrinn, som passer til tidsberegningsutførelsesmodellen til den virtuelle maskinen. Rekursiv støtte: Under utvikling kan Rust-validatoren kjøres i ZK VM for å verifisere bevis og implementere inkrementelle bevis (f.eks. fra genesis-blokker til N+1-blokker). Maskinvareakselerasjon: for tiden opptil 30 000 sykluser/sek på M1 Pro, 1 million sykluser/sek for Metal/CUDA, og omtrent 10 millioner sykluser/sek for 3090 GPU. Akseleratorkretser som SHA-256 støttes, og endelige domene- og store heltallsanaloge akseleratorer er planlagt lagt til i fremtiden. Parallellisering: Bevisprosesser kan parallelliseres, egnet for GPU-akselerasjon, redusere ventetid og støtte storskala beregning (f.eks. kompilatorkjøring). Visjon og applikasjonssky 2.0: Målet er å bygge en desentralisert offentlig sky som støtter DeFi, spill, NFT-er og komplekse applikasjoner (som SQL-databaser, sosiale medier), og oppnår "transaksjonskostnadene er så lave at ingen måling er nødvendig". L1 Blockchain: Utvikle L1 og bruk ZK til å optimalisere konsensusmekanismen («Proof of Transaction»), som bruker mengden beregning i stedet for antall transaksjoner for å bestemme den lengste kjeden, og støtter milliarder av transaksjoner per sekund. Brukstilfeller: Disse inkluderer forsyningskjedesikkerhet (som beviser at binærfiler kommer fra revidert kildekode), sporing av fysiske eiendeler og mer. Økologi og fremtidig økologi Forbindelse: Det er planlagt å integrere med andre blokkjeder som Ethereum gjennom broer eller validatorer for å støtte verifisering av Risc0-bevis eller kjøring av EVM-er på Ethereum. Veikart: Den nåværende versjonen er åpen kildekode, og neste versjon (inkludert rekursiv og GPU-akselerasjon) vil snart være åpen kildekode. DevNet er planlagt lansert i slutten av 2022 eller begynnelsen av 2023, med betaregistreringer utgitt via Twitter og andre. Risc0 eksisterer som L1, vil den koble til andre nettverk eller nettverksklynger? Noe sånt som @VitalikButerin eth, @gavinwood er @Polkadot, Cosmos? Brian sier at det nesten helt sikkert vil koble sammen. Risc0-teknologi regnes som et allment anvendelig verktøy. Selv om den har sin egen L1-visjon, ønsker den også at denne teknologien skal tjene andre økosystemer. Utfordringer og refleksjoner om enkel programmering: Senk inngangsbarrieren for utviklere med eksisterende språk og verktøykjeder uten å måtte lære nye språk eller aritmetiske kretser. Utsikter for maskinvareakselerasjon: På kort sikt er GPUer dominerende, på grunn av umoden matematikk og lange ASIC-utviklingssykluser. FPGA-er og ASIC-er kan brukes i spesifikke SNARK-kretser. Konkurranse og posisjonering: I motsetning til andre ZK VM/EVM-prosjekter, legger Risc0 vekt på allsidighet og skalering på skynivå, med tanke på Ethereum-økosystemet og andre nettverk. Risc0 utnytter RISC-V og STARK-er til å bygge virtuelle ZK-maskiner for å løse skalerbarhetsproblemet til distribuerte systemer, med mål om å desentralisere den offentlige skyen og støtte storskala, personvernbevarende databehandling. Den nåværende åpen kildekode-versjonen er tilgjengelig, GPU-akselerasjon og rekursjonsstøtte vil snart være tilgjengelig, og det er planlagt å bygge L1 og integrere med andre økosystemer, egnet for DeFi, forsyningskjedesikkerhet og andre scenarier Hele intervjuet: Langt tekstbilde