Hash-pohjaiset SNARKit ovat nousemassa keskeiseksi osaksi Ethereumin post-kvanttikarttaa, mutta kuinka turvallisia ne oikeastaan ovat? Tässä jaksossa (osa 3 @leanEthereum minisarjasta) @nico_mnbl keskustelee @GiacomoFenzi ja @asanso kanssa tutkiakseen post-kvantti-SNARKien teoriaa ja turvallisuutta. Ne kattavat: – SNARK-pino LeanVM:n takana (monilineaarinen aritmetisointi + summatarkistus) – 1 miljoonan dollarin läheisyyskuilupalkinto ja sen käynnistämä uusi tutkimusaalto – Miten viimeaikaiset tulokset vaikuttavat hash-pohjaisten todistusjärjestelmien turvallisuusmarginaaleihin – Miksi Ethereum siirtyy kohti todistettavia turvallisuusjärjestelmiä pitkän aikavälin protokollaturvallisuuden varmistamiseksi He tutkivat myös avoimia ongelmia koodausteoriassa, listakoodauksessa ja hash-pohjaisissa todistusjärjestelmissä. Kuuntele koko jakso —----- AIKAKOODIT 02:24 – Miksi Ethereum tarvitsee post-kvantti-SNARKeja 03:30 – LeanVM SNARK-pino (monilineaarinen + summatarkistus) 04:53 – 1 miljoonan dollarin läheisyyskuilupalkinto 12:04 – Uusien tutkimuspapereiden aalto 12:52 – Johnsonin syöttö vs. kapasiteettirajoitus 21:24 – Uusi hyökkäysanalyysi käytössä olevista STARKEista 27:07 – Miksi 128-bittinen tietoturvakynnys on tärkeä 30:26 – Avoimet tutkimuskysymykset post-kvantti-SNARKeissa