Chainlink预言机上线Avalanche主网，推动高级DeFi App开发的快速发展:据官方公告，Chainlink Price Feeds已经上线Avalanche主网，Avalanche平台的开发人员将能无缝流畅获取各资产类别最安全、最优质的价格数据。Chainlink的Price Feeds机制将赋能智能合约开发者在Avalanche的开源平台上自由搭建高级DeFi应用程序，应用场景如价格敏感的衍生品市场、低成本借贷应用、高通量交易策略等。
促成本次集成的是Protofire项目，该项目既是一个领先的开发工作坊，也是一个Avalanche验证节点，同时他们也获得了Chainlink社区激励奖金，在Avalanche主网调试并原生运行Chainlink预言机。[2021/7/21 1:07:47]
合约形式验证的反编译技术。
彭博社策略师：比特币作为新技术不能排除最终失败的可能性:彭博社高级商品策略师Mike McGlone日前在接受采访时表示，并不能排除比特币最终会失败的可能性，这也是比特币被视为比黄金风险更大的资产的原因。他说：“我们都知道比特币是一项新技术。它可能失败，我不确定。我无法预测技术和法规会带来什么。它可能会被禁止。也可能被规制。”他接着说，黄金已经经历了那段时间，因此经受住了时间的考验。Mike McGlone认为，央行数字货币（CBDC）只会增加对比特币作为价值存储手段的需求。他仍然相信，Tether（USDT）将在未来几年超越以太坊。Mike McGlone还表示，山寨币供过于求，这就是其升值受限的原因。（U.today）[2020/10/23]
Eveem 即 Panoramix，使用一种不寻常的反编译技术，称为符号执行。 简而言之，它有一个虚拟机，可以在符号和代数上运行，而非具体的值和算术。此方法通常用于合约的形式验证，但似乎没有人尝试使用它提供可读的源代码。它还有一个定制的内存模型，比基于 SMT 求解器的通用模型更快，可以在循环和动态长度变量附近查找。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。