...节点，是制约FHE算法大规模应用的一个核心挑战。 零知识证明 (ZK) 算法（这里特指 zk-snarks ）主要用于扩容（如 zk-rollup ）和隐私。一个有趣的事实是，ZK 算法在外包计算场景下无法实现隐私白虎，这源于 ZK 系统的自身安全特...
...RK（succinct non-interactive argument of knowledge，简洁的非交互式知识证明）常被认为是 “解决” 扩容问题的灵丹妙药。虽然 SNARK 可以提供难以想象的好处，但我们也要知道 —— SNARK 无法解决区块链当前面临的带宽约束问题。 本文...
## 1\. PCS (多项式承诺方案) 在零知识证明系统中，**多项式承诺方案 (Polynomial Commitment Scheme, PCS)** 是一种密码学原语，它允许证明者将多项式“绑定”到一个短的承诺值，并有效地证明该多项式在特定点上满足某些性质（例如，...
...无从谈起。我们引入了 zkEVM 用来为通用的 EVM 验证生成零知识证明。这样一来，我们就可以构建出完全兼容 EVM 的 zk-Rollup，以便现有以太坊应用轻松迁移到这个 zk-Rollup 上。 在本文中，我们明确指出了 zkEVM 在设计上面临哪些...
> 这篇文章解释利用ZKP(零知识证明)与区块链来实现去中介的交易协议的原理，讲讲我们是怎么把这个理论变成实用的代码的，这是一篇概述，希望了解更多的朋友请关注后续。 ## 没有第三⽅，能保证交易的公平性吗？ 想象...
...9_image.png) > ## **要点** > > - **注重隐私的应用**：Aleo 的零知识证明为各种用例实现了私密、安全的交易，包括金融、游戏和身份验证。 > > - **去中心化金融 (DeFi)**：支持机密的 DeFi 应用，其中用户数据和交易保持隐藏。 > > - **私...
...讨了困扰传统区块链的状态膨胀问题以及 Mina 如何使用零知识证明来解决该问题，且如何在此过程中提供更具隐私性、去中心化和高效的区块链。我们将探讨 Mina 的设计选择，以及关键参与者如何使其在原生代币 MINA 的支持下作...
...移到 GPU 加速实例的潜在性能优势，而无需立即掌握硬件知识。 2. **硬件加速部署**：ZaKi 采用按证明付费的模式运行，类似于 AWS Lambda，允许开发人员在我们优化的 ZK 实例上运行他们的证明者或特定的子协议。 我们通过定制的...
...attachments/2024/10/QJWQNumU6705eccc0729b.png) 我们曾经讨论了[零知识证明的先进形式化验证：如何验证一条ZK指令](http://mp.weixin.qq.com/s?\__biz=MzU5OTg4MTIxMw==\&mid=2247502807\&idx=1\&sn=e5a6deabb78220190c027570b58943f0\&chksm=feacaf45c9db26539e50d6973bcc0c85d2bd22d51...
...组件，功能职责是负责执行智能合约并生成最新状态和零知识证明。 **什么是分层虚拟机？** 要解答这个问题，我们直接看下图（*参考 Bitlayer 白皮书，见附录*）。  >- 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，...
...源代码的细节。 讀者若有具备龙卷风现金的一些基礎知识，会比較能欣賞隐私池的细节。但如果沒有的話也沒关係，可以看一下简介。 ### **简介** 龙卷风现金是一种打斷币流的混币器，目的是讓使用者得到「链上」的隐...