新闻加密货币Helius 在 Solana 主网上线加密支付,但仍需信任运营方

Helius 在 Solana 主网上线加密支付,但仍需信任运营方

作者: CryptoNewsNet·

要点速览

  • •Helius 的无需许可 Privacy Ring 于 11 月 10 日在 Solana 主网上线,为支付资产和金额提供加密,尽管两端的钱包地址仍然公开可见。
  • •SDK 的默认证明程序在经过认证的 AWS Nitro enclave 内处理机密交易输入(包括 nullifier 密钥和盲化值),客户端在发送任何请求前会通过密码学方式验证该 enclave。
  • •Helius 提供本地解密(查看密钥保留在设备上)和委托解密(授权服务商可读取余额和历史记录,但无花费权限)两种模式。
  • •Enclave 模型仍然需要对运营方、AWS KMS 和 Nitro 硬件以及已批准软件镜像的信任,同时请求元数据(如路径、时序和大小)对父实例仍然可见。
  • •Certora 和 zkSecurity 已完成对程序和电路的审计,但 OtterSec 的报告仍在等待中,且 v0.6.0-alpha 主网构建与 ts-sdk-v0.8.0-alpha 文档标签存在差异。
Helius 在 Solana 主网上线加密支付,但仍需信任运营方

Helius 在 Solana 主网上线加密支付,但仍需信任运营方

Helius 于 11 月 10 日在 Solana 主网上启用其无需许可的 Privacy Ring,对支付资产和金额进行加密,同时发送方与接收方的钱包地址保持可见。系统文档中记录的默认证明程序——即构建零知识证明的服务——增加了一项硬件要求:机密交易输入在经过认证的 AWS Nitro enclave(一种隔离计算环境)内处理。

由于 Solana 的账本是公开的,其记录的转账任何人都可以观察,因此对资产和金额的加密针对的是支付中最直接敏感的字段,即使两端的地址仍然可见。

Solana 可以验证一笔转账是否符合协议规则,但在证明生成过程中保护输入数据,则取决于证明程序的隔离性、代码及其部署策略。

哪些数据会送达证明服务

对于集成此次上线的钱包开发者来说,实际问题在于他们的软件究竟能验证上述哪些防护措施。他们的选择——本地解密还是委托解密、远程生成证明还是客户端本地生成证明——决定了用户在交易的哪些环节必须信任他人。

Helius 的钱包集成指南指出,证明生成需要涵盖完整交易数据和 nullifier 密钥的明文输入,并将经过认证的 AWS Nitro enclave 确定为 SDK 的默认证明程序。

协议规范列出的私密输入包括被花费票据的资产、金额、盲化值和 nullifier 密钥,以及证明这些票据属于状态树的路径。证明还包含输出资产、金额和盲化值。

这些输入对 enclave 内的证明代码是可读的。文档中记录的客户端通过将请求加密到由经过认证的 enclave 持有的密钥,来防止宿主运营方读取这些数据。nullifier 密钥还用于派生防止重复花费的标记。

在原生钱包集成中,钱包保留签名密钥,TypeScript SDK 将最终 Solana 交易的签名留给应用程序的签名器。Helius 记录了两种解密模式:本地解密(查看密钥保留在设备上)和委托解密(与授权服务商共享查看密钥)。委托仅赋予该服务商读取余额和历史记录的权限,不授予花费权限。

Enclave 模型的运作方式

AWS 将 Nitro Enclaves 描述为隔离环境,其内存无法被父实例的进程或管理员访问。Enclave 没有持久存储、交互式访问或外部网络。AWS 签名的认证文档包含 enclave 镜像和软件的密码学指纹。

由于证明构建是私密输入以明文形式存在的环节,证明程序的环境正是 enclave 设计集中防护的重点。

文档中记录的 Privacy Rings 检查包括验证证书链、质询响应与新鲜度、已批准的度量值,以及请求加密密钥的绑定。带标签的 SDK 在发起任何 HTTP 调用之前,会拒绝没有认证的远程证明请求。钱包可以固定一个经过审查的发布策略,或采用由 SDK 固定签名者认证的网络策略。签名策略在认证期间刷新,并在使用后过期。

信任仍然存在的环节

钱包可以自动确认 enclave 与已批准的软件镜像和加密密钥相匹配,但决定批准哪个镜像,仍然需要对代码及其审查者抱有信心。

根据 Nitro 部署指南,被度量的镜像包括证明程序、启动脚本、证书包、允许的外部主机、索引器 URL 和 KMS 密钥标识。该设计使用 AWS Key Management Service,仅向认证匹配的 enclave 释放共享加密种子。指南指出,客户端无法读取 KMS 密钥策略,而是依赖运营方的部署来保证这一点。指南将 AWS KMS、AWS Support、Nitro 硬件和运营方确定为初始策略绑定期间的信任根。

即使是正确加密的请求,也会留下对父实例可见的元数据,包括路径、查询、时序和大小;路径会揭示证明的电路形状。

版本化的 TEE 指南记录了基于 v0.6.0-alpha 的主网构建,具有度量构建溯源信息,与 ts-sdk-v0.8.0-alpha 文档标签不同。规范允许客户端本地生成证明,代码库提供了 localnet 工具和可下载的证明程序二进制文件。

Helius 的上线公告称,Certora、zkSecurity 和 OtterSec 对程序和电路进行了审计。其安全页面列出 Certora 的审计在 10 月完成,zkSecurity 的在 8 月完成,而 OtterSec 被标记为报告待出。对于评估此次上线的团队,需要关注的已记录事项包括:尚待发布的 OtterSec 报告、v0.6.0-alpha 主网构建与 ts-sdk-v0.8.0-alpha 文档标签之间的差异,以及各集成方案是采用固定的发布策略、网络策略,还是规范中的客户端本地证明选项。

此次上线留给钱包开发者一个信任决策:批准哪份代码和哪种部署策略来处理证明输入。

来源:CryptoNewsNet | 原始报道:CryptoSlate