链资讯 链资讯
Ctrl+D收藏链资讯

Flashbots核心贡献者等人发表新论文,研究DeFi智能合约经济安全的形式化验证框架CFF

作者:

区块链

时间:2021/9/18 23:35:18

9月18日消息,Flashbots核心贡献者PhilipDaian、康奈尔大学计算机安全博士生KushalBabel和MahimnaKelkar以及康奈尔理工学院教授AriJuels共同发布关于ClockworkFinanceFramework(CFF)的新论文,这是一种DeFi智能合约经济安全的形式化验证框架。论文中表示,CFF具有三个关键特性,合约完备、以渐近最优的模型大小实现、在构造上穷举攻击。CFF可以支持多个目标,开发者对合约的经济安全性分析、用户对DeFi交易风险的分析、机器人或矿工对套利机会的优化。此外,CFF框架引入了一个新的DeFi合约经济安全概念,可提取价值(EV)。

Flare联创:Ripple在诉讼案结束后可能发展进程缓慢:8月6日消息,Flare联合创始人、Flare Labs CEO Hugo Philion发推称,自己一直认为在诉讼案结束后,XRP可能遭遇大幅抛售。这是因为XRP的主要用例(但并非唯一用例)一直是跨境交易,而推动该市场发展的主要力量仍然是Ripple。自2020年底以来,由于监管不确定性,Ripple发展该市场的能力受到严重阻碍。现在,Ripple已经有了一些明确的消息,但他们的工作已经被延迟2.5年。与此同时,各种稳定币提供商已经提出一种可行的高摩擦替代方案,并在建立这个市场方面取得相当大的成功。

Philion猜想,Ripple在未来的跨境支付中将取得一些成功,特别是在传统金融体系中服务不足的区域。然而,其进展可能会很慢,因为在SBF和其他荒谬事件出现之后,传统金融对加密货币的怀疑增加。另一方面,有很多人正在努力开发XRP和XRP Ledger的新用例,但这需要时间才能见到成果。[2023/8/6 21:28:15]

Flashbots工程师:所有共识客户端均实施、测试并确认builder-specs集成:9月6日消息,Flashbots工程师Chris Hager在社交媒体发文表示,Flashbots实现了MEV-Boost的另一个里程碑事件,所有共识客户端都实施、测试并确认了builder-specs的集成,现在可将MEV-Boost与任何客户端一起使用。MEV-Boost是由Flashbots构建的提议者-构建者分离(proposer-builderseparation,PBS)的实现,用于以太坊权益证明。MEV-Boost旨在与标准Ethereum Builder API兼容,这意味着它与所有共识和执行客户端兼容。运行MEV-Boost的验证者通过向开放的builder出售区块空间来最大化其质押奖励。[2022/9/6 13:11:45]

DeFi协议Flamingo:O3钱包暂不支持跨链交易:基于Neo的DeFi协议Flamingo发推提醒称,请不要使用O3钱包进行跨链交易。跨链交易需要少量的gas费用,这一功能目前在O3中是不可用的。请暂时使用NeoLine。[2020/9/27]

相关资讯
Demeter上线HECO1小时TVL达3500万美元

据Demeter官方数据显示,Demeter已于2021年9月18号15:00正式上线HECO,同时开启单币存款挖矿、稳定币挖矿、流动性挖矿。TVL3500万USDT,其中稳定币铸造TVL突破300万USDT。 ...

区块链:2021/9/18 23:35:17
美国女演员Amanda Cerny:我的大部分投资组合都是狗狗币

9月17日消息,美国女演员/网红/模特Amanda Cerny转发一条关于是否还持有狗狗币的推文时表示:我的大部分投资组合都是狗狗币。 Milo Credit已在美国发放1000万美元加密抵押贷款:7月20日...

区块链:2021/9/17 23:32:31
Filecoin网络近24小时产出34.96万枚FIL

据IPFS100报道,Filfox浏览器数据显示,Filecoin网络当前区块高度为1118529,全网有效算力为10.962EiB,总质押量约为1.1129亿枚FIL,活跃矿工数为3236个,每区块奖励为23.94...

区块链:2021/9/17 23:32:34
Solana链上去中心化融资交易平台Solanium总锁仓量达1亿美元

9月15日消息,Solana链上去中心化融资交易平台Solanium发推称,其总锁仓量已达1亿美元。 DMG Blockchain Solutions第三财季挖矿产出195.71枚比特币:8月30日消息,加拿...

区块链:2021/9/15 23:26:58
MicroStrategy持有的比特币价值已超过大多数标准普尔500指数公司持有的现金

金色财经报道,MicroStrategy持有的大量比特币的价值已经超过了大多数标准普尔500指数公司持有的现金。MicroStrategy此前宣布以约2.429亿美元再次购买了5,050枚比特币,其目前持有114,0...

区块链:2021/9/16 23:27:57
域名行业巨头Namecheap将接受比特币支付

金色财经报道,域名行业巨头Namecheap宣布将接受比特币支付,并且支持闪电网络,这使其成为第一个接受比特币的全球主要域名注册商。该公司在一份声明中写道:“我们很高兴地通知您,除了PayPal、Visa、万事达卡和...

区块链:2021/9/17 23:33:26
IOST网页端钱包iWallet升级已完成

据官方消息,IOST开发团队已完成对网页端钱包iWallet的升级维护,用户可使用iWallet钱包正常进行转账、收款、登录Dapp等操作。 美国财政部建议在加密执法上“加倍努力”,但也要提供更多指导:金色财...

区块链:2021/9/18 23:34:55
在加密就绪指数排行榜中,加州排第一

9月19日消息,根据评价网站CryptoHead的最新行业研究,由于加密货币ATM的激增以及该州人口对数字资产的兴趣日益浓厚,加利福尼亚已成为美国“最加密货币就绪”的司法管辖区。在加密就绪指数中,加利福尼亚以5.72...

区块链:2021/9/19 23:36:04
元宇宙价值指数今日为559.78点

金色财经报道,据同伴客数据显示,9月16日元宇宙价值指数为559.78点,较前日上涨14.65点,涨幅为2.68%。 构成元宇宙价值指数成分的上市企业或NFT平台皆为目前在虚拟经济领域表现出巨大市场价值和未...

区块链:2021/9/16 23:29:25
MultiFantom宣布完成53.2万美元种子轮融资,MultiFantom风投团队领投

9月15日消息,Fantom链ID0平台FantomStarter的公司主体MultiFantom宣布以360万美元估值完成532,000美元种子轮融资,本轮融资由MultiFantom的风投团队领投,SparkDi...

区块链:2021/9/15 23:27:25
桥水基金创始人瑞·达利欧:目前持有一些比特币

桥水基金创始人瑞·达利欧:目前持有一些比特币,政府们不希望加密货币成功,现金仍然是垃圾,股市的优势将会缩小。(金十) Element Black宣布为旗下音乐NFT平台Music Infinity设立3000...

区块链:2021/9/15 23:27:45
音乐NFT平台RCRDSHP完成500万美元种子轮融资

9月16日消息,音乐NFT平台RCRDSHP完成由Dapper Labs、NFT收藏家Metakovan和 Twobadour领投的超500万美元种子轮融资。据悉,RCRDSHP将在Dapper Labs的Flow区...

区块链:2021/9/16 23:30:24