Eveem 简介
Eveem 即 Panoramix，使用一种不寻常的反编译技术，称为符号执行。 简而言之，它有一个虚拟机，可以在符号和代数上运行，而非具体的值和算术。此方法通常用于合约的形式验证，但似乎没有人尝试使用它提供可读的源代码。它还有一个定制的内存模型，比基于 SMT 求解器的通用模型更快，可以在循环和动态长度变量附近查找。
Eveem 相关信息
Trustless Fund
锁定资产的时间价值。
Trent Van Epps
以太坊基金会的生态系统专员。
David Rugendyke
Rocket Pool 创始人。
ETHLondon
英国伦敦举办的以太坊黑客松。
Klaus Hott Vidal
Unvest 首席智能合约开发者。
Hypersign
基于波卡、以太坊构建的跨链身份验证协议。
Ether.Li
以太坊网页钱包，BitGo 技术总监创办。
Joseph Lubin
ConsenSys 创始人，以太坊联合创始人之一。
Lazy
炫耀 NFT 的最懒惰方式。