POSEIDON的搜索结果

本文详细介绍了验证器证明的重要性以及实现可扩展性突破和防止 Sybil 攻击的可行性推理。

本文探讨了《The Verge》，旨在通过 Verkle 树、STARK 证明、zk 友好的共识机制、Beam 链等技术，提升以太坊的可验证性、可扩展性和可持续性。

本文探讨了存储证明及其在区块链交易历史验证中的应用，利用最小信任验证的概念来验证历史交易和用户活动，从而解锁大量跨链用例。本文还指出，这种基于零知识证明的方法可以有效解决一些L2区块链和中心化节点服务提供商遇到的数据存储问题。

深入探索去中心化 AI 机器人智能的前沿范式，了解 Web3 如何推动机器人协作、数据共享和自治经济模式发展，洞察未来市场机会及技术演进趋势。

本文深入剖析了零知识证明(ZKP)系统中可能存在的两种漏洞: "Load8数据注入攻击"和"伪造返回攻击"。文章详细描述了这些漏洞的技术细节、它们如何被利用以及修复方法。同时，讨论了在ZK系统的审计和形式化验证过程中发现这些漏洞的经验教训，并提出了确保ZK系统安全性的最佳实践。

RGB协议是比特币区块链上的智能合约协议，采用客户端验证模型和链下数据来执行智能合约。

本文先介绍ZK证明系统的工作流程，然后深入探讨了MSM和NTT这两种计算任务的加速挑战和最佳化策略。

文章讨论了Cysic，一个实时ZK证明生成和验证层，它提供ZK计算即服务（ZK-CaaS），并基于自研的ASIC、FPGA、GPU芯片。Cysic的技术创新在于它能够为不同的ZK算法提供硬件加速，从而减少证明生成的时间和资源需求。Cysic的硬件产品，包括ZK Air和ZK Pro，旨在使ZK证明生成更加高效和可访问。此外，Cysic还计划构建一个DePIN网络，允许用户参与并提供算力，以加速ZK证明过程。Cysic已经获得了包括Polychain Capital在内的投资，并在ZPrize竞赛中获得了奖项。

在传统金融（TradFi）经历了变革后，暗池开始逐渐渗透到去中心化金融（DeFi）中。本文将介绍暗池的基本原理，并分析其对 DeFi 市场的影响。

本文阐述了如何使用存储证明传输信息、处理数据，并将其应用于跨链治理、跨链借贷、多链预言机等领域。

RGB是一项不局限于crypto的技术，它可以广泛运用到我们非crypto的场景中，等到协议越来越成熟，我们会看到越来越多的用例。