分类： zero-knowledge-proof

2020-01-22 从零开始学习 zk-SNARK（五）——Pinocchio 协议

2020-01-15 从零开始学习 zk-SNARK（四）——多项式的约束

2020-01-08 云中「秘密」：构建非交互式零知识证明

2020-01-08 从零开始学习 zk-SNARK（三）——从程序到多项式的构造

2020-01-03 零知识证明 Learn by Coding：libsnark 入门篇

查看更多 >>>

分类： zksnarks

2020-01-22 从零开始学习 zk-SNARK（五）——Pinocchio 协议

2020-01-15 从零开始学习 zk-SNARK（四）——多项式的约束

2020-01-08 从零开始学习 zk-SNARK（三）——从程序到多项式的构造

2020-01-03 零知识证明 Learn by Coding：libsnark 入门篇

2020-01-01 从零开始学习 zk-SNARK（二）——多项式的非交互式零知识证明

查看更多 >>>

分类： vulnerability

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

2018-09-29 是谁控制了比特币，是你？还是钱包？BTC地址与交易原理剖析

2018-08-23 Fomo3D 千万大奖获得者“特殊攻击技巧”完全揭露

2018-08-20 Last Winner 的最后赢家 - 智能合约超大规模黑客攻击手法曝光

分类： blockchain

2018-09-29 是谁控制了比特币，是你？还是钱包？BTC地址与交易原理剖析

2018-08-20 Last Winner 的最后赢家 - 智能合约超大规模黑客攻击手法曝光

2018-08-03 从世界杯小组赛消极比赛，到矿工博弈及共识算法，博弈论解释了一切

分类： smart-contract

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

2018-08-23 Fomo3D 千万大奖获得者“特殊攻击技巧”完全揭露

2018-06-24 ERC223及ERC827实现代码欠缺安全考虑

分类： bitcoin

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

2018-09-29 是谁控制了比特币，是你？还是钱包？BTC地址与交易原理剖析

分类： game-theory

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

2018-08-03 从世界杯小组赛消极比赛，到矿工博弈及共识算法，博弈论解释了一切

分类： zkpod

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

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

分类： ethereum

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

分类： formal-verification

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

分类： libra

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

分类： privacy

2019-12-19 链上富人寻「隐私」记（一：Mixer 篇）

分类： programming-language

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

分类： quantum-computing

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