reaaliaikaiset todisteet Q&A-:) Mikä se on? ELI12. V: Nörttiarmeija ratkaisi juuri scifi-ongelman: jokaisen Ethereumin pääverkon lohkon todistaminen reaaliajassa. Nämä zk-todistukset ovat eksponentiaalisesti halvempia todentaa kuin transaktioiden uudelleensuorittaminen – vain muutama millisekunti käytetystä kaasusta riippumatta. Thicc lohkot, pienet validaattorit. Hajauttaminen maxis iloitsee. Eikö reaaliaikainen osoittautunut mahdottomaksi kuun matematiikka? V: Oli. Viisi vuotta sitten olimme viiden suuruusluokan päässä. Mutta tekniikka jatkoi kasvuaan 10 kertaa vuodessa, ja nyt olemme täällä. Älä häivytä eksponentiaaleja. Myös eksponentiaaleista: → eivät häivytä kvanttitietokoneita, jotka rikkovat ECDSA:ta → eivät haalistu puoliintumisia, jotka rikkovat Bitcoinin tietoturvan Miten Ethereum L1:stä tulee "pohjautuva ja natiivi rollup"? V: Puretaan se. → perustuu: L1-ehdottajat tilaavat tapahtumat. Ethereum L1 on peruskerros – se on tautologisesti pohjautuva. → natiivi: L1 suorittaa transaktiot vahvistetun EVM-tilansiirtotoiminnon kautta. Määritelmän mukaan Ethereum L1 on natiivi. Tulee aina olemaan. → kooste: Koosteessa on onchain-tietoja ja ketjun ulkopuolinen suoritus. Murisemalla pääverkon EVM-lohkoja Ethereum L1 muuttuu zk-rollupiksi. Rollupit avaavat suuret kaasurajat. Pohja on jo 35 megagaga/s – 20x Ethereum L1. Base tavoittelee 1 gigagas/s, Ethereum L1 voi myös päästä sinne. Wen gigagas L1? V: Ethproofs-puhelu #3 on omistettu gigagas L1:lle – virittäydy. EIP-9698:n kanssa Dankrad ehdottaa ~3x/vuosi kaasutöyssyjä tai ~10x 2 vuoden välein. Se on 1 000-kertainen 6 vuodessa. Kunnioitettavia – mutta silti tulokaslukuja. Optimistinen näkemykseni? Nyt kun zkVM:t vastaavat EVM:n suorituskykyrajoituksia, voi seurata zkVM:n parannuksia. Jos saavutamme jatkuvasti 10x/vuosi, se on 1 gigagas/s 3 vuodessa. Työskentelin Dankradin kanssa yli vuosikymmenen – todellisuus jää yleensä hänen varovaisuutensa ja minun hopiumini väliin. Eikö zkVM ole buginen? Entä muodollinen vahvistus? V: Virallinen vahvistus on loppupeli – ei ensimmäinen vaihe. Lyhyen aikavälin strategia: zkVM-monimuotoisuus. Q2:n loppuun mennessä kourallinen zkVM:iä osuu reaaliaikaiseen todistukseen. Aivan kuten CL- ja EL-asiakkaiden, jokaisen yksittäisen asiakkaan oletetaan olevan buginen. Turvallisuus syntyy monimuotoisuudesta. Voiko matalan latenssin todistaminen skaalautua gigakaasuksi? V: Kyllä. SNARK:n todistaminen on massiivisesti rinnastettavissa. Vain alkuperäinen x86-suoritus ja lohkominen on peräkkäinen. EIP-7825:ssä ehdotetaan transaktiota kohden käytettävän kaasun enimmäismäärän ylärajaa. Tämä mahdollistaa helpon paloittelun tapahtuman rajoilla. Rinnakkaisuuden asteikot. Viive pysyy alhaisena. Mikä on seuraava zkVM-pullonkaula? Valta. Uskottava 1-of-n todistajan elävyys tarkoittaa, että kodin todistamisen pitäisi olla harrastajien saatavilla. Kohtuullinen tavoite voi olla 10 kW tai vähemmän koeklusteria kohti. Kuinka kasvatamme kaasurajaa 1 000-kertaiseksi 10 kW:n budjetilla? → ohjelmisto: todistejärjestelmät, piirit, algot jatkavat yhdistämistä → laitteisto: Mooren laki + SNARK ASIC:t → hajautettu testaus: jaa kuorma luotettavasti