Solidity

2022年4月28日 (四) 11:46的最后版本

您可以在Wikipedia上了解到此条目的英文信息 Solidity Thanks, Wikipedia.

Solidity

Solidity：面向合约的编程语言，C++ 编码实现，采用 GPLv3 许可证。

@@ 第11行： / 第11行： @@
 ==指南==
+==安全==
+*[https://blog.openzeppelin.com/solidity-compiler-audit-8cfc0316a420/ Solidity Compiler Audit]
 ==项目==
 *[https://github.com/ethereum/solidity Solidity @ GitHub]
+*[https://lll-docs.readthedocs.io/en/latest/index.html LLL compiler]
 *[[Ethereum]]
 *[https://github.com/runtimeverification/verified-smart-contracts Formally Verified Smart Contracts]
 *[https://github.com/OpenZeppelin/openzeppelin-contracts/ OpenZeppelin Contracts] is a library for secure smart contract development.
 *[https://github.com/makerdao MakerDAO @ GitHub] [https://makerdao.com/ MakerDAO] 一种更好的货币 [[文件:MakerDAO-Dai.png]]
+*[[z3]] For use with [[Formal verification|SMT]] checker.
+*[https://cvc5.github.io/ cvc5] For use with [[Formal verification|SMT]] checker.
+*[https://github.com/hyperledger-labs/solang Solang Solidity Compiler]
 ==图集==