...讲，群签名在数学上相当复杂且难以实现。然而，使用零知识证明（ZKP），这个数学问题变成了一个简单的编程任务。在本文结束时，你将能够自己编写群签名。 ## 介绍 这篇文章将向你展示如何从零开始编写基本的零知识...
# zkVM zkVM（零知识虚拟机）是一种利用零知识证明（ZKP）来保证计算的正确性、完整性和隐私性的虚拟机。 # **1. 预备知识** ## 1.1 概念 - **零知识证明**：证明方（prover）向验证方（verifier）证明某个陈述是真实的，同时...
...。人们经常使用“ZK 证明”这个术语来指代实际上不是零知识的简洁论证。类似地，ZK-rollups 通常不使用零知识证明，而只是使用简洁的证明。 ### 给人民群众的BLS12-381指南 https://cryptography.land/2023/07/01/bls12381-restofus#fieldext...
接着看看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 Rollup 的项目，其采用了 ZK-SNARK 的零知识证明算法（经过 Boojum 升级后变为 ZK-STARK 的算法）。根据其官方所讲，其具有以下特点： * 可靠的安全性（继承自以太坊的安全性），对第三方零依赖（这个没看懂...
感兴趣的大多数计算通常是“有状态的”——也就是说，它们需要经过一系列步骤才能产生最终结果。 有时，我们不需要展示我们执行了计算，而只需要展示结果。例如，如果 A 是一个列表，我们可以通过展示 B 是 A 的一个排...
...r}的hash值提交到网站。使用认证的过程，用户需要生成零知识证明，证明某个用户知道确定的pepper。题目给出了10个hash值，alice的公钥和pepper，以及bob的公钥，在alice提供诚实的hash的情况下，提供证明她是bob。 ### 2. Nior编写...
STARK零知识证明系统的理解采用github page分享给感兴趣的小伙伴： https://trapdoor-tech.github.io/zkstark-book/ 一切从zkHack的puzzle说起。解题的过程也是ZK-STARK的学习过程。 [零知识证明 - zkHack mini挑战赛第一名](https://learnblockchain.cn/a...
### 给 5 岁的孩子解释零知识证明 https://eli5.zksync.io/ **Harry**: zksync 搞的一个教程, 用卡通形象和简单的语言解释零知识证明。 ### mage-ai https://github.com/mage-ai/mage-ai **Mark.R**: 毫不费力地集成和同步来自第 3 方来源数据，...