本文档是一个关于 zkVM(零知识虚拟机)的精选列表,zkVM 是一种允许在不泄露隐私数据的前提下进行计算的技术。该列表包含 zkVM 项目、技术细节、性能基准、相关论文、资源、教程和工具,旨在为开发者、研究人员和对零知识证明技术感兴趣的受众提供有价值的参考。
本文介绍了 Circom 编程语言,它用于创建 Rank 1 Constraint Systems (R1CS) 并填充 R1CS 的 witness 向量,主要是为了简化约束系统的设计和自动化 witness 的生成。文章还解释了 Circom 存在的意义,以及它如何帮助开发者更轻松地进行零知识证明相关的开发,最后说明了学习 Circom 的理由,并概述了资源结构,包括语法和约束设计。
本文深入探讨了Zero-Knowledge Proof(ZKP)及其在去中心化系统中的应用,重点介绍了Noir语言的编译过程。通过实例展示如何将高层次的Noir代码转换为ACIR(抽象电路中间表示),从而实现ZKP所需的数学约束,涵盖了从基本电路、Pedersen散列到动态内存访问与条件执行的更复杂电路的实现。
本文对Circom和Noir进行了高层次比较,探讨了它们的生态系统、工具集、性能以及最佳用例。Circom作为一个低级领域特定语言,关注于电路约束的细粒度控制,而Noir则是一种更高层次的语言,旨在简化开发者体验,使其无需手动管理约束,进而提升工具的灵活性和可用性。
文章探讨了在素数域 $ ext{F}_p$ 中整数除法的挑战,特别是在零知识证明(ZKP)中的应用。强调了传统除法符号可能导致多个有效解的问题,并提供了两种解决方案:比特位除法算法和约束商的其他方法,以确保唯一性和安全性。讨论了使用 Circom 实现的具体代码示例及其优缺点。
Tornado Cash:开发者参考手册
探索 ZK 框架:用 5 种不同的 ZK 语言实现的 Mastermind 游戏
10 篇塑造现代零知识证明的必读论文
zkVM 测试报告
本文详细介绍了Bulletproofs在范围证明中的构建方法,通过验证向量aL的二值性和其与向量2n的内积来证明标量v的范围在2^n内。文章还展示了几种代数技巧,并通过Monero的使用实例说明了该技术的应用。
文章介绍了如何在不发送整个向量的情况下,证明已知 Pedersen 向量承诺的开启,并详细描述了算法的实现和安全问题。
文章详细介绍了如何使用多项式承诺方案在零知识证明中验证多项式乘法的正确性,包括算法步骤和优化方法,并附有代码实现。
探索市面上的 zkVMs:哪些项目真正符合零知识虚拟机的标准?
零知识证明(ZKPs)是一种加密技术,允许一方在不暴露具体信息的情况下证明其对该信息的知识。文章深入探讨了ZKPs的工作原理、种类及其在区块链应用中的作用,旨在帮助程序员理解如何实际实现这一技术,并涵盖了交互式和非交互式证明、关键组件以及信任设置等重要概念。
ZK的崛起与演变曾几何时,零知识证明(以下简称ZK)仍然被认为是密码学教科书中的理论概念,至少在传统安全研究中很少被主流社群深入探索。然而在Web3.0领域,区块链技术的迅速发展,用短短几年时间实现了ZK从理论到实践的跨越式进展,一路蓬勃,高歌猛进。1985年诞生,2014年ZCash才用SN
本文提供了一份面向程序员的零知识证明(ZKP)教程,使用了 Circom 这种用于编写 ZKP 电路的领域特定语言。文档解释了 ZKP 的概念、约束条件的重要性以及设置、构建和验证 ZKP 电路的过程。它还涵盖了基本 ZKP、使用哈希函数和承诺实现数字签名方案,以及群签名方案。
circle stark: perspective from a new stark
这篇文章深入探讨了RISC Zero zk-STARK的构建过程,分为12个课程,详尽地解释了执行跟踪、规则检查、数据填充、构造多项式和约束多项式等关键技术环节,结合了零知识证明的应用以及使用Reed-Solomon编码和FRI协议来验证多项式的低度特性
如果你重视零知识证明技术信息的实效性和信息源质量的意义,不想娱乐至死、短视投机、无关广告、推荐算法、劣币驱逐良币的泥沙裹挟迷失,请多支持我们(包括给予赞助支持),让这一汨清流继续流淌~
ZK技术的历史发展脉络梳理
扫一扫 - 使用登链小程序
382 篇文章,660 学分
113 篇文章,616 学分
67 篇文章,472 学分
117 篇文章,443 学分
153 篇文章,349 学分