#可验证计算 - RiscZeron toimitusjohtajan podcast-haastattelu Tekoälyn nopea kehitys on lisännyt tuottavuutta, mutta se on myös vähentänyt väärennösten ja petosten kustannuksia. Lisää RWA:ta ketjussa, mutta riippumatta siitä, tarkastetaanko ja tarkastetaanko ketjun omaisuus ohjelmallisesti, jos varmennustakuuta ei ole, näihin RWA-omaisuuseriin kohdistuu suuria riskejä, muistan, että 23-24 vuoden kuluttua oli CEX-omaisuuden zk-auditoinnin aalto, mutta tulevaisuudessa tarvitaan enemmän RWA:ta ketjussa, enemmän omaisuuden todentamista ja seurantatarkastusta. Tulevaisuudessa Internetin todennettavuus ja menettelyjen läpinäkyvyys ovat keskeisiä piirteitä. Lohkoketjun ja tekoälyn yhdistämisessä on suuria mahdollisuuksia, ja todennettavissa oleva laskenta on infrastruktuurin ydin. Todennettavissa olevassa laskennassa zk-projektit @RiscZero ja @boundless_xyz toteuttavat todennettavissa olevaa laskentaa RISC-V- ja ZK VM:n kautta. Huomio vuodelta 2003 RiscZero on kehittynyt zkvm:stä betoniin zk L1. Tässä on @zeroknowledgefm podcast-haastattelu heidän perustajiensa kanssa, jotta saat lisätietoja tiimistä ja projektin teknisistä valinnoista, liiketoimintavisiosta ja muusta. Tämä haastattelu tehtiin ennen @boundless_xyz:n julkaisua, mutta aiemmat haastattelut ovat paljastaneet L1:n suunnitelmat. Miten kuuntelet hyvin englanniksi? Kuuntele suoraan alkuperäistä: Haastattelun yhteenveto: Risc0:n ydinteknologia ZK VM ja RISC-V: Risc0 on rakentanut RISC-V-koodia käyttävän ZK VM:n, joka tukee C-, C++-, Rust- ja muilla kielillä käännettyjä ohjelmia, jotka ovat samanlaisia kuin virtuaaliset mikro-ohjaimet, nollatieto-ominaisuuksilla (piilotettu syöte ja ohjelmat). RISC-V valittiin: Se soveltuu toteutettavaksi ZK-piireissä, koska se on avoimen lähdekoodin, vapaa immateriaalioikeuksien rajoituksista, yksinkertainen ja tehokas, ja siinä on vaatimustenmukaisuustestaus ja muodollinen mallituki. Yksityisyys ja laajennettavuus: Tukee nollatietotodisteita ohjelman suorittamisesta ja itse ohjelmasta, keskity aluksi laajennettavuuteen monimutkaisen sovellusekologian tukemiseksi ja yksityisyyteen (kuten ZK-identiteetti) tulevaisuuden suunnana. Muisti vs. ei-deterministinen: Muisti esitetään 32-bittisena lukuna, joka koodaa alkutilan Merkle-rakenteen kautta; Ei-deterministisiä tietopyyntöjä tuetaan, ja vieras (ZK VM) pyytää tietoja isännältä ja varmistaa yksityisyyden säilyttämisen. Teknologia STARK:ien toteuttamiseksi ja käytön nopeuttamiseksi: Käytä STARK:ia todistaaksesi toistuvia rakenteita, kuten prosessorin aikavaiheita, jotka sopivat VM:n ajoituksen suoritusmalliin. Rekursiivinen tuki: Kehityksessä Rust-validaattori voidaan suorittaa ZK VM:ssä todisteiden tarkistamiseksi ja inkrementaalisten todistusten toteuttamiseksi (esim. genesis-lohkoista N+1-lohkoihin). Laitteistokiihdytys: tällä hetkellä jopa 30 000 sykliä sekunnissa M1 Prossa, 1 miljoona sykliä sekunnissa Metal/CUDA:ssa ja noin 10 miljoonaa sykliä sekunnissa 3090 GPU:ssa. Kiihdytinpiirejä, kuten SHA-256, tuetaan, ja tulevaisuudessa on tarkoitus lisätä äärellisen alueen ja suuria kokonaislukuisia analogisia kiihdyttimiä. Rinnakkaistaminen: Todisteprosessit voidaan rinnaistaa, mikä soveltuu GPU-kiihdytykseen, vähentää latenssia ja tukea laajamittaista laskentaa (esim. kääntäjän ajoa). Vision & Application Cloud 2.0: Tavoitteena on rakentaa hajautettu julkinen pilvi, joka tukee DeFiä, pelejä, NFT:itä ja monimutkaisia sovelluksia (kuten SQL-tietokantoja, sosiaalista mediaa) ja saavuttaa "transaktiokustannukset ovat niin alhaiset, että mittausta ei tarvita". L1-lohkoketju: Kehitä L1 ja käytä ZK:ta optimoidaksesi konsensusmekanismin ("Proof of Transaction"), joka käyttää laskennan määrää transaktioiden lukumäärän sijaan pisimmän ketjun määrittämiseen, mikä tukee miljardeja transaktioita sekunnissa. Käyttötapaukset: Näitä ovat toimitusketjun suojaus (sen todistaminen, että binääritiedostot ovat peräisin tarkastetusta lähdekoodista), fyysisen omaisuuden seuranta ja paljon muuta. Ekologian ja tulevaisuuden ekologian yhteys: Se on tarkoitus integroida muihin lohkoketjuihin, kuten Ethereumiin, siltojen tai validaattoreiden kautta tukemaan Risc0-todisteiden tarkistamista tai EVM:ien suorittamista Ethereumissa. Etenemissuunnitelma: Nykyinen versio on avoimen lähdekoodin, ja seuraava versio (mukaan lukien rekursiivinen ja GPU-kiihdytys) on pian avoimen lähdekoodin. DevNet on tarkoitus julkaista vuoden 2022 lopulla tai vuoden 2023 alussa, ja beta-rekisteröinnit julkaistaan Twitterin ja muiden kautta. Risc0 on olemassa nimellä L1, muodostaako se yhteyden muihin verkkoihin tai verkkoklustereihin? Jotain sellaista kuin @VitalikButerin eth, @gavinwood @Polkadot, Cosmos? Brian sanoo, että se yhdistää lähes varmasti. Risc0-tekniikkaa pidetään laajalti sovellettavana työkaluna. Vaikka sillä on oma L1-visionsa, se haluaa tämän teknologian palvelevan myös muita ekosysteemejä. Haasteita ja pohdintoja ohjelmoinnin helppoudesta: Madalna markkinoille pääsyn kynnystä kehittäjille, joilla on olemassa olevia kieliä ja työkaluketjuja ilman, että heidän tarvitsee opetella uusia kieliä tai aritmeettisia piirejä. Laitteiston kiihdytysnäkymät: Lyhyellä aikavälillä GPU:t ovat hallitsevia epäkypsän matematiikan ja pitkien ASIC-kehityssyklien vuoksi. FPGA- ja ASIC-piirejä voidaan käyttää tietyissä SNARK-piireissä. Kilpailu ja sijoittuminen: Toisin kuin muut ZK VM/EVM-projektit, Risc0 korostaa monipuolisuutta ja pilvitason skaalausta ottaen huomioon Ethereum-ekosysteemin ja muut verkot. Risc0 hyödyntää RISC-V:tä ja STARK:ia rakentaakseen ZK-virtuaalikoneita hajautettujen järjestelmien skaalautuvuusongelman ratkaisemiseksi tavoitteenaan hajauttaa julkinen pilvi ja tukea laajamittaista, yksityisyyttä suojaavaa tietojenkäsittelyä. Nykyinen avoimen lähdekoodin versio on saatavilla, GPU-kiihdytys- ja rekursiotuki on saatavilla pian, ja suunnitelmissa on rakentaa L1 ja integroitua muihin ekosysteemeihin, jotka soveltuvat DeFiin, toimitusketjun turvallisuuteen ja muihin skenaarioihin Koko haastattelu: Pitkä tekstikuva