...文章中的第一篇。** **zkVM 安全系列:** 📚 第一部分：零知识虚拟机 (zkVM) 简介 📚 第二部分：识别 zkVM 中的常见漏洞 📚 第三部分：编写和审计安全的 zkVM 应用程序：RISC Zero 的一个实际例子 ## 简介 零知识虚拟机 (zkVM) 正在...
...主题，例如客户端、[L2](https://ethereum.org/en/layer-2/) 和 [零知识证明 (ZKP)](https://ethereum.org/en/zero-knowledge-proofs/#what-are-zk-proofs)。 | [Email](mailto:ethtaipei23@gmail.com) | | 社区和教育 | [ETHTallinn](https://ethtallinn2024.devfolio.co/overview) | | 在爱沙...
...经是本系列的第五篇文章了，这一篇继续深入非交互式零知识证明。 本文约 12,000 字。 [系列一：初识「零知识」与「证明」](https://learnblockchain.cn/2019/08/01/learning-zkp/) [系列二：理解「模拟」](https://learnblockchain.cn/2019/08/06/zkp-...
零知识证明（ZKP）在区块链领域快速发展，从最初的隐私保护走向通用计算。尤其是 **zkVM（Zero-Knowledge Virtual Machine）** 的出现，极大拓宽了 ZK 技术的应用边界。 现在通过这篇文章，系统了解 zkVM 的核心概念、主流技术路线、...
零知识证明（Zero-knowledge proofs ）是允许一方向另一方透露信息知识而不透露信息本身的机制。ZK 证明也称为有效性证明，最初用于隐藏以隐私为中心的区块链中的交易细节。 但 ZK 证明还有另一个令人兴奋的用例：扩展通用...
...，为什么它们是如此重要的创新。 ## 长话短说 - 零知识（ZK）证明是一种加密技术，可以验证用户是否知道某些信息而不要求他们透露这些信息。 - 零知识证明是两种类型的区块链Rollup的基础， Rollup 是处理链外交易的扩容...
...管理、撮合订单，修改用户账本默克尔树，并通过提交零知识证明到智能合约，确保所有链外系统对用户余额的修改都符合路印协议的规则。光锥中继并不开源，并将在未来做商业化运营。 WeDEX邀请了路印社区中一百多名志愿...
...结合。 除了我们在区块链基础设施协议、智能合约和零知识电路实现审计方面的丰富经验外，我们团队中的许多成员都有学术研究背景。 在这篇博文中，我们展示了我们在 **零知识安全** 方面的研究，以及它与我们在 Veridise ...
...交易、链下保证数据可用性(链下存储数据)、同时生成零知识证明对交易有效性进行确认。 # 二 Validium如何工作的? ## 2.1 提交交易 用户提交交易，交易会提交给Operator运营商，这里的运营商其实就是执行交易的Validium Node。这...
交易隐私是零知识证明的一个应用方向。除了通过公链或者侧链实现交易的发送方/接收方以及金额隐藏外，Mixer，江湖人称“混币”，是在已有公链上实现交易的发送方的隐藏（匿名）。Mixer，就是将一些账户的资金“混”在一...
...OjM0MjIwMDcyfQ.-U8AkwL_OE4ohaiyQ7gtxYMu-kdgvdqPShRrL0y-zKE) 二、介绍零知识证明](https://blog.chain.link/what-is-a-zero-knowledge-proof-zkp/) 引起了广泛关注，因其在增强安全性、保护用户隐私...
...k Zero 的 Ketchak 电路的确定性。 * 形式化验证对于确保零知识证明系统的安全性至关重要，可以有效防止“欠约束”漏洞。 * 此次合作不仅验证了特定电路，也为持续验证和优化 Risk Zero 的电路提供了自动化流程。 **关键论据/...