...，即 P ≠ NP。 通过理解 P vs NP 问题，我们可以看到零知识证明（ZKP）如何融入计算机科学的更大领域，并理解 ZKP 能做什么和不能做什么。 将零知识证明与 P vs NP 问题联系起来，能够更容易地“领会”零知识证明的概念。 ...
...ipt](https://docs.rs/risc0-zkvm/*/risc0_zkvm/struct.Receipt.html) 基于零知识加密技术领域的几项最新进展。 该证明系统基于 [STARK](https://github.com/risc0/risc0/blob/main/website/docs/reference-docs/about-starks.md)，实现 [DEEP-ALI & FRI](https://github.com/risc0/risc0/bl...
...存（由大节点保存），每秒可处理 18000 笔交易 * 使用零知识证明、搭配链下数据的方案[被命名为 “Validium”](https://twitter.com/VitalikButerin/status/1267455602764251138) * [zk rollup（数据放在链上）与 Deversifi 的 Validum（数据放在链下）有...
...实际应用中权衡理论安全性与工程可行性。 了解过零知识证明这块的人知道 Fiat-Shamir 变换的安全性分析就是基于随机谕示模型的，将一个交互式协议转变成一个公开可验证的非交互式协议。当然还可以应用到数字签名、身份...
...夺了人类行使自由意志所需的条件。 Vitalik 寄希望于零知识密码学等突破性技术能够解决这些问题。作为在开发这些技术前沿工作了 8 年的人，我同意这种观点，但我认为 Vitalik 可能低估了要最终发挥作用所需的令人恐惧的不...
... WL：White List，白名单。 ## Z zk：zero-knowledge proof，零知识证明，可以证明一个人拥有某个秘密，但不用泄露秘密本身。 原文： https://github.com/WTFAcademy/WTF-gm
...hain.cn/article/10796)，在这一期中我们涵盖了 merkle 树的基础知识，并将经常引用我们在上一期中所学的内容。 > _我无法创造的，我无法理解。_ > _理查德·费曼_ ## 引言 在《黑客指南：Layer 2》第一期中，我们介绍了 merkle ...
...求。 隐私增强技术（PET）的新研究将改变这种局面。零知识证明正被用于为账本上的移动添加不同程度的机密性，从而为用户提供急需的交易隐私层。受信任的执行环境（TEE）作为一种权宜之计，在寻找更强大的安全模型时，...
在本文中，我们讨论如何在StarkWare的新零知识证明系统Stwo中实现递归证明验证。通过添加递归证明验证，Stwo可以验证“无限”计算，并为开发人员提供了提供者和验证者效率之间灵活选择的机会。我们的最终目标是使验证者的...
...完备性。这是因为任何人（我的意思是任何具有正确技术知识的人）都可以创建一个 Script 程序，比特币网络上的每个完整节点都将执行该程序。 考虑到这一点，如果有人意外或故意导致循环持续运行，这将本质上创建一个 **...
...。但这个过程不遵循代数方法，因此缺乏数学基础。在零知识**证明 (zero-knowledge proof)**的世界中——例如使用 STARKs——我们常用的哈希方法，如 SHA-256 和 Blake2，实现起来很复杂，而且运行速度通常很慢，特别是因为我们无法在...
...工作原理如下（假设你对基本的椭圆曲线密码学具有先验知识；请参见 [这里](https://blog.cloudflare.com/a-relatively-easy-to-understand-primer-on-elliptic-curve-cryptography/)、[这里](https://matt-rickard.com/elliptic-curve-cryptography) 和 [这里](https://learnblockc...
...Mina](https://minaprotocol.com/) 是一个 layer-1 区块链，它使用零知识证明 (zk-SNARKs) 来将其[大小保持在 22 kB](https://minaprotocol.com/blog/22kb-sized-blockchain-a-technical-reference)。该桥梁有两个目的： 1. 允许无缝的跨链交易。 2. 允许应用程序利用...