고려대 연구진이 블록체인 기반 스마트 계약 시스템의 보안 취약점을 자동 분석해 보안 사고를 예방하는 솔루션 '베리스마트(VeriSmart)'를 오픈소스로 공개했다.

3일 고려대에 따르면, 소프트웨어보안연구소는 기존 스마트 계약의 보안 취약점을 보완한 베리스마트를 지난달 20일 보안 분야 최우수 학술대회인 'IEEE 시큐리티&프라이버시(IEEE Symposium on Security & Privacy)'에서 논문으로 발표했다. 해당 학회는 3대 컴퓨터 보안학회로 꼽힌다.

고려대는 해당 솔루션의 오픈소스를 공개해 누구나 사용해볼 수 있도록 했다.

스마트계약은 블록체인에서 일정 조건이 충족되면 중개인 없이 거래를 당사자 간 자동으로 체결되는 기술로 블록체인 기반 사업의 핵심이다. 금전 거래 시 많이 활용되지만, 시스템의 허점으로 인해 2017년 패러티 월렛(Parity Wallet)에서 350억 원의 피해가 발생하는 사고가 발생하기도 했다.

고려대가 이번에 오픈소스를 공개한 베리스마트는 기존 솔루션의 단점을 보완했다. 베리스마트의 실험 결과 취약점 검출률 100%다. 정확도는 99.5%를 기록해 기존 기술과 비교하면 월등하게 향상된 보안 안정성을 선보였다.

검출률은 오류를 찾아내는 능력으로 베리스마트는 이번 실험에서 490개 취약점 중 490개 모두를 찾아냈다. 정확도는 허위 경보가 포함된 상태에서 실제 오류의 비중이 얼마나 높은지를 보여준다. 해당 솔루션은 490개의 취약점을 찾아내는 과정에서 단 2개의 허위 경보만 보고했다.

소프트웨어보안연구소 소장을 맡은 이희조 컴퓨터학과 교수는 "블록체인 기술의 핵심이지만 그동안 보안의 취약점이 큰 단점으로 꼽힌 스마트 계약 분야에서 베리스마트가 큰 역할을 할 것으로 기대한다"면서 "오픈소스 공개로 많은 사람이 더욱 보안성이 강화된 스마트 계약을 활용할 수 있기를 바란다"고 말했다.