这是以问题视角分析以太坊零知识应用项目系列文章的第二部分。

王垠写于2019年7月的这篇博文的背景是在网上闹得沸沸扬扬的阿里巴巴赵海平面试王垠导致的论战。回过头看看这个时间点（2019年7到12月），这不就是划时代的COVID-19在武汉隐匿传播的时间嘛，王垠在文中的核心论点在于"P vs NP问题没有实际意义“。从时间点的魔幻性看待这篇文章，那王垠说的是对的，全世界在19年下半年最重要的事应该是正视这个病毒，而不是关心P vs NP问题，否则就是Don't Look Up的鸵鸟。但时过境迁，"the world has changed."，女王和“昨日世界”一起彻底的逝去了。但是P vs NP问题，一个来自半个世纪前的“可能是位居理论计算机核心的未解决问题”，却依然是一个深刻的迷，还没有看到任何被满意解决的进展。

新零知识论证系统Orion，域运算和哈希函数的O(N)的证明时间，O(log^2 N)证明大小。提出了一种基于最密集子图算法的新算法来测试随机二分图是否是无损扩展图。开发了一种有效的证明组合方案，代码转换，以将证明大小从平方根减少到多项式对数。

在计算的旧石器时代，计算机曾是机电的巨兽，每秒只可以执行几十次操作，但每年的成本却高达数百万美元。程序是通过细致的思考、在接线板中插入电线以及给卡片打孔来开发的。那个时候，bug就是是字面意义上的虫子，它们会啃咬电线，偶尔会导致短路，这可能会烧毁所有东西。

作者：Vaish Puri

自加密货币出现，分布式账本系统变得流行起来。典型的分布式账本方案建立在区块链技术上，其特点是特定的数据结构，以区块的形式保存交易信息的记录。这些数据块通过称为哈希的密码学计算数“链接”或连在一起，并且该哈希值唯一地标识给定块。

此文是对公链（又名去中心化账本、Crypto和 Web3）场景下隐私方面的阐述。第一部分会涉及为什么隐私是大规模采用的关键障碍以及隐私有哪些不同方面。第二部分综述了达成隐私的三种不同方法：通过零知识证明，通过仅以匿名为目标，以及通过一种新的称为 MOCCA 抽象。