무작위 오라클 모델의 아킬레스건: 블록체인 보안에 대한 새로운 도전

이 글에서는 암호화 분야에서 오랫동안 문제가 되어 온 무작위 오라클 모델(ROM)을 자세히 다룹니다. ROM은 암호 체계의 보안을 증명하는 데 널리 사용되지만, 그 가정은 현실 세계에서는 실현 불가능합니다. 저자는 Khovratovich, Rothblum, Soukhanov의 논문을 분석하여 Fiat-Shamir 기반 제로지식 증명 시스템에 대한 잠재적인 실제 공격을 밝힙니다. 이러한 공격은 ROM을 실제 세계 해시 함수로 대체할 때 발생할 수 있는 취약점을 악용합니다. 제로지식 증명과 블록체인에서의 재귀적 응용이 널리 보급됨에 따라 저자는 시스템 전체의 오류로 이어질 수 있는 심각한 보안 위험을 강조합니다. 이 글에서는 증명 시스템에 사용되는 프로그램의 엄격한 보안 감사의 필요성을 강조하고, 비교적 경미한 것부터 치명적인 것까지 다양한 공격 시나리오를 탐구하여 블록체인 보안에 대한 더 깊이 있는 고찰을 제시합니다.