# zkVM zkVM（零知识虚拟机）是一种利用零知识证明（ZKP）来保证计算的正确性、完整性和隐私性的虚拟机。 # **1. 预备知识** ## 1.1 概念 - **零知识证明**：证明方（prover）向验证方（verifier）证明某个陈述是真实的，同时...
### libZK：零知识证明库 https://bcnijzlqdt0u.feishu.cn/docx/YQWcd0nXooFCtCxlkFocDin7nJb **Harry**: 文章讨论了 libZK 零知识证明库，它提供了一种生成简洁的非交互式零知识证明的技术。这种方法涉及在不透露额外信息的情况下证明满足给定...
接着看看zkHack V的第二道题。 https://zkhack.dev/zkhackV/puzzleV2.html ### 1. 题目 基于一个比较小的域，实现了一个Lookup协议。题目给定了一个从0～63的表，尝试证明2^15在表中。 ### 2. Lookup协议 题目中实现的Looku...
最近翻到一篇19年底360安全发布的一篇有关零知识证明安全的文章。这篇文章是Zhiniang Peng在PacSec2019大会发言的总结。文章框架性地介绍零知识证明zk-SNARK的知识，并给出了一些安全提示和思考。 原文链接如下： http://blogs.360...
...线游戏类型）游戏。我比较感兴趣的是这款游戏使用了零知识证明技术。零知识证明技术应用越来越丰富：隐私，跨链，zk Rollup，游戏等等。本文介绍Dark Forest的基本策略，如何结合零知识证明技术。在文章的最后，介绍最新版...
RLN(Rate Limiting Nullifier)是一个零知识应用，可用于去中心化、匿名环境下的垃圾邮件预防。 区块链的匿名性为某些应用程序打开了垃圾邮件和Sybil攻击（女巫攻击）的可能性，这可能会严重影响用户体验和应用程序的整体功能...
...介绍了如何使用 SnarkJS 和 Circom 在 JavaScript 项目中进行零知识证明。零知识证明技术的重要性在于可以证明拥有信息而无需透露，适用于匿名投票等场景。文章介绍了如何使用 Circom 编写电路，生成证明和验证密钥。此外，还讨...
...。人们经常使用“ZK 证明”这个术语来指代实际上不是零知识的简洁论证。类似地，ZK-rollups 通常不使用零知识证明，而只是使用简洁的证明。 ### 给人民群众的BLS12-381指南 https://cryptography.land/2023/07/01/bls12381-restofus#fieldext...
...r}的hash值提交到网站。使用认证的过程，用户需要生成零知识证明，证明某个用户知道确定的pepper。题目给出了10个hash值，alice的公钥和pepper，以及bob的公钥，在alice提供诚实的hash的情况下，提供证明她是bob。 ### 2. Nior编写...
感兴趣的大多数计算通常是“有状态的”——也就是说，它们需要经过一系列步骤才能产生最终结果。 有时，我们不需要展示我们执行了计算，而只需要展示结果。例如，如果 A 是一个列表，我们可以通过展示 B 是 A 的一个排...
...言具体的，实现了 ZK Rollup 的项目，其采用了 ZK-SNARK 的零知识证明算法（经过 Boojum 升级后变为 ZK-STARK 的算法）。根据其官方所讲，其具有以下特点： * 可靠的安全性（继承自以太坊的安全性），对第三方零依赖（这个没看懂...
STARK零知识证明系统的理解采用github page分享给感兴趣的小伙伴： https://trapdoor-tech.github.io/zkstark-book/ 一切从zkHack的puzzle说起。解题的过程也是ZK-STARK的学习过程。 [零知识证明 - zkHack mini挑战赛第一名](https://learnblockchain.cn/a...