视频的核心内容是介绍ZKTLS（零知识传输层安全协议），旨在解决在线证明个人信息时需要分享过多隐私数据的问题。ZKTLS通过零知识证明技术，允许用户在不透露个人信息的情况下，验证特定事实。 关键论据和信息包括： 1. ...
...涵盖了最新的高级隐私增强密码学、分布式协议开发和零知识系统研究。 **在 ZK 领域招聘吗？立即将你的职位添加到 [ZK 职位公告板](https://jobsboard.zeroknowledge.fm/)！** #### 研究 - [EdDSA 链中的后量子准备](https://eprint.iacr....
...和一个使用 arkworks 框架实现的、以 Aleo 指令为目标的零知识虚拟机。 你可以查看代码： - [Tendermint 区块链实现](https://github.com/lambdaclass/aleo_lambda_blockchain) - [使用 Arkworks 实现的虚拟机](https://github.com/lambdaclass/aleo_lambda_vm) 这个...
...认，突显了进一步发展的必要性。 轻客户端无法处理零知识证明加剧了复杂性。 为了响应对消耗 ZKP 的超轻量级客户端的迫切需求，我们的 EIP 旨在解决诸如抢跑交易和夹层攻击之类的挑战。 在 MEV 乌托邦模型中，我们寻求各...
...的实施。这是一个数学上的不可能。当研究人员提出 [零知识系统作为解决方案](https://www.sciencedirect.com/science/article/abs/pii/S2214212623002296?ref=blog.shutter.network) 时，他们遇到了计算瓶颈。验证数百万张选票将花费数周时间并耗费大量...
...问题，但其重要性不容小觑。这个数学猜想构成了现代零知识证明的基石，尤其是在基于哈希的 SNARK 中使用的 FRI 和 WHIR。这些证明系统对于以太坊的扩展路线图至关重要，能够在大规模上实现简洁且可验证的计算。 该猜想的...
...法可以分为两种类型：乐观 Rollups（Optimistic Rollups）和零知识 Rollups（zk-Rollups）。 - Op Rollups：假设交易是有效的，只有在有争议时才进行验证 - Zk Rollups：通过零知识证明技术，在提交交易数据的同时，保证其正确性。 ### Pl...
...哈希函数。 - 伪随机函数族。 - 承诺。 - NIZK：非交互式知识论证（证明）。 为了启用可委托的 DPC，我们需要另一个要素：随机化签名。 ### 记录 在 Zerocash 中，当创建币时，它们的[承诺](https://en.wikipedia.org/wiki/Commitment_scheme) (...
...们的[Noir语言](https://noir-lang.org/)利用加密状态机制进行零知识电路开发。这使得在其生态系统内进行机密交易，同时仍然允许可验证性，尽管Aztec的采用和扩展性仍在不断发展。 - **[RAILGUN](https://railgun.org/):** RAILGUN利用零知识...
> 本文由Kurt Pan听译 ## Part1简介 两个零知识库`Plonky2`和`Starky`，代表了构建更高性能SNARKs/STARKs的新方法。Plonky2 是一个结合了Plonk和FRI的库，Starky 专注于运行基于AIR的STARKs，且支持对其的递归验证。该方法可以总结为，使用**...
...中的状态回滚到区块 1-3。 防伪证明还可以使用[零知识证明（zk-SNARKs 或者 STARKs）](https://learnblockchain.cn/2019/04/18/learn-zkSNARK/)来构造，但由于目前通过零知识证明生成证明的时间和空间还有待优化，目前设计的 Plasma 并不依赖...
使用[Halo2](https://learnblockchain.cn/article/3442)开发电路，不可避免会设计custom gate。在实际开发custom gate的过程中，经常会碰到一些错误。该篇文章总结并分析了在Halo2库基础上开发custom gate的一些错误和原理。 为了清晰地讲解这些...
...论这个主题之前，让我们花点时间探讨 zkEVM 是什么，零知识证明的理论基础，以及它如何在各种Layer2项目中迅速发展。本文旨在比较当前利用 zkEVM 的 ZK rollups 的特征，假设读者对以太坊、Layer2解决方案和零知识证明有基本了解...