极客日报 #1016
极客日报#1016
本期收录 3 条社区推荐，涉及 深入研究 zkEVM 的五种类型的优缺点、DeFi Hacks Analysis - 漏洞根本原因分析、Prusi: prototype verifier for Rust。
2022年11月3日
本期推荐
深入研究 zkEVM 的五种类型的优缺点
本文的重点研究 zkEVM相关的两个关键概念零知识 Rollup (zk-Rollups) 和以太坊虚拟机 (EVM)和以及zkEVM 领域中需要关注的关键项目。
DeFi Hacks Analysis - 漏洞根本原因分析
作者罗列了目前出现的112次安全事故，包括原因概述和重现方式，可以让开发人员进行快速学习，避免再次踩坑
Prusi: prototype verifier for Rust
Prusti 是一个 Rust 正确性检查器，可以分析 Rust 代码，可以检测代码是否正确，比如是否有溢出的可能性.
Rebase 极客日报由社区志愿者共同维护，持续整理值得关注的技术内容与行业信号。