...9#what-is-a-zero-knowledge-blockchain-rollup) 有基本了解。 - 对 [零知识证明](https://learnblockchain.cn/article/13802) 有较高层次的理解。 ### 欺诈证明和有效性证明是什么 欺诈证明和有效性证明是用于确保 [第二层](https://learnblockchain.cn/artic...
...伴应该知道，这些协议的基础就是多项式承诺。 **[零知识证明 - Plookup算法介绍](https://learnblockchain.cn/article/2786) ** **[零知识证明 - 深入理解PlonK算法](https://learnblockchain.cn/article/2180) ** ## uVM的整体框架 uVM由如下的模块组...
...over](https://github.com/zkMIPS/zkm/tree/main/prover)利用Plonky2构造零知识证明系统，其主要步骤涉及对每个Plonkish表的证明生成、聚合及压缩处理。具体过程如下： ## 1.1 对每个Plonkish表生成Plonky2证明 在该步骤中，对于每个Plonkish表，ZKM ...
...常缺乏基本功能。 通过克服传统链上计算和复杂零知识解决方案的限制，zkVM 1.0 使开发者能够轻松构建可扩展、互操作和创新的应用程序。 **为什么这很重要** -------------------- zkVM 1.0 为构建链上协议和去中心化...
...篇论文，由以太坊基金会资助： “ **智能的成本：用零知识证明机器学习推理**”（或称为 paper0，酷孩子们是这么叫的）。 没错，真实的数据！图表！对理论构造及其对性能影响的讨论！这就是 _全套_ —— 实际上，**paper0 是...
...可以非常明确地被解析出来。然而，真正地问题是，在零知识证明中解析JSON的成本非常高。 本文将分享如何高效地解析主张并证明解析的有效性。其中，我们会引出一个协议，该协议会从对某一字符串做出的承诺中...
...新的 ZKP 或者是 zkSNARK 的技术。最近有很多人在学习这些知识，我们也参加了一些公学的小组，在这里深度讲一下其中很共性的问题。 ## Why ZKP or zkSNARK？ 首先我们能感受到 ZK 的项目是很 FOMO 的，我更想从技术层面...
...的安全功能，开发人员可以更高效、更轻松地创建基于零知识或欺诈证明的区块链应用。 Avail DA 的核心优先考虑排序和发布交易，同时使用户能够在不需要下载整个区块的情况下验证区块数据的可用性。Avail DA 的数据无关性...
...上管理状态和执行智能合约的虚拟机。zkEVMs 旨在通过零知识电路来证明 EVM 的执行，这个领域在过去的一年里已经有了显著的增长并扩张为一个行业。在该领域涌现了许多不同的项目和社区，每个项目和社区都采取了自己独特的...
...复杂化了监管环境。 另一个重大挑战是拥有区块链专业知识的 **网络安全人才短缺** [Top blockchain attacks, hacks and security issues explained \| TechTarget](https://www.techtarget.com/searchsecurity/tip/Top-blockchain-security-attacks-hacks-and-issues)。随着区块...
...蚁BAAS的官方帮助文档和辉哥的实践，按照一课讲透一个知识点或者功能的逻辑，把蚂蚁BAAS系统深入浅出的做了分析和输出，希望能为大家熟悉蚂蚁区块链系统提供帮助，少走弯路。 ## 2，系列文章 （1）蚂蚁区块链第1课 蚂...
Fiat-Shamir 转换是零知识证明 (ZKP) 和多方计算 (MPC) 中的一个重要组成部分。它允许基于交互式协议的零知识证明变为非交互式。本质上，它将对话转换为文档。这种能力是 SNARK 和 STARK 等强大技术的核心。非常有用的东西！ 但是...
## 1\. PCS (多项式承诺方案) 在零知识证明系统中，**多项式承诺方案 (Polynomial Commitment Scheme, PCS)** 是一种密码学原语，它允许证明者将多项式“绑定”到一个短的承诺值，并有效地证明该多项式在特定点上满足某些性质（例如，...
...资源。虚拟机必须能够执行字节代码，执行任何必要的零知识证明的生成和验证，并管理整个执行环境。所有这些任务都需要大量的计算资源，这可能会增加系统的总体开销。另一个开销来源是执行字节代码所需的时间。由于虚...
## ZK Bulletproofs 简介 Bulletproofs 是一种零知识内积论证，它使证明者能够说服验证者他们正确计算了内积。也就是说，证明者有两个向量 $\mathbf{a} = [a_1, a_2, \dots, a_n]$ 和 $\mathbf{b} = [b_1, b_2, \dots, b_n]$，并且他们计算了 $v = \langle\ma...