암호화폐 전문 미디어 크립토글로브에 따르면, 마이크로소프트 리서치가 3일(현지시간) 이더리움 기반 솔리디티(Solidity) 스마트컨트랙트를 위한 공식 오픈소스 검증 툴(verification tool) 'VeriSol'을 공개했다. 관련 논문이 마이크로소프트 리서치, 마이크로소프트 애저, 텍사스대 등 7명의 연구원에 의해 작성됐다. 해당 논문은 스마트컨트랙트의 정확성을 강조하며 "스마트컨트랙트 취약성이 드러난 몇몇 사건이 블록체인 기술에 대한 신뢰를 떨어뜨린 바 있다"고 지적했다.
Provided by Coinness