SNARK-i oparte na haszach stają się kluczowe dla post-kwantowej mapy drogowej Ethereum, ale jak naprawdę są bezpieczne? W tym odcinku (część 3 miniserialu @leanEthereum), @nico_mnbl rozmawia z @GiacomoFenzi i @asanso, aby zbadać teorię i bezpieczeństwo post-kwantowych SNARK-ów. Poruszają: – Stos SNARK-ów za LeanVM (arytmetyzacja wieloliniowa + sprawdzenie sumy) – Nagrodę Proximity Gap w wysokości 1 miliona dolarów i falę nowych badań, które ona wywołała – Jak niedawne wyniki wpływają na marginesy bezpieczeństwa dla systemów dowodowych opartych na haszach – Dlaczego Ethereum zmierza w kierunku udowodnionych reżimów bezpieczeństwa dla długoterminowego bezpieczeństwa protokołu Omawiają również otwarte problemy w teorii kodowania, dekodowaniu list oraz systemach dowodowych opartych na haszach. Posłuchaj pełnego odcinka —----- CZASY 02:24 – Dlaczego Ethereum potrzebuje post-kwantowych SNARK-ów 03:30 – Stos SNARK-ów LeanVM (wieloliniowy + sprawdzenie sumy) 04:53 – Nagroda Proximity Gap w wysokości 1 miliona dolarów 12:04 – Fala nowych prac badawczych 12:52 – Granica Johnsona vs granica pojemności 21:24 – Nowa analiza ataków na wdrożone STARK-i 27:07 – Dlaczego próg bezpieczeństwa 128-bitowego ma znaczenie 30:26 – Otwarte pytania badawcze w post-kwantowych SNARK-ach