微软宣布了新的开源正式验证工具VeriSol，旨在优化智能合同的质量/ Microsoft는 스마트 계약의 품질을 최적화하도록 설계된 새로운 오픈 소스 공식 검증 도구 인 VeriSol을 발표했습니다./ Microsof...

据消息，6月3日，微软研究院(MicrosoftResearch)在其博客中披露了一个新的开源正式验证工具。该工具旨在提高使用Solity子集编写的智能合同的质量，Solity是为太方块链构建的一种编程语言。新工具名为VeriSol(为以太坊区块链构建的编程语言)，出现在一篇学术论文中，概述了Microsoft Azure块链智能合同验证的设计和应用。尽管VeriSol仍然是一个主要由Azure智能合同驱动的原型，但研究人员对其寄予了很高的期望，并鼓励公开合作，以促进正式验证，并引入主流智能合同开发。

Microsoft Research는 6 월 3 일에 블로그에 공개 소스 공식 검증 도구를 공개했습니다. 이 도구는 스마트 Solity 계약의 일부를 사용하여 기록의 품질을 향상시키기 위해 설계, Solity는 프로그래밍 언어도 박스 체인을 위해 제작되었습니다. (이더넷 광장 블록 체인 프로그래밍 언어에 내장) VeriSol라는 새로운 도구는 학술 논문에서 설계와 마이크로 소프트 애저 계약 인증 블록 체인의 지능형 응용 프로그램의 개요를 보였다. VeriSol 주요 계약 푸른 지능형 프로토 타입에 의해 구동 계속하지만 연구자들은 높은 기대를 배치하고 주류 개발 계약을 공식 검증 및 지능을 촉진하기 위해 공공 협력을 장려하지만.

According to the news, on June 3, Microsoft Research revealed a new open source formal verification tool in its blog. The tool is designed to improve the quality of smart contracts written using a subset of Solity, a programming language built for the blockchain. The new tool, called VeriSol, a programming language built for the Ethereum blockchain, appears in an academic paper that outlines the design and application of Microsoft Azure blockchain smart contract verification. Although VeriSol is still a prototype driven primarily by Azure Smart Contracts, researchers place high expectations on it and encourage open collaboration to facilitate formal validation and introduce mainstream smart contract development.

图片由自己拍摄/사진은 나 혼자서 찍는다./ The picture is taken by myself