概要

Beerus 作为 Starknet 的无状态客户端，构建在以太坊 Helios 轻客户端上，无需任何状态信息。 Starknet 加密证明能实现无需信任的状态验证，这也是以太坊所不具备的功能。 Beerus 通过 Starknet 存储证明验证以太坊 STARK 证明，将不受信任数据转换成可信数据。 开发者们加入 Beerus 开发中，贡献自己的力量，建设安全、去中心化的 Starknet 生态系统。

轻客户端和无状态客户端

Beerus 是 Starknet 无状态客户端，采用以太坊轻客户端 Helios 构建。

Starknet 在协议中集成了加密证明，为轻客户端和无状态客户端打造出亮眼表现，同时也拥有以太坊所不具备的功能。它们不仅能让网络参与者验证共识，还能无需信任的验证状态有效性。

轻客户端未来可期

全新的基础设施范式：由于资源需求低，轻客户端有助于去中心化 Web3 基础设施变得更加民主，从而吸引更多参与者加入。 无需信任的跨链：如今大部分跨链交易都需要多签钱包实现资产转移。采用轻客户端可以构建出不用依赖中心化中介方的无需信任跨链协议。 安全性更高的钱包：现在大部分加密货币钱包需要与中心化服务商通信才能维持正常运行。采用轻客户端可以构建出完全去中心化的钱包，让用户获得更多资产控制权和安全性。 更好的，或无需预言机：采用轻客户端与加密证明结合的途径，打造一种用于验证外部数据的安全方式。 物联网 (IoT)：轻客户端非常轻便，可以完美适配处理能力和内存受限的设备，因此能为物联网提供全新的可能性。 将轻客户端作为智能合约：将另一条链的轻客户端作为智能合约部署，用户能根据另一条链的状态做出决策，同时获得更高的安全性。

轻客户端的运作方式

轻客户端下载以太坊区块头，包含了每个区块的默克尔树根。 轻客户端用这些区块头去验证以太坊共识的有效性，无需下载每个区块的完整内容。（在 Starknet 中，加密证明都构建在协议中，轻客户端可以验证状态和共识的有效性。） 当用户想要与智能合约进行交易或交互时，轻客户端向全节点发送请求。全节点再反馈完成交易所需的信息。 轻客户端采用下载好的区块头确保全节点反馈的信息有效。 交易完成后，轻客户端下载已经添加到网络中的区块头来更新区块链副本。

获取根哈希

全节点验证 同步委员会 弱主观性检查点

Helios

Helios 由 a16z 开发，是基于 Rust 的以太坊轻客户端。两秒即可同步，需要的存储空间非常少，完全保证无需信任访问以太坊。Helios 无需运行全节点，与中心化 RPC 供应商合作就可以验证以太坊状态的真实性。Helios 使用方便，用户可以从任何设备安全存取链上数据。

Beerus

Beerus 受 Helios 启发，并使用 Helios 的 Starknet 无状态客户端。目标是提供一个简单易用的客户端来查询 Starknet 状态，并使用上述的 Merkle 证明与合约进行交互。

Beerus 运作方式

Beerus 与 Helios 同步，而 Helios 又通过一个弱主观性检查点与同步委员会同步，这个检查点确保了 Helios 收到的根哈希值的可靠性。 接下来查询 Starknet，检查给定的合约存储秘钥是否存在。 然后从 Starknet 全节点收到最近已验证的区块存储证明。这个存储证明验证最近验证区块的存储合约是否存在。 Beerus Core 继续从 Helios 请求 Starknet 状态根，获取并验证发布在以太坊上的 STARK 证明。 从以太坊收到的证明与 Starknet 全节点收到的存储证明进行比较。如果证明相符，则可以确认数据已在以太坊上得到验证，因此是准确的。 最后，经过验证的数据以无需信任的方式返回给用户。

总结

Beerus 是 Starknet 的无状态客户端，使用以太坊的 Helio 轻客户端构建，可以实现无需信任的状态验证。轻客户端和无状态客户端有潜力让 Web3 基础设施去中心化，并解锁各种早期不可能实现的用例。

Beerus 无需大量状态信息，只需要根据以太坊上发布的 STARK 证明就可以验证 Starknet 存储证明。这样一来，Beerus 将不受信任的数据转换为可信任的数据，甚至可以让资源受限的设备在不依赖全节点的情况下安全地运行。