...通过比特币脚本实现以太坊 rollup 中执行的挑战游戏或零知识证明验证，在现实中被认为是很困难的。 BitVM 于 2023 年 10 月发布，作为一种能够在比特币网络上验证链下计算结果的解决方案而备受关注，显示了解决此问题的可能...
...环和域如何在密码学中使用，以及为什么它们对于理解零知识证明背后的数学是必要的。 _"F 是一个超多项式大小的素域 _ ”**PLONK：用于普适非交互式知识论证的基于拉格朗日基的排列（2019）** 在本文中，我们将最终了解...
...究使用流行的 ZKP 系统 SnarkJS、Rapidsnark、Gnark 和 Noir 在零知识证明 (ZKP) 中对 **Passkey钱包** 签名验证进行基准测试。 Base 团队正在探索各种方法，以实现基于 **智能钱包Passkey** 账户的链上隐私，秉持着开放构建的精神，我们分享...
#### Polygon Miden 将通过使用先进的零知识密码学技术STARK来压缩交易，然后在以太坊上验证它们，从而增强 Polygon 的可扩展性和安全性。  ...
...心化投票系统，使用 Noir，这是一种为构建保护隐私的零知识（ZK）程序而设计的领域特定语言（DSL）。在此过程中，我们将解释一些关键组成部分，例如 Noir 标准库及其预言机集成。 通过遵循本技术指南，你将学习如何开发...
...，则该块已最终确定。 ## 2. ZK-Rollup ZK-Rollup 是基于零知识证明的 Layer2 扩容方案，采用有效性验证方法(VP)，默认所有交易都是不诚实的，只有通过有效性验证才会被接受。**ZK-Rollup 在链下进行复杂的计算和证明的生成，链上...
...题为基于线性概率检查程序（PCP）的SNARKs（简洁非交互式知识论证）。讲座首先回顾了之前讲解的SNARKs的基本概念和构建方法，包括基于多项式承诺和错误纠正码的方案。接着，Zhang详细介绍了线性PCP的构建方法，强调了其在SNAR...
...uffragium** 是一个安全、保护隐私的投票系统，它结合了零知识证明 (ZKP) 和全同态加密 (FHE)，以创建一个无需信任且防篡改的投票平台。利用 Zama 的 **fhEVM**，Suffragium 保留了安全投票系统的所有基本属性。 ### 对安全和私密投票...
...n 2018 年就提出了利用 zk-SNARKs 实现扩展，开创性引入了零知识证明技术证明区块状态变化的有效性，这也是 ZK Rollup 的雏形。 zk-SNARKs 绕不开的一个点就是中心化的 Trust Setup，也称之为CRS(the Common Reference String)。2019年由 Aztec 研...
...明的私钥的任何了解 —— 这种属性叫做 “诚实验证者零知识性”（HVZK）（它是真正的零知识属性，也就是我们在讨论 零知识证明/ZKP 时候所指的那种属性，的一个更弱的版本） 你可能会想到，为了让这套协议既能说服验证者...
Awesome zkVM 一份精选的 zkVM，零知识虚拟机资料清单，深入了解 zkVM 的好帮手。 欢迎提出[贡献](https://github.com/rkdud007/awesome-zkvm/blob/main/CONTRIBUTING.md)和建议；请就你...