网址：https://solidity.readthedocs.io
以太坊面向合约的、为实现智能合约而创建的编程语言。
Solidity 是一门面向合约的、为实现智能合约而创建的高级编程语言，受到 C++、Python 与 Javascript 语言的影响，设计的目的是能在以太坊虚拟机 EVM 上运行。
Solidity 是静态类型语言，支持继承、库和复杂的用户定义类型等特性。
【动态 | Nervos开发者资助计划首个资助由James Prestwich获得 将实现BTC和CKB的跨链】公链项目Nervos开发者资助计划Nervos Grants首个资助由James Prestwich获得，他将实现 BTC/CKB 的跨链。James Prestwich在Nervos论坛发布帖子称，bitcoin-spv是一组用于处理比特币和其他链进行通信的库，支持跨链通信，包括交换、中继和桥接。目前可用于Solidity、Go、Rust、Python和ES6 +中，James Prestwich 计划添加一个针对 CKB 的 C 实现。Nervos Grants是公链项目Nervos于2019年12月推出的开发者资助计划，设立3000万美金公共捐赠基金，为在CKB上开发的开发者提供资助。这笔基金最开始会提供给客户端协议、开发环境、跨链互操作性、智能合约语言和工具类项目。
【动态 | Cosmos将为用户提供三种不同编程语言】区块链互操性项目Cosmos将为用户提供至少三种不同编程语言的选择。第一种为Ethermint，它是以太坊智能合约语言Solidity的直接复制品；第二种为Secure EcmaScript（SES），这是由区块链初创企业Agoric为安全智能合约部署而构建的JavaScrip版本。第三种是摩根大通区块链团队前负责人Stuart Popejoy与区块链平台服务提供商Kadena合作发布的混合区块链智能合约编程语言PACT。（Coindesk）}
【美国国家网络安全中心正推动科罗拉多州的大学教授编程语言Solidity】据华尔街日报报道，美国国家网络安全中心（NCC)总长Vance Brown表示，该组织在科罗拉多州的中心与该地区的大学合作，推动这些大学开始教授用于向区块链平台添加智能合约的编程语言Solidity。
【动态 | 新以太坊语言Vyper发布 可与Solidity合用以增强安全性】据newsbtc消息，新的以太坊语言Vyper已经发布，并在社交媒体上引起热议。该语言是由废弃语言Serpent 升级而来，为开发者们提供了可以替代Solidity语言的另外一种选择，早期使用者甚至认为这是一种改进，更胜Solidity。像Solidity一样，Vyper编译为以太坊虚拟机（EVM）的字节代码，而Vyper的设计目的是简化这个过程，旨在创建更易理解的智能合约，减少攻击点，增加透明度，目前Vyper Beta已经准备好测试工作。Vyper的创建不是为了取代Solidity，而是为了与其一起使用，因为它们共享相同的字节代码以增强安全性，据此看来，Vyper未来将大有可为。
【动态 | 微软公布新开源形式验证工具VeriSol，旨在优化智能合约质量】据Crypto Globe消息，6月3日，微软研究院（Microsoft Research）在博客中揭示了一个新的开源形式验证工具。该工具旨在提高使用Solity（为以太坊区块链构建的编程语言）子集编写的智能合约的质量。 新工具名为VeriSol（即Verifier for Solidity），曾出现在一篇概述微软Azure区块链智能合约验证的设计和应用的学术论文中。博客文章称，尽管VeriSol迄今仍然是一个主要由Azure智能合约驱动的原型，但研究人员对其期望很高，同时也在鼓励开放协作以促进形式验证发展并引入主流智能合约开发中。
【以太坊开发环境工具Buidler更名为Hardhat】分布式系统设计团队NomicLabs宣布将以太坊开发环境工具Buidler更名为Hardhat，改名后，用于扩展和自定义设置的任务运行组件被称为HardhatRunner，此前具有Solidityconsole.log和堆栈跟踪功能的星型开发网络BuidlerEVM，被称为HardhatNetwork。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。