系统学习区块链技术

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

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(树苗)这几个阶段，随着业务和功能的逐渐丰富，密钥系统也越来越复杂，刚开始接触时感觉一头雾水，但是静下心来仔细分析，就能逐渐领略其中的魅力。

区块链钱包作为数字货币世界的入口，它糟糕的体验把大部分人挡在门外，说的就是你：助记词备份（或私钥备份）。
现在一个激动人心的签名方案让体验提升一大步，也是博客的主角：门限签名技术及ZenGo钱包。

ZenGo钱包不需要备份助记词，交易也不需要输入密码，一切只需要FaceID/TouchID。

2018年 Jacob Eberhardt和Stefan Tai两位德国柏林工业大学博士生，提出了链下计算/链上验证的处理框架，并提供了在以太坊上的整个框架的工具链。链下计算/链上验证的思想很早就有，但是能提供比较完善的工具链的实属难得。目前ZoKrates使用zk-SNARK算法实现零知识证明。

本文介绍ZoKrates的思想，工具链的使用以及源代码导读。

由于以太坊又慢又贵的POW共识（尽管如此，以太坊依旧是最受欢迎的DApp平台），催生了各种以太坊侧链的方案用来减少以太主网的拥塞，前面我们介绍了Loom SDK， 这篇博客介绍下POA Network以及xDai。
如果大家想稳定的数字货币做一些智能合约应用，在Libra还没有上线之前，也许你可以尝试一下xDai。

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

  在「详解TLS/SSL运行机制」这篇文章中，在TLS握手的第三步中，用到了数字证书中的公钥，通过这篇文章，我们一起来看一下为什么会出现数字证书，以及它解决了什么问题。

 TLS传输层安全性协议（Transport Layer Security）及其前身SSL安全套接层（Secure Sockets Layer）是一种安全协议，目的是为互联网通信提供安全及数据完整性保障，TLS/SSL协议位于网络OSI七层模型的会话层，用来加密通信。