...出。 ## MPC 钱包简介 现在我们已经了解了 MPC 的基础知识，我们可以开始理解它是如何纳入 MPC 钱包中的。加密钱包有很多不同类型。大多数加密钱包可以分为以下两类： 1. 冷钱包：冷存储钱包是将用户的私钥存储在离线...
...ttps://learnblockchain.cn/article/17456/) 中，我们披露了会破坏零知识证明系统多个实现健全性的关键漏洞。这类漏洞，我们称之为“冰冻之心”（Frozen Heart），是由 Fiat-Shamir 转换的不安全实现造成的，这些实现允许恶意用户伪造随机...
...段视频中，讲者深入探讨了如何构建SNARK（简洁非交互式知识论证），并介绍了其中的美妙代数思想。视频的核心内容包括对SNARK的构建过程的详细解释，特别是通过结合功能承诺方案和交互式Oracle证明来实现。 **主要观点概括...
...约逻辑。不仅所需语言的语法复杂，而且这样做还需要零知识证明方面的极强专业知识。 - 其次，当前的 zk-Rollup 不支持可组合性[1]。这意味着不同的 zk-Rollup 应用程序无法在 Layer 2 中相互交互。这种性质会严重损害 DeFi 应用程...
...和 ZoKrates 最近看到了 zkWeb 的推出，它提供了一种生成零知识证明 (ZKP) 的简便方法 \[ [此处](https://www.zk-web.xyz/)\]：  基本上，这个基础设施使用 zkokrates Javascript 文件（`zok...
...项式）的元素属于另一个预先计算的集合或结构。它在零知识证明系统中具有重要作用，可以在不泄露敏感信息的前提下强制验证数据的一致性和约束。 在zkVM应用背景下，Lookup Argument 被用于高效验证输入与预计算表之间的包...
...“挑战”值，没有被吸收到记录中。 虽然挑战通常由零知识证明协议中的验证者生成，但 sigma OR 证明会反转此角色。 证明者提供部分挑战，该挑战仍必须包含在 Fiat-Shamir 记录中以保持可靠性。 这个被忽视的值，我们称之为 **...
zkVMs（零知识虚拟机）承诺通过允许任何人，甚至那些没有专业SNARK知识的人，证明他们已在给定输入（或见证）上正确运行了任何程序，从而“使SNARK变得民主化”。它们的核心优势在于开发者体验，但目前在安全性和性能方面...
...gies.com/zk-rollup-development) 变得有价值的地方。 通过使用零知识密码学和链下处理，这些公司帮助企业构建感觉更快、更安全、更高效的区块链系统。 目标很简单：创建在不损失安全性的前提下进行扩展的 Web3 平台。** ](https://miro...
...在 Merkle Tree 上面，在中继里边做的，以太坊上只要把零知识证明验证一下就行了，可能就花费10万gas 还是多少gas，大概是这样。* *比如说做1000笔交易，改动可能是大约4000个叶子节点，可能要算几万次哈希算出一个根，但这些...
... updated: ## Simulation-Based Security ### 1. 背景介绍 在零知识证明、多方安全计算等场景中，协议的参与者往往需要确保自己的某个秘密不能以某种形式泄露给对方。问题来了，我们如何证明协议是安全的，参与者确实没有以某...
...链可扩展性的有前景的解决方案应运而生 — 它们通过零知识证明（ZKPs）改善了隐私，提升了交易速度，并大幅降低了费用。然而，**由于 ZK rollups 与以太坊虚拟机（EVM）不兼容，它们缺乏广泛的采用**。 EVM 是以太坊的核心，...
... 上述过程中的Stealth Address也可以使用由哈希构造的零知识证明和公钥加密来构建。**Stealth Address中的智能合约代码可以与零知识证明技术集成。通过嵌入零知识证明验证逻辑，智能合约能够自动验证交易的有效性。** 这种构...
...拙的协议。 如今，**PLONK 被认为是最雄心勃勃的通用零知识证明结构之一。** 许多项目，如 Zcash、Polygon Zero（以前称为 Mir Protocol）、Aztec 网络、Dusk、MatterLabs（zksync）、Astar 和 anoma，都有自己的证明系统实现。 ## 但首先，...
...月通讯，分享去中心化隐私保护技术、隐私协议开发和零知识系统的最新进展。 ## ZK Mesh: 2025年11月回顾 欢迎来到 ZK Mesh，这是一份精选的月度通讯，涵盖先进的隐私增强密码学、分布式协议开发和 zk 系统研究的最新进展。 每...