Solidity

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(项目)
(项目)
 
(未显示1个用户的6个中间版本)
第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]]
 
*[[Ethereum]]
 
*[https://github.com/runtimeverification/verified-smart-contracts Formally Verified Smart Contracts]
 
*[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]]
 
*[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://solidity.readthedocs.io Solidity文档]
 
*[https://learnblockchain.cn/docs/solidity/ Solidity中文文档]
 
*[https://learnblockchain.cn/docs/solidity/ Solidity中文文档]

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

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

Solidity

Solidity

目录

[编辑] 简介

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

[编辑] 功能

[编辑] 指南

[编辑] 安全

[编辑] 项目

[编辑] 图集

[编辑] 链接

分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