原文作者：雾海,PANews“链上监控到一个地址,买了250美元的PEPE,刚才变成180万美元了”,“前几天我领了给ARB空投地址空投的代币AIGOGE,没有卖.
PEPEPI
概述本月硬件开发已经陆续的进入到了尾声,我们针对软件开发进行了全新的升级和优化。重点修复了隧道相关的问题,并且优化了UI；同时完成了PoCr共识激励设计和信用积分增长机制的设计；完成了ERC20.
除了常规审计,Euler还用了Certora做形式化验证,这个我们之前也用过,形式化验证能帮助穷尽“已知”路径的覆盖范围,但是无法穷尽“未知的未知”.