... zkEVM 进步的四项技术进展： ## 1 **多项式承诺** 在零知识证明中，[多项式承诺方案](https://www.youtube.com/watch?v=BfV7HBHXfC0)被用来灵活有效地反映证明的约束条件。使用零知识证明协议时，证明者必须向验证者证明他们知道特定...
...个系列的视频将从零到一实现 Tornado Cash 的功能，包括零知识证明电路，智能合约以及证明验证。希望你能从中学习到 Tornado Cash 的所用到的技术，并知道如何构建一个零知识证明应用。 [Tornado Cash](https://tornadoeth.cash/) 是一个...
初识零知识证明
...旨很简单：在不影响去中心化或安全性的前提下，使用零知识证明将以太坊扩展到十亿用户。 实现这一点需要快速有效的验证系统。 今天，我们很高兴与大家分享 [Plonky2](https://github.com/mir-protocol/plonky2)——零知识密码学的一个...
...letproofs ZKPs 允许证明者以对数大小的证明来证明对内积的知识。Bulletproofs 不需要一个可信的设置。 在前面的章节中，我们展示了如何在不透露向量或内积的情况下证明对内积的知识，尽管这需要一个大小为 $\mathcal{O}(n)$ 的证...
...的日益严格以及对保护隐私的人工智能的需求增长，**零知识人工智能（ZKAI）** 正在成为一种变革性的解决方案。 **零知识人工智能（ZKAI）** 正在成为一种变革性的方法，它利用**零知识证明（ZKPs）**、**可信执行环境（TEEs）**...
...通信的重要组成部分。ZK Email 应运而生，这是一种利用零知识证明（ZKPs）修复这些缺陷的新协议。本文探讨了 ZK Email 的特性、优势和应用，提供了全面的分析。 ## 什么是 ZK Email？ [ZK Email](https://prove.email/) 是一种尖端加密...
...766358588836.jpg) 接下来是功德箱的第二个特性：“使用零知识证明解决在不暴露相关信息的情况下，证明加密货币所有权的问题”。先看第一个问题如何证明加密货币所有权的问题，由于功德箱是通过`Merkle tree`实现，所以证明...
...程的完整性而受到极大关注。像安全多方计算（MPC）和零知识证明（ZKP）这样的解决方案已成为处理机密信息的行业的核心。 现有的零知识证明在验证计算时面临效率、可扩展性和灵活性的瓶颈。递归证明是一种重要的范式...
...： ``` A.B = a1*b1 + a2*b2 + ... + aN*bN ``` - [概述](#概述) - [零知识证明的流程](#零知识证明的流程) - [两个向量的点积的 Circom 电路](#两个向量的点积的-circom-电路) - [Circom 设置和安装](#circom-设置和安装) - [Circom 安装依赖](#circom-...
本视频讲解了如何编程零知识证明系统，主要由Pratyush Mishra和Alex Ozdemir主讲。视频的核心内容包括如何将高层次的应用想法转化为零知识证明系统可以理解的格式，具体探讨了三种不同的编程方法。 ### 核心内容概述 1. **零知...
...ack的Puzzle是我比较喜欢的活动。通过实例编码深入理解零知识证明的细节是比较高效的学习方式。zkHack V前几天已经开始了。这篇文章分析一下第一道题目： https://zkhack.dev/zkhackV/puzzleV1.html ### 1. 题目 有一个验证...
求助Zokrates相关问题，小白不懂，有没有大佬？ ## 代码 我有以下代码，这个代码主要用来判断输入的a是否大于b，如果a大于b则输出1，否则输出0 ```zok def main(private field a, private field b) -> field { return if a > b { 1 }...
...acr.org/2018/691.pdf DIZK，Distributed Zero Knowledge，分布式的零知识证明系统。在分布式环境下，DIZK能支持超大规模电路（10亿门级别）的计算。而且，论文给出的测试数据表明，DIZK的计算性能随着分布式实例的增长，线性增长。 ...
 ## 零知识证明：基础知识简介 非常感谢 [Matt](https://x.com/__lostin__), [Porter](https://x.com/portport255), [Nick](https://x.com/nick_pennie), [Swen](https://x.com/swen_sjn...