由于区块链具有不行改动的特点，智能合约一旦宣布极难修改，合约的安详也抉择了区块链的安详。智能合约本质上是代码措施，不免会有思量缺失导致的裂痕。合约安详威胁?主要包罗可重入进攻、挪用深度进攻、生意业务顺序依赖进攻、整数溢出进攻等。为保障智能合约的安详，应担保开拓安详和全面的安详审计。

（1）安详开拓

智能合约安详开拓包罗开拓东西、编译东西及安详编程类型等方面的保障。

a.智能合约应回收类型的东西举办开拓和编译，利用安详统一的编译器和链?接器选项，以便担保编译器所提供的最新的安详掩护机制。同时，应利用同一来?源的开拓东西集，制止进攻者在软件供给链中植入恶意代码。?b.智能合约的编写应基于严格的安详编程类型。常见的安详编码类型包罗弃?用 一 些 存 在 注 入 或 内 存 破 坏 危 险 的 第 三 方 函 数 ， 采 用 智 能 合 约 的?checks-effects-interactions 原则举办合约编写等。?c.在智能合约编码中尽大概少地袒露被外部挪用的接口。发起回收历程隔断?离的技能将智能合约历程与系统断绝，通过 socket 通信方法长途挪用智能合约。

（2）安详审计

在宣布智能合约之前，做好全面的安详审计事情，有效防御已知风险。第一，?选择对应的虚拟机语言扫描东西对合约代码举办静态扫描，扫描事先建模的裂痕?范例；第二，为了制止静态扫描大概发生误报的环境，应邀请安详专家举办交互?式代码审计，制止重入进攻、未授权会见进攻、Solidity 开拓安详等。

（3）安详测试

智能合约陈设前必需颠末大量的测试，在模仿情况中对智能合约举办进攻测试，，挖掘可被操作的裂痕。

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。