上周CertiK发布了干货分享 | 十大DeFi安全最佳实践方式（上），为大家分享DeFi安全10个最佳实践的前3个实践方式，今天将为大家带来剩余的7个实践内容，进一步助力各位读者保障自身应用程序的安全。
超长干货，建议先收藏再看哦！
4. 避免常见问题
这一点对 Solidity 来说是一个总括性的问题——如果希望合约安全，就需要在构建它时依次核实所有的DeFi安全准则。而要编写真正可靠的Solidity，就必须了解它的内部工作原理。否则，可能会容易受到以下攻击：
上溢出/下溢出（Overflows/Underflows）
在Solidity 中，uint256和int256被 "包裹"了。
这意味着，如果你在uint256中拥有一个最大的数，然后将其添加到其中，它将变成可能存在的最小数字。
这一点务必需要检查与核实，在0.8之前的Solidity版本中，可以使用类似safemath的库来解决这一问题。
在Solidity 0.8.x中，默认情况下会检查算术运算操作。这意味着x+y将在溢出时抛出异常。因此，请确认你正在使用的Solidity版本。
循环gas限制（Loops Gas Limit）
当编写动态大小的循环时，需要注意它的极限规模大小。一个循环的规模可以很容易地超过最大块限制，并使合约在回滚时失效。
避免使用'tx.origin'
`tx.origin`可能会导致类似钓鱼的攻击，因此不应该被用于智能合约的身份验证。
代理存储冲突（Proxy Storage Collision）
对于采用代理实现模式的项目，可以通过更改代理合约中的实现合约地址来更新实现。
通常，代理合约中有一个特定的变量存储实现合约地址。如果这个变量的存储位置是固定的，而在执行合约中恰好有另一个变量具有相同的存储位置索引/偏移量，那么就会发生存储冲突。
火币中国十大标准化产品解决方案出炉:“区块链+城市公共卫生平台是推出的第一个平台解决方案，未来还将推出更多拳头产品。”火币中国产业赋能中心负责人范进2月28日表示，此次率先推出的城市公共卫生平台可实现对大型公共卫生事件的全周期防控。
2020年新冠肺炎袭来，一场无硝烟的战“疫”让全社会面临共同挑战。在防控疫情过程中，区块链技术在多方协同复杂场景中的应用潜力开始显现。为进一步推动区块链赋能实体经济的快速发展，火币中国将陆续推出十大标准化产品解决方案，分别涉及城市公共卫生、供应链金融、积分管理、存证管理等领域。
火币中国此次推出的城市公共医疗卫生平台，将借助区块链技术优势，利用分布式网络的建设方式，创造可追溯的区块链可信网络，使之满足重大突发公共卫生事件和日常城市医疗卫生的需要。目前火币中国已与吉宏股份初步合作计划用此平台赋能快消品的溯源和信息上链，同时也与鑫根资本等合作将此平台赋能到各地政府公共事务的管理运营当中。[2020/2/28]
要触发存储冲突，可以在Remix中执行以下步骤：
①部署实现合约；
②部署代理合约，将实现合约的部署地址作为其构造参数；
③在代理合约的部署地址上运行实现合约；
④调用myAddress()函数。它将返回一个非零地址，该地址是存储在代理合约中 otherContractAddress 变量中的部署地址。
在上述四个步骤中发生了什么？
1. 部署实现合约并生成其部署地址；
2. 代理合约使用实现合约的部署地址进行部署，其中代理合同的构造函数被调用，并将otherContractAddress变量赋值为实现合约的部署地址；
3. 在步骤③中，实现合同与代理存储进行交互，即部署的实现合约中的变量可以读取部署的代理合约中相应的哈希碰撞变量的值。
4. myAddress()函数的返回值就是部署的实现合约中myAddress变量的值，它与部署的代理合约中的otherContractAddress变量产生冲突，随即可以在那里获得otherContractAddress变量的值。
现场 | 火币研究院负责人袁煜明：区块链行业发展的十大趋势:金色财经现场报道，7月25日在CoinTime Summit 2019 · 越南站峰会中，火币研究院负责人袁煜明盘点了行业发展的十大趋势，具体包括：
1. 在今年初市场触底；
2. 今年是比特币ETF很艰难的一年，各种衍生品出现；
3. 公链平台的改进从高表现转换至有效的用户使用；
4. 一站式区块链的使用和跨链是2019年发展的一大趋势；
5. 5G和分布式存储会驱动Web3.0；
6. 挖矿中的金融革新会导致产业的重新洗牌；
7. 传统的APP应用会变得更加去中心化，带来更多的新用户；
8. 更多的资产会代币化（Tokenize），然而可扩展性始终是一个问题；
9. 稳定币的功能从用于交易变成具体的应用和支付；
10. 一些国家的监管开始推进，更多的行业执照出现以推动市场更好的发展。
同时，袁煜明还提到了Facebook所发行的稳定币Libra，他认为Libra对政府和传统金融行业有很大的影响，虽然发展过程中有很多问题，但会给整个行业带来很多机会。[2019/7/25]
为了避免代理存储冲突，我们建议开发者通过为存储变量选择伪随机槽来实现非结构化存储代理。
一种常见的做法是为项目采用一种可靠的代理模式。最广泛采用的代理模式是通用可升级代理标准（UUPS）和透明代理模式。它们都提供了具体的存储 "偏移"，以避免在代理合同和实现合同中使用相同的存储槽。
下面是一个使用透明代理模式实现随机存储的例子?
保证代币转移计算的准确性
通常情况下，对于普通的ERC20代币，收到的代币数量应该等于用函数调用的原始数量。
例如——参见下方函数retrieveTokens()?
然而，如果代币是通缩的，即每次转移都有费用，那么实际收到的代币数量将少于最初要求转移的代币数量。
在如下所示的修改后的函数retrieveTokens(uint256 amount)中，`amount'是根据转账操作前后的余额重新计算的。不管代币转移机制如何，这都将准确地计算出被转移到`address(this)'的代币数量。
动态 | 信通院盘点2018金融科技十大热词 区块链在多个领域均有应用:据中国信通院官网消息，3月21日，中国信通院盘点2018金融科技十大热词。区块链在保险科技、供应链金融、监管科技、数字金融反欺诈和支付科技等金融科技热点均有应用。比如供应链金融方面，区块链通过加密数据的交易确权、基于存证的交易真实证明、基于共享账本的信用拆解和基于智能合约的执行等，能有效解决上述痛点，助力供应链金融的落地；支付科技方面，区块链技术带来支付变革，港版支付宝AlipayHK用户通过区块链技术向菲律宾钱包Gcash汇款也能像境内转账一样实时到账，7×24小时不间断、省钱省事、安全透明，可谓重新定义了“跨境汇款”。[2019/3/21]
正确删除数据
有很多场景需要移除合约中不再需要的某个对象或值。
在像Java这样的标准语言中，有一个垃圾收集机制可以自动和安全地处理删除数据的问题。然而，在Solidity中，开发者必须手动处理 "垃圾"。因此，垃圾处理不当可能会给智能合约带来安全问题。
例如，当用delete（即`delete array[member]'）从数组中删除单个成员时，`array[member]'仍将存在，但根据`array[member]'的类型重置为一个默认值。开发者应该要么跳过这个成员，要么重新组织数组并减少其长度。
比如?
这些只是需要注意的一些漏洞，查看审计师Sigma Prime关于Solidity常见漏洞的文章可以帮助你深入了解Solidity以及避免这些 "陷阱"。
5. 函数的可见性和修饰符
在Solidity语言的设计中，有四种类型的函数可见性：
private：该函数只在当前合约中可见。
internal：该函数在当前合约和派生合约中是可见的。
动态 | 区块链技术入选韩国智能政府十大有前景技术:韩国行政安全部和信息化院评选韩国智能政府十大有前景的技术，其中区块链技术、5G技术、人工智能保安技术等均在行列（韩联社）[2019/2/6]
external：该函数只对外部调用可见。
public：该函数对内部和外部的调用都是可见的。
可见性是指针对特定功能的上述四种可见性中的一种用于限制某一组用户的访问。
修饰符则指的是专门为访问限制目的而编写的自定义代码段。
可见性和修饰符结合起来，可以为特定功能设置适当的访问权限。例如，在ERC20实现的函数`_mint()`中：
函数_mint()的可见性被设置为internal，这正确地保护了它不被外部调用。为了给mint功能设置一个适当的访问权限，可以使用下方的代码段：
函数mint()只允许合约的所有者铸造，require()语句则可以防止所有者铸造过多的代币。
正确使用可见性和修饰符有利于合约管理。而未正确使用的设置可能会让恶意攻击者调用管理配置函数来操纵项目，过度的修饰符设置也可能会给合约带来中心化的问题，并引起社区的不安。
6. 部署到主网前必须获得外部审计
代码审计就像是接受一个以安全为重心的同行评审。审计员会逐行查看整个代码库，并使用形式化验证技术来检查智能合约是否存在任何漏洞。
如果不想让自己的项目赤裸裸的暴露于漏洞的威胁之下，切忌在没有审计的情况下部署代码，或者在审计后改变代码并重新部署。
这里有一些帮助确保审计全面的建议：
a. 记录一切，以便审计员更容易跟踪所发生的事情b. 保持与审计团队的沟通渠道畅通，以防他们有任何疑问可以得到及时解决c. 在你的代码中添加注释，确保其可以更快被理解
然而，安全是你自己需要切身关注的重中之重，一股脑的将身家全部寄予审计机构对你的安全保障是不该存在的心态。
加密货币市场前十大数字货币在过去12个月内平均涨幅达170%:据New.bitcoin.com报道，他们关注了自2017年5月28日以来前十大加密货币的表现，并进行了分析。分析表明，尽管2018年遭遇了熊市，前十大加密货币在过去12个月中，平均价格涨幅依然达到170%。[2018/5/27]
如果你的协议遭到攻击，最大的受害者是你自己以及你的团队。
尽管安全审计非常有用，提供了额外的一轮审查，并可以帮助你查找未曾发现的漏洞，但它也不能确保100%的安全。
Tincho在推特上开启了一个关于如何最高效率地进行安全审计的话题，感兴趣的小伙伴可以去看看。当然，如果你有任何审计需求，或是相关的疑问，随时可在公众号底部留言进行咨询。
7. 进行测试并使用静态分析工具
你需要对应用程序进行适当的测试。
如果你正苦恼于无处下手，Chainlink starter kit repos提供了一些测试套件样本供你参考。
像Aave和Synthetix这样的协议也有很好的测试套件，建议也可以通过查看他们的代码以了解一些测试的最佳实践（也包括更普遍的编码）。
静态分析工具也会帮助你更早地发现代码的错漏之处。它们可以自动运行监测你的合约并寻找潜在的漏洞。
目前最流行的静态分析工具之一是Slither。CertiK目前还在根据其在审计、验证和监控智能合约方面的丰富经验，建立下一代静态分析、语法分析、漏洞分析和形式验证工具。
8.将安全视为重中之重
毫无疑问，在生产部署之前，您应该尽最大努力创建一个安全可靠的智能合约，但区块链和DeFi协议快速发展的现实以及新型攻击方式的不断出现意味着这远远不足以保障安全。
开发者们应当积极获取并跟踪最新的监测和警报数据，并尽可能尝试在智能合约本身中引入面向未来的功能以访问快速增长的动态安全洞察数据，这一行为除了安全外更有其他益处。
CertiK Skynet天网动态扫描系统作为一个24*7全天候运行的安全情报引擎，可为智能合约的链上部署提供多维度和实时的透明安全监控。
它包括社会情绪、治理、市场波动、安全评估等安全基元，为区块链用户、社区和代币投资者提供全面的安全见解。
而CertiK安全排行榜提供公开透明的、易于理解的安全见解和最新的项目状态，所有人都可以通过这个平台查询所有需要的安全数据信息，并向平台提供他们所认可的在安全领域表现优异的DeFi项目，这将激励形成社区问责制。
9. 制定一个“翻身”计划
对于一个协议来说，如果在受到攻击后有一个准备许久的“翻身”计划无疑是很好的一步落子。
购买相关保险产品
设置一个紧急 "暂停 "功能
有一个升级计划
随着加密技术的不断发展，保险平台及计划作为一种从损失中被解救出来的保障越来越受到广大项目和用户的欢迎，保证了去中心化的同时更增加了一定程度的安全性。比如CertiK开发的去中心化链上资金保险平台CertiKShield，可保证项目及其投资者的资产安全，避免其受到安全漏洞或黑客攻击导致的资产丢失、被盗或无法访问等情况的影响。
设置紧急 "暂停 "功能是一个有利有弊的策略。
如果发现漏洞，此功能将停止与智能合约的所有交互。如果你设置了这个功能，你需要确保你的用户知道谁能够操作它。
如果只有一个用户，你就不是在运行一个去中心化的协议，那么用户就可以通过代码发现这些。因此要注意该功能实现方式，因为你实际上可能最终在一个去中心化的平台上得到了一个中心化的协议。
进行升级也有同样的问题。转移到一个没有bug的智能合约可能很好，但升级仍要十分慎重，以免中心化问题的出现。
因此有相当一部分安全机构几乎极力反对可升级的智能合约模式。
更多关于智能合约升级的内容你可以在YouTube上观看帕特里克-柯林斯关于这个话题的视频或是查看《智能合约升级现状》的演讲。
想要了解更多保险方面的建议？欢迎加入Chainlink Discord：
https://discord.gg/2YHSAey
10. 防止抢先交易Front-running
在区块链中，所有的交易在mempool中都是可见的，这意味着每个人都有机会看到你的交易，并有可能在你的交易进行之前进行交易，以便从你的交易中获利。
例如，假设你使用DEX以当前市场价格将5个ETH兑换成DAI。一旦你把你的交易发送到mempool进行处理，一个先行者可以在你之前进行交易，购买大量的ETH，导致价格上涨。然后他们可以以更高的价格向你出售他们购买的ETH，并以差价获利。
目前，抢先交易机器人在区块链世界中肆意妄为，以牺牲普通用户的利益为代价获利。
这个术语来自于传统金融，交易员会使用同样的操作来获利，涉及到了股票、商品、衍生品等等金融资产和工具。
作为另一个例子，下方列出的函数就具备被抢先的风险。
根据修饰符'initializer'，该函数只能被调用一次。
如果攻击者在mempool中监控调用`initialize（）`函数的交易，那么攻击者就可以用一组定制的代币、分发服务器（distributor）, 和工厂（factory）的值来`复制`该交易，并最终控制整个合约。由于函数 "initialize() "只能被调用一次，合约所有者无法对这种攻击进行防御。
这通常也与矿工可提取值或MEV有关。MEV是指矿工或机器人对交易进行重新排序，以便他们能以某种方式从排序中获利。
就像抢先者支付更多的gas以使他们的交易领先于你的交易一样，矿工可以直接重新排序交易，使他们的交易领先于你的交易。在整个区块链生态系统中，MEV每天从普通用户那里窃取的资产高达数百万美元。
幸运的是，一群世界级的智能合约和密码学研究人员，包括Chainlink实验室的首席科学家Ari Juels，正致力于用一种称为“公平排序服务”的解决方案解决这一问题。
正在开发的解决方案——Chainlink公平排序服务（FSS）
Chainlink 2.0白皮书概述了公平排序服务的主要特点，这是一个由Chainlink去中心化预言机网络（DONs）提供动力的安全链外服务，将用于根据DApp概述的公平时间概念来排序交易。
FSS旨在极大地缓解抢先交易以及MEV的负面影响，并为整个区块链生态系统的用户减少费用消耗。
关于这方面的更多内容可以通过一篇介绍性的博文或是Chainlink 2.0白皮书的第五节中进行了解。
除了FSS之外，缓解抢先交易问题的最好方法之一是尽可能降低交易排序的重要性，从而抑制协议中交易的重新排序及MEV。
写在最后
加密世界是一个公正透明且需要我们每一个人协作互助的地方，这一点在开发者们身上体现尤甚。
在保护自己的这一点上，回顾已发生的攻击事件有助于了解恶意攻击者是如何实施攻击的。除此之外，你还可以通过7*24全天候安全洞察系统（如CertiK Skynet天网）实时接收最新的链上安全漏洞相关信息及其更新状况。
如果你想深入了解安全又怕过程太枯燥，建议一定要看看Ethernaut游戏。你可以通过它了解DeFi中的安全问题，它包含了大量DeFi的安全实例，以及Solidity的许多内涵和外延。
还有Damn Vulnerable DeFi也可以娱乐的方式学习相关安全知识。
如果想要了解更多闪电贷攻击的信息，你可以登录Prevent Flash Loan Attacks website进行查看。
对加密世界的每个人来说，从错误中学习并吸取教训是最基本的，这可以确保我们的智能合约被安全地构建并尽可能广泛地采用。
如果这篇文章里的解决方案中还有更多你想要了解的信息，请参阅Chainlink文档和CertiK文档。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。