SECBIT Blog
主页
归档
标签
分类
中文
English
SECBIT Blog
主页
归档
标签
分类
中文
English
中文
分类: zero knowledge proof
2020-01-22
从零开始学习 zk-SNARK(五)——Pinocchio 协议
2020-01-15
从零开始学习 zk-SNARK(四)——多项式的约束
2020-01-08
从零开始学习 zk-SNARK(三)——从程序到多项式的构造
2020-01-08
云中「秘密」:构建非交互式零知识证明
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
从世界杯小组赛消极比赛,到矿工博弈及共识算法,博弈论解释了一切
分类: mle-pcs
2024-11-01
Notes on Binius (Part II): Subspace Polynomial
2024-10-31
Notes on FRI-Binius (Part I): Binary Towers
分类: 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
如果量子计算时代到来,我们的比特币安全吗?