### 智能合约审计要点：凭借专业知识和安全性驾驭 Web 3 格局 使用区块链平台，智能合约审计在确保去中心化应用程序的安全性和可靠性方面发挥着关键作用。 这些审计是例行检查，也是开发过程中不可或缺的一部分，可保护...
[系列一：初识「零知识」与「证明」](https://learnblockchain.cn/2019/08/01/learning-zkp/) [系列二：理解「模拟」](https://learnblockchain.cn/2019/08/06/zkp-simu/) [系列三：寻找「知识」](https://learnblockchain.cn/2019/08/28/zkp-pok/) [系列四：「随机...
...物。为此，一个私有和可信世界的关键要素之一是使用零知识证明 (ZKP)。但是，由于安全性和性能问题，区块链和 Web 的世界可能是分离的。主要的改变是 WebAssembly 的使用，它使我们有机会在浏览器中运行原生代码，并在客户端...
# 密码学 101：零知识证明（第 2 部分） > 这是一系列关于密码学的文章中的一篇。如果这是你第一次阅读本系列文章，我强烈建议你从[本系列的开篇](https://learnblockchain.cn/article/10814)开始。 在过去的几篇文章中，我们涵盖了许...
...io/), [Arbitrum](https://arbitrum.io/). **ZK-rollups:** ZK-rollups 或零知识 rollups，与 Optimistic rollups 不同，没有任何争议解决机制。它使用了一种巧妙的加密技术——零知识证明。在这种模型中，每批提交到以太坊的交易都包括一个称为 SNAR...
... ## 太长不看版 通过本文，你将拥有在 Risc0 中使用零知识证明的实际经验。不需要高级数学或密码学背景。我们将专注于编码基础，以开始构建现实世界的解决方案。本次动手介绍旨在使强大的隐私技术让任何开发人员都易...
...的 TurboGeth）团队开发。基于他们在以太坊上获得的巨大知识，我们能够与他们合作，构建一个强大的全节点，该节点结合了为以太坊构建时学到的许多经验，同时受益于 STARK 证明所提供的扩展性。 Nethermind 正在开发 Warp，一个...
...保护隐私。全同态加密（FHE）、安全多方计算（MPC）和零知识证明（ZKP）都是保护隐私的计算方法，但它们在成本、灵活性和易用性方面存在缺陷。 全同态加密的主要缺陷是计算费用和处理成本高。 MPC是一种强大的保持隐私...
## 背景 作者在搬[groth16](https://learnblockchain.cn/article/3835)上链的项目里需要用到一些椭圆曲线上的秘密随机点(自然也可以把它当作root生成随机数)，需要用到MPC计算生成。记录一下算法和思路，加密部分使用bls12-381加密库。 ##...
...kVM 的范围时，我们关注了几个关键因素： * 真正的零知识功能：zkVM 必须展示或接近展示生成和验证零知识证明的能力。 * 性能基准：我们寻求在性能方面有坚实基准的 zkVM，特别是在速度和效率方面。 * 特定功能：对...
...通过桥接传递给发送链，使用去中心化块头中继网络和零知识证明。 3\. 智能合约执行：发送链上有一个专门的智能合约验证来自接收链的消息。在发现欺诈的情况下，撤回不诚信质押者的存款。 4\. 削减机制：当验证者行为不...
...在明文输入上执行计算的结果一致。 简洁的非交互式知识论证 (SNARKs) 是另一种密码学技术，它允许证明者说服验证者某些任意计算已被正确执行。 FHE 本身不提供关于计算正确性的保证，因此不提供任何关于完整性的保证...
...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...