极客日报 #486
极客日报#486
本期收录 3 条社区推荐，涉及 一文解惑//go:linkname指令、Web3.0概念的梳理、组合型Defi项目的形式化验证。
2021年4月23日
本期推荐
一文解惑//go:linkname指令
大家可能使用Go指令比较少，本文通过linkname指令介绍Go的指令用法。
Web3.0概念的梳理
本文主要目标是尝试在这成堆的概念中，寻找出有关Web3.0的主要脉络。
组合型Defi项目的形式化验证
与传统金融对比，DeFi的一个优势是可组合性（Composability），但是，DeFi的可组合性也伴随系统性的风险。可能单个“乐高”，都符合标准。但它们组合起来就会涌现出安全漏洞。该论文尝试使用形式化验证的方法(CSP)，探究组合型Defi智能合约项目中存在的安全漏洞,分析项目应符合的安全约束。
Rebase 极客日报由社区志愿者共同维护，持续整理值得关注的技术内容与行业信号。