抱歉,您的浏览器无法访问本站
本页面需要浏览器支持(启用)JavaScript
了解详情 >

Solidity 语言一旦被部署到区块链就无法更改,这要求程序员在设计程序的时候对于变量的改变更加谨慎。形式化规约应运而生,其以注释的方式储存在代码间以供程序员参阅,在必要的时候也可以使用外部程序根据注释进行验证。

基于 Solidity 合约语言和本地私有链,部署简易的以太坊智能合约的记录。