智能合约非常特殊，难度更大，传统软件的形式化验证开源工具是有的，智能合约这边其实进展很小。但是，其实目前形式化验证的自动化能力非常弱，大家能看到的只能做到「找 bug」 这种程度，不能保证「无 bug」。

主持人：请问 NEST 预言机与 Chainlink 预言机有什么不同？

YolkLi：NEST 价格预言机是「直接」预言机方案：通过矿工双边报价、验证者吃单套利的方式在链上直接生成价格。通俗来讲，NEST 预言机报价矿工在用真金白银证明自己的报价，如果验证者觉得该价格与市场价格之间有偏差，那就可以吃单套利。最终，NEST 预言机在链上生成的价格都是能够代表市场公允价格的。

这种机制的亮点在于价格在链上可以被市场验证。或者是分布式验证，任何一个人都可以成为价格的验证者。

Chainlink 的预言机方案需要相信 Chainlink 的节点。使用 NEST 预言机需要相信市场的验证（共识）。

主持人：DeFi 领域的多起安全事件给整个区块链行业敲响了安全的警钟。现阶段的 DeFi 不光有安全问题，还有很多其他的痛点，能否从公链和应用的角度，谈一下对于 DeFi 迫切需要解决的有哪些问题？面对日益严峻的安全挑战安比将怎样应对？

郭宇：我觉得有两点需要做，

第一个是：可组合性的 DeFi 的接口需要进行更细致的分析和行为披露，可组合性的风险还是比较大；

第二个是：智能合约安全需要一个更广泛更积极的社区参与，可以参考 DAO。

安比的使命是探索新的技术，来提升区块链系统的安全性，实现基于数学而不是基于专家权威的安全性。

主持人：2019 年以来 DeFi 市场发展火热，据 DeFipulse 统计，当前 DeFi 市场整体锁仓规模已突破 10 亿美元，较去年同期增长 362%。那么请问您怎么看待 DeFi 这一热门领域？NEST 是否有布局去中心化金融的打算呢？

YolkLi：我非常看好 DeFi 的未来发展，这是一个数以万亿计规模的开放式金融市场。我们希望 NEST 预言机能够给下游 DeFi 提供高度确定性的链上价格数据。

就 NEST 开发者小组来说，更多的是以分布式的方式去维护好 NEST 预言机。有关 DeFi 的研发，我们也在做，而且投入了很多的精力。NEST 是个开放的预言机网络，更重要的是吸引更多的开发者和项目方使用 NEST。

主持人：非常感谢参与今晚 Math Show #007 活动的「show」友们， 也感谢两位嘉宾带来的分享，想必大家对「 DeFi 资金安全」有一定的认知和了解。

(责任编辑：admin)