零知识证明（ZKP）在区块链领域快速发展，从最初的隐私保护走向通用计算。尤其是 **zkVM（Zero-Knowledge Virtual Machine）** 的出现，极大拓宽了 ZK 技术的应用边界。 现在通过这篇文章，系统了解 zkVM 的核心概念、主流技术路线、...
零知识证明（Zero-knowledge proofs ）是允许一方向另一方透露信息知识而不透露信息本身的机制。ZK 证明也称为有效性证明，最初用于隐藏以隐私为中心的区块链中的交易细节。 但 ZK 证明还有另一个令人兴奋的用例：扩展通用...
...，为什么它们是如此重要的创新。 ## 长话短说 - 零知识（ZK）证明是一种加密技术，可以验证用户是否知道某些信息而不要求他们透露这些信息。 - 零知识证明是两种类型的区块链Rollup的基础， Rollup 是处理链外交易的扩容...
...管理、撮合订单，修改用户账本默克尔树，并通过提交零知识证明到智能合约，确保所有链外系统对用户余额的修改都符合路印协议的规则。光锥中继并不开源，并将在未来做商业化运营。 WeDEX邀请了路印社区中一百多名志愿...
...结合。 除了我们在区块链基础设施协议、智能合约和零知识电路实现审计方面的丰富经验外，我们团队中的许多成员都有学术研究背景。 在这篇博文中，我们展示了我们在 **零知识安全** 方面的研究，以及它与我们在 Veridise ...
...** > > - **zkCloud**: 一种去中心化的链下计算环境，通过零知识证明确保隐私和可扩展性。 > > - **snarkOS 和 snarkVM**: 在 Aleo 区块链上实现私有智能合约和程序执行的核心组件。 > > - **AleoBFT 共识**: 结合权益证明和工作量证明，实现可...
...OjM0MjIwMDcyfQ.-U8AkwL_OE4ohaiyQ7gtxYMu-kdgvdqPShRrL0y-zKE) 二、介绍零知识证明、同时生成零知识证明对交易有效性进行确认。 # 二 Validium如何工作的? ## 2.1 提交交易 用户提交交易，交易会提交给Operator运营商，这里的运营商其实就是执行交易的Validium Node。这...
当大多数人听到零知识证明 (ZKPs) 时，他们会想到加密钱包和区块链 Rollup。但 ZKP 正在悄悄地为一类新的以隐私为先的应用提供动力——从人工智能到云基础设施——远远超出了 Web3 的范畴。 从本质上讲，ZKP 允许一方证明一个...
交易隐私是零知识证明的一个应用方向。除了通过公链或者侧链实现交易的发送方/接收方以及金额隐藏外，Mixer，江湖人称“混币”，是在已有公链上实现交易的发送方的隐藏（匿名）。Mixer，就是将一些账户的资金“混”在一...
SNARKs 和 STARKs 是零知识证明技术，允许一方在不透露任何进一步信息的情况下向另一方证明陈述是真实的。 [零知识证明 (ZKP)](https://blog.chain.link/what-is-a-zero-knowledge-proof-zkp/) 引起了广泛关注，因其在增强安全性、保护用户隐私...
...k Zero 的 Ketchak 电路的确定性。 * 形式化验证对于确保零知识证明系统的安全性至关重要，可以有效防止“欠约束”漏洞。 * 此次合作不仅验证了特定电路，也为持续验证和优化 Risk Zero 的电路提供了自动化流程。 **关键论据/...
...letproofs ZKPs 允许证明者以对数大小的证明来证明对内积的知识。Bulletproofs 不需要一个可信的设置。 在前面的章节中，我们展示了如何在不透露向量或内积的情况下证明对内积的知识，尽管这需要一个大小为 $\mathcal{O}(n)$ 的证...
... https://blog.zksecurity.xyz/posts/mpcith-intro/ **Harry**: 构建零知识证明最有趣的方法之一：MPC-in-the-Head 变换。这种方法在 2007 年的论文《安全多方计算中的零知识》中首次提出，它通常被称为 IKOS 变换，源自论文作者的首字母缩写...