“스마트 컨트랙트 검증 AI로 자동화한다” [start-up]
최근 들어 스마트 컨트랙트를 지원하는 플랫폼과 앱이 늘고 있다. 스마트 컨트랙트란 블록체인을 기반으로 프로그래밍된 조건을 만족하면 자동으로 계약을 진행하는 프로그램. 개발자가 계약 조건과 내용을 코딩할 수 있다면 금융 거래, 부동산 계약을 비롯 어떤 종류의 계약에서든 활용할 수 있다.
그러나 블록체인 플랫폼은 누구나 참여할 수 있고 데이터가 공개된다는 특징 탓에 악의적 공격에 노출될 가능성도 적지 않다”고 김영욱 알고리마 대표는 말한다. 해당분야 개발자가 계속 새로운 취약점을 공부하고 안전한 코드를 짜는 데 상당한 시간을 들여야 하는 이유다.” 이에 알고리마는 보안 취약 문제를 사전에 발견, 해결하고 새로운 취약점에 빠르게 대응하는 스마트 컨트랙트 코드 검증 자동화 솔루션 ‘루페’를 개발, 서비스하고 있다.
루페는 보안 취약점 분석을 위해 퍼블릭 블록체인에 배포된 스마트 컨트랙트 수백만 건을 모두 수집한다. 블록체인 프로젝트는 일반적으로 오픈소스로 진행되기 때문에 퍼블릭 블록체인에 등록된 코드를 차용하거나 재사용하는 경우도 많다. 이로 인해 기존 코드가 가진 취약점이 그대로 반복되면서 크고 작은 해킹 사고로 ...