新型零知识证明方案详细解析

导读：这周我们先通过两篇科普文章了解零知识证明的概念，再来了解由“计算机安全教母”宋晓冬教授等人提出的新型零知识证明方案Virgo（处女座）。

而在硬核技术文章周选部分，我们还会看到比特币技术年度总结、Eth2.0中继者网络与手续费机制、区块链分层模型新思路的内容。

另外，由V神提出的新方案，可能会加快ETH 2.0的整体落地进度。

 

以下是上周内容的精选回顾，enjoy ~

一、理解零知识证明，新型零知识证明方案Virgo（处女座）又长什么样？

关于区块链的隐私问题，我们经常会提到零知识证明（ZKP）方案，它们可允许证明者说服验证者一个语句是真的，而不会泄露任何超出声明有效性的额外信息。

近年来，零知识证明协议在计算委托、匿名证书、隐私保护加密货币和智能合约方面已经取得了巨大的进展。而在进入这周的学术论文分享之前，我们需要先来了解一下零知识证明的概念，因此先推荐两篇科普好文：

1 零知识证明学习笔记：背景与起源

文章由斯坦福大学密码学学者东泽提供，其先从比特币的保密性不足问题入手，然后谈到CoinJoin、保密交易（CT）这两个比特币隐私提升方案所存在的弊端，接着他讲到ZCash所使用的零知识证明方案zk-SNARKs及其潜在的应用。

文章链接：https://www.8btc.com/media/537030

2 郭宇：3分钟搞懂零知识证明，为何它是一把双刃剑？

由安比实验室创始人、数字资产研究院学术与技术委员郭宇分享的《零知识证明，区块链技术缺失的一环》演讲内容（经巴比特记者整理），谈到了零知识证明概念的由来，以及用地图三染色问题来解释零知识证明的基本概念，此外，2018年3月1日，ZCash团队成员在论文 ［BCTV14］ 附录B中的一个致命错误，可被用于无限造币，这也提醒了人们零知识证明协议离不开形式化验证。

文章链接：https://www.8btc.com/article/537797

尽管研究进展是显著的，但很多零知识证明（ZKP）方案仍存在着一些局限性，例如上面提到的zk-SNARKs，它就需要一个可信的设置阶段来生成结构化引用字符串（SRS），而如果该陷门被泄露，那么系统的安全性将被破坏。

为了解决这一问题，最近有很多零知识证明（ZKP）方案的设计都移除了对可信设置的需求。

而来自加州大学伯克利分校及德克萨斯A&M大学的四位研究者（包括Yupeng Zhang 、Jiaheng Zhang、Tiancheng Xie 和 Dawn Song （宋晓冬））则将这类ZKP方案称为透明零知识证明（ZKP）协议，他们还根据Goldwasser等人提出的双有效交互式证明GKR方案，提出了一个具有简洁证明大小和验证时间的高效透明ZKP系统。

原论文链接：https://eprint.iacr.org/2019/1482.pdf

而这一研究论文，已被安全与隐私顶级会议IEEE S&P 2020接受。

 

看上去是不是感觉“灰常腻害呢”！不妨来具体看看这个协议到底长啥样吧！

根据论文介绍，该研究的贡献大致可被分为3点：

1. 透明零知识可验证多项式委托（Transparent zero knowledge verifiable polynomial delegation）：研究者们提出了一种新的无需可信设置的零知识可验证多项式委托（zkVPD）方案。与现有基于配对的密钥分配方案相比，这种新方案不需要陷门和线性大小公钥，其消除了模幂运算和双线性配对等繁重的密码运算；

2. 透明的零知识论证（Transparent zero knowledge argument）：研究者们将新的zkVPD协议与GKR协议有效地结合起来，从而得到了一个透明的ZKP方案，这一方案只使用了轻量级的密码学原语（例如抗碰撞的散列函数，因此可能是抗量子计算的）；

3. 在新方案的基础上，研究者们实现了一个名为Virgo（处女座）的ZKP系统，它是研究者们上一个ZKP方案Libra（不要误会，并不是Facebook的Libra哦）的升级版本，而他们还计划开源这一系统；

Virgo（处女座）与其它零知识证明方案的对比

上面，我们简单介绍了这项研究的主要贡献，为了节省时间，我们直接跳过非常复杂的技术描写而看结论，这一研究中主要的技术贡献是一个新的具有O（N log N）证明者时间、33证明大小和验证时间的透明zkVPD方案（其中的N代表多项式的大小）。

另外，研究者实施的零知识证明系统Virgo（处女座）是用C++实现的，其中透明zkVPD协议大约有700行代码，而GKR部分则有2000行代码。

在单台服务器条件下进行实验后，研究者们将其与其它6种ZKP方案（包括Libra、Ligero、Bulletproofs、Hyrax、Stark以及Aurora）进行了比较，结果如下图显示：

其中，在前两个基准上，Virgo（处女座）相比Libra要优化了7-10倍，而在第三个基准上则要快3-5倍，而这种优化便是来自于研究者们新提出的高效zkVPD。

而与其它透明ZKP系统相比，从实际证明者时间来看，Virgo是这些系统中表现最好的，它要比其它系统至少快一个数量级，而在验证时间的对比上，Virgo的表现也是非常出众的。

