#可验证计算 - Interviu podcast CEO RiscZero Dezvoltarea rapidă a IA a crescut productivitatea, dar a redus și costul contrafacerii/fraudei. Mai multe RWA pe lanț, dar dacă activele din lanț sunt verificate și auditate programatic, dacă nu există o garanție de verificare, aceste active RWA se confruntă cu riscuri mari, îmi amintesc că a existat un val de audit al activelor CEX zk în 23-24 de ani, dar în viitor, sunt necesare mai multe RWA pe lanț, mai multă verificare a activelor și audit de urmărire. În viitor, verificabilitatea și transparența procedurală a internetului vor fi caracteristici esențiale. Există un mare potențial pentru combinația de blockchain și AI, iar calculul verificabil este nucleul infrastructurii. În calculul verificabil, proiectele zk @RiscZero și @boundless_xyz implementează calculul verificabil prin RISC-V și ZK VM. Atenție din 2003 RiscZero a evoluat de la zkvm la beton zk L1. Iată un interviu podcast @zeroknowledgefm cu fondatorii lor pentru a afla mai multe despre echipă și alegerile tehnice ale proiectului, viziunea de afaceri și multe altele. Acest interviu a fost realizat înainte de lansarea @boundless_xyz, dar interviurile anterioare au dezvăluit planurile pentru L1. Cum asculți bine în engleză? Ascultați direct originalul: Rezumatul interviului: Tehnologia de bază a Risc0 ZK VM și RISC-V: Risc0 a construit o mașină virtuală ZK care rulează cod RISC-V, care acceptă programe compilate în C, C++, Rust și alte limbaje, similare microcontrolerelor virtuale, cu proprietăți zero-knowledge (intrare și programe ascunse). A fost ales RISC-V: Este potrivit pentru implementare în circuite ZK deoarece este open source, fără restricții de proprietate intelectuală, simplu și eficient și are testare de conformitate și suport pentru modele formale. Confidențialitate și extensibilitate: Suportați dovada zero-knowledge a execuției programului și a programului în sine, concentrați-vă inițial pe extensibilitate pentru a susține ecologia complexă a aplicațiilor și confidențialitatea (cum ar fi identitatea ZK) ca direcție viitoare. Memorie vs. non-deterministă: Memoria este reprezentată ca un număr de 32 de biți, codificând starea inițială printr-o structură Merkle; Sunt acceptate solicitări de date nedeterministe, iar oaspetele (ZK VM) solicită date de la gazdă și verifică pentru a menține confidențialitatea. Tehnologie pentru implementarea și accelerarea aplicării STARK-urilor: Utilizați STARK-uri pentru a dovedi structurile de repetare, cum ar fi pașii de timp ai procesorului, care se potrivesc modelului de execuție de sincronizare al VM. Suport recursiv: În dezvoltare, validatorul Rust poate fi rulat în ZK VM pentru a verifica dovezile și a implementa demonstrații incrementale (de exemplu, de la blocuri de geneză la blocuri N+1). Accelerare hardware: în prezent până la 30.000 de cicluri/secundă pe M1 Pro, 1 milion de cicluri/secundă pentru Metal/CUDA și aproximativ 10 milioane de cicluri/secundă pentru GPU-ul 3090. Circuitele acceleratoare, cum ar fi SHA-256, sunt acceptate și sunt planificate să fie adăugate în viitor acceleratoare analogice cu domeniu finit și întregi mari. Paralelizare: procesele de demonstrație pot fi paralelizate, potrivite pentru accelerarea GPU, reduc latența și acceptă calcule la scară largă (de exemplu, rularea compilatorului). Vision & Application Cloud 2.0: Scopul este de a construi un cloud public descentralizat care să accepte DeFi, jocuri, NFT-uri și aplicații complexe (cum ar fi baze de date SQL, rețele sociale) și să atingă "costurile de tranzacție sunt atât de mici încât nu este necesară contoarea". Blockchain L1: Dezvoltați L1 și utilizați ZK pentru a optimiza mecanismul de consens ("Proof of Transaction"), care folosește cantitatea de calcul mai degrabă decât numărul de tranzacții pentru a determina cel mai lung lanț, susținând miliarde de tranzacții pe secundă. Cazuri de utilizare: acestea includ securitatea lanțului de aprovizionare (dovedirea faptului că binarele provin din codul sursă auditat), urmărirea activelor fizice și multe altele. Legătura dintre ecologie și ecologia viitorului: Este planificată integrarea cu alte blockchain-uri, cum ar fi Ethereum, prin punți sau validatori pentru a sprijini verificarea dovezilor Risc0 sau rularea EVM-urilor pe Ethereum. Foaie de parcurs: Versiunea actuală este open source, iar următoarea versiune (inclusiv accelerarea recursivă și GPU) va fi open source în curând. DevNet este planificat să fie lansat la sfârșitul anului 2022 sau începutul anului 2023, cu înregistrări beta lansate prin Twitter și altele. Risc0 există ca L1, se va conecta cu alte rețele sau clustere de rețea? Ceva de genul @VitalikButerin este eth, @gavinwood este @Polkadot, Cosmos? Brian spune că aproape sigur se va conecta. Tehnologia Risc0 este considerată un instrument aplicabil pe scară largă. Deși are propria viziune L1, dorește ca această tehnologie să servească și altor ecosisteme. Provocări și reflecții asupra ușurinței de programare: Reduceți bariera de intrare pentru dezvoltatorii cu limbaje și lanțuri de instrumente existente, fără a fi nevoiți să învețe limbi noi sau circuite aritmetice. Perspective de accelerare hardware: Pe termen scurt, GPU-urile sunt dominante, datorită matematicii imature și a ciclurilor lungi de dezvoltare ASIC. FPGA-urile și ASIC-urile pot fi utilizate în circuite SNARK specifice. Competiție și poziționare: Spre deosebire de alte proiecte ZK VM/EVM, Risc0 pune accentul pe versatilitate și scalarea la nivel de cloud, ținând cont de ecosistemul Ethereum și de alte rețele. Risc0 folosește RISC-V și STARK-uri pentru a construi mașini virtuale ZK pentru a rezolva problema de scalabilitate a sistemelor distribuite, cu scopul de a descentraliza cloud-ul public și de a sprijini calculul la scară largă, care păstrează confidențialitatea. Versiunea open-source actuală este disponibilă, accelerarea GPU și suportul de recursivitate vor fi disponibile în curând și este planificată să construiască L1 și să se integreze cu alte ecosisteme, potrivite pentru DeFi, securitatea lanțului de aprovizionare și alte scenarii Interviu complet: Imagine text lung