El Talón de Aquiles del Modelo del Oráculo Aleatorio: Nuevos Desafíos para la Seguridad de Blockchain
Esta publicación profundiza en un problema de larga data en la criptografía: el Modelo del Oráculo Aleatorio (ROM). Ampliamente utilizado para probar la seguridad de los esquemas criptográficos, las suposiciones del ROM son irrealizables en el mundo real. El autor analiza un artículo de Khovratovich, Rothblum y Soukhanov, revelando posibles ataques prácticos a sistemas de prueba de conocimiento cero basados en Fiat-Shamir. Estos ataques explotan vulnerabilidades que pueden surgir al reemplazar el ROM con funciones hash del mundo real. A medida que las pruebas de conocimiento cero y sus aplicaciones recursivas en blockchain se vuelven más prevalentes, el autor destaca los riesgos significativos de seguridad, potencialmente llevando a fallas en todo el sistema. La publicación enfatiza la necesidad crucial de auditorías rigurosas de seguridad de los programas utilizados en los sistemas de prueba y explora varios escenarios de ataque, desde relativamente leves hasta catastróficos, lo que lleva a un examen más profundo de la seguridad de blockchain.