Investing
마이크로소프트, 스마트컨트랙트 검증 툴 'VeriSol' 공개
가
가암호화폐 전문 미디어 크립토글로브에 따르면, 마이크로소프트 리서치가 3일(현지시간) 이더리움 기반 솔리디티(Solidity) 스마트컨트랙트를 위한 공식 오픈소스 검증 툴(verification tool) 'VeriSol'을 공개했다. 관련 논문이 마이크로소프트 리서치, 마이크로소프트 애저, 텍사스대 등 7명의 연구원에 의해 작성됐다. 해당 논문은 스마트컨트랙트의 정확성을 강조하며 "스마트컨트랙트 취약성이 드러난 몇몇 사건이 블록체인 기술에 대한 신뢰를 떨어뜨린 바 있다"고 지적했다.
Provided by Coinness
리얼타임즈 [email protected]
상호명 : 리얼타임즈 | 주소 : 서울특별시 강남구 논현동 33-12번지 서울빌딩 3층
등록번호 : 서울 아 52564 | 등록일자 : 2019.08.22 | 발행인 · 편집인 : 장인수 | 청소년 보호정책(책임자 : 김송화)
리얼타임즈의 모든 컨텐츠와 기사는 저작권법의 보호를 받은바, 무단 전재, 복사, 배포 등을 금합니다.
☎ 02-544-8838 / [email protected]
