#可验证计算 - Rozhovor s generálním ředitelem RiscZero v podcastu Rychlý rozvoj umělé inteligence zvýšil produktivitu, ale také snížil náklady na padělání/podvody. Více RWA v řetězci, ale ať už jsou aktiva v řetězci programově ověřena a auditována, pokud neexistuje žádná záruka ověření, tato aktiva RWA čelí velkým rizikům, pamatuji si, že za 23-24 let došlo k vlně auditu aktiv CEX, ale v budoucnu je potřeba více RWA v řetězci, více ověřování a sledování aktiv. V budoucnu bude klíčovou vlastností ověřitelnost a procesní transparentnost internetu. Existuje velký potenciál pro kombinaci blockchainu s AI/RWA a ověřitelné výpočty jsou zde jednou ze základních infrastruktur. V oblasti verifiable computingu projekty zk @RiscZero a @boundless_xyz implementují verifiable computing prostřednictvím RISC-V a ZK VM. Pozornost od roku 2003 RiscZero se vyvíjí od zkvm k concrete zk L1. Zde je rozhovor s jejich zakladateli v podcastu z roku @zeroknowledgefm, kde se dozvíte více o týmu a technických rozhodnutích projektu, obchodní vizi a dalších. Tento rozhovor byl pořízen před vydáním @boundless_xyz, ale předchozí rozhovory odhalily plány pro L1. Jak se ti dobře poslouchá anglicky? Poslechněte si přímo originál: Shrnutí rozhovoru: Základní technologie Risc0 ZK VM a RISC-V: Společnost Risc0 vytvořila ZK VM s kódem RISC-V, který podporuje programy zkompilované v jazycích C, C++, Rust a dalších, podobně jako virtuální mikrokontroléry, s vlastnostmi nulových znalostí (skryté vstupy a programy). Byl vybrán RISC-V: Je vhodný pro implementaci v obvodech ZK, protože je open source, bez omezení duševního vlastnictví, jednoduchý a efektivní a má testování shody a podporu formálních modelů. Ochrana osobních údajů a rozšiřitelnost: Podpora důkazů o provádění programu a samotném programu s nulovými znalostmi, zpočátku se zaměřte na rozšiřitelnost pro podporu komplexní ekologie aplikací a ochranu osobních údajů (jako je identita ZK) jako budoucí směr. Paměť vs. nedeterministická: Paměť je reprezentována jako 32bitové číslo, kódující počáteční stav prostřednictvím Merkleovy struktury; Podporovány jsou nedeterministické požadavky na data a host (ZK VM) požaduje data od hostitele a ověřuje, zda je zachováno soukromí. Technologie pro implementaci a zrychlení aplikace STARKs: Pomocí STARKs můžete prokázat opakující se struktury, jako jsou časové kroky procesoru, které odpovídají modelu provádění časování virtuálního počítače. Rekurzivní podpora: Ve vývoji lze validátor Rust spustit ve virtuálním počítači ZK a ověřovat důkazy a implementovat přírůstkové důkazy (např. z bloků genesis na bloky N+1). Hardwarová akcelerace: v současné době až 30 000 cyklů/s u M1 Pro, 1 milion cyklů/s u Metal/CUDA a přibližně 10 milionů cyklů/s u GPU 3090. Akcelerační obvody jako SHA-256 jsou podporovány a v budoucnu se plánuje přidání akcelerátorů s konečnou doménou a velkých celočíselných analogových akcelerátorů. Paralelizace: Důkazní procesy lze paralelizovat, jsou vhodné pro akceleraci GPU, snižují latenci a podporují rozsáhlé výpočty (např. běh kompilátoru). Vision & Application Cloud 2.0: Cílem je vybudovat decentralizovaný veřejný cloud, který podporuje DeFi, hry, NFT a složité aplikace (jako jsou SQL databáze, sociální média) a dosahuje "transakčních nákladů jsou tak nízké, že není potřeba žádné měření". Blockchain L1: Vyvíjejte L1 a používejte ZK k optimalizaci mechanismu konsensu ("Proof of Transaction"), který k určení nejdelšího řetězce, který podporuje miliardy transakcí za sekundu, používá spíše množství výpočtu než počet transakcí. Případy použití: Patří mezi ně zabezpečení dodavatelského řetězce (prokázání, že binární soubory pocházejí z auditovaného zdrojového kódu), sledování fyzických datových zdrojů a další. Ekologie a ekologie budoucnosti Souvislosti: Plánuje se integrace s dalšími blockchainy, jako je Ethereum, prostřednictvím mostů nebo validátorů pro podporu ověřování důkazů Risc0 nebo spouštění EVM na Ethereu. Roadmapa: Aktuální verze je open source a další verze (včetně rekurzivní akcelerace a akcelerace GPU) bude brzy open source. Spuštění DevNetu je plánováno na konec roku 2022 nebo začátek roku 2023, přičemž beta registrace budou zveřejněny prostřednictvím Twitteru a dalších. Risc0 existuje jako L1, bude se připojovat k jiným sítím nebo síťovým clusterům? Něco jako @VitalikButerin's eth, @gavinwood @Polkadot, Cosmos? Brian říká, že se téměř jistě propojí. Technologie Risc0 je považována za široce použitelný nástroj. I když má svou vlastní vizi L1, chce, aby tato technologie sloužila i dalším ekosystémům. Výzvy a úvahy o snadnosti programování: Snižte vstupní bariéru pro vývojáře s existujícími jazyky a sadami nástrojů, aniž byste se museli učit nové jazyky nebo aritmetické obvody. Vyhlídky na hardwarovou akceleraci: V krátkodobém horizontu jsou GPU dominantní, a to kvůli nezralé matematice a dlouhým vývojovým cyklům ASIC. FPGA a ASIC mohou být použity ve specifických obvodech SNARK. Konkurence a umístění: Na rozdíl od jiných projektů ZK VM/EVM klade Risc0 důraz na všestrannost a škálování na úrovni cloudu s přihlédnutím k ekosystému Ethereum a dalším sítím. Risc0 využívá RISC-V a STARKs k vytváření virtuálních počítačů ZK k řešení problému škálovatelnosti distribuovaných systémů s cílem decentralizovat veřejný cloud a podporovat rozsáhlé výpočty zachovávající soukromí. Aktuální open-source verze je k dispozici, brzy bude k dispozici podpora akcelerace GPU a rekurze a plánuje se vybudování L1 a integrace s dalšími ekosystémy, vhodnými pro DeFi, zabezpečení dodavatelského řetězce a další scénáře Celý rozhovor: Dlouhý textový obrázek