分类： zero knowledge proof

从零开始学习 zk-SNARK（五）——Pinocchio 协议
从零开始学习 zk-SNARK（四）——多项式的约束
从零开始学习 zk-SNARK（三）——从程序到多项式的构造
云中「秘密」：构建非交互式零知识证明
零知识证明 Learn by Coding：libsnark 入门篇
查看更多 >>>

分类： zksnarks

从零开始学习 zk-SNARK（五）——Pinocchio 协议
从零开始学习 zk-SNARK（四）——多项式的约束
从零开始学习 zk-SNARK（三）——从程序到多项式的构造
零知识证明 Learn by Coding：libsnark 入门篇
从零开始学习 zk-SNARK（二）——多项式的非交互式零知识证明
查看更多 >>>

分类： vulnerability

zkSNARKs 合约库「输入假名」漏洞致众多零知项目存在安全风险
是谁控制了比特币，是你？还是钱包？BTC地址与交易原理剖析
Fomo3D 千万大奖获得者“特殊攻击技巧”完全揭露
Last Winner 的最后赢家 - 智能合约超大规模黑客攻击手法曝光

分类： blockchain

是谁控制了比特币，是你？还是钱包？BTC地址与交易原理剖析
Last Winner 的最后赢家 - 智能合约超大规模黑客攻击手法曝光
从世界杯小组赛消极比赛，到矿工博弈及共识算法，博弈论解释了一切

分类： smart contract

Move语言：我眼中的 Libra 最大亮点
Fomo3D 千万大奖获得者“特殊攻击技巧”完全揭露
ERC223及ERC827实现代码欠缺安全考虑

分类： bitcoin

如果量子计算时代到来，我们的比特币安全吗？
是谁控制了比特币，是你？还是钱包？BTC地址与交易原理剖析

分类： game theory

为什么说区块链是一座全新的博弈竞技场？
从世界杯小组赛消极比赛，到矿工博弈及共识算法，博弈论解释了一切

分类： mle-pcs

Notes on Binius (Part II): Subspace Polynomial
Notes on FRI-Binius (Part I): Binary Towers

分类： zkpod

PoD-Tiny——实现零信任交易的最简协议
zkPoD：区块链，零知识证明与形式化验证，实现无中介、零信任的公平交易

分类： ethereum

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

分类： formal verification

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

分类： libra

Move语言：我眼中的 Libra 最大亮点

分类： privacy

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

分类： programming language

Move语言：我眼中的 Libra 最大亮点

分类： quantum computing

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