SECBIT Blog
主页
归档
标签
分类
语言
English
中文
X
Search
SECBIT Blog
主页
归档
标签
分类
中文
English
2019
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
2018-10-24
Don’t Test, Verify —— 哪个故事真正符合你对形式化验证的想象?
1
2
3