例如，验证一个256个子叶的Merkle树，2^26个门的电路构造，Virgo只需要花费50 毫秒的时间，它的验证时间与ZK-Stark是可竞争的。

而在证明大小方面，它要比Bulletproofs（防弹证明）更大一些，类似于Hyrax、Stark以及Aurora。

zkVPD和新ZKP方案的应用场景

最后，在这篇论文中，研究者们提出了新方案适用的三个应用场景，分别如下：

1. 可验证秘密共享；

2. 提升区块链项目的隐私性；

3. 大规模零知识证明：除了区块链之外，也有很多其它应用需要证明大型声明的ZKP，例如美国国防高级研究计划局（DARPA）最近打算使用ZKP来证明复杂程序的行为，而不泄露敏感信息，而这样的应用需要将ZKP方案扩展到具有数十亿门的电路。

洒脱喜简评：2019年，零知识证明研究领域迎来了多个新的方案，而“无需可信设置”、“较小验证大小”、“较短证明者（p）时间和验证（v）时间”，已经成为了优秀ZKP方案的“标配”，尽管Virgo（处女座）方案是在单服务器条件下进行的测试，但其呈现出来的结果是令人感到惊喜的，至于该方案的具体实现及潜在的问题，就等研究者们去细心探索了（尤其是它在多服务器条件下的表现，这是论文中没有提到的）。

二、硬核技术文章一周精选

2、1 比特币技术年度最全总结

由Bitcoin Optech总结的2019年比特币技术进展文章，其回顾了比特币技术项目代码库近9000次commit（近2000次合并）、1500多个邮件列表帖子、数千行IRC日志以及其它很多公共来源。

以下是每个月中最显著的技术进展：

1月：BIP127储备证明；

2月：（1）兼容硬件钱包接口的Bitcoin Core，（2）Miniscript；

3月：（1）共识清理软分叉提议，（2）Signet，（3）Lightning Loop；

4月：（1）AssumeUTXO，（2）Trampoline支付；

5月：（1）Taproot，（2）SIGHASH_ANYPREVOUT，（3）OP_CHECKTEMPLATEVERIFY；

6月：（1）Erlay和其它P2P中继改善，（2）闪电网络暸望塔（Watchtower）；

7月：Guix

8月：无契约金库

9月：（1）SNICKER，（2）发现闪电网络漏洞；

10月：LN锚输出；

11月：（1）Bech32，（2）移除Bitcoin Core中的OpenSSL，（3）移除Bitcoin Core中的BIP70；

12月：闪电网络多路径支付

完整原文链接：https://bitcoinops.org/en/newsletters/2019/12/28/

洒脱喜简评：可能是目前市场上介绍2019年比特币技术进展最全的一篇文章，比特币迎来了一系列增量改进解决方案，而其中有很多内容是被大家忽略了，有兴趣的可以了解下。

2、2 干货 | Eth2.0 的中继者网络与手续费机制

来自以太坊 2.0 研究者John Adler的技术总结文章（由IAN LIU & 阿剑翻译），其重点关注了以太坊2.0 的中继网络及手续费机制。其中，每种提案都有其不同的权衡取舍，而且被不同的平台所采用，因此做一次合理且全面的汇总，能让新入门的研究者更快上手。

文章链接：https://www.8btc.com/media/539143

2、3 Vitalik ：基础层和功能逃逸速度，论并行开发layer 1和layer 2的必要性

以太坊联合创始人Vitalik Buterin在其最新发布的博文《基础层和功能逃逸速度》中提到，“保持 layer 1简单，使用layer 2来弥补不足” 并不是解决区块链可扩展性和功能性问题的普遍答案，因为这种思路没有考虑到layer 1区块链本身必须要具有足够的可扩展性和功能性，否则所谓的layer 2协议只是可信的中介。在这篇文章中，Vitalik提出了“功能逃逸速度”的概念，他还表示，短期内我们需要并行开发layer 1与 layer 2 ，而长期则要更关注layer 2的开发。

文章链接：https://www.8btc.com/article/539384

洒脱喜简评：V神解释了layer 1在具备三种条件下（1、包括一种可验证任意内容的编程语言，2、丰富的有状态性，3、充分的数据可扩展性和低延迟），即可使得layer 2在无需可信中介的情况下进行部署，因此他建议短期内我们仍要并行开发layer 1和layer 2。

一般认为，用户对layer 2的去中心化属性并没有太大的要求，但如果能够在实现高性能的情况下再去实现去中心化，感觉是不是很美呢？咦，似乎又会导致一些安全问题哦，原文https://vitalik.ca/general/2019/12/26/mvb.html下有相关的评论。

三、主流区块链项目技术进展

3、1 Vitalik Buterin发布重磅新提案，让ETH 1.0链作为分片0，更快迁移到ETH 2.0

上周，以太坊联合创始人Vitalik Buterin提出了一种将ETH 1.0数据迁移到ETH 2.0的更快方法，这种方案需要用到无状态客户端，但不需要无状态的矿工和Web程序集，因此需要更少的重构工作，而ETH 1.0将作为ETH 2.0 的分片0而存在。
责任编辑；zl