SNARKy založené na hashu se stávají středobodem postkvantové cesty Etherea, ale jak bezpečné vlastně jsou? V této epizodě (část 3 minisérie @leanEthereum) @nico_mnbl hovoří s @GiacomoFenzi a @asanso prozkoumat teorii a bezpečnost postkvantových SNARKů. Pokrývají: – SNARK stack za LeanVM (multilineární aritmetizace + součt) – Cena 1 milion dolarů za propast v blízkosti a vlna nového výzkumu, kterou vyvolala – Jak nedávné výsledky ovlivňují bezpečnostní marže u hash-based proof systémů – Proč se Ethereum posouvá směrem k prokazatelným bezpečnostním režimům pro dlouhodobou bezpečnost protokolů Zkoumají také otevřené problémy v teorii kódování, dekódování seznamů a důkazních systémech založených na hashování. Poslechněte si celou epizodu —----- ČASOVÉ KÓDY 02:24 – Proč Ethereum potřebuje postkvantové SNARKy 03:30 – Stack LeanVM SNARK (multilineární + součtová kontrola) 04:53 – Cena 1 milion dolarů za propast 12:04 – Vlna nových výzkumných prací 12:52 – Cesta k Johnsonovi vs omezená kapacita 21:24 – Nová analýza útoků na nasazené STARK 27:07 – Proč je 128bitový bezpečnostní práh důležitý 30:26 – Otevřené výzkumné otázky v postkvantových SNARKech