Helius 在不移除操作員信任的情況下加密 Solana 轉帳

Helius 於 11 月 10 日在 Solana 主網上推出了其無需許可的隱私環，提供加密的支付資產和金額，同時發送者和接收者的錢包地址仍然可見。

其文檔中記載的默認證明者，該服務構建零知識證明，增加了一個硬體要求，即秘密交易輸入在經過驗證的 AWS Nitro 隔離環境中處理。

Solana 可以檢查轉帳是否符合協議的規則，但在生成該證明時保護輸入的安全性取決於證明者的隔離、代碼和部署政策。

對於整合此次推出的錢包開發者來說，實際問題是他們的軟體能驗證哪些保護措施。

什麼會到達 Solana 證明者

Helius 的錢包整合指南表示，證明生成需要明文輸入，涵蓋完整的交易數據和無效化密鑰。它將經過驗證的 AWS Nitro 隔離環定義為 SDK 的默認證明者。

協議規範列出了私有輸入，包括資產、金額、盲值和用於消費的票據的無效化秘密，以及證明這些票據屬於狀態樹的路徑。證明還包括輸出資產、金額和盲值。

這些輸入在隔離環內變得可讀，文檔客戶端通過加密請求來保護它們，請求的密鑰由經過驗證的隔離環持有。

無效化秘密還衍生出用於防止重複消費的標記。在本地錢包整合中，錢包保留簽名密鑰，而 TypeScript SDK 將完成的 Solana 交易的簽名留給應用程序的簽名者。

Helius 記錄了本地解密，這保持了查看密鑰在設備上，以及委託解密，這與授權提供者共享查看密鑰。委託使該提供者可以讀取餘額和歷史，而不授予消費權限。

AWS 將 Nitro 隔離環描述為隔離環境，其內存無法被父實例的進程或管理員訪問。隔離環沒有持久存儲、交互訪問或外部網絡。

AWS 的簽名文檔包含其映像和軟體的加密指紋。文檔中的隱私環檢查驗證證書鏈、挑戰響應和新鮮度、批准的測量以及請求加密密鑰的綁定。

標記的 SDK 在進行 HTTP 調用之前拒絕沒有證明者的遠程請求。錢包可以固定經過審查的發布政策或使用由 SDK 的固定簽名者驗證的網絡政策。簽名政策在驗證期間刷新，並在使用後過期。

秘密輸入傳輸。簽名權限保持。

Helius 的文檔默認路徑將加密的證明輸入發送到 AWS Nitro 隔離環，然後在交易簽名之前將證明返回給錢包。
加密的證明輸入進行了往返；錢包保持簽名權限 DOCUMENTED DEFAULT PROVING PATH 錢包 AWS Nitro 隔離環 加密輸入 交易數據 + 無效化秘密 證明返回錢包 簽名密鑰保持在錢包中 錢包構建 + 簽名 證明隨交易傳輸 Solana 驗證 證明 + 擁有者授權 明文證明輸入在內部處理 證明有效性不證明證明者的保密性。
錢包為隔離環加密輸入，接收證明並簽名 Solana 交易 DOCUMENTED DEFAULT PATH 錢包 簽名密鑰保持在錢包中 加密 tx 數據 + 無效化秘密 證明返回 AWS Nitro 隔離環 明文證明輸入在內部處理 錢包構建 + 簽名 交易攜帶證明 Solana 證明 + 擁有者授權已驗證 證明有效性不證明證明者的保密性。

檢查驗證邊界

檢查錢包驗證邊界 客戶端在加密遠端證明請求之前，會根據批准的政策驗證證明。 錢包檢查符合批准政策的證書 + 挑戰檢查身份和新鮮度軟體測量符合批准的映像加密金鑰綁定輸入進入被證明的金鑰批准代碼仍然是一個信任選擇。 錢包端的證明檢查1證書 + 挑戰身份和新鮮度2軟體測量符合批准的映像3加密金鑰綁定輸入進入被證明的金鑰批准代碼仍然是一個信任選擇。 代碼審查、AWS 隔離和操作員的初始 KMS 政策綁定支撐了文檔的保密設計。 保密證明背後的信任依賴性審查過的代碼 AWS 隔離操作員的 KMS 綁定客戶端無法檢查 KMS 金鑰政策。證明檢查並不消除這一部署依賴性。 保密證明背後的依賴性1審查過的代碼對實施的信心2 AWS 隔離硬體 + 平台保證3操作員的 KMS 綁定客戶端無法讀取金鑰政策這些依賴性在證明後仍然存在。 錢包檢查批准的區域和金鑰；代碼審查和部署政策仍然是獨立的依賴性。 僅文檔化的默認配置，不是獨立的實時證明或審計。其他證明或授權路徑可能不同。原生錢包簽名、遠端證明和餘額查看訪問有不同的角色。 來源和證據

來源

1. 私人錢包
2. Solana 隱私環協議規範
3. TypeScript SDK 自述檔於 ts-sdk-v0.8.0-alpha
4. 加密和隱私保證
5. TEE 證明者自述檔於 ts-sdk-v0.8.0-alpha
6. Nitro Enclave 證明者部署指南
7. Nitro Enclaves 是什麼？
8. 密碼學證明

支持事實

• Helius 的錢包整合指南指出，證明生成需要涵蓋完整交易數據和無效鍵的明文輸入，並將經過驗證的 AWS Nitro enclave 確定為 SDK 的預設證明者。
• 該協議的私有證明輸入包括已花費的票據資產、金額、盲化、無效秘密和 Merkle 路徑，以及輸出資產、金額和盲化；這些是用於構建證明的秘密輸入，而不是由鏈上證明揭示的數據。
• 在記錄的本地錢包整合中，錢包保留其 Solana 簽名密鑰；標記的 TypeScript SDK 表示，完成的 Solana 交易由應用程序的簽名者簽署。
• 無效秘密有助於推導防止重複消費的標記；它們與授權正常默認環形消費的所有者簽名不同。
• 標記的 SDK 在發出遠程證明者請求之前需要應用程序提供的 TEE 政策，並加密對經過驗證的密鑰的調用；缺少遠程政策會在 HTTP 之前失敗。
• 記錄的驗證檢查涵蓋證書鏈、隨機數、新鮮度、批准的 enclave 測量和 HPKE 加密密鑰的綁定；信任釘必須來自批准的政策，而不是證明者的回應。
• AWS 表示 Nitro 隔離 enclave 記憶體與父實例，包括根或管理員用戶，並且在 enclave 內不提供持久存儲、互動訪問或外部網絡。
• Nitro 部署指南表示，測量的映像包括證明者二進制文件、啟動腳本、證書包、允許的外部主機、索引器 URL 和 KMS 密鑰身份；PCR0 到 PCR2 綁定這些字節。
• Nitro 設計通過 AWS KMS 僅向匹配的經過驗證的 enclave 釋放共享的加密種子；其指南明確表示，客戶端無法讀取 KMS 密鑰政策，並依賴於運營商的部署來保證。
• SDK 支持應用程序釘住的經過審核的政策 JSON 或通過 SignedTeePolicy 由釘住的簽名者驗證的網絡政策；簽名政策在驗證期間會刷新，並在過期後不再使用。
• Nitro 指南表示，父實例無法正確讀取加密的證明請求或回應，但可以看到路徑、查詢、時間和大小；路徑揭示了電路形狀。
• 對於普通的所有者授權轉移，該協議的證明檢查包括票據包含、無效不包含、所有者授權和餘額保護；成功的證明驗證本身並不驗證生成證明的機器的保密性。

方法

記錄的本地錢包預設證明者的定性數據流圖。沒有數值比例或計算值。可選面板區分客戶端驗證檢查與代碼、硬體和部署信任依賴。

範圍

僅記錄的預設配置，不包括獨立的實時驗證或審計。其他證明或授權路徑可能不同。原生錢包簽名、遠程證明和餘額查看訪問有各自的角色。
資訊圖表由 CryptoSlate

Solana 的部署信任仍然存在的地方

錢包可以自動檢查 enclave 是否與批准的軟體映像和加密密鑰匹配，但決定批准哪個映像仍然需要對代碼及其審核者的信心。

Nitro 部署指南表示，測量的映像包括證明者、啟動腳本、證書包、允許的外部主機、索引器 URL 和 KMS 密鑰身份。其設計使用 AWS 密鑰管理服務僅向匹配的經過驗證的 enclave 釋放共享的加密種子。

該指導手冊指出，客戶無法閱讀 KMS 密鑰政策，並依賴運營商的部署來保證這一點。在初始政策綁定期間，它將 AWS KMS、AWS 支持、Nitro 硬體和運營商識別為信任根。

即使是正確加密的請求，也會留下可見的元數據給父級，例如路徑、查詢、時間和大小。路徑揭示了證明的電路形狀。

版本化的 TEE 指導手冊記錄了一個基於 v0.6.0-alpha 的主網構建，具有測量構建的來源，與 ts-sdk-v0.8.0-alpha 文檔標籤不同。

該規範允許客戶端證明，並且該存儲庫提供本地網工具和可下載的證明器二進制文件。

Helius 的啟動公告表示 Certora、zkSecurity 和 OtterSec 審核了程序和電路。其安全頁面列出了 Certora 在十月和 zkSecurity 在八月的審核，同時標記 OtterSec 為等待報告。

此次啟動為錢包開發者提供了一個信任決策，決定他們批准哪個代碼和部署政策來處理證明輸入。

本內容僅供參考，不構成任何金融、投資、法律或稅務建議。文中提及的任何活動、獎勵、線上活動或相關資訊，不應被視為對購買、出售或交易任何加密資產的推薦、招攬或邀請。加密資產具有高波動性，存在價值損失風險。WEEX服務、產品及相關活動的可用性可能因地區而異。用戶在參與前有責任確保符合當地適用法律法規。