스마트 컨트랙트를 기반으로 한 자동화 툴 'VaaS-ETH' 베타 테스트 후 정식 오픈
최근 들어 스마트 컨트랙트의 보안문제는 빈번하게 발생했다. 스마트 컨트랙트는 여전히 보안에 취약한 모습을 보여주고 있다. 이에 스마트 컨트랙트는 실물자산에 대한 통제를 어떻게 진행해야 효과적으로 집행할 수 있는지 또한 코드가 스마트 컨트랙트를 프로그래밍한 쪽에 정확하게 반응하면서도 허점을 피할 수 있는지 등을 알아봐야 한다. 이런 문제로 인해 THE DAO、Parity、BEC등 유명한 프로젝트들의 가치가 순식간에 없어지는 사건이 종종 발생했다. 이런 문제들로 인한 암호화폐 자산 손해가 결국 금용질서 등 치명적인 결과를 초래했다고 해도 과언은 아니다. 최근 통계에 따라 스마트 컨트랙트 보안 위험성으로 인해 입은 손실은 블록체인 보안으로 인해 입은 손실의 30%이상 차지하고 있다.

스마트 컨트랙트 코드에 대한 오딧과 검증은 매우 중요하다.
보안에 있어서 보안문제를 대비한다면 추후에 벌어질 수 있는 문제에 대한 사전예방이 가능하고, 스마트 컨트랙트가 미래에 집행할 때 충분한 역할을 할 수 있고, 위험성을 피할 수 있으며, 소스코드의 허점으로 발생할 수 있는 자산손실을 막을 수 있다.

최근 들어 스마트 컨트랙트의 보안문제는 빈번하게 발생했다. 스마트 컨트랙트는 여전히 보안에 취약한 모습을 보여주고 있다. 이에 스마트 컨트랙트는 실물자산에 대한 통제를 어떻게 진행해야 효과적으로 집행할 수 있는지 또한 코드가 스마트 컨트랙트를 프로그래밍한 쪽에 정확하게 반응하면서도 허점을 피할 수 있는지 등을 알아봐야 한다. 이런 문제로 인해 THE DAO、Parity、BEC등 유명한 프로젝트들의 가치가 순식간에 없어지는 사건이 종종 발생했다. 이런 문제들로 인한 암호화폐 자산 손해가 결국 금용질서 등 치명적인 결과를 초래했다고 해도 과언은 아니다. 최근 통계에 따라 스마트 컨트랙트 보안 위험성으로 인해 입은 손실은 블록체인 보안으로 인해 입은 손실의 30%이상 차지하고 있다.

스마트 컨트랙트 코드에 대한 오딧과 검증은 매우 중요하다.
보안에 있어서 보안문제를 대비한다면 추후에 벌어질 수 있는 문제에 대한 사전예방이 가능하고, 스마트 컨트랙트가 미래에 집행할 때 충분한 역할을 할 수 있고, 위험성을 피할 수 있으며, 소스코드의 허점으로 발생할 수 있는 자산손실을 막을 수 있다.

스마트 컨트랙트 보안 문제에 대한 Beosin는 “원클릭”스마트 컨트랙트 형식 자동화된 도구VaaS-ETH를 개발하여 지난 11월6일에 오픈되었다.http://www.lianantech.com
스마트 컨트랙트를 기반으로 한 Beosin의 자동화 툴 VaaS-ETH는 지난 11월 6일 Vangoo Capital과 Milestone에게서 몇 백만 달러의 투자를 유치받았다. VaaS-ETH은 beosin이 1년 넘게 연구한 자동화 툴로서 전 세계에 처음으로 블록체인 분야에 적용되어 ETH, EOS, Fabric 등과 호환되는 스마트 컨트랙트 보안 검증 툴이며 95%이상의 높은 적중률을 자랑하고 있다.

Vaas가 주목받는 이유는 반자동화 스마트 컨트랙트 검증에 비해 원클릭 자동화 형식화 검증(Formal Verification ) 툴은 스마트 컨트랙트를 오딧하는 과정중에 상위10개, 하위27개 보안문제를 매우 빠르고 정확하게 찾아낼 수 있을 뿐만 아니라 고위험성을 가진 코드의 원인과 위치를 정확하게 식별한다.

즉, VaaS는 스마트 컨트랙트 또한 블록체인 애플리케이션의 일반적인 보안 허점과 보안 속성 및 기능 정확성을 효과적으로 검증할 수 있다.

VaaS는 주로 3가지 기능으로 나눠져 있다.
첫째, VaaS-ETH 간소화 체험 버전는 스마트 컨트랙트 개발자분들께 무료로 스마트 컨트랙트 보안 오딧 서비스를 제공한다.

둘째, 파트너사께 “스마트 컨트랙트 보안 오딧 리포트” 조회 서비스를 무료로 제공해 준다. Beosin에서 발행한 “스마트 컨트랙트 보안 오딧 리포트”를 빠르게 조회 가능하다.

셋째, 프로젝트 개발자분들을 위해 스마트 컨트랙트 오딧 서비스를 제공해 준다. 전문가 오딧을 받은 후에 Beosin는 국내외 유명한 거래소에 인증을 받은 “스마트 컨트랙트 보안 오딧 리포트”를 제공한다.

Chengdu LianAn Tech는 블록체인 보안 영역에 전념한 회사로서 “Beosin”이라는 새로운 타이틀을 내걸었다. 이는 더 안전하고 더 건전한 블록체인 보안 생태계를 구축하고자 신념에서 비롯되었다.
현재 VaaS-ETH 간소화 체험 버전은 글로벌 마케팅에서 무료 보안 오딧 서비스를 제공하고 있다. Beosin는 블록체인 보안 생태계를 구축하기 위해 보안 서비스를 Wallet개발 및 감사, Public Chain 맟춤 개발, Dapp개발 및 오딧 일원화, 스마트 컨트랙트 개발 및 오딧 일원화, 거래소 및 Public Chain등 보안 감사 등으로 진행하고 있다.

현재 VaaS-ETH의 체험 버전은 무료 보안 오딧 서비스를 제공하고 있습니다.
Beosin은 안전한 블록체인 보안 생턔계를 구축하기 위해 Wallet 개발 및 감사, Public chain맞춤 개발, Dapp개발 및 오딧 일원화, 거래소 Public Chain 보안감사 등을 진행하고 있다.

오하영 기자