10、深入探索智能合约与Solidity语言

深入探索智能合约与Solidity语言

1. 智能合约审计与合规

目前，智能合约的审计主要依赖高级开发者的同行评审。尽管区块链社区尚未推出完善的智能合约代码审计框架，但研究界已取得显著进展：
- XiapuLuo等人开发了名为GAS - costly pattern checker（GASPER）的专有工具，用于识别具有各种高gas成本模式的公共智能合约。
- Juels等人指出智能合约可能被用于犯罪，如泄露机密信息、盗取加密密钥等。
- Atzei等人研究了一系列利用合约漏洞窃取或篡改资产的攻击方式。
- Zhang等人开发了TOWN CRIER，旨在为智能合约提供可信数据。
- Kosba等人开发了HAWK，这是一个去中心化的智能合约系统，支持开发隐私保护型智能合约。
- Luu等人开发了OYENTE，一种基于符号执行的新型工具，用于发现以太坊智能合约中的安全漏洞。
- Bhargavan等人使用形式验证来分析智能合约。

2. Oraclize引擎

Oraclize引擎类似于TOWN CRIER，在Solidity中继承Oraclize合约很简单，可直接使用 oraclize_query 等函数。Oraclize与以太坊和比特币等主流公共区块链协议原生集成，基于以太坊的私有链可通过Ethereum - bridge与之集成。向Oraclize发起有效数据请求时，需指定以下参数：
|参数|说明|
| ---- | ---- |
|数据源类型|可以是网站、Web API（如路透社、Weather.com、BBC.com）、运行在硬件强制可信执行环境