系统学习区块链技术

本章的文章越来越多，本文是一个索引帖，方便找到自己感兴趣的文章，你也可以使用左侧的分类、标签及搜索功能。
有新文章时会更新本文，建议大家加入收藏夹中，如果你觉得本站不错，欢迎你转发给朋友。

下面是一些有用的技巧，帮助你更好地履行私钥管理这个重大的责任：

FileStorm的共识机制

PBFT算法和 Raft算法解决的核心问题都是在分布式环境下如何保持集群状态的一致性，简而言之就是一组服务，给定一组操作，最后得到一致的结果。

BLS （Boneh-Lynn-Shacham）签名算法是一种可以实现签名聚合和密钥聚合的算法，它可以把一笔交易中的所有签名和公钥合并成单个签名和公钥，且合并过程不可见（无从追溯这个签名或公钥是否通过合并而来）。

原创说明：BLS签名在英文文档介绍的比较多，但是很多讲得并不清楚，通常需要查看原有的论文，对应后学习，对一般的程序员要求比较高。这里整理了一下本人在学习bls签名过程中的详细推导过程，自认为比较容易理解一些。跟大家共享一下，也是为墨客的随机数子链做一些技术层次的科普铺垫。在阅读本文的内容前，读者可以先简单复习一下常见的椭圆曲线公私钥生成算法，用来对比BLS，会有助于理解本文的内容。

导言：有些理论非常有趣，零知识证明便是其中之一，摸索了许久，想写点什么，与大家一起讨论。本文是『探索零知识证明』系列的第三篇。前两遍是：（一）初始「零知识」与「证明」 及 （二）理解「模拟」， 本文全文约 8,000 字，少量数学公式。

And what, Socrates, is the food of the soul? Surely, I said, knowledge is the food of the soul. 苏格拉底，什么是灵魂的食物？我说过，当然是知识。
—— 柏拉图

编者按：本文根据硅谷MOAC BlockChain Tech李正鹏先生在“王者归来-MOAC自治社区共识群”的语音分享整理而成

libsnark源代码，建议想深入零知识证明的小伙伴都读一读。Bellman库主要围绕Groth16算法，libsnark给出了SNARK相关算法的全貌，各种Relation，Language，Proof System。为了更好的生成R1CS电路，libsnark抽象出protoboard和gadget，方便开发者快速搭建电路。

在区块链上，由于一切信息都是透明公开的，提供一个安全实用的随机数是一个非常困难的问题。但是随机数是很多应用的基础，比如游戏，博彩，流程控制等。因此，提供一个实用可靠的随机数是基于智能合约的应用的迫切需求。

加密钱包完全由私钥控制，如果私钥丢失，钱包将无法访问。 这在某种程度上是安全的。 但是，它在实际应用中会造成很多麻烦。 本文解决方案是提供一种方式备份及恢复私钥的方法。

这篇文章整理自墨子安全实验室创始人苗知秋的分享内容：区块链安全问题剖析以及关于Libra安全方面的点评。

Libra白皮书技术解读

当我们应用区块链解决生活中问题的时候，它的价值就产生了。如果还不清楚Substrate的基本概念，在开始本文的阅读之前，我希望你能大概浏览Substrate开发者中心的文档或者参考之前的教程使用Substrate搭建你的第一条区块链来了解Substrate相关的基础知识。本文会从零开始开发一条承载具体业务的区块链应用，即抛硬币游戏。

I know that I know nothing —— 苏格拉底

相信很多人都听说过零知识证明，但是只有极少数人听说过模拟，然而模拟是理解零知识的关键。

引言：

我认为区块链很难称为一个“技术”。它更像是一个领域，包罗万象。或者形而上地说，区块链更像一个有机体，融合了各种不同的理论技术。

零知识证明是构建信任的重要技术，也是区块链这个有机体中不可缺少的一环。

最近又重新看了看ZCash的白皮书。话说，看ZCash的白皮书需要一点耐心，144页的白皮书形式化太多，通篇就只有一张图（地址和Key生成关系图）。本文画图总结了Sprout和Sapling的交易Transaction的数据结构。

早上很多朋友@我，安比实验室发表了一篇文章zkSNARK的“输入假名”的攻击。迅速看了看，很赞。这个攻击原理其实比较简单，但是，不深入理解zkSNARK以及使用场景的朋友确实很难发现和理解。本文讲讲我对这个攻击的分析和理解。

大量零知识证明项目由于错误地使用了某个 zkSNARKs 合约库，引入「输入假名 (Input Aliasing) 」漏洞，可导致伪造证明、双花、重放等攻击行为发生，且攻击成本极低。众多以太坊社区开源项目受影响，其中包括三大最常用的 zkSNARKs 零知开发库 snarkjs、ethsnarks、ZoKrates，以及近期大热的三个混币（匿名转账）应用 hopper、Heiswap、Miximus。这是一场由 Solidity 语言之父 Chris 两年前随手贴的一段代码而引发的血案。

PoW（工作量证明）是区块链系统中广泛使用的协议，用于解决双花难题。但是，如果攻击者拥有超过全网哈希算力的一半，那么该攻击者就可以发起双花攻击或51%攻击。如果哈希算力足够强大，那么发起攻击的成本会低的惊人，这将会对众多PoW区块链造成巨大威胁。

我们提出了一种技术方案，将矿工的挖矿历史权重信息与总计算难度相结合，以达到缓解51%攻击的问题。分析表明，使用这种新技术，将会使传统攻击的成本增加两个数量级。

Zcash的发展大体经过了OverWinter(过冬) -> Sprout(发芽) -> Sapling(树苗)这几个阶段，随着业务和功能的逐渐丰富，密钥系统也越来越复杂，刚开始接触时感觉一头雾水，但是静下心来仔细分析，就能逐渐领略其中的魅力。