zkTLS:可验证数据可组合性 本文探讨了零知识传输层安全性(zkTLS)如何通过无条件的数据验证和隐私保护,促进Web2和Web3生态系统之间的互联互通,以重塑未来互联网。文章详细描述了zkTLS的原理、架构,以及它在各类应用场景中的潜在影响,特别是在数据共享、去中心化金融和安全验证等方面的革新性实例,为互联网用户带来了数据控制权的希望。 zkTLS 零知识证明 数据隐私 Web3 去中心化金融 数据验证 Shoal Research 发布于 2025-03-12 4824 0 0
zkPass:实现可验证的数据可组合性 本文系统回顾了隐私保护和数据验证的发展历程,特别聚焦于零知识证明(ZKP)和zkPass协议的应用。zkPass通过多方计算与零知识证明技术,实现了在保护隐私的同时进行安全数据交换的创新解决方案,为各个行业提供了有效的身份验证和数据共享方法。 zkPass 零知识证明 数据验证 隐私保护 多方计算 zkTLS Shoal Research 发布于 2025-03-18 5165 0 0
MerkleDB审计 - Openzeppelin 本次是对MerkleDB的预生产使用的代码审计,发现了一个高危漏洞,即能够为Trie中存在的键生成有效的排除证明。此外,还发现了一些低危漏洞和信息性问题,例如RecordKeyChange忽略ErrorNotFound、addPathInfo函数可能使用错误的压缩键等。代码质量总体较高,但在实际生产环境中仍需进行更广泛的测试。 MerkleDB 代码审计 排除证明 Trie 漏洞 数据存储 数据验证 OpenZeppelin 发布于 2024-03-27 1535 0 0
UMA的Optimistic Oracle是什么? 本文介绍了UMA的Optimistic Oracle (OO),它是一种去中心化的数据验证系统,通过乐观模型和共识争议解决机制,为智能合约和web3应用提供经济高效且安全的数据。 Optimistic Oracle 预言机 UMA 去中心化 数据验证 智能合约 uma_xyz 发布于 2025-02-19 3336 0 0
OIF 广播器审计 本次审计涵盖了三个不同的代码库,它们共同为 Open Intents Framework (OIF) 生态系统中的跨链互操作性和数据验证奠定了基础。第一个是广播合约,负责在源链上发出可验证的消息。第二个是 RLP 库,用于处理符合以太坊规范编码格式的数据序列化和反序列化。第三个是BroadcasterOracle 合约,旨在实现广播消息和链上验证者之间可靠的通信。 跨链互操作性 数据验证 以太坊 RLP 智能合约 ERC-7888 OpenZeppelin 发布于 2025-12-19 1103 0 0
以太坊中缺失的验证原语 - 执行层研究 文章指出以太坊目前仅标准化了链上存证(Commitment),却缺乏通用的验证原语(Verification Primitive)。这导致外部数据与链上哈希的验证过程高度依赖特定应用的逻辑或SDK,使得验证碎片化且无法跨系统通用。作者呼吁建立一种标准化的、系统无关的验证层,以实现外部工件与链上承诺的直接验证。 以太坊 存证 验证原语 数据验证 互操作性 区块链架构 以太坊中文 发布于 2026-04-19 303 0 0