X
Search

分类： 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

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

分类： zkpod

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

分类： ethereum

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

分类： formal-verification

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

分类： libra

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

分类： privacy

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

分类： programming-language

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

分类： quantum-computing

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