ZKP

硬件加速领域中，Cysic可能是最受关注的劲旅之一

摘要

Nightfall是一种零知识证明的实现， 它使用zk-SNARKS让同质化ERC20和非同质化的通证ERC721系列的通证进行隐私化转移，使得交易能够完成但是又能足够的匿名。本文主要是通过对架构设...

在零知识证明系统中，我们（几乎）总是在有限域上进行操作，并且由于证明者通常必须进行大量的域操作来生成证明，因此我们自然希望我们的域操作要尽可能快。如果使用椭圆曲线密码学，我们被限制在“密码学大小”的域，比如大约 256 位可实现 128 位安全性。然而，类 STARK 的技术（里德-所罗门IOP）在

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

理解为什么以及如何基于多项式构造零知识证明，这篇文章讲的比较清楚。虽然文章只讲到了皮诺曹协议，但是足够理解基于多项式构造零知识证明的本质。想深入零知识证明的小伙伴都建议看看。

ht...

zkHack发布了新的Puzzle。虽然Puzzle用的比较老的Groth16算法，Puzzle的内容非常有趣，对理解零知识证明，多项式，线性相关等等知识非常有帮助。

Semaphore是一个用零知识证明（zk-SNARK）技术的开源项目。Semaphore实现的是基于零知识证明的身份和信号。

Mina链上的区块数据永远“压缩”在22k。Mina是一种新的区块链形式，解决了一般链式区块链数据爆炸的问题。Mina采用PoS的共识机制，“最长/最重”链确认为主链。为了压缩链上的数据，Mina世界状态包括证明（Snarked）和非证明（Staged）的状态。非证明的状态通过链下的零知识证明的计算生成证明，证明证明状态正确。

以简洁易懂的方式介绍了 zkRollup 的实现原理和技术细节.

本文介绍了 Polygon 的 ZK Rollup 解决方案，包括 Polygon Zero、Hermez、Miden 和 Nightfall，它们旨在提高以太坊的扩展性、降低交易费用并保护用户隐私。文章还对比了这些方案与其他 ZK Rollup 的不同之处，并强调了 ZK Rollup 在可扩展性、低交易费用和安全性方面的重要性。

零知识技术是密码学的一个分支，零知识证明可以让用户在不透露信息的前提下证明自己知道或拥有信息。