智能合约审计漏洞检测

专题39篇资料归档

中国智能合约第一人：我不要你觉得，我要我觉得，我为攻城狮代言Smart Contract，区块链智能合约的原理是执行在区块链上面的合约程序，通过区块链提供不可停止的可信计算功能，保障了合约的自由执行，所以在井通系统中智能合约也称为自由合约。

智能合约是解决多方在业务功能执行上面信任的问题，保障多方共同信任某一合约功能的执行，解决现实世界中执行的可信问题。

智能合约的执行是不可停止的，所以智能合约需要通过在合约中构建可以满足现实需求的合约功能，包括监督、行政以及监管的功能，通过合约本身的机制来符合业务的需求。

我们可以在区块链上写代码来执行一段事前约定的规则，可以写任何我想做的程序，这个程序的执行过程也是在全世界所有的节点上面执行，它的执行结果、输入和输出都是记录在区块链上，没有任何一个人可以改。这样一来，我们每个人都可以写这个可信的程序，它的执行结果没有办法被人为操纵，任何人都可以去信任这个结果。

区块链智能合约解决信任问题
我们知道人类社会的商业活动中很大的成本都花在合作的双方达成信任上，达成信任，其实就需要引入这样一个中心化的可信第三方，比如说支付宝、比如说通过法律，他们会消耗很多的时间，消耗很多的精力。不只是商业活动，其实整个人类社会的架构基本上都是这样一种结构。

如果我们有了智能合约平台，有了区块链以后，我们有了一种可以通用的一种去中心化的信任，我们将不需要第三方信任，这将改变商业活动中各方的关系，乃至对生产关系也是一种改变。其实就是我们所说，革命所发生的地方。商业活动所有需要信任的地方，都会被改变掉。

所以在我的观点中，我是觉得很可能在未来某一天，整个人类社会的结构都会发生一个很大的变化，整个人类社会都会在区块链的一种去中心化信任机制上进行重构，所有的行业其实都会得到一个颠覆，包括金融、物流等等。这种变化就是人类社会中生产关系的变化，它会极大地促进生产力的提升，然后导致整个人类社会的效率得到一个质的飞跃。整个商业活动中，两家公司之间要谈合作，第一步肯定是要签合同，或者战略合作协议，那合同是什么？

就是规范，上面写着比如说双方的义务和权利，写着假如说对方侵犯了我的利益，我现在该怎么办，假如我的利益受到了损害，会我要求什么样的赔偿，对这样的一个合同依赖是什么？依赖于法律的强制执行，就是比如说现在我和双方签了一个合同，这个合同得到法律承认了，如果对方违反了合同，可以求助于法律来强制执行合同内容，这样一来双方都可以信任法律。

现在有了区块链，整个过程也会变得更加简单，比如说我现在跟一家公司谈合作，可能都不需要再去签纸质合同，也不用去做公证，也不需要去请律师来保证这个东西的合法性，合同本身就是一段代码，这个代码上写着，假如对方干了什么事情，怎么样赔偿，前提是双方有一些可以被执行的资产放在区块链上，可以让智能合约去执行这个合同。这个合约一旦被放到区块链上以后，双方就再也没有办法修改，它会在全世界所有人的计算机上执行，单个的人都没有办法篡改他，那这样我们都可以相信这份合约是有效的，双方就可以以更高的效率达成共识，整个商业活动的效率都会得到提升。这样的一个合同就被称为智能合约，代码就是法律。

defi合约授权追踪 https://debank.com/
https://revert.finance/

可视化合约 https://debank.com/

https://mirror.xyz/ninjak.eth/WfM30QbSWB2_-9t98g05unTmb_2ZXucOAZMPDa7MX48
链上分析方法：https://github.com/SixdegreeLab/MasteringChainAnalytics/blob/main/00_introductions/readme.md

智能合约是区块链应用自动执行规则和资产逻辑的核心组件。本专题聚合本站关于智能合约原理、开发方式、执行模型、Code is Law、漏洞分析和安全审计的文章，重点回答合约如何运行、风险从哪里产生以及如何检测。

本专题重点：智能合约原理、开发与执行模型、Code is Law、常见漏洞、合约审计与检测。

智能合约的安全及智能合约安全审计_智能合约的编写_代码即法律Code is Law_白墨子实验室_大萌资讯

按照通常的定义，智能合约（Smart Contract ）是一种旨在以…

延伸

智能合约以太坊的本质_降低准入门槛_自动化技术的应用_以太坊构建之初V神早期_区块链大本营智能合约的法律探析：法律地位怎么看待？被视为是合同履行工具或为合同条款补充@樊晓娟@数字资产研究院CIDA

主题索引

原理与执行

开发与工具

漏洞与攻击

审计与检测

查看验证以太坊智能合约（ABI二进制接口）科学家技术撸毛空投抢购IDO@卖鱼的

应用与协议

以太坊程序员开发者编写资格 eip提案@深潮TechFlow

采访：Sunny 编辑：Min 硅谷南湾，天气晴朗。你或许不熟悉周载南（Victor Zhou）的名字，但是 ERC1202，ERC5750 等协议或许并不陌生，Victor Zhou 就是以太坊改进提案（EIP）的作者，以及全球首位华人...

主题索引

原理与执行

开发与工具

漏洞与攻击

审计与检测

应用与协议

最新文章

分类

吐槽文章

神吐槽标签