[Flashbots核心贡献者等人发表新论文，研究DeFi智能合约经济安全的形式化验证框架CFF]9月18日消息，Flashbots核心贡献者PhilipDaian、康奈尔大学计算机安全博士生KushalBabel和MahimnaKelkar以及康奈尔理工学院教授AriJuels共同发布关于ClockworkFinanceFramework（CFF）的新论文，这是一种DeFi智能合约经济安全的形式化验证框架。论文中表示，CFF具有三个关键特性，合约完备、以渐近最优的模型大小实现、在构造上穷举攻击。CFF可以支持多个目标，开发者对合约的经济安全性分析、用户对DeFi交易风险的分析、机器人或矿工对套利机会的优化。此外，CFF框架引入了一个新的DeFi合约经济安全概念，可提取价值（EV）。
Microstrategy CEO 将和加拿大亿万富翁及黄金支持者就比特币话题进行辩论:4月5日消息，MicroStrategy首席执行官Michael Saylor将就比特币话题和加拿大亿万富翁及黄金支持者Frank Giustra进行辩论。Michael Saylor在推特上表示他正在准备相关的图表资料。Giustra坚持认为他不反对比特币。他解释说，比特币和黄金支持者之间的辩论变得更加激烈，只要双方客观地讨论解决这一问题，投资者就会从中受益匪浅。详情见原文链接。（zycrypto）[2021/4/5 19:47:18]
BTC Inc CEO称已帮助明星自行车手Lance Armstrong成为比特币投资者:据BTC Inc首席执行官David Bailey称，明星自行车手Lance Armstrong现在已是一名比特币投资者。Bailey在一条推特上描述了他是如何“为（Armstrong）设置了一个拥有1000万sat的钱包”，但未透露更多细节。截至发稿时，Armstrong还没有对此发表评论。（BeInCrypto）[2020/10/14]
郑重声明： Flashbots核心贡献者等人发表新论文，研究DeFi智能合约经济安全的形式化验证框架CFF版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。