... “Gevulot 是一个通用的 L1 网络,专门用于生成和验证零知识证明(ZKP),创新地结合了先前尝试分散 ZKP 生成(例如,Proof Market,Prover Network)的优势,并在 ZKP 证明市场中提出了一个新的范例。” - by 100y ### **1.1 ZKP 挖矿市...
...链领域是独一无二的。它是唯一一个自上而下使用递归零知识证明构建的区块链。这意味着我们不必重播链的整个历史,而只需检查区块链不同部分的证明。多亏了递归,它不再是“证明”;而是“证明”。 Mina 的“一切证明”...
...约逻辑。不仅所需语言的语法复杂,而且这样做还需要零知识证明方面的极强专业知识。 - 其次,当前的 zk-Rollup 不支持可组合性[1]。这意味着不同的 zk-Rollup 应用程序无法在 Layer 2 中相互交互。这种性质会严重损害 DeFi 应用程...
...出。 ## MPC 钱包简介 现在我们已经了解了 MPC 的基础知识,我们可以开始理解它是如何纳入 MPC 钱包中的。加密钱包有很多不同类型。大多数加密钱包可以分为以下两类: 1. 冷钱包:冷存储钱包是将用户的私钥存储在离线...
...过恒定的交易手续费支持几乎无限的计算量`。 ## 4. 零知识证明技术 Mina使用零知识证明(zk-SNARKs)技术,可以在不泄露具体交易信息的情况下验证交易的有效性。这既保护了用户隐私,又提高了交易处理效率。 ## 5. 智能...
...* **Galaxy Identity Protocol:** 一种统一的解决方案,利用零知识证明 (Zero-Knowledge Proofs, ZKP) 和链上/链下工具,为用户创建一个可在多个生态系统中使用的身份档案。 * **自托管身份:** 用户拥有对自己身份信息的完全控制权,可...
... 上述过程中的Stealth Address也可以使用由哈希构造的零知识证明和公钥加密来构建。**Stealth Address中的智能合约代码可以与零知识证明技术集成。通过嵌入零知识证明验证逻辑,智能合约能够自动验证交易的有效性。** 这种构...
zkVMs(零知识虚拟机)承诺通过允许任何人,甚至那些没有专业SNARK知识的人,证明他们已在给定输入(或见证)上正确运行了任何程序,从而“使SNARK变得民主化”。它们的核心优势在于开发者体验,但目前在安全性和性能方面...
### 给 5 岁的孩子解释零知识证明 https://eli5.zksync.io/ **Harry**: zksync 搞的一个教程, 用卡通形象和简单的语言解释零知识证明。 ### mage-ai https://github.com/mage-ai/mage-ai **Mark.R**: 毫不费力地集成和同步来自第 3 方来源数据,...
...持bech32,支持taproot等。 ### 使用物理不可克隆功能和零知识证明保护基于区块链的物联网系统 https://arxiv.org/abs/2405.12322 **松**: Commey等人在其论文《Securing Blockchain-based IoT Systems with Physical Unclonable Functions and Zero-Knowledge Proofs...
...分析命令搬到了gui上,可以对比多个pprof文件。 ### 零知识证明的应用 https://arxiv.org/pdf/2408.00243 **Harry**: 这篇论文描述了零知识证明在区块链隐私、扩展、存储、互操作性等领域的新应用,以及非区块链应用如投票、认证...
...种环境声音,帮助人们实现专注与放松的项目。 ### 零知识证明学习资料汇总 https://learnblockchain.cn/2019/11/08/zkp-info **Ryan**: 文章收集了关于零知识证明的一些学习资料(包括科普文章,论文,开源仓库及相关学习网站等),...
你是否听说过零知识证明(ZK)的神奇之处,却不知其运作机制?那么,“ZK白板系列”专栏将是你打开这扇魔法之门的钥匙! 从零知识证明的基本概念出发,逐步深入到高级协议,并探讨其在区块链、隐私保护等领域的应用。
...链可扩展性的有前景的解决方案应运而生 — 它们通过零知识证明(ZKPs)改善了隐私,提升了交易速度,并大幅降低了费用。然而,**由于 ZK rollups 与以太坊虚拟机(EVM)不兼容,它们缺乏广泛的采用**。 EVM 是以太坊的核心,...