新聞加密貨幣Helius 於主網推出加密 Solana 支付,但仍需信任營運商

Helius 於主網推出加密 Solana 支付,但仍需信任營運商

作者: CryptoNewsNet·

重點速覽

  • •Helius 的無許可制 Privacy Ring 已於 11 月 10 日在 Solana 主網上線,對支付資產與金額進行加密,儘管兩端的錢包地址仍可公開查看。
  • •各 SDK 的預設證明器會在經過認證的 AWS Nitro enclave 內處理機密交易輸入,包括 nullifier 金鑰與 blinding 值,用戶端在發出任何請求前會以加密方式驗證該 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 的預設證明器。

協議規格列出的私人輸入包括被花費票據的資產、金額、blinding 值與 nullifier 密鑰,以及證明這些票據屬於狀態樹的路徑。證明也納入了輸出資產、金額與 blinding 值。

這些輸入在 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