...letproofs ZKPs 允许证明者以对数大小的证明来证明对内积的知识。Bulletproofs 不需要一个可信的设置。 在前面的章节中，我们展示了如何在不透露向量或内积的情况下证明对内积的知识，尽管这需要一个大小为 $\mathcal{O}(n)$ 的证...
...的日益严格以及对保护隐私的人工智能的需求增长，**零知识人工智能（ZKAI）** 正在成为一种变革性的解决方案。 **零知识人工智能（ZKAI）** 正在成为一种变革性的方法，它利用**零知识证明（ZKPs）**、**可信执行环境（TEEs）**...
... zkEVM 进步的四项技术进展： ## 1 **多项式承诺** 在零知识证明中，[多项式承诺方案](https://www.youtube.com/watch?v=BfV7HBHXfC0)被用来灵活有效地反映证明的约束条件。使用零知识证明协议时，证明者必须向验证者证明他们知道特定...
...程的完整性而受到极大关注。像安全多方计算（MPC）和零知识证明（ZKP）这样的解决方案已成为处理机密信息的行业的核心。 现有的零知识证明在验证计算时面临效率、可扩展性和灵活性的瓶颈。递归证明是一种重要的范式...
...旨很简单：在不影响去中心化或安全性的前提下，使用零知识证明将以太坊扩展到十亿用户。 实现这一点需要快速有效的验证系统。 今天，我们很高兴与大家分享 [Plonky2](https://github.com/mir-protocol/plonky2)——零知识密码学的一个...
...通信的重要组成部分。ZK Email 应运而生，这是一种利用零知识证明（ZKPs）修复这些缺陷的新协议。本文探讨了 ZK Email 的特性、优势和应用，提供了全面的分析。 ## 什么是 ZK Email？ [ZK Email](https://prove.email/) 是一种尖端加密...
...： ``` A.B = a1*b1 + a2*b2 + ... + aN*bN ``` - [概述](#概述) - [零知识证明的流程](#零知识证明的流程) - [两个向量的点积的 Circom 电路](#两个向量的点积的-circom-电路) - [Circom 设置和安装](#circom-设置和安装) - [Circom 安装依赖](#circom-...
...保持简洁和清晰，我们简化了一些概念。在本讨论中，零知识证明和计算完整性被视为一个单一概念，我们不会讨论工作量证明和权益证明的不同安全属性。 每个科学学科或工程领域的发展都会经历类似于经济领域中观察到的...
...766358588836.jpg) 接下来是功德箱的第二个特性：“使用零知识证明解决在不暴露相关信息的情况下，证明加密货币所有权的问题”。先看第一个问题如何证明加密货币所有权的问题，由于功德箱是通过`Merkle tree`实现，所以证明...
 ## 零知识证明：基础知识简介 非常感谢 [Matt](https://x.com/__lostin__), [Porter](https://x.com/portport255), [Nick](https://x.com/nick_pennie), [Swen](https://x.com/swen_sjn...
Zero-Knowledge (ZK) Circuits（零知识电路）允许： - Provers（证明者）在不泄露他们用来提出声明的私有信息的情况下提出声明 - Verifiers（验证者）验证 Prover（证明者）提出的声明，而无需信任 Prover（证明者）或知道 Prover（证明...
...个系列的视频将从零到一实现 Tornado Cash 的功能，包括零知识证明电路，智能合约以及证明验证。希望你能从中学习到 Tornado Cash 的所用到的技术，并知道如何构建一个零知识证明应用。 [Tornado Cash](https://tornadoeth.cash/) 是一个...
...ckchain.cn/2019/05/27/groth16)，Puzzle的内容非常有趣，对理解零知识证明，多项式，线性相关等等知识非常有帮助。 https://github.com/geometryresearch/zkhack-groth-puzzle ## **Puzzle基本信息** Puzzle对应的电路采用circom搭建，实现在zkhack-grot...