...节点，是制约FHE算法大规模应用的一个核心挑战。 零知识证明 (ZK) 算法（这里特指 zk-snarks ）主要用于扩容（如 zk-rollup ）和隐私。一个有趣的事实是，ZK 算法在外包计算场景下无法实现隐私白虎，这源于 ZK 系统的自身安全特...
...可以非常明确地被解析出来。然而，真正地问题是，在零知识证明中解析JSON的成本非常高。 本文将分享如何高效地解析主张并证明解析的有效性。其中，我们会引出一个协议，该协议会从对某一字符串做出的承诺中...
...能合约验证器 | | Risc0 验证器 | 250k | 250k | 几乎即时 | 零知识验证器 | | KnowNothingLab 的验证器 | 520k | 520k | ~4 秒 | 零知识验证器 | | Circom | 230k | 300k | 几乎即时 | 零知识验证器 | | 带 EVMMAX 的验证器 | 73k | 73k | 即时 | 核心协议变更 ...
...区块链上披露实际数字。虽然解决这个问题不一定需要零知识证明，但我们将在这个示例中利用它们，以保持简单并增强理解。 让我们 dive 进入代码，或者[跳过](https://github.com/RareSkills/blog/blob/prod/zk-addition-dapp-with-noir-and-nextjs/...
...RK（succinct non-interactive argument of knowledge，简洁的非交互式知识证明）常被认为是 “解决” 扩容问题的灵丹妙药。虽然 SNARK 可以提供难以想象的好处，但我们也要知道 —— SNARK 无法解决区块链当前面临的带宽约束问题。 本文...
...讨了困扰传统区块链的状态膨胀问题以及 Mina 如何使用零知识证明来解决该问题，且如何在此过程中提供更具隐私性、去中心化和高效的区块链。我们将探讨 Mina 的设计选择，以及关键参与者如何使其在原生代币 MINA 的支持下作...
...无从谈起。我们引入了 zkEVM 用来为通用的 EVM 验证生成零知识证明。这样一来，我们就可以构建出完全兼容 EVM 的 zk-Rollup，以便现有以太坊应用轻松迁移到这个 zk-Rollup 上。 在本文中，我们明确指出了 zkEVM 在设计上面临哪些...
...，并帮助提高透明度，并为该领域提供更多（超过零）的知识！ >- 原文链接： [medium.com/l2beat/introd...](https://medium.com/l2beat/introducing-the-zk-catalog-7ac6f22889c0) >- 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，...
# 本地搭建和测试`zkLogin`零知识证明服务 @SUI Move开发必知必会 ## 1 前言 `zkLogin`是`Sui`的一种原生功能，它允许人们只使用来自如`Google`、`Meta`等的现有`Web2`网络凭证来创建`Sui`地址并签名交易。为确保隐私，集成`zkLogin`的应...
## 1\. PCS (多项式承诺方案) 在零知识证明系统中，**多项式承诺方案 (Polynomial Commitment Scheme, PCS)** 是一种密码学原语，它允许证明者将多项式“绑定”到一个短的承诺值，并有效地证明该多项式在特定点上满足某些性质（例如，...
...移到 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...
[系列一：初识「零知识」与「证明」](https://learnblockchain.cn/2019/08/01/learning-zkp/) [系列二：理解「模拟」](https://learnblockchain.cn/2019/08/06/zkp-simu/) [系列三：寻找「知识」](https://learnblockchain.cn/2019/08/28/zkp-pok/) [系列四：「随机...