为了深入理解信标链，我们需要先介绍分片。目标的以太坊网络中，每一个节点都要验证所有交易，这大大限制了以太坊的扩容性。

在过去十年中，普适的简洁零知识证明或许是密码学领域最有影响力的发展方向之一，通常简称为 zk-SNARKs（zero knowledge succinct arguments of knowledge）。zk-SNARKs 可以让你为执行的计算生成一些证明（proof），虽然这些证明的生成可能会耗费非常多的算力，但是却可以被很快地验证。并且这些证明还拥有“零知识”的特性，即证明中会隐藏计算中的输入信息。

最近，Ariel Gabizon，Zac Williamson 和 Oana Ciobotaru 公布了一个新的普遍用途的零知识证明算法 PLONK ，全称为普遍用途的非交互式知识论证的拉格朗日基排列（Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge）。虽然普遍用途的零知识证明协议的进步与研究已经进行持续了许多年，PLONK（以及早先更复杂 SONIC 和最近的 Marlin）为这类证明带来了在可用性上的可观进步。

昨日冷兔预售，除了成为国产 NFT 之光冲上 OpenSea 时段榜一之外，不知大家是否察觉，整个预售过程，Gas 费并没有明显暴涨：

笔者最近在结合以太坊黄皮书读以太坊源码，结合自己的理解解析下黄皮书内的公式，与大家共同学习进步，若大家在阅读以太坊黄皮书时，对公式产生理解上的困惑，可以参阅本文一起看。文章基于当前（2022/1/10）的黄皮书，版本号为 BERLIN VERSION fabef25 ，若有不准确之处，欢迎指出。由于该黄皮书内除附录外有 183 个公式，为了让文章篇幅不过长，该解析会由三部分组成一个系列，每个系列解析约 60 个公式，本文为下篇。

笔者最近在结合以太坊黄皮书读以太坊源码，结合自己的理解解析下黄皮书内的公式，与大家共同学习进步，若大家在阅读以太坊黄皮书时，对公式产生理解上的困惑，可以参阅本文一起看。文章基于当前（2022/1/10）的黄皮书，版本号为 BERLIN VERSION fabef25 ，若有不准确之处，欢迎指出。由于该黄皮书内除附录外有 183 个公式，为了让文章篇幅不过长，该解析会由三部分组成一个系列，每个系列解析约 60 个公式，本文为中篇。

笔者最近在结合以太坊黄皮书读以太坊源码，结合自己的理解解析下黄皮书内的公式，与大家共同学习进步，若大家在阅读以太坊黄皮书时，对公式产生理解上的困惑，可以参阅本文一起看。文章基于当前（2022/1/10）的黄皮书，版本号为 BERLIN VERSION fabef25 ，若有不准确之处，欢迎指出。由于该黄皮书内除附录外有 183 个公式，为了让文章篇幅不过长，该解析会由三部分组成一个系列，每个系列解析约 60 个公式，本文为上篇。

最近在看零知识证明，了解到了一个很有意思的问题，即《姚氏百万富翁问题》，该问题由图灵奖得主姚期智老师提出。算是对开始了解零知识证明的朋友起到抛砖引玉作用的经典问题。下面展开一下问题的描述，以及姚期智老师给出的一个答案。

笔者前两日学习了 Uniswap 的白皮书以及源码，具体学习笔记可看这篇博客。在阅读其源码的过程中，学习到了一些 Solidity 编程技巧，在此文记录分享。