...工作，所以后来创建了这个库帮助开发和调试。 ### 零知识证明 - 说说Binius 零知识证明 - 说说Binius **Shooter**: Binius是个新颖的零知识证明系统，目的是降低证明者的计算开销。Binius能降低证明开销的原因是使用了F_2以及扩...
# zkVM zkVM（零知识虚拟机）是一种利用零知识证明（ZKP）来保证计算的正确性、完整性和隐私性的虚拟机。 # **1. 预备知识** ## 1.1 概念 - **零知识证明**：证明方（prover）向验证方（verifier）证明某个陈述是真实的，同时...
### libZK：零知识证明库 https://bcnijzlqdt0u.feishu.cn/docx/YQWcd0nXooFCtCxlkFocDin7nJb **Harry**: 文章讨论了 libZK 零知识证明库，它提供了一种生成简洁的非交互式零知识证明的技术。这种方法涉及在不透露额外信息的情况下证明满足给定...
....cn/2025/12/31/1tm8dcmA3fWdfxCqX2GFICA.png) 作者：Nayan \| Ancilar 零知识证明 (ZK) 代表了密码学中最优雅的概念之一：能够在不泄露你所知内容的情况下，证明你知道某些东西。这种数学奇迹已经从理论上的好奇心演变为实用的技术，为从...
接着看看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 编写电路，生成证明和验证密钥。此外，还讨...
...议 说实话，这变得相当长。可以跳过，但在这里查看零知识/可靠性证明以理解我对 UltraGroth 的论证是有意义的。 R1CS 在正常的 Groth16 中，我们从 rank 1 约束系统 R1CS 开始： Lw∘Rw=Ow 这里， L,R,O 是大小为 m×n 的矩阵，其中 m ...
...r}的hash值提交到网站。使用认证的过程，用户需要生成零知识证明，证明某个用户知道确定的pepper。题目给出了10个hash值，alice的公钥和pepper，以及bob的公钥，在alice提供诚实的hash的情况下，提供证明她是bob。 ### 2. Nior编写...
感兴趣的大多数计算通常是“有状态的”——也就是说，它们需要经过一系列步骤才能产生最终结果。 有时，我们不需要展示我们执行了计算，而只需要展示结果。例如，如果 A 是一个列表，我们可以通过展示 B 是 A 的一个排...