기사 메일전송
  • 기사등록 2018-11-08 17:54:00
  • 수정 2018-11-08 17:58:55
기사수정

Beosin 스마트 컨트랙트 형식 검증 자동화된 도구 VaaS-ETH 간소화 체험 버전...지난 6일 공식 런칭!!


이더리움 생태계의 핵심으로 스마트 컨트랙트는 최근 몇년에 급히 발전하고 있습니다. 최초의 스마트 컨트랙트는 1995년으로 거슬러 올라갑니다. 암호 작성법 대가 Nick Szabo최초 언급했으며, 스마트 컨트랙트는 다인원 참여로 복잡한거래 과정 중에 분명한 우세를 보입니다.


하지만, 최근에 들어 스마트 컨트랙트의 보안문제는 빈번하게 발생하였습니다. 스마트 컨트랙트의 약점을 점점 나타나고 있으며, 이에 스마트 컨트랙트가 실체 자산에 대한 통제를 어떻게 진행해야 스마트 컨트랙트에 따라 효과적으로 집행할 수 있는지, 또한 코드가 스마트 컨트랙트를 프로그래밍한 쪽의 의지를 정확하게 반응하면서도 허점을 피할 수 있는지 등으로 보입니다. 이런 문제로 인해 DAO、Parity、BEC등 유명한 프로젝트들의 가치가 하룻밤사이에 없어졌습니다. 이런 문제로 인한 암호화폐자산 손해를 입혀 금용질서등 지명적인 결과를 초래했습니다. 현재 통계에 따라 스마트 컨트랙트 보안 위험성으로 인해 입은 손실은 블록체인 보안으로 인해 입은 손실의 30%이상 차지하고 있습니다.


상술한 바를 종합하면 스마트 컨트랙트 코드에 대한 오딧과 검증은 매우 중요합니다. 보안에 있어서 충분한 검증을 통해 보안을 보장할 수 있으므로 스마트 컨트랙트가 미래에 집행할 때 충분한 역할을 할 수 있고 위험성을 피할 수 있으며 코드 허점으로 인해 발생한 자산 손실을 피할 수 있습니다. 하지만 스마트 컨트랙트 보안성에 대한 효과적인 완벽한 해결책이 현재 없는 것으로 확인됩니다.


스마트 컨트랙트 보안 문제에 대한 Beosin는 “원-클릭”스마트 컨트랙트 형식 자동화된 도구VaaS-ETH를 오픈되었습니다((홈패이지:http://www.lianantech.com) .


또한 BEOSIN는 2018년11월7일에 Vangoo Capital과 Milestone 몇 백만 달러 투자를 받았다는 보도를 했습니다. VaaS 자동화된 도구는 Beosin가 1년 넘게 연구한 도구로서 전세계에서 처음으로 형식화 검증 기술을 블록체인 영역에 적용되어, 전세계적으로 유일하게 ETH、EOS、Fabric 등 블록체인 기초 플랫품이 지원 가능한 스마트 컨트랙트 보안 도구입니다. 또한 VaaS는 95%이상 적중율을 보유하고 있습니다.


▲ VaaS-ETH 간소화 체험버전


VaaS를 주목받은 이유는 반자동화 스마트 컨트랙트 형식화 검증에 비해, VaaS “원-클릭”형식화 검증 도구는 스마트 컨트랙트 오딧하는 과정중에 자동적으로 매우 빠르고 정확하게 스마트 컨트랙트에서 나오는 10개 상위 분류, 27개 하위 분류 보안 문제를 확인할 수 있는 것뿐만 아니라 위험성이 있는 코드의 원인 분석과 위험성이 있는 코드의 위치를 정확하게 식별이 가능합니다. VaaS는 스마트 컨트랙트 또한 블록체인 애플리케이션의 일반적인 보안 허점과 보안 속성 및 기능 정확성을 효과적으로 검증할 수 있습니다.


그리고 블록체인 생태계에 구축하기 위해 Beosin는 VaaS-ETH 체험 버전을 오픈되었습니다. 블록체인 업계 종사자 누구나 쉽게 무료로 VaaS”원-클릭” 스마트 컨트랙트 오딧 기능을 체험할 수 있습니다. VaaS를 이용해서 스마트 컨트랙트 일반적인 보안 문제를 체크하여 사전에 스마트 컨트랙트의 일반적인 보안 문제를 제거할 수 있습니다.


이번에 오픈된 VaaS는 3가지 주요 기능을 나눠져 있습니다.

·VaaS-ETH간소화 체험버전은 스마트 컨트랙트 개발자들이 무료로 오딧 도구를 사용이 가능합니다.


·Beosin파트너사인 프로젝트인 경우 무료로 “스마트 컨트랙트 보안 오딧 리포트” 조회 기능을 제공해 드립니다. Beosin에 발행한 “스마트 컨트랙트 보안 오딧 리포트”를 빠르게 조회 가능합니다.

·프로젝트 개발사에게 스마트 컨트랙트 오딧 서비스를 제공해 드리며 전문가 오딧을 받을 경우

국내외에 각 거래소에 인증해 주는 스마트 컨트랙트 보안 오딧 리포트를 제공해 드립니다.


가. VaaS-ETH 간소화 버전는 스마트 컨트랙트 개발자분들께 무료로 스마트 컨트랙트 보안 오딧 서비스를 제공합니다


VaaS-ETH간소화 버전에서 스마트 컨트랙트 개발자는 “ 스마트 컨트랙트 오딧”에 스마트 컨트랙트 소스코드 파일을 업로드하여 VaaS-ETH”원-클릭”도구를 사용하면 일반적인 보안 허점을 매우 빠르고 정확하게 식별 가능합니다. VaaS는 고효율적이며 편리하게 표준화된 오딧 작업 흐름을 만들었습니다.


주의할 점은 오딧 결과는 단순 참고용 이며, 감사 리포트에 적용되지 않습니다. 전문적인 오딧 리포트를 필요하시다면“전문가 감사”를 사용해 주셔야 합니다.


▲VaaS-ETH 도구 “스마트 컨트랙트 오딧” 화면

VaaS-ETH간소화 체험 버전은 블록체인 좋업자분들께 무료로 VaaS”원-클릭”스마트 컨트랙트 보안 오딧 서비스를 제공해 드리며 Beosin회원은 “내 스마트 컨트랙트”에서 오딧 결과를 확인할 수 있습니다.


▲스마트 컨트랙트 오딧 내용


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


Beosin의 파트너사 프로젝트 개발사인 경우 Beosin에 발행한 “스마트 컨트랙트 오딧 리포트”를 편리하게 조회하도록 Beosin에서 스마트 컨트랙트 오딧을 받은 프로젝트라면 무료로 VaaS를 통해 “스마트 컨트랙트 보안 오딧 리포트” 조회 서비스를 사용 가능합니다. “ 컨트랙트 조회” 페이지에서 오딧 리포트 문서 번호 및 스마트 컨트랙트명 혹은 스마트 컨트랙트 주소를 입력한 후에 해당 리포트가 조회 가능합니다.


▲스마트 컨트랙트 오딧 리포트 조회 화면


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


VaaS-ETH간소화 체험 버전은 스마트 컨트랙트 개발자에게 스마트 컨트랙트 보안 오딧 서비스 제공하는 것 뿐만 아니라 동시에 블록체인 프로젝트 개발자분께 앞선 수준의 전문적인 스마트 컨트랙트 오딧 서비스를 제공합니다. 이는 프로젝트 개발자분들이 스마트 컨트랙트를 블록체인에 업로드하기 전에 보안 위험성 및 위험성 원인분석을 하여 프로젝트 개발자분께 보안사항을 수정한 후에 Beosin는 국내 외 유명한 거래서에 인증을 받은 “스마트 컨트랙트 보안 오딧 리포트”를 제공합니다.


이 서비스는 비용을 지급해야 받을 수 있으며, “스마트 컨트랙트 보안 오딧 리포트”는 잠재적인 위험성과 위치 및 발생한 원인 등을 포함합니다. 프로젝트 개발자분들게 믿을 수 있는 보안 오딧 서비스를 제공합니다


사용자 체험을 향상 시키기 위해, VaaS는 중국어, 영어, 한국어 등 다언어 사용이 가능합니다. 또한 온라인 고객센터가 있으며, 웹사이트에 대한 문의, 스마트 컨트랙트 소스 코트 업로드중에 문의 사항, 제휴문의 등에 관한 온라인 고객센터를 통해서 문의 가능합니다.


▲ VaaS “온라인 고객센터” 화면


글로벌 마케팅 전략을 위해 Chengdu LianAn Technology Co. Ltd. 는 새로운 브랜드” Beosin”를 2018년 11월6일에 공식적으로 공개하였습니다. “ Beosin”는 중국어로 북극성이라는 듯이 포함되어 있습니다. 논어에서는 “为政以德,譬如北辰”(위정이덕, 비여북진)라는 말이 있습니다. Beo는 Beowulf (베오울프)에서 얻었으며. Beowulf는 영국 앵글로색슨 서사시 속의 영웅입니다.


▲Chengdu LianAn Tech 새로운 로고 Beosin


블록체인 보안 영역에 전념한 회사로서 Chengdu LianAn Tech는 “Beosin”으로 글로벌 마케팅에 새로운 로고를 사용하는 이유는 더 안전하고 더 건전한 블록체인 보안 생태계를 구축하는 신념을 포함되었습니다. “Beosin”는 스마트 컨트랙트의 보안에 대해 더 열심히 연구하고 블록체인의 보안을 지키기 위해, 더 건전한 블록체인 생태계를 구축하고 블록체인 기술의 모험이란 목표로 삼아 열심히 하고 있습니다.


현재 VaaS-ETH 간소화 버전은 글로벌 마케팅에서 무료 보안 오딧 서비스를 제공하고 있습니다. Beosin는 블록체인 보안 생태계를 구축하기 위해 보안 서비스를 Wallet개발 및 감사, Public Chain 맟춤 개발, Dapp개발 및 오딧 일원화, 스마트 컨트랙트 개발 및 오딧 일원화, 거래소 및 Public Chain등 보안 감사 등으로 진행하고 있습니다.


Beosin 스마트 컨트랙트 자동화된 형식 검증 도구 VaaS-ETH에 대한 궁금하시다면 http://www.lianantech.com로 방문하여 VaaS-ETH를 체험해 보세요.


Beosin(Chengdu LianAn Technology Co. Ltd)는 블록체인 보안 영역에 전념합니다. 전자과학기술 대학교(University of Electronic Science Technology of China)의 양이샤 교수와 곽문생 부교수 함께 회사를 창립하였습니다. 팀 주요 구성원은 40여 명의 해내외 유명한 대학교와 실험실(CSDS, 예일 대학교, UCLA) 에서 유학 경험을 가진 부교수, 박사후, 박사, 석사, 그리고 알리바바, Huawei등 유명 기업의 우수 인재들로 구성되어 있으며, 리이안테크의 핵심 기술은 형식 검증이고 ,이 기술을 사용해 다년간 항공 우주, 군사등 영역의 보안 시스템(security critical systems)에 형식 검증 서비스를 제공해 주었습니다. 중국에서 유일하게 형식 검증 기술을 사용해 블록체인 보안 영역에 도입한 회사입니다


Beosin는 분포식 투자 (Fenbushi Capital ) 가 투자해주는 유일한 블록체인 보안 회사로 지금까지 Huobi, OKEX, KuCoin, LBank, CoinBene, CoinMex, CoinTiger, ONT, Scry, QuarkChain, IoTeX, Bytom, Bubi Blockchain, YUNPHANT 등 40여 개의 회사와 전략적 협력을 맺었으며, 전 세계에서 처음으로 자동화 되어 있는 스마트 컨트랙트 형식화 감사 도구 VaaS 개발하였습니다. 중국 공신부 발표한 <2018 중국 블록체인 산업 백서>에 기재되었고, Etherscan 스마트 컨트랙트 보안 감사 추천 리스트에 들어가 있으며 “OKEx의 가장 안전한 보안 감사 파트너십상”을 받았습니다.


*본 콘텐츠는 해당 기업의 보도자료로 본지의 편집방향과 일치하지 않을 수 있습니다.

관련기사
0
기사수정

다른 곳에 퍼가실 때는 아래 고유 링크 주소를 출처로 사용해주세요.

http://blocktimestv.com/news/view.php?idx=3128
기자프로필
빗썸
블록노드_큐포라(우측)
블록체인홍보게시판링크
 ▷ Blockchain Leaders 더보기
블록체인홍보게시판링크
▷ Popular articles더보기
  1. [인터뷰] 엔진코인 한국 마케팅 이단비 대표 "엔진코인은 게임개발자들의 넥스트 붐, 개발에 집중해 엔진 플랫폼 … 엔진코인이 지난 달 18일 세계적인 게임 개발자 컨퍼런스에서 블록체인 게임·서비스를 위한 통합 플랫폼을 공개했다.암호화폐 엔진코인(ENJ)을 제공하고 있는 엔진(대표 막심 블라고프)은 지난달 18일부터 미국 샌프란시스코에서 열리는 세계 최대 규모 게임 개발자 컨퍼런스인 'GDC2019'(Game Developers Conference)에 참가해 블록체인 게임과 ...
  2. [동영상인터뷰] 마이크체이 오리진파운데이션 대표 " 투명한 명품 인증 블록체인 이력 시스템 구축할 것" 7일 서울 종로구에 위치한 위쿡(Wecook)에서 브립토네트워크(블록타임스티비와 샤링크 컨설팅 펌이 런칭한 밋업 브랜드)가 주최한 오리진 파운데이션의 단독 밋업이 열렸다.오리진은 블록체인을 활용해 위조품, 즉 '짝퉁' 문제를 해결하기 위해 시작된 프로젝트다. 명품 브랜드 유통에 초점을 두고 있다.오리진 파운데이션의 대표 마이...
  3. 45% 설문 조사 참여자 "투자금 생긴다면 XRP에 투자한다” ▲ 英 외환 송금 업체, 리플사와 협력암호화폐 전문 미디어 이더리움 월드 뉴스(Ethereum World News)에 따르면 영국계 외환 송금 전문 업체 레셔널 에프엑스(Rational FX)가 리플(Ripple)과 협력한다. 해당 업체는 리플 지불 플랫폼인 엑스커런트(xCurrent) 솔루션을 활용, 해외 송금 서비스를 진행할 예정이다. 미디어에 따르면 레셔널 에프엑스는 영국 국...
  4. 엔진, 이더리움 검색 서비스 ‘엔진X’에 ERC-1155 지원 시작 엔진, 이더리움 검색 서비스 ‘엔진X’에 ERC-1155 지원 시작- 엔진코인(ENJ)을 제공하고 있는 엔진, 블록체인 검색 서비스 '엔진X' 업데이트 선봬- ERC-1155 지원 및 블록체인 자산 검색, 탐색 및 확인 가능- 업데이트 기념 공식 블로그에서 엔진X 퀴즈 이벤트 진행차세대 이더리움 블록체인 자산 ERC-1155를 검색할 수 있도록 블록체인 검색 서...
  5. 스웨덴 거래소 NGM, XRP·LTC 추종 ETP 출시 ▲ 美 나스닥 상장사, 5,000만 달러 펀드 조성...블록체인 ID 기업 투자암호화폐 전문 미디어 코인텔레그래프에 따르면, 미국 나스닥에 상장된 클라우드 기반 ID 관리 플랫폼 옥타(Okta)가 5,000만 달러 규모의 투자 펀드를 조성했다고 3일(현지시간) 발표했다. 펀드의 첫 투자 업체는 블록체인 기반 디지털 ID 솔루션 제공업체 트러스티드 키(Trusted K...
  6. 바이오·헬스케어 코인 LBXC, 제주도 바이오센터 공사 개시…"로드맵 본격 시동” 바이오·헬스케어 코인 LBXC, 제주도 바이오센터 공사 개시…"로드맵 본격 시동”줄기세포 기반의 글로벌 의료 블록체인 럭스바이오셀(LUX BIO CELL, LBXC)을 서비스하는 블록체인 기업 DBE(Digital Bio Exchange)는 지난해 11월 23일 있었던 제주 셀뱅크 착공식 이후 시공현장 사진을 공개하면서 로드맵 사업화에 본격 나섰다. 10일 DBE 관계자에 따르면 제..
  7. 美 SEC 위원 "美 규제당국, 암호화폐 핵심 못 짚어" [금융위원회, 금융규제 샌드박스 시행...우선심사 대상에 블록체인 포함]IT 전문 미디어 지디넷 코리아(ZDNet Korea)에 따르면, 금융혁신지원특별법의 혁신금융서비스 지정제도(금융규제 샌드박스)가 오늘(1일)부터 시행된다. 금융위원회는 지난 1월말 금융규제 샌드박스 사전심사를 신청한 105건 중 19건을 우선심사 대상으로 선정하고 이달 내 ..
  8. SEC, 현지 발행 토큰에 증권법 대상 예외 결정...사상 처음 ▲ SEC, 현지 발행 토큰에 증권법 대상 예외 결정...사상 처음 (1보)미국 증권거래위원회(SEC)가 항공 서비스 제공업체 턴키 젯(Turnkey Jet)이 발행한 토큰에 대해 아무런 제재를 취하지 않는다는 노-액션 서한(no-action letter)을 발송했다. 암호화폐 미디어 코인데스크에 따르면, 이는 해당 업체가 발행한 토큰이 증권법에 적용을 받지 않는다는 것을 ...
  9. 암호화폐거래소 고팍스, ‘슈퍼트레이더 이벤트’ 진행 암호화폐거래소 고팍스, ‘슈퍼트레이더 이벤트’ 진행 암호화폐 거래소 고팍스(대표 이준행)는 오는 4월 8일부터 비트코인(BTC), 이더리움(ETH), 리플(XRP), 스텔라 루멘(XLM)의 원화마켓에서 발생하는 총 거래수수료의 50%를 유저들이 받을 수 있는 '슈퍼트레이더 이벤트'를 진행한다고 8일 밝혔다.  이번 이벤트는 오는 4월 8일(월) 오...
  10. 업비트, 업비트 현금영수증 발급시스템 오픈 지연 업비트, 업비트 현금영수증 발급시스템 오픈 지연이제 암호화폐 거래소에서도 현금영수증 공제를 받을 수 있게 된다.두나무(대표 이석우)가 운영하는 글로벌 표준 암호화폐 거래소 업비트는 국내 거래소 중 최초로 업비트 거래소 내 원화(KRW) 마켓에서 발생한 거래 및 출금 수수료에 대해 현금영수증 발급을 지원한다고 15일 밝혔다.당초 업.
  11. 리플, 재단 보유 분 10억 XRP 시중 유통 ▲ 바이낸스, 아프리카서 블록체인 기반 자선 사업 진행바이낸스 자선 사업 책임자인 헬렌 하이가 오늘 트위터를 통해 AMA(Ask Me Anything)를 진행했다. 그는 바이낸스 자선 사업의 첫번째 목표로 아프리카에서 진행 중인 '라스트 1마일' 프로젝트를 꼽았다. 라스트 1마일 프로젝트는 블록체인 기술을 통해 기존의 자선 사업 시스템을 투명...
  12. 토큰애널리스트 "고래의 일시적인 시장 진입, BTC 상승의 도화선" ▲ BTC·ETH 네트워크 미체결 거래 각각 61,087·7,862 건비트코인 네트워크 관련 데이터 제공 사이트 비티씨닷컴(BTC.com)에 따르면, 현재 BTC 네트워크 내 미체결 거래가 61,087건, 해시레이트는 45.66 EH.s, 채굴난이도는 6.38 T를 기록하고 있다. 한편 이더리움(ETH) 네트워크 데이터 제공 사이트 이더스캔(Etherscan.io)에 따르면, 현재 이더리움 네트워크 내 .
  13. 유럽 최초 STO 거래소 스마트밸러,“한국 스타트업 육성 마중물 되겠다” 유럽 최초 STO 거래소 스마트밸러,“한국 스타트업 육성 마중물 되겠다”한국 암호화폐 거래소에 첫 토큰 상장스위스에 기반을 둔 금융 기술 회사 스마트밸러(SMART VALOR)가 이번주에 한국 주요 암호화폐 거래소에 밸러(VALOR) 토큰을 상장한다. 스마트밸러는 이러한 움직임을 통해 한국의 스타트업과 투자자들이 증권형 토큰 플랫폼을 적극 활..
  14. 바이낸스, 180억원 규모 BNB 소각 바이낸스, 180억원 규모 BNB 소각글로벌 최대 암호화폐 거래소 바이낸스가 약 180억원 규모 자사 비엔비BNB 소각을 발표했다.바이낸스는 17일 보도자료를 내고 올 1분기 1560만 달러(한화 약 177억원)규모 BNB를 소각했다고 밝혔다. 바이낸스는 BNB 보유자에게 이익을 환원하기 위해 매 분기별로 영업이익 중 일부로 BNB를 소각하고 있다. 이번 분기 소...
  15. EOS, 댑 주간 활성 유저 16만 명 돌파 ▲ 팩쉴드 "3월 암호화폐 해킹 20건, 약 220억 원 피해 발생"블록체인 보안 전문 업체 팩쉴드(PeckShield)에 따르면, 지난 한달간 겜블링 댑(Dapp)과 거래소 등에서 20건의 암호화폐 해킹이 발생, 약 220억 원 상당의 피해가 발생했다. 이중 드래곤Ex, 빗썸 해킹이 각각 68억 원, 145억 원으로 전체 피해 규모의 대부분을 차지했으며, 그 외 18 차례 댑 해...
모바일 버전 바로가기