网址：https://eveem.org
合约形式验证的反编译技术。
Layer2去中心化交易所DeversiFi将推出跨链交易新功能:6月8日消息，Layer2去中心化交易所DeversiFi正在为DeFi用户推出一项允许用户跨多个链进行交易的新功能。其创始人Will Harborne表示，将通过首先整合Polygon来构建其跨链功能，并在未来几个月内整合Avalanche、BNB Chain、Optimism和Arbitrum。
为了促进此次升级，DeversiFi与去中心化交易所(DEX)聚合器ParaSwap合作，帮助用户将USDT或USDC代币转换为Polygon的代币，以在DeversiFi内交易。（CoinDesk）[2022/6/8 4:10:17]
Eveem 即 Panoramix，使用一种不寻常的反编译技术，称为符号执行。 简而言之，它有一个虚拟机，可以在符号和代数上运行，而非具体的值和算术。此方法通常用于合约的形式验证，但似乎没有人尝试使用它提供可读的源代码。它还有一个定制的内存模型，比基于 SMT 求解器的通用模型更快，可以在循环和动态长度变量附近查找。
加州超级食品连锁店Everbowl接受第一笔全部以比特币支付的加盟费:6月8日消息，Bitcoin Archive发推称，总部位于美国加州的超级食品连锁店Everbowl接受了第一笔全部以比特币支付的加盟费。[2022/6/8 4:10:14]
数字收藏平台VeVe将迁移至ImmutableX，团队计划10月底前完成迁移:9月29日消息，NFT项目ECOMI宣布将在未来几周内开始将其数字收藏平台VeVe迁移至NFT二层解决方案ImmutableX。迁移将分为三个阶段：第一阶段是将现有的钱包地址和用户账户注册迁移到以太坊L2；第二阶段将在以太坊L2上重新铸造所有现有资产（收藏品、漫画等），并将它们转移到与每个VeVe账户相关的钱包地址；第三阶段则是OMI代币迁移，用户在此阶段能够将现有代币换成L1OMI（用于交易所交易）或L2OMI（用于VeVe应用商店）。ECOMI团队计划10月底之前完成整个迁移计划。[2021/9/29 17:14:23]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。