O Calcanhar de Aquiles do Modelo do Oráculo Aleatório: Novos Desafios à Segurança do Blockchain

Esta postagem mergulha em um problema de longa data na criptografia: o Modelo do Oráculo Aleatório (ROM). Amplamente usado para provar a segurança de esquemas criptográficos, as suposições do ROM são irrealizáveis no mundo real. O autor analisa um artigo de Khovratovich, Rothblum e Soukhanov, revelando potenciais ataques práticos a sistemas de prova de conhecimento zero baseados em Fiat-Shamir. Esses ataques exploram vulnerabilidades que podem surgir ao substituir o ROM por funções hash do mundo real. À medida que as provas de conhecimento zero e suas aplicações recursivas no blockchain se tornam mais prevalentes, o autor destaca os riscos significativos de segurança, potencialmente levando a falhas em todo o sistema. A postagem enfatiza a necessidade crucial de auditorias rigorosas de segurança dos programas usados em sistemas de prova e explora vários cenários de ataque, desde relativamente leves até catastróficos, levando a um exame mais profundo da segurança do blockchain.