The protocol for securing smart contracts 스마트컨트랙트보안감사프로토콜 한국어소개서 V1.0 by KrytoSeoul
퀀트스탬프는? 퀀트스탬프 (Quantstamp) 는세계최초로이더리움스마트컨트랙트를검증해취약점을 발견하고보안조치를취할수있는보안감사프로토콜입니다. 퀀트스탬프는마치스마트컨트랙트의품질검증마크와같은역할을한다고볼수있습니다. 미션 (Mission) 퀀트스탬프의미션은모든사람이블록체인을안전하게사용하고참여할수있도록보안에 대한기본프레임워크와기준을마련하는것입니다. 블록체인보안의새로운표준을만들어가며, 스마트컨트랙트가주류로채택될수있도록힘쓰고있습니다.
직면한문제점 2016년 6월해커가스마트컨트랙트의버그를통해 DAO에서약 5,500만달러에해당하는이더리움을훔쳐가는사건발생 2017년 7월해커가패리티멀티시그월렛의스마트컨트랙트코드에서단한개의단어버그를통해약 3,000만달러이상을훔쳐가는사건발생 2018년스마트메시 (SMT) 스마트컨트랙트의오버플로우버그로인해토큰이 1경개가입금되는사건발생 2017년 6월부터 2017년 10월사이에스마트컨트랙트의수는 50만개에서 200만개로증가했음. 2017년 10월기준약 32억달러의금액이스마트컨트랙트에연결되어있음 산업전반에걸쳐사용성이확대되는스마트컨트랙트의보안성이갈수록중요해지고있음
퀀트스탬프의특징 이더리움기반스마트컨트랙트에대한감사를주로진행 이더리움외블록체인의스마트컨트랙트감사도진행 (EOS Insight Network) 많은 ICO가진행되고스마트컨트랙트의사용빈도가점차증가하면서각종에러와버그를조기에발견해더욱안정성있는블록체인생태계구현목적 현재까지 450여개이상의공개된보안감사진행 https://app.quantstamp.com/public-reports 완전자동화를목표로개발진행중이며, 참여자가버그발견등에기여하면 QSP 토큰을보상으로받게됨
퀀트스탬프프로토콜 (Protocol) 퀀트스탬프의프로토콜은크게두개파트로구성됩니다. Part.1 솔리디티 (Solidity) 프로그램을확인하는자동화와업그레이드를할수있는소프트웨어검증시스템 - 컨플릭트드리븐 (Conflict driven) 기반의분산된 *SAT solver는많은양의컴퓨팅성능을필요로하지만시간이지남에따라더욱정교해지는공격을포착할수있습니다. Part.2 스마트컨트랙트에서오류를발견한참여자에게보상을지급하는자동보상금지급시스템 - 완전자동화라는목표를달성하기위해개발이진행되는동안발생하는격차 (gap) 를해소하기위해스마트컨트랙트검증에참여해오류를발견하면보상금을지급합니다. *SAT (boolean SATisfiability problem)- 주어진 boolean formula 를충족시키는 interpretation( 변수의조합 ) 이존재하는가결정하는문제 ( 존재한다면 satisfiable. 존재하지않는다면 unsatisfiable)
퀀트스탬프의참여자 퀀트스탬프의프로토콜에는 6 개유형의참여자가있습니다. 기여자 (Contributors) - 솔리디티프로그램검증에기여한보상으로 QSP를받게됩니다. 기여한모든코드는오픈소스가되어커뮤니티에기여하게되며기여도는거버넌스메커니즘을통해투표로결정됩니다. 검사자 (Validators) - 검사자는이더리움네트워크상의특수노드인퀀트스탬프검증노드를실행하고 QSP 토큰을보상으로받게됩니다. 별도의보안지식은필요하지않습니다. 버그발견자 (Bug Finders) - 버그발견자는스마트컨트랙트에위협이되는버그를제출하고보상금으로 QSP 토큰을받을수있습니다. 계약생성자 (Contract Creators) - 계약생성자는자신의스마트컨트랙트검증을위해 QSP 토큰을지급합니다. 스마트컨트랙트가기하급수적으로늘어남에따라, 계약생성자역시많이증가할것으로기대됩니다. 계약사용자 (Contract Users) - 계약사용자는스마트컨트랙트감사 결과를확인할수있습니다. 투표자 (Voters) - 거버넌스시스템은프로토콜의핵심기능입니다. 검증은토큰소유자를기반으로모듈화되고업그레이드할수있도록설계되었습니다. 시간이지나면서탈중앙화가가속화될수있습니다.
퀀트스탬프의감사진행방법 퀀트스탬프의프로토콜은최대 5 개유형의공통적인취약점이포함되어있는지와소스코드에서이러한취약점 을발견할수있는지를보여줍니다. 커피한잔가격으로각취약점의심각도를평가하는데도움이되는정보를 제공합니다. Step 1: 계정생성하기 Step 2: 스마트컨트랙트제출 Step 3: 감사결과구매 이메일을입력한뒤, 고유한사용자이름을선택하고비밀번호를설정하여 Quantstamp 계정을만듭니다. 이계정은 Proof-of-Care 계정과는다른계정입니다. 퀀트스탬프의시스템이제출된스마트컨트랙트의잠재적취약점을자동으로검증합니다. 보고서를확인하기위해서는메타마스크를사용해 QSP로비용을지급합니다. 스마트컨트랙트감사결과를대중에게쉽게공개할수있습니다. 지난감사결과보고서를저장하기위한계정을만듭니다. 메타마스크설치가필요합니다.
팀 (Team) 현재공동창업자이자 CEO 인리차드마 (Richard Ma) 와 CTO 스티븐스튜어트 (Steven Stewart) 를 비롯해캐나다에위치한연구소까지약 35 명의직원이근무중입니다. Co-founder & CEO Richard Ma Co-founder & CTO Steven Stewart
퀀트스탬프의서포터 퀀트스탬프는세계적인스타트업엑셀러레이터프로그램인 Y 컴비네이터 (Y Combinator) 의 2018 년겨울 프로그램에선발되어여러지원을받고있습니다. 이밖에, 한국의해시드 (Hashed) 를비롯해다양한 벤처캐피털, 기업들의지원을받고있습니다. Y 컴비네이터의아론해리스 (Aaron Harris) 파트너 퀀트스탬프는블록체인의스마트컨트랙트와관련한중대한문제를해결하고있다 라며 스마트컨트랙트가기하급수적으로증가하고있어 10 억달러시장을형성할가능성이있지만, 해킹에취약하다 라고밝혔다. 또한, Y 컴비네이터가퀀트스탬프를지원하게되어자랑스럽다 라고말했다.
퀀트스탬프실적 퀀트스탬프는바이낸스 (Binance) 거래소의 ERC20 토큰의검증은물론비탈릭부테린이 어드바이저로참여하고있는이더리움커뮤니티펀드에합류했습니다. 오미세고 (OmiseGO) 토큰검증및 다양한블록체인스마트컨트랙트의검증실적을쌓아가고있습니다.
PoC(Proof of Caring) 과에어드롭 Proof of Caring Proof of Caring은퀀트스탬프의커뮤니티가퀀트스탬프팀이정해진틀에서벗어나생각하도록만들고커뮤니티만의독특한아이디어를프로젝트에기여할수있는기회를제공합니다. 커뮤니티와퀀트스탬프팀의재능이합쳐지면, 더나은프로토콜을개발하고적용할수있는환경구축이가능해집니다. Proof of Caring Score PoC 점수는아래내용을기반으로산출됩니다. 1. 커뮤니티와의연계 채용, 텔레그램참여, 유튜브비디오제작, 밋업등을통한커뮤니티활동 2. 팀에제안및조언 백서, 웹사이트디자인, 번역등을팀에제안및조언하는개선활동 3. 팀과함께일하기 텔레그램관리자, 각언어별관리자, 깃허브컨트리뷰터등의활동 4. 퀀트스탬프프로젝트의지원활동내역 5. 위활동및작업을최고수준에서진행한분들을위한별도비밀이벤트 산출공식 : 실제프로젝트기여도 + 커뮤니티참여도 + 지갑추적알고리즘 + 지원활동내역 = PoC 2.0 점수
향후업데이트예정 1. 퀀트스탬프는올해여름에지갑 (Wallet) 에대한감사프로세스를출시할예정입니다. - 지갑감사는보안취약점에얼마나노출되어있는지를검증합니다. - 지갑에대한보안감사프로세스가추가되면한층보안이강화될것으로기대됩니다. 2. 한국홈페이지및백서번역예정 - 홈페이지와백서가한국어로제공될예정입니다. 3. 공식블로그 (Medium) 의포스트번역예정 - 퀀트스탬프의공식블로그인미디엄에포스팅된내용이한국어로제공될예정입니다.
관련링크 - 홈페이지 : https://quantstamp.com - 카카오톡 : https://open.kakao.com/o/gkifd3g - 블로그 : https://medium.com/quantstamp - 백서 : https://docsend.com/view/shcsmhe - 텔레그램 : https://t.co/5wngtdzioy - 페이스북 : https://www.facebook.com/quantstamp - 트위터 : https://twitter.com/quantstamp - 깃허브 : https://github.com/quantstamp Copyright 2018 by KryptoSeoul. all rights reserved. All pictures and texts cannot be copied without permission.