토픽
링크복사
공유
댓글
추천
스크랩
인쇄
글자크기
2019.06.04 (화) 19:45
0
1
암호화폐 전문 미디어 크립토글로브에 따르면, 마이크로소프트 리서치가 3일(현지시간) 이더리움 기반 솔리디티(Solidity) 스마트컨트랙트를 위한 공식 오픈소스 검증 툴(verification tool) 'VeriSol'을 공개했다. 관련 논문이 마이크로소프트 리서치, 마이크로소프트 애저, 텍사스대 등 7명의 연구원에 의해 작성됐다. 해당 논문은 스마트컨트랙트의 정확성을 강조하며 "스마트컨트랙트 취약성이 드러난 몇몇 사건이 블록체인 기술에 대한 신뢰를 떨어뜨린 바 있다"고 지적했다.
Provided by Coinness
<저작권자 ⓒ TokenPost, 무단전재 및 재배포 금지>
많이 본 기사
티켓스토어
티켓으로 다양한 상품에 응모하자!
에어드랍
선물이 쏟아지는 에어드랍 이벤트!
[Episode 15] GM Wallet 다운받고, GMMT 에어드랍받자!
500 GMMT 에어드랍 (500명)
[Episode 14] GM Wallet 다운받고, GMMT 에어드랍받자!
500 GMMT 에어드랍 (500명)
카테고리 기사
댓글
0
추천
1
스크랩
데일리 스탬프
0
매일 스탬프를 찍을 수 있어요!
데일리 스탬프를 찍은 회원이 없습니다.
첫 스탬프를 찍어 보세요!
뉴스
코인정보
라운지
커뮤니티
TPI 
매체소개
고객센터
