...ECDSA 签名等基本组件来发挥作用。配对、全同态加密和零知识证明等创新技术也已进入区块链领域。 对于许多人来说，密码学似乎是一个复杂而令人困惑的 “数学魔法” 难题。作为一名区块链安全工程师，我一直对密码学着...
...，且 $d = gcd(a, b)$，那么 $gcd(\frac{a}{d}, \frac{b}{d}) = 1$。 **证明。** 如果 $c = gcd(\frac{a}{d}, \frac{b}{d})$，那么 $c \mid \frac{a}{d}$ 且 $c \mid \frac{b}{d}$。这意味着存在整数 $k_1$ 和 $k_2$，使得 $a = ck_1$ 和 $b = ck_2$，这告诉我们 $a = cdk_1$ 和 $b =...
...8765) 的新概念。AggLayer 旨在通过聚合来自各种连接链的零知识证明 (ZKP)，从而实现安全和原子的跨链交易，从而在区块链生态系统中提供无缝的跨链基础设施，类似于 TCP/IP 对于 Web 的作用。这项创新旨在让用户体验与单个网络...
...也用于 VOT 中，以便接收者玩家 A 仅获得关于探测坐标的知识，并保证发现的内容代表玩家 B 的有效状态。 事实上，我们需要更强大的东西。 我们希望接收者选择要学习的消息也是可验证的。在我们的搜索和摧毁游戏玩法示例...
...在链外执行交易，并使用证明——无论是欺诈证明还是零知识证明（ZKP）——来验证 Layer2 （L2）的状态并处理提款。 然而，存在一个重大挑战：以太坊本身不原生验证 EVM 执行，迫使 rollup 独立在链上实现自己的证明系统以验...
...门加强对新兴技术的验证与审计，特别是在同态加密、零知识证明、多方安全计算（MPC）等复杂加密技术的应用上，避免因实现不当、甚至“暗门后门”而酿成系统性风险。例如某使用ZK技术的项目，曾因绕过验证流程而发生安...
...本身的情况下，证明你拥有某些数据（例如 **ZKPs** \- 零知识证明）。 - 结合多个人的数据进行计算（例如 **FHE** \- 全同态加密）。 - （更遥远的）混淆（Obfuscation）：获取包含你数据的程序，并只用它做特定的事情。 这...
...生态系统。例如，**Polygon 的 BUIDLit 黑客松** 为专注于零知识工具的项目提供了一个特定赛道，这是一项他们正在优先考虑的新技术，他们的目标是开发一个 [零知识 EVM (zkEVM)](https://learnblockchain.cn/article/12892) 就证明了这一点。 ...
... ZK Rollups：额外的安全层 我们常被问到“你们会采用零知识证明技术吗”？答案是这有可能，但不是你想的那样。还有很长的路要走，但如果 ZK 技术足够强大以支持 EVM 等效性，完全有可能作为这一多客户端生态系统中的另一...
...做的工作。这个证明会通过有效性证明（注：生成一个零知识证明）或欺诈证明（注：回溯性证明根哈希是错误的）来进行验证。zkRollup采用的是有效性证明，而optimistic rollup采用的则是欺诈证明。 在optimistic rollup中，当生成...
...## Awesome-ZKP-Security 帝国理工博士 Stefanos Chaliasos 整理的零知识证明安全性研究的博客，播客，披露，审计，访谈，CTF，和谜题，论文，工具列表。 A curated list of awesome ZKP Security resources, papers, tutorials, and tools. - ### An Introducti...
...前已呈现给合约。因此，**_isValid()_** 方法充当了一种 **_知识证明_**。  图1：数据流，分为不同阶段。在阶段（1）中，事实和相应的证人被传递到登记合约中，该合约...
...否已被支出... > > **在这种情况下，很难想到如何应用零知识证明。** > > 我们试图证明不存在某事物，这似乎需要了解所有事物并检查该事物是否未包含在内。 > > —— 中本聪 [^1] 自从比特币创始人中本聪首次考虑如何使用零知...