总是害怕飞机颠簸的第二次空难？我们每天遇到带有漏洞的defi契约的概率有多大？

在新皇冠中，由于核心原因，美国10万个小编辑的确诊病例不得不飞出去。出门前，我担心自己会不会被感染，但飞机的颠簸声把我吓坏了。

新冠状病毒肺炎仍然非常安静，尽管飞机坠毁的概率非常低。但这四个字仍然记得：“墨菲定律”。

作为20世纪西方文化的三大发现之一，墨菲定律本质上来自于人们对人生不幸的总结和共识。

在新约中，这条律法被生动地描述了

“你想洗澡的时候，电话就会响。”

“烤面包片一定是沾了果酱的那一边。”

“排队买单，隔壁的队伍前进得更快”

有趣的是：关于第二定律，美国科学家罗伯特·马修斯做了这样一个实验。为了这个实验，他获得了一个有趣的诺贝尔奖。

他带着来自英国各地学校的1000多名学生参加了实验。在9821个瀑布中，6101个落在涂黄油的一侧，占62%。

如果像许多科学家所说的那样，当烤面包片掉下来时黄油的一面上下是随机的，而且概率是相同的，那么预期的概率应该是50%，实验结果比预期高出12个百分点。

这个结果使罗伯特·马修斯得出了一个令人惊讶的结论

人类**身高的公式似乎包含了三个所谓的“宇宙基本常数”。第一，电磁结构常数，决定了颅骨中化学键的强度，第二，重力结构常数，决定了重力。**，所谓的玻尔半径决定了构成物体的原子的大小。这三个基本常数的精确值是在大爆炸之后在整个宇宙中设定的。

换言之，从早餐桌上掉下来的土司掉在地上的黄油面上，因为宇宙就是这样

虽然我不能理解，但它基本上是“墨菲定律”=“邪恶的法则永远不会单独出现”=“世界公认的法则”

这没什么大不了的，不过吃烤面包加黄油面条很烦人。

然而，在小概率事件中，仍有许多事件会造成严重后果。

例如，空难。

不知道看守的人是不是和小编一样。飞行时，他们总是在颠簸之后产生“迫害错觉”。他们认为下一秒就会发生事故。

目前，发生空难的概率是五百万分之一（0.00002%）。如果不发生，就没有人活着了。我相信每个人都或多或少地担心这样一个小概率事件。人们认为，这种恐惧不仅来自高空的不安全感，还来自悲惨的事故和小概率事件的必然性。当样本量足够大时，甚至可能发生最小概率的事件。

所有这些灾难都以巨大的代价向世界发出警告。

随着现代科技的发展，锁定在区块链领域的资产越来越庞大。随着区块链的发展，隐藏在计算机背后的危机正呈现出其凶猛的面貌。

在计算机领域，每1000行代码有1-25个错误。换言之，概率在千分之一（0.1%）到2.5%（2.5%）之间。

相比之下，代码漏洞的概率是空难的125000倍！

如果你害怕飞机颠簸时发生飞机失事，不妨用10万倍以上的担心来检查代码问题导致的智能合约漏洞。

在智能合约中，任何OKEX交易所小错误都可能给项目或投资者造成无法弥补的损失。一旦部署了智能合约，你也可以使用下图所示的操作来修复缺陷，但很明显人类无法下车修复赛道。

针对此警告，certik安全团队使用certik Skynet系统（Skynet）监测和分析北京时间2020年12月4日0:00至24:00新加入Uniswap的代币智能合约。

在本分析期间，共产生29个智能合约代币项目。

经过天网对certik的分析，共发现16个智能合约存在漏洞或缺陷！

约55%的智能合约项目或多或少存在漏洞或缺陷，约10%的智能合约项目存在严重漏洞，45%的智能合约项目存在业**力过大、权力中心化度过高的缺陷。

大概，这个数字比硬币正面朝上扔硬币的概率要大，所以没有必要做太多的解释。

本次分析中智能合约项目名称及合约地址如下：

结果如下：

虽然很难通过一天的情况来估计智能合约在所有时间范围内的安全状况，但我们可以通过一眼就知道整个情况。

如果你改变投资组合投资该项目，并告诉投资方小编项目有一半以上的赔钱概率，那么小编宁愿为写官账赚的钱辩护。

大家都知道，2020年最**的一个例子是DFI项目yam，于北京时间8月12日3:00启动，尽管该项目的博客上警告说没有对其合同进行审计，但疯狂的高产农民在不到一个小时的时间里就为该项目存入了7600万美元。

后期，任志刚因为一个小漏洞在短短36小时内损失数亿元，也就不足为奇了。

chainlink联合创始人谢尔盖•纳扎罗夫（Sergey Nazarov）表示，除非黑客改变获取价格信息的方式，否则他们将继续瞄准DeFi协议。

忽视事物的本质，违背事物发展的本质规律，试图按照自己的喜好或愿望去发展事物，觉得已经发生的项目自己碰不着，这是一种典的侥幸心理。

一旦人们不能摆脱对侥幸心理的依赖，灾难性的事件总有一天会发生。无论在任何领域，侥幸心理都是不可取的（墨菲定律深刻地表明了这一点）。

安全审计现在已成为高质量DeFi项目的标准。目前，DeFi项目的热潮有增无减。为了抓住热点和机遇，很多项目没有经过严格的测试和审核就匆匆上线。

在这些项目中，大多数漏洞都无法通过常用的测试方法和工具发现。只有找专业的审计专家来证明这个数学模，才能找到漏洞。形式化验证是唯一能够产生可信数学证明的软件验证方法。因此，使用基于形式化验证方法的区块链检测工具来验证项目中的安全漏洞应该是每个项目进入链前的必要步骤。

既然审计是如此重要

那么，为什么审计后仍有那么多项目漏报？

被审计项目仍然受到攻击的概率有多大？

即使你没有个人经历，你身边的朋友也或多或少经历过这样的事件吗？

这些概率和数字之间的关系是什么？

本系列文章的下一部分将回答这些问题，并继续揭开“区块链安全概率”的奥秘。