Solidity

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

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

Solidity

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

@@ 第1行： / 第1行： @@
-Solidity：面向合约的编程语言，[[C++]]编程实现。
+{{SeeWikipedia}}
+Solidity
+[[文件:solidity-logo.png|right|Solidity]]
 ==简介==
+Solidity：面向合约的编程语言，[[C++]] 编码实现，采用 GPLv3 许可证。
 ==功能==
+==指南==
+==安全==
+*[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]
 ==图集==
 ==链接==
-*[https://github.com/ethereum/solidity Solidity @ GitHub]
+*[https://soliditylang.org/ Solidity 官网]
 *[https://solidity.readthedocs.io Solidity文档]
 *[https://learnblockchain.cn/docs/solidity/ Solidity中文文档]