聚焦智能合约安全审计和形式化验证。
这是一场由 Solidity 语言之父 Chris 两年前随手贴的一段代码而引发的血案。大量零知识证明项目由于错误地使用了某个 zkSNARKs 合约库，引入「输入假名 ...
零知识证明是我近年来⻅过的最有趣的理论和技术。零知识证明的学术理论确实有些深度。但是它的概念和应⽤却也没那么难懂，虽然⻔槛略⾼。
除了稳定币Libra，Facebook还发布了名为Move的编程语言。安比实验室Secbit 创始人郭宇认为，Move 是为数字资产而生的智能合约平台型语言。
Ethereum is an unprecedented arena for playing cooperative games（以太坊是前所未有的合作博弈竞技场）。
English