Os SNARKs baseados em hash estão a tornar-se centrais no roteiro pós-quântico da Ethereum, mas quão seguros são, realmente? Neste episódio (parte 3 da minissérie @leanEthereum), @nico_mnbl conversa com @GiacomoFenzi e @asanso para examinar a teoria e a segurança dos SNARKs pós-quânticos. Eles abordam: – A pilha SNARK por trás do LeanVM (aritmetização multilinear + verificação de soma) – O Prémio Proximity Gap de $1M e a onda de novas pesquisas que desencadeou – Como os resultados recentes afetam as margens de segurança para sistemas de prova baseados em hash – Por que a Ethereum está a mover-se em direção a regimes de segurança prováveis para a segurança a longo prazo do protocolo Eles também exploram problemas abertos na teoria da codificação, decodificação de listas e sistemas de prova baseados em hash. Ouça o episódio completo —----- CÓDIGOS DE TEMPO 02:24 – Por que a Ethereum precisa de SNARKs pós-quânticos 03:30 – A pilha SNARK do LeanVM (multilinear + verificação de soma) 04:53 – O Prémio Proximity Gap de $1M 12:04 – A onda de novos artigos de pesquisa 12:52 – Limite de Johnson vs limite de capacidade 21:24 – Nova análise de ataque em STARKs implementados 27:07 – Por que o limite de segurança de 128 bits é importante 30:26 – Questões de pesquisa abertas em SNARKs pós-quânticos