...户自动化、通过资源锁定实现零桥接的跨链意图、使用零知识证明进行签名验证的隐私、新的信用和保证金账户系统等等。 为了使智能账户成为一个开放平台，必须解决三个基本问题。Rhinestone Protocol 1.0 直接解决了这些问题： ...
...？ BYOR 项目是一个简化版本的主权 rollup。与乐观和零知识证明的 rollup 相比，主权 rollup 不会在以太坊上验证状态根，只依赖于以太坊上的数据可用性和共识。这样可以防止 L1 和 BYOR 之间的信任最小化桥，但极大地简化了代码...
...创新**：[Layer2](https://learnblockchain.cn/tags/Layer2?map=EVM)、[零知识证明](https://learnblockchain.cn/tags/%E9%9B%B6%E7%9F%A5%E8%AF%86%E8%AF%81%E6%98%8E)等新技术不断涌现 联盟链和私链在一些特定场景（如政府项目、企业内部系统）有所应用，但整体...
...击者利用了该桥的紧急提款机制。分析表明，负责验证零知识证明的机制未能执行实际验证。这一严重疏忽使攻击者能够伪造提款证明并绕过该桥的核心安全机制。  [https://x.com/...
...，即使面对复杂的攻击也是如此。 虽然它需要对专业知识和资源进行更高的投资，但防止灾难性漏洞（从财务损失到声誉损害）的好处远远超过了成本。通过将形式化验证集成到你的开发生命周期中，并将其与其他强大的安...
...n.cn/2025/04/27/0JFbi8r1ZnUTpyMJk.png) 这是多方计算（MPC）和零知识证明的开始。在百万富翁问题中，我们可以确定两位百万富翁中谁的钱最多，而无需他们透露自己的钱。该方法涉及我们使用 RSA 加密。为此，我使用了[此处](https://as...
...如何修复它。 ## Aleo 如何工作？ Aleo 是一个利用 ZKP（零知识证明）来实现隐私和可编程性的区块链网络。Aleo 使用从 [Marlin](https://eprint.iacr.org/2019/1047) 改编的 Varuna 证明系统。在 Aleo 上，用户生成交易执行的证明，验证者（网...
...气，了解对方所采取的行动。数据会采用一种叫作“[零知识证明应用](https://blog.chain.link/what-is-a-zero-knowledge-proof-zkp/)”的隐私保护技术来储存，只有协议相关方才能理解数据的真实意思。这个证明可以作为企业流程状态的统一参...
...PCD/SNARKs，性能与前量子折叠方案竞争力相当 - [最小化零知识证明电路中的外来算术](https://eprint.iacr.org/2024/265) - [Pedersen DKG 实现中的 DoS 漏洞](https://learnblockchain.cn/article/22143/) 用于门限签名方案 - Apple [iMessage 端到端加密升级至...
所有的 ZK-EVM（零知识以太坊虚拟机）都旨在实现同一个目标：使以太坊更具可扩展性，并扩大 web3 的应用。 作为一名开发者，现在你有几种不同的选择来创建和部署智能合约到 ZK-EVM 上，每种选择都有其独特的实现、优点和...
...有控制权。 - 分布式账本 MobileCoin 区块链是一种零知识的数据结构，由 UTXO、密钥镜像（key images）和用于确保一致性和结构的 Merkle 证明的元数据块组成。 每个区块都包含可供未来花费的 UTXO，每笔交易都包含了未花...
 零知识虚拟机 (zkVMs) 利用零知识证明 (ZKPs) 来验证在特定指令集架构上执行的计算的正确性。实际上，zkVM 允许你用熟悉的级语言（例如 Rust 或 C）编写程序，而无需处理 ZKP 的细节...
...多项式是否一致。大多数实用的 SNARKs（简洁的非交互式知识论证）都是使用 PCS 构建的。它由以下三个算法组成： - setup(d)→pp: 给定一个关于阶数的上限 d，它输出公共参数 pp，用于承诺阶数小于 d 的多项式。 - commit(pp,f)→comf:...