...以太坊Layer 2扩展方案 - 乐观Rollups (Optimistic rollups) - 零知识Rollups / ZK rollups - 乐观Rollups vs 零知识Rollups - 总结 ## Rollups——以太坊Layer 2扩展方案  Rollups旨在创建通...
...露的信息越多，被滥用的风险就越高。 \-\-\- 什么是零知识证明 (ZKP)？ 零知识证明 (Zero-Knowledge Proof, ZKP) 允许一方（证明者）向另一方（验证者）证明某个陈述是真实的，而无需泄露证明它的底层秘密或数据。 \-\-\- ## 在区块...
...c3ae1b0c.png!/scale/60) 可以结合基于域值的隐私方案做到零知识证明生成外包。  也就是说，只要有1个worker是诚实的，证明的隐私信息就是安全的。思路...
...连接，引导普通人理解抽象后的逻辑。 网络上讲解零知识证明的文章就不多，这些文章要不太浅显，要不太深入，很少有能给入门者整体框架上的认识。 比如，阿里巴巴零知识证明就是一个非常好的通俗理解零知识证明的...
...我们还会更多地遇到它。 大家都知道它是一种实现零知识证明的方法，也知道它是扩容和隐私方向的利器，但究竟什么是零知识证明，zk-SNARK 是如何实现零知识证明的？这便是本文试着去回答的问题。 阅读这篇文章需要保...
零知识证明（ZKP）在区块链领域快速发展，从最初的隐私保护走向通用计算。尤其是 **zkVM（Zero-Knowledge Virtual Machine）** 的出现，极大拓宽了 ZK 技术的应用边界。 现在通过这篇文章，系统了解 zkVM 的核心概念、主流技术路线、...
...文章中的第一篇。** **zkVM 安全系列:** 📚 第一部分：零知识虚拟机 (zkVM) 简介 📚 第二部分：识别 zkVM 中的常见漏洞 📚 第三部分：编写和审计安全的 zkVM 应用程序：RISC Zero 的一个实际例子 ## 简介 零知识虚拟机 (zkVM) 正在...
... https://blog.zksecurity.xyz/posts/mpcith-intro/ **Harry**: 构建零知识证明最有趣的方法之一：MPC-in-the-Head 变换。这种方法在 2007 年的论文《安全多方计算中的零知识》中首次提出，它通常被称为 IKOS 变换，源自论文作者的首字母缩写...
零知识证明（Zero-knowledge proofs ）是允许一方向另一方透露信息知识而不透露信息本身的机制。ZK 证明也称为有效性证明，最初用于隐藏以隐私为中心的区块链中的交易细节。 但 ZK 证明还有另一个令人兴奋的用例：扩展通用...
...主题，例如客户端、[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-...
...管理、撮合订单，修改用户账本默克尔树，并通过提交零知识证明到智能合约，确保所有链外系统对用户余额的修改都符合路印协议的规则。光锥中继并不开源，并将在未来做商业化运营。 WeDEX邀请了路印社区中一百多名志愿...
...，为什么它们是如此重要的创新。 ## 长话短说 - 零知识（ZK）证明是一种加密技术，可以验证用户是否知道某些信息而不要求他们透露这些信息。 - 零知识证明是两种类型的区块链Rollup的基础， Rollup 是处理链外交易的扩容...
交易隐私是零知识证明的一个应用方向。除了通过公链或者侧链实现交易的发送方/接收方以及金额隐藏外，Mixer，江湖人称“混币”，是在已有公链上实现交易的发送方的隐藏（匿名）。Mixer，就是将一些账户的资金“混”在一...
...结合。 除了我们在区块链基础设施协议、智能合约和零知识电路实现审计方面的丰富经验外，我们团队中的许多成员都有学术研究背景。 在这篇博文中，我们展示了我们在 **零知识安全** 方面的研究，以及它与我们在 Veridise ...