...ml 的开源发布，这是我们用于生成机器学习模型执行的零知识证明的框架。zkml 建立在我们早期的论文上，关于将零知识证明扩展到 ImageNet 模型，但包含了许多可用性、功能性和可扩展性的改进。通过我们的改进，我们可以验证...
...计算便宜。而且，与其他L2解决方案相比，ZK Rollups凭借零知识证明技术实现了快速终结性，交易最终确定时间最短。此外，ZK Rollups通过数据压缩减少链上存储量，仅保留必要的验证数据，这进一步节省了成本。 然而，当前的Z...
### 零知识多项式乘法 使用前一章的多项式承诺方案，证明者可以展示他们拥有三个多项式 l(x)、r(x) 和 t(x)，并证明 t(x) = l(x)r(x)。 为了使这个算法有效，验证者必须相信多项式的评估是正确的——但这是我们在前一章中展...
...Cryptography（MIT）](https://hackmd.io/@gubsheep/B1LF02t9i)⭐ - [MIT零知识证明(中文版)](https://www.bilibili.com/video/BV1D64y1K78q/?share_source=copy_web&vd_source=9f57b166a79e3fa3c92ed5cb6c246c5a)（大纲基本和前面的MIT的差不多）⭐ - [密码学 I | Coursera](https://www.c...
...构建一个快速的递归证明系统，能够高效地验证和生成零知识证明。它使用了Fry作为可编程承诺方案，避免了传统椭圆曲线证明系统中的非原生算术问题，从而提高了性能。 **关键论据与信息：** 1. **递归证明的定义**：递归证...
...易而不暴露交易细节。其设计灵感来源于Zcash，采用了零知识证明技术，确保交易的隐私性。 **关键论据和信息：** 1. **跨链兼容性**：Penumbra原生支持IBC（跨链通信协议），允许不同区块链之间安全地传递信息和资产，用户可以...
..._](https://twitter.com/NoahCitron)，_@ncitron_在Farcaster中）** ## 零知识、多方计算与后量子加密 零知识系统是强大且基础的技术，掌握区块链的可扩展性、隐私保护应用程序等关键。但在证明效率、证明简洁性与需要 [可信设置](https://a...
## Highlights ### What Does It Mean To Know? 这是一篇探讨零知识中的知识的含义的博客，ZK-proofs 是加密货币最伟大的进步之一。但是，哲学家对 "知识" 的研究已有千年历史。在这篇文章中，我将比较哲学家对知识定义的 "合理真实信念" ...
...用默克尔树结构能带来巨大的比较性能优势。 ### 3\. 零知识证明 证明某个元素存在特定集合中，除了要证明的元素之外，并未泄露其他集合元素信息，因此具有零知识性质，可用在零知识相关应用中。 ## 小结 merkle树在...
视频的核心内容是介绍ZKTLS（零知识传输层安全协议），旨在解决在线证明个人信息时需要分享过多隐私数据的问题。ZKTLS通过零知识证明技术，允许用户在不透露个人信息的情况下，验证特定事实。 关键论据和信息包括： 1. ...
...，Polychain Capital 和 Lemniscap 共同领投。Webb Protocol 通过零知识证明提供跨链中包括资产、数据和位置等信息的隐私功能。 Webb 协议是一个用于构建和管理跨链应用程序的系统，可以在兼容区块链上的一组相同的桥接系统中支持共...
在本次讲座中，Dan Boneh 介绍了递归 SNARK（简洁非交互式知识论证）的概念及其应用，特别是如何构建高效的递归 SNARK。以下是视频的核心内容和关键论据的总结： 1. **核心内容概述**： - 递归 SNARK 是一种通过证明“证明的...
.../learnblockchain.cn/article/6868) 这篇文章将介绍如何将零知识电路集成到智能合约中，然后再集成到 dApp 中。  欢迎来到零知识的世界 ## 介绍 零知识（ZK）密码学世界在过去...