找到约 14 条结果

文章 Filecoin 封装流程(sealing)

...么抽取144个节点的路径,是因为全部node的路径生成的知识证明的电路太大了。 > 7. commit 2 > 对c1得到路径,p1的步骤等计算知识证明压缩,然后发送provcommit消息上链。因为每个sector都发送消息的话,费用比较高,所以支持...

文章 通过 Tornado Cash 的源代码理解知识证明

...关联,解决了隐私问题。Tornado Cash 使用了 Merkle 树和知识证明电路。在智能合约验证知识证明知识证明在加密世界中相对较新。数学背后非常复杂,但工具如`snarkjs`和`circom`使其易于使用。希望本文能帮助您理解这种“...

文章 知识证明-zkSNARK应用场景分析

...ale/50) 某个用户需要消费某个cm,必须向区块链提供**知识证明**: * 他知道一个Note,并能生成一个cm,而且这个cm在以rt为树根的Merkle树上 * 用同样的Note信息,能生成一个nullfier,而且这个nullfier之前没有生成过。 以上...

文章 Web3 极客日报 #1464

### 比特币知识证明(ZK)的创新方法 https://polyhedra.medium.com/breaking-ground-in-bitcoin-polyhedra-zk-research-breakthrough-6238ba52377d **李一笑**: polyhedra团队推出了一种直接在比特币区块链上验证 ZK 证明的创新方法,使用 FRI(Fast Reed-Solomo...

文章 构建你的第一个知识 snark 电路(Circom2)

...指导你使用 circom2 和 snarkjs 库创建和执行你的第一个[知识证明](https://learnblockchain.cn/article/704)。 ## 知识基础概念 ### 什么是知识证明? > *在密码学中,知识证明知识协议是一种方法,通过该方法,一方(证明...

文章 zkEVM 背后的技术发展:从多项式承诺到硬件加速

... zkEVM 进步的四项技术进展: ## 1 **多项式承诺** 在知识证明中,[多项式承诺方案](https://www.youtube.com/watch?v=BfV7HBHXfC0)被用来灵活有效地反映证明的约束条件。使用知识证明协议时,证明者必须向验证者证明他们知道特定...

文章 Web3 极客日报 #1440

...**: zkCoins 是一种比特币的扩展方案。它将客户端验证与知识证明系统相结合将大部分验证复杂性都转移到链外,并在交易的各个发送者和接收者之间直接进行通信。全局共识规则很少,这使得区块验证变得简单。甚至不需要全...

文章 Web3 极客日报 #1478

...ack.com/p/the-polynomial-path **Harry L**: 多项式是构建高效知识证明系统的非常强大的工具。具体来说,有一个称为多项式交互式预言证明(PIOP)的框架,它使证明者能够说服验证者某些数据集或计算的某些陈述是正确的,而无...

文章 知识证明 - zkSNARK应用的Nullifier Hash攻击

早上很多朋友@我,安比实验室发表了一篇文章[zkSNARK的“输入假名”的攻击](https://learnblockchain.cn/2019/07/29/zkSNARK-wul/)。迅速看了看,很赞。这个攻击原理其实比较简单,但是,不深入理解zkSNARK以及使用场景的朋友确实很难发现和...

文章 登链 Weekly 2025/3/16

...chments/2025/03/oOlSJ4VA67cd47868c4f4.png!/scale/60) 你是否听说过知识证明(ZK)的神奇之处,却不知其运作机制?那么,“ZK白板系列”专栏将是你打开这扇魔法之门的钥匙! 从知识证明的基本概念出发,逐步深入到高级协议,并探...

文章 【zkMIPS系列】Plonky2递归知识证明原理

# 1. 引言 递归知识证明(Recursive Zero-Knowledge Proof,简称递归ZKP)是一种使用递归概念的知识证明,它通过递归的方式生成可更高效验证的证明,某些情况下还可以将多个证明合并成一个单一的证明。这在区块链系统中尤为...

文章 知识虚拟机(zkVM)入门:原理、分类与应用全景图

知识证明(ZKP)在区块链领域快速发展,从最初的隐私保护走向通用计算。尤其是 **zkVM(Zero-Knowledge Virtual Machine)** 的出现,极大拓宽了 ZK 技术的应用边界。 现在通过这篇文章,系统了解 zkVM 的核心概念、主流技术路线、...

文章 circom与snarkjs经典教程:创建第一个知识 snark 电路

在本教程里将指导您使用circom和snarkjs库创建第一个知识 zkSnark电路。 它将介绍各种编写电路的技术,并向您展示如何创建证明并在[以太坊](https://learnblockchain.cn/categories/ethereum/)上进行链外和链上验证。 我们假定尽可能少的...

文章 与ZKSNARKS和密码学原语一起工作终极指南 - 从可信设置到工作流自动化

...esting) ## 概述 ZKSNARKS 是一种强大的加密工具,可实现知识证明,这是一种在不透露任何输入或输出信息的情况下验证计算有效性的方法。ZKSNARKS 可用于创建保护隐私的应用程序,例如匿名交易、可验证计算和去中心化身份。...