Solidity

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(项目)
(项目)
 
(未显示1个用户的2个中间版本)
第11行: 第11行:
  
 
==指南==
 
==指南==
 +
 +
==安全==
 +
*[https://blog.openzeppelin.com/solidity-compiler-audit-8cfc0316a420/ Solidity Compiler Audit]
  
 
==项目==
 
==项目==
 
*[https://github.com/ethereum/solidity Solidity @ GitHub]
 
*[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]
第20行: 第24行:
 
*[[z3]] For use with [[Formal verification|SMT]] checker.
 
*[[z3]] For use with [[Formal verification|SMT]] checker.
 
*[https://cvc5.github.io/ cvc5] 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]
  
 
==图集==
 
==图集==

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

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

Solidity

Solidity

目录

[编辑] 简介

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

[编辑] 功能

[编辑] 指南

[编辑] 安全

[编辑] 项目

[编辑] 图集

[编辑] 链接

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

变换
操作
导航
工具箱