...通过桥接传递给发送链，使用去中心化块头中继网络和零知识证明。 3\. 智能合约执行：发送链上有一个专门的智能合约验证来自接收链的消息。在发现欺诈的情况下，撤回不诚信质押者的存款。 4\. 削减机制：当验证者行为不...
...# 自定义 ISA（指令集架构） 2024 年 9 月 4 日 当前围绕零知识虚拟机（zkVM）架构的讨论通常围绕一个二元选择：通用指令集架构（ISA）与自定义指令集架构（ISA）。在 Lita，我们提出了一个更为细致的视角。我们认为，零知识证...
...innet-alpha-launch-743c6bc2b95e) 时，这是成为 web3 首屈一指的零知识（ZK）应用中心的重要一步。开发者现在可以使用第一代 [通用电路](https://mantanetwork.medium.com/universal-circuits-101-d182a86956b6) 构建，这是一个多功能的 ZK 电路库，专门为...
[系列一：初识「零知识」与「证明」](https://learnblockchain.cn/2019/08/01/learning-zkp/) [系列二：理解「模拟」](https://learnblockchain.cn/2019/08/06/zkp-simu/) [系列三：寻找「知识」](https://learnblockchain.cn/2019/08/28/zkp-pok/) [系列四：「随机...
... Bitcoin、Celestia 或其他系统 - 混合 rollups，使用乐观和零知识技术来获得两者的最佳效果 - ZK 存储证明，以便能够以更安全的方式在链之间移动资产 - 更安全的包装资产 - 使用多个链的流动性的多链订单簿 我们正在努力在内部并...
...的 TurboGeth）团队开发。基于他们在以太坊上获得的巨大知识，我们能够与他们合作，构建一个强大的全节点，该节点结合了为以太坊构建时学到的许多经验，同时受益于 STARK 证明所提供的扩展性。 Nethermind 正在开发 Warp，一个...
...ta": { "id": 100x, "title": "ZK 邮件 确保电子邮件隐私的零知识证明", "summary": " ...", "content": "...", "views": 141, "created_time": "2025-03-15 11:59", "update_time": "2025-03-15 12:06" }, "user_data": { "id": "user_handle", "name": "na...
...在明文输入上执行计算的结果一致。 简洁的非交互式知识论证 (SNARKs) 是另一种密码学技术，它允许证明者说服验证者某些任意计算已被正确执行。 FHE 本身不提供关于计算正确性的保证，因此不提供任何关于完整性的保证...
...* 是一个基于 LLVM 的扩展工具，它将 LLVM 的编译功能与零知识证明（ZKP）集成在一起，目的是生成用于零知识证明的电路。通过 zk-LLVM，开发者可以用高级语言（如 Rust 或 C++）编写程序，然后将其编译成适用于零知识证明的 zk ...
...爆发。 在 L2 扩容赛道中，具有极佳数据压缩性能的零知识证明扩容方案（ZK Rollups）已然被认为是以太坊的中长期核心方案。以太坊创始人 Vitalik 于 2022 年根据各家 ZK Rollups 与 EVM（Ethereum Virtual Machine）以太坊虚拟机的兼容性...
...ockchain.cn/article/10814)开始阅读。 现在是时候讲解一些零知识证明了！ 在这个系列的前面，我们概述了[它们是什么](https://learnblockchain.cn/article/10820#:~:text=what%20to%20use.-,Zero%2DKnowledge%20Proofs,-Zero%2Dknowledge%20proofs)。不过这次我们...
...的关注。阅读本文，了解你需要的思维模式，以及使用零知识证明进行编程时需要注意的陷阱。 ## 背景 2017 年秋天我开始研究 Mina 协议时，在生产环境中使用零知识编写应用程序还非常罕见。然而，今天在加密/web3 领域，ZK 编...
## 什么是 zkVM？ zkVM（零知识虚拟机）是一种强大的虚拟机，它利用零知识证明（ZKP）来保证计算的完整性和隐私性。零知识证明是一种密码学技术，它允许一方在不泄露任何额外信息的情况下向另一方证明某个陈述的有效...