SNARKs baseados em hash estão se tornando centrais no roteiro pós-quântico do Ethereum, mas quão seguros eles 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 cobrem: – A pilha SNARK por trás do LeanVM (aritmetização multilinear + verificação de soma) – O Prêmio Proximity Gap de US$ 1 milhão e a onda de novas pesquisas que ele desencadeou – Como resultados recentes afetam margens de segurança para sistemas de prova baseados em hash – Por que o Ethereum está caminhando para regimes de segurança comprováveis para a segurança de protocolos de longo prazo Eles também exploram problemas abertos em teoria da programação, decodificação por listas e sistemas de provas baseados em hash. Ouça o episódio completo —----- CÓDIGOS DE TEMPO 02:24 – Por que o Ethereum precisa de SNARKs pós-quântico 03:30 – A pilha LeanVM SNARK (multilinear + verificação de soma) 04:53 – Prêmio de Diferença de Proximidade de $1 milhão 12:04 – A onda de novos artigos científicos 12:52 – Johnson indo contra limite de capacidade 21:24 – Nova análise de ataque em STARKs implantados 27:07 – Por que o limiar de segurança de 128 bits importa 30:26 – Perguntas abertas de pesquisa em SNARKs pós-quânticos