Semaphore是一个用零知识证明（zk-SNARK）技术的开源项目。Semaphore实现的是基于零知识证明的身份和信号。 https://github.com/barryWhiteHat/semaphore ## 整体框架 Semaphore整个项目，由三部分组成：nodejs模块（客户端/服务器端以及前端...
...坊扩展性战略的里程碑式事件，也进一步彰显了CertiK在零知识证明（ZKP）系统形式化验证领域的全球技术领导力。 CertiK的“先进形式化验证”技术是此次获奖的关键，相比传统方案，它实现了四大突破：直接针对具体代码而...
定义 知识证明是一种密码学证明，其中“证明者”说服“验证者”它知道一些信息。 密码学证明正在 [Web3](https://learnblockchain.cn/article/18906) 中迎来寒武纪式的创新爆发。许多这些进步与[零知识证明](https://blog.chain.link/what-is-a-ze...
.../img.learnblockchain.cn/attachments/2025/02/wuRVAsTx67c182fa6aab4.png) 零知识证明（Zero-Knowledge Proof, ZKP）作为区块链技术的核心驱动力，正在重塑 Web3 的未来格局。从隐私保护到链上计算效率提升，ZKP 技术不仅推动了去中心化应用（DApps）的...
## 摘要 简化的范围证明。只需要 6 个 ECMUL 和 3 个 ECADD (37K gas) 即可在 EVM 上验证基于 Pedersen 承诺的隐私币的范围证明。第一次设置和承诺需要 zkSNARKs，但之后成本会降至最低。对于客户端的每个交易生成，也不需要 ZKP 计算。 ...
## 在 ZK 电路中寻找可靠性 Bug 的实用指南 **零知识证明**是区块链扩展和隐私的核心构建块。在实际部署中，最脆弱的部分通常是电路：开发者编写的约束。小的疏忽或“显而易见”的假设会变成可靠性 **Bug**，让攻击者证明无...
...私变得越来越困难。本指南将讨论一种加密协议——**零知识证明**（Zero-Knowledge Proofs），以及它如何帮助保护用户数据。我们还将介绍零知识证明的类型，并探讨它所带来的好处和用例。 > 更喜欢视觉解释？这里有一个视频...
...whisper（节点间消息交互），PKD（存储 public key），zkp（零知识证明处理）。zkp 是 EYBlockchain 核心逻辑，提供了[以太坊上智能合约](https://learnblockchain.cn/2018/01/04/understanding-smart-contracts/)的实现，几种操作的电路描述，以及使用 ZoKra...
这节聊聊密码学和区块链领域非要有名的一个概念，零知识证明。 ## 定义 先给定义。 零知识证明的英文全称是 Zero-knowledge Proofs，简写为 ZKP ，是一种非常有用的密码学方法。证明过程涉及到两个人，一个是宣称某一命题为真...
### 给 5 岁的孩子解释零知识证明 https://eli5.zksync.io/ **Harry**: zksync 搞的一个教程, 用卡通形象和简单的语言解释零知识证明。 ### mage-ai https://github.com/mage-ai/mage-ai **Mark.R**: 毫不费力地集成和同步来自第 3 方来源数据，...
...持bech32，支持taproot等。 ### 使用物理不可克隆功能和零知识证明保护基于区块链的物联网系统 https://arxiv.org/abs/2405.12322 **松**: Commey等人在其论文《Securing Blockchain-based IoT Systems with Physical Unclonable Functions and Zero-Knowledge Proofs...
...分析命令搬到了gui上，可以对比多个pprof文件。 ### 零知识证明的应用 https://arxiv.org/pdf/2408.00243 **Harry**: 这篇论文描述了零知识证明在区块链隐私、扩展、存储、互操作性等领域的新应用，以及非区块链应用如投票、认证...
...种环境声音，帮助人们实现专注与放松的项目。 ### 零知识证明学习资料汇总 https://learnblockchain.cn/2019/11/08/zkp-info **Ryan**: 文章收集了关于零知识证明的一些学习资料（包括科普文章，论文，开源仓库及相关学习网站等），...
...Cedric**: Mac 触控板可以当电子秤 ### Boundless 和 Succinct 零知识证明网络对比 https://medium.com/@CFrontier_Labs/the-prover-network-landscape-a-comparative-analysis-of-succint-and-boundless-networks-b1c362b4e67d **Harry**: 本文对 Boundless 和 Succinct 两个零知识...
最近有空看了看Plookup的论文。针对对电路描述不友好的操作（比如bit操作），Plookup给出了新的思路和证明方式。给定某个操作的真值表示（lookup table），证明某个操作的输入/输出是在真值表中。这种方式，相对之前的bit计算约...