掌握零知识证明的综合资源列表  [Zero-Knowledge_Mastery.pdf](https://github.com/Quillhash/Zero-Knowledge-Mastery/blob/main/files/Zero%20Knowledge%20Mastery.pdf) ## 内容 1. [简...
...解 **sumcheck** 协议中的算术运算处理,并学习如何优化零知识证明中的特定情况。 [阅读 →](https://blog.zksecurity.xyz/posts/posts/fri-security/posts/faster-sumchecks/index.html)[ 即“简洁非交互式知识证明”,代表项目:**zkSNARK(ZK Rollup 的底层)**。 * 特点:证明体积小、验证速度快 * 缺点:需要*可信初始化*(Trusted Setup) 应用: * ZK Rollup * 私密交易(Zca...
...n 2018 年就提出了利用 zk-SNARKs 实现扩展,开创性引入了零知识证明技术证明区块状态变化的有效性,这也是 ZK Rollup 的雏形。 zk-SNARKs 绕不开的一个点就是中心化的 Trust Setup,也称之为CRS(the Common Reference String)。2019年由 Aztec 研...
...三个属性。2016年,他创立了 Zcash,第一个大规模应用零知识证明技术的加密货币,为区块链带来了真正的隐私保护。 ## 早年与密码朋克之路 Zooko Wilcox(后来加上了 O'Hearn)1974年出生于美国,在科罗拉多大学博尔德分校学习...
...构建了一种基于BitVM解决方案的分层虚拟机技术。通过零知识证明和乐观执行机制,该技术支持任意类型的计算操作,并在比特币上验证计算的有效性。分层虚拟机技术使我们能够支持任何前端类型的智能合约,例如那些在EVM中...
...深入了解 **sumcheck** 协议中的算术运算,并了解如何在零知识证明中优化特定情况。 [阅读 →](https://blog.zksecurity.xyz/posts/posts/bulletproofs-sage/posts/faster-sumchecks/index.html)[中的证明者都可以提交他们的证明,并由一个聚合器将这些证明组合成一个单一的...
...问题,但其重要性不容小觑。这个数学猜想构成了现代零知识证明的基石,尤其是在基于哈希的 SNARK 中使用的 FRI 和 WHIR。这些证明系统对于以太坊的扩展路线图至关重要,能够在大规模上实现简洁且可验证的计算。 该猜想的...
...ttp://self.xyz/) 之间的一项新合作,这个 appchain 由 Self 的零知识 Proof of Humanity 提供支持,并使用 Spire 的 **Pylon** 平台构建以实现同步可组合性。此次发布展示了 appchain 现在如何在不牺牲用户隐私的情况下,本地验证链上人类身份...
...心。 - **ZK 验证:** Succinct的去中心化证明者网络生成零知识 (ZK) 证明,从而加强安全性并解锁扩展到非EVM链。 - **卸载的基础设施:** 证明者处理繁重的工作,而Across确保顺利结算。 - **面向未来的设计:** 随着桥接扩展到更...
...这样一个电路可以让我们使用 _Plonk_ 证明所述数字 _v_ 的知识!那么让我们再次试着把这放入方程中。 > 事实上,这就是我们之前描述的同一个系统 [我们之前说过](https://medium.com/@francomangone18/cryptography-101-zero-knowledge-proofs-part-1...
# 零知识证明 (ZKP) 零知识证明(ZKP)是一个在区块链行业引起广泛关注的概念。许多人,包括我自己,曾将其视为一个神秘的“黑盒”。在本文及后续系列中,我将分享我对一种 ZKP 协议,特别是 zkSNARK [Groth16](https://eprint.iacr.org...