网址：https://eveem.org
合约形式验证的反编译技术。
Axie Infinity推出游戏经验积分AXP和游戏等级机制Axie Level:7月20日消息，Axie Infinity推出经验积分Axie Experience Point（AXP）和游戏等级机制Axie Level，旨在将Axie转变为可以随着时间推移不断发展和优化的动态链上NFT。7月19日开始，用户可通过参与Axie Origins游戏来赚取AXP，每场排位战的赢家将获得150枚AXP，一旦经验积分累积到13,310枚AXP，就会按照等级机制Axie Level将Axie的链下级别移动到链上，进一步增加游戏深度和个性化。[2023/7/20 11:06:07]
Eveem 即 Panoramix，使用一种不寻常的反编译技术，称为符号执行。 简而言之，它有一个虚拟机，可以在符号和代数上运行，而非具体的值和算术。此方法通常用于合约的形式验证，但似乎没有人尝试使用它提供可读的源代码。它还有一个定制的内存模型，比基于 SMT 求解器的通用模型更快，可以在循环和动态长度变量附近查找。
动态 | Everipedia宣布将5亿IQ基金用于生态建设:Everipedia今日正式宣布将5亿IQ基金用于发展Everipedia生态系统的IQ项目，未来将随着Everipedia的扩展和采用逐步发布。（MEET.ONE）[2019/11/26]
动态 | Everipedia联合创始人的创业公司Frax希望构建完全去中心化的稳定币:Everipedia联合创始人Sam Kazemian在接受采访时谈论如何通过其最新的创业公司Frax改变DeFi、稳定币和银行业务。2019年6月，Kazemian开始与前美联储理事会提名人Stephen Moore合作开发“ Frax” 。该公司计划设计一种稳定币，通过算法管理的加密货币和数字债券储备来维持其稳定性。
针对提问“去中心化银行业务有什么缺点”，他表示，只是缺乏理解，借贷DeFi市场的流动性低，以及除了DAI以外，实际上缺乏去中心化的稳定币。
他表示，“我们不会提供任何实际服务。我们将构建开源的Frax协议，它将是一个完全去中心化的稳定币。FRAX系统的一部分将以类似于compound.finance的方式包括部分准备金的DeF贷款。可以把它想象成一个去中心化的中央银行。”（Cryptoslate）[2019/9/22]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。