坚固性 swMATH ID: 30784 软件作者： 加文·伍德（Gavin Wood）、克里斯蒂安·赖特维斯纳（Christian Reitwessner）、亚历克斯·贝雷格萨齐（Alex Beregszaszi）、莉安娜·胡西基（Liana Husikyan）、平井友一 说明： Solidity是一种面向对象的高级语言，用于实现智能合约。智能合约是管理以太坊状态下账户行为的程序。Solidity受到C++、Python和JavaScript的影响，其目标是以太坊虚拟机（EVM）。Solidity是静态类型的，支持继承、库和复杂的用户定义类型等功能。使用Solidity，您可以创建用于投票、众筹、盲拍卖和多签名钱包等用途的合同。 主页： https://solidity.readthedocs.io/en/develop/ 源代码： https://github.com/ethereum/solidity/blob/develop/docs/index.rst 相关软件： 塞尔瓦;CVC4型;PBC图书馆;github;规格# 引用于： 3文件 全部的 前5名7位作者引用 2 克什蒂吉·班萨尔 2 埃里克·科斯基宁 2 奥马尔·特里普 1 西安，河群 1 余佳 1 张汉林 1 张亮 2篇连载文章中引用 1 信息科学 1 自动推理杂志 在3个字段中引用 2 计算机科学（68至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文