网址：https://eveem.org
合约形式验证的反编译技术。
全链钱包Everywhere Finance完成近160万美元代币融资:金色财经报道，全链钱包Everywhere Finance通过代币销售完成近160万美元融资。Everywhere Finance由前SushiSwap核心成员、前LayerZero和Stargate贡献者Na?m Boubziz创立，曾于2月完成110万美元代币预售。目前已推出谷歌浏览器和火狐浏览器插件。[2023/4/3 13:42:20]
Eveem 即 Panoramix，使用一种不寻常的反编译技术，称为符号执行。 简而言之，它有一个虚拟机，可以在符号和代数上运行，而非具体的值和算术。此方法通常用于合约的形式验证，但似乎没有人尝试使用它提供可读的源代码。它还有一个定制的内存模型，比基于 SMT 求解器的通用模型更快，可以在循环和动态长度变量附近查找。
Gaia EverWorld完成370万美元种子轮融资 Polygon等参投:10月20日消息，基于区块链的PVP对战元宇宙和MMORPG游戏Gaia EverWorld宣布完成370万美元的种子轮融资，Polygon、AU21、Mexc Capital、ChainGuards、BSCStation、Defiboost、Aussie Capital、OIG、Brotherhood、Avstar、Shima Capital、Basics Capital、Momentum6、CryptoThugs、Fairum 、Panda Capital、Onebit Ventures、GD10 Ventures、Exnetwork 和 Chronos Ventures等参投。（U.Today）[2021/10/20 20:44:21]
DeversiFi与StarkWare合作首次使用新型L2交易“条件转移”，使L1和L2之间的互操作成为可能:3月9日消息，基于扩容方案StarkEx的去中心化交易所DeversiFi宣布，已与StarkWare合作，首次使用一种称为“（conditional transfer）条件转移”的新型L2交易，使得以太坊L1和L2之间的互操作成为可能。（CryptoNinjas）[2021/3/9 18:27:47]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。