> * 原文链接： https://medium.com/coinmonks/how-i-learn-zero-knowledge-45a1afb7d789 > * 译文出自：[登链翻译计划](https://github.com/lbc-team/Pioneer) > * 译者：[翻译小组](https://learnblockchain.cn/people/412) 校对：[Tiny 熊](https://learnblockchain.cn/people/15) > * ...
...新的频度变的快了，每天都有不少代码merge进来。目前零知识证明的CRS，已经从V20更新到V24版本。目前测试网络也进入了testnet3阶段。在之前的V20的版本基础上，V24版本对Sector处理也有些变化。 [Filecoin - Lotus存储证明了什么？](...
...户自己去记忆这个盐值。 #### （3）ZK Proving Service（零知识证明服务） 它也是一个后端服务，负责根据`JWT`、`JWT`随机数、用户盐值和最大纪元生成`ZK`证明。该证明与 `zkLogin` 交易的临时签名一起在链上提交。 ### 3.2 流程说...
...识 - 数据完整性校验值 2. ZK处理器功能 通过零知识证明技术实现： - 数据真实性验证 - 节点贡献度计算 - 隐私保护处理 ### Grass Points奖励系统 平台设计了完整的激励机制,通过Grass Points实现价值分配： ...
...绍如何使用 [Elusiv](https://elusiv.io/)，一个基于 Solana 的零知识 (ZK) 隐私协议，来创建一个私密的 SPL 代币转账。 ### 你将做什么 在本指南中，你将： 1. 了解 Elusiv，一个基于 Solana 的零知识 (ZK) 隐私协议 2. 使用 Elusiv SDK 创建一个...
...是如何将链外计算结果在链上得到一致共识，通过TEE、零知识证明等技术手段实现链外数据计算结果回到主链上达成一致共识和安全。本报告分析以Oasis、Arweave、Mina等链下计算模式为案例，分析了Web3.0时代数据计算的可能范式...
...ent * of method *** is not a provable type` 错误. ## 如何编写零知识证明应用(zkApp), 有哪些要求? 在 ZkNoid 中进行构建主要围绕创建你自己的运行时模块展开, 这与智能合约类似. 每个运行时模块都有其自身的状态以及用户可通过钱包...
...睹的所有基础设施限制：L2扩展、数据可用性（DA）、零知识虚拟机（zkVM）等等。但其中最显著的可能是能够在Web3 dApp上大规模使用Web2数据。 过去几年里，我们从头开始重建了Web，这非常棒。然而，加密用户仍然不到Web用户...
...息包括： 1. **SNARK的定义**：SNARK是一种简洁的非交互式知识证明，允许证明者生成一个短小的证明，验证者可以快速验证该证明的有效性。 2. **零知识SNARK**：这种扩展形式不仅证明了某个陈述的真实性，还确保在证明过程中不...
...ights ### Computer Scientists Combine Two ‘Beautiful’ Proof Methods 零知识证明，它可以让验证者者相信一个陈述是真的，而不透露它为什么是真的。概率可检查证明，它可以说服验证者证明的真实性，即使只看到原始内容的一小部分。Gur，...
几乎所有 ZK-Proof 算法都依赖于 Schwartz-Zippel 引理来实现简洁性。 Schwartz-Zippel 引理指出，如果我们有两个多项式 $p(x)$ 和 $q(x)$，它们的次数分别为 $d_p$ 和 $d_q$，并且 $p(x) \neq q(x)$，那么 $p(x)$ 和 $q(x)$ 的交点数量小于或等于 $\maths...
...确地进行了内积计算。本章展示了如何为内积论证构造零知识证明。 在前一章中，我们展示了如何以零知识的方式相乘两个标量：我们承诺两个度为一的多项式，并证明我们正确地计算了它们的乘积，然后显示这两个度为一...