...n/2019/08/15646287642674.jpg) Sapling是一个比较大的升级，零知识证明的性能提升了十几倍。Sapling不用JoinSplit结构表示交易，而是用SpendDescription和OutputDescription直接表示“花费”和“支出”。一个比较重要的设计是：valueBalance，Spend...
...案有助于防止证明者作弊，并有助于保持他们的见证为零知识。 >- 原文链接： [rareskills.io/post/trust...](https://www.rareskills.io/post/trusted-setup) >- 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～
...程序可以快速轻松地开发，而无需任何密码学方面的先验知识。 **隐私保护** - 通过将程序拆分为多个部分，由持有敏感数据的各方私下证明，从而保护隐私和数据所有权。 - 例如，生成一个证明，证明密文是对某个值到有效...
...int.iacr.org/2017/1066) 允许你仅基于离散对数假设生成这些零知识证明，而无需可信设置。这实际上意味着不需要配对（比如 KZG/Groth16），而是比仅使用哈希函数（比如 STARKs）更复杂的方案。该协议已用于 [门罗币中的范围证明](http...
...，作者介绍了如何利用多项式的性质来证明某个多项式的知识，相信大家已经对构造证明有了一些基本的认识。目前的证明协议仍然存在一些缺陷，本文将会针对这些薄弱项进行改进，进而最终构造出关于多项式的零知识证明协...
... 模块化证明设计的另一个好处是，它为向 OP Stack 添加零知识证明 (ZKP) 创建了一条清晰的路径。FPP 和 FPVM 的分离意味着相同的 op-program 可以在 FPVM 和 ZKVM 中运行。这样，只要 ZKP 开发者以兼容的 VM 规范为目标，他们就不需要了...
...能合约验证器 | | Risc0 验证器 | 250k | 250k | 几乎即时 | 零知识验证器 | | KnowNothingLab 的验证器 | 520k | 520k | ~4 秒 | 零知识验证器 | | Circom | 230k | 300k | 几乎即时 | 零知识验证器 | | 带 EVMMAX 的验证器 | 73k | 73k | 即时 | 核心协议变更 ...
...L 了解支持隐私计算的一个关键加密构件是很重要的：零知识紧凑非交互式知识论证（ZK-SNARK）。ZK-SNARKs 是一种强大的加密原语，它允许一方在不透露任何与计算输入相关的信息的情况下，证明计算的有效性！ZK-SNARKs 还不需要...
...Folding 将 1. 将证明者的空间保持在几 GB 内， 2. 实现零知识性，和 3. 产生链上证明。 此外，Jolt 的证明者预计速度提升约 3 倍。这一改善将来自于[整合](https://eprint.iacr.org/2024/1046) [最近识别的](https://eprint.iacr.org/2024/1210) [...
...可以非常明确地被解析出来。然而，真正地问题是，在零知识证明中解析JSON的成本非常高。 本文将分享如何高效地解析主张并证明解析的有效性。其中，我们会引出一个协议，该协议会从对某一字符串做出的承诺中...
...RK（succinct non-interactive argument of knowledge，简洁的非交互式知识证明）常被认为是 “解决” 扩容问题的灵丹妙药。虽然 SNARK 可以提供难以想象的好处，但我们也要知道 —— SNARK 无法解决区块链当前面临的带宽约束问题。 本文...
...区块链上披露实际数字。虽然解决这个问题不一定需要零知识证明，但我们将在这个示例中利用它们，以保持简单并增强理解。 让我们 dive 进入代码，或者[跳过](https://github.com/RareSkills/blog/blob/prod/zk-addition-dapp-with-noir-and-nextjs/...
...为两种类型：**Optimistic Rollup（乐观 Rollup）和 ZK Rollup（零知识证明 Rollup）**，它们的主要区别在于如何向以太坊主网证明交易的有效性。 **1. Optimistic Rollup（乐观 Rollup）** Optimistic Rollup 采用**乐观假设**策略，假设从 Layer2 上...
# 本地搭建和测试`zkLogin`零知识证明服务 @SUI Move开发必知必会 ## 1 前言 `zkLogin`是`Sui`的一种原生功能，它允许人们只使用来自如`Google`、`Meta`等的现有`Web2`网络凭证来创建`Sui`地址并签名交易。为确保隐私，集成`zkLogin`的应...
...up的状态。 目前存在两种 Rollup： 1. 乐观Rollup 2. 零知识 (ZK) Rollup [桥](https://ethereum.org/en/developers/docs/bridges/)允许你在以太坊主网和Rollup之间传输资金或数据。 ### 乐观Rollup 乐观Rollup，如 [Optimism](https://www.optimism.io/) ...