...： ``` A.B = a1*b1 + a2*b2 + ... + aN*bN ``` - [概述](#概述) - [零知识证明的流程](#零知识证明的流程) - [两个向量的点积的 Circom 电路](#两个向量的点积的-circom-电路) - [Circom 设置和安装](#circom-设置和安装) - [Circom 安装依赖](#circom-...
零知识以太坊虚拟机（zkEVM）是一种生成 [零知识证明](https://learnblockchain.cn/article/5276) 以验证程序正确性的虚拟机。zkEVM 旨在以支持零知识技术的方式执行智能合约。 zkEVM是 [零知识 (ZK) Rollups](https://www.alchemy.com/blog/zero-knowledge-...
...据的版权与来源上链，实现“AI 数据合规”； * 通过零知识证明（ZKP），让 AI 的推理过程“可验证但不泄露细节”。 #### 2. Web3 需要 AI 的智能层 Web3 的问题在于“效率”与“交互体验”。 智能合约虽然安全，但逻辑死板...
...2.png) 为了深入理解形式化验证技术是如何应用于zkVM（零知识虚拟机）之上的，本文将聚焦于单条指令的验证。关于ZKP（零知识证明）先进形式化验证的总体情况，请查阅我们同期发布的“零知识证明区块链的先进形式化验证”...
...作加速了隐私解决方案的构思和实施，特别是那些使用零知识证明的解决方案。我们现在正处于一个关键的隐私构件从研究阶段进入生产阶段的时期：[**Semaphore**](https://github.com/kobigurk/semaphore)，一种匿名信号传递的手段。 Semapho...
...示的 Montgomery 变换的 30% 性能。 ## **1. 目标** 在许多零知识证明系统（例如 SP1 和 RISC0）中，大多数计算发生在有限域内，包括有限域加法、乘法和除法。 因此，高效的有限域算术运算对于零知识证明系统的性能至关重要。 我...
...org/modular-vs-monolithic-a-beginners-guide/) 引发了围绕 rollups、零知识证明、rollup-as-a-service (RaaS)、轻客户端等的大量无需许可的创新浪潮。 结果是：面向大众的可扩展、最小信任的区块空间。 然而，虽然我们已经在以太坊上解锁...
使用[Halo2](https://learnblockchain.cn/article/3442)开发电路，不可避免会设计custom gate。在实际开发custom gate的过程中，经常会碰到一些错误。该篇文章总结并分析了在Halo2库基础上开发custom gate的一些错误和原理。 为了清晰地讲解这些...
...每秒哈希证明的世界纪录** Ingonyama 是一家垂直整合的零知识（ZK）证明器领域的领先专家，以及支持 Starknet 生态系统开发和增长的 Starknet 基金会，Starknet 是一种将以太坊优势带给世界的安全扩展技术，他们很高兴地宣布建立合...
....learnblockchain.cn/2025/03/13/1fwnogHOki3FswmGiTPTm9Q.png) ## 介绍 零知识证明技术的出现引发了区块链扩展解决方案的技术复兴。两种不同的方法，zkVMs ( **零知识虚拟机** ) 和 zkEVMs ( **零知识以太坊虚拟机** )，在这场革命的前沿。虽然两...
## 摘要 Nightfall是一种零知识证明的实现， 它使用zk-SNARKS让同质化ERC20和非同质化的通证ERC721系列的通证进行隐私化转移，使得交易能够完成但是又能足够的匿名。本文主要是通过对架构设计、承兑型资产铸造、转移和销毁这...
...括： * **去信任化验证（Trustless Verification）**：使用零知识证明或轻客户端验证； * **统一消息层**：让跨链不仅是资产桥，还有跨链治理、跨链合约调用； * **模块化架构**：Rollup 与主链间原生互操作（如 Celestia、EigenLayer 生...
...ng-zero-knowledge-proofs-to-cashu/)_ 在本文中，我们会探究 “零知识证据” 如何让带有任意花费条件（由一种图灵完备的编程语言指定）的 ecash token 可以交换，而 _不会_ 牺牲隐私性。 ## Cashu 协议概述 _以下是对 “Cashu” 协议的一个...