2019-10-28 如果量子计算时代到来，我们的比特币安全吗？

2019-08-28 读心术：从零知识证明中提取「知识」

2019-08-06 从「模拟」理解零知识证明：平行宇宙与时光倒流

2019-07-31 初识「零知识」与「证明」

2019-07-29 zkSNARKs 合约库「输入假名」漏洞致众多零知项目存在安全风险

2019-07-24 PoD-Tiny——实现零信任交易的最简协议

2019-07-14 zkPoD：区块链，零知识证明与形式化验证，实现无中介、零信任的公平交易

2019-07-10 Move语言：我眼中的 Libra 最大亮点

2019-06-13 为什么说区块链是一座全新的博弈竞技场？

2018-10-24 Don’t Test, Verify —— 哪个故事真正符合你对形式化验证的想象？