1. 组合型Defi项目的形式化验证
https://zhuanlan.zhihu.com/p/358921080
@军军：与传统金融对比，DeFi的一个优势是可组合性（Composability），但是，DeFi的可组合性也伴随系统性的风险。可能单个“乐高”，都符合标准。但它们组合起来就会涌现出安全漏洞。该论文尝试使用形式化验证的方法(CSP)，探究组合型Defi智能合约项目中存在的安全漏洞,分析项目应符合的安全约束。
2. Web3.0概念的梳理
https://mp.weixin.qq.com/s/vJM6TIZT2f-tnQ49cpMnrw
@洋芋：本文主要目标是尝试在这成堆的概念中，寻找出有关Web3.0的主要脉络。
3. 一文解惑//go:linkname指令
https://mp.weixin.qq.com/s/4OlbpQwchWwxnQmSOL6xYA
@Gala：大家可能使用Go指令比较少，本文通过linkname指令介绍Go的指令用法。
Web3极客日报是为Web3时代的极客们准备的一份日报，它是由一群极客们推荐他们认为有价值的内容并附上一段推荐语，最后通过Rebase的成员整理编辑。
网站：http://rebase.network
公众号：rebase_network
