1. Prusi: prototype verifier for Rust
https://github.com/viperproject/prusti-dev
@陈锡亮:Prusti 是一个 Rust 正确性检查器，可以分析 Rust 代码，可以检测代码是否正确，比如是否有溢出的可能性.
2. DeFi Hacks Analysis – 漏洞根本原因分析
https://web3sec.notion.site/web3sec/8e9274d6dbbc4ff18d9034179a173fca?v=7ea2c3edd2514c7db80fa61db7571291
@Sam:作者罗列了目前出现的112次安全事故，包括原因概述和重现方式，可以让开发人员进行快速学习，避免再次踩坑
3. 深入研究 zkEVM 的五种类型的优缺点
https://mp.weixin.qq.com/s/ShQ25BguauJijBKD_Qh54w
@Collin:本文的重点研究 zkEVM相关的两个关键概念零知识 Rollup (zk-Rollups) 和以太坊虚拟机 (EVM)和以及zkEVM 领域中需要关注的关键项目。
Web3极客日报是为Web3时代的极客们准备的一份日报，它是由一群极客们推荐他们认为有价值的内容并附上一段推荐语，最后通过Rebase的成员整理编辑。
网站:https://rebase.network
公众号:rebase_network
