Helius เปิดตัวการโอนบน Solana แบบเข้ารหัส แต่ยังต้องไว้วางใจผู้ดำเนินการในบางด้าน

Helius เปิดตัว Privacy Ring แบบไม่ต้องขออนุญาตบน Solana mainnet เมื่อวันที่ 10 พฤศจิกายน Privacy Ring ปกปิดสินทรัพย์และจำนวนเงินที่ชำระด้วยการเข้ารหัส ขณะที่ที่อยู่กระเป๋าเงินของผู้ส่งและผู้รับยังเปิดเผยต่อสาธารณะ Solana ตรวจสอบการปฏิบัติตามกฎของโปรโตคอล แต่การรักษาความลับระหว่างสร้าง proof ขึ้นอยู่กับการแยกสภาพแวดล้อมของ prover ซอฟต์แวร์ และนโยบายการติดตั้งใช้งาน

คู่มือการเชื่อมต่อกระเป๋าเงินของ Helius ระบุว่า enclave ของ AWS Nitro ที่ผ่านการรับรองเป็นบริการเริ่มต้นของ SDK สำหรับสร้าง zero-knowledge proof คู่มือระบุว่าการสร้าง proof ต้องใช้ nullifier key ที่เป็นข้อความธรรมดาและข้อมูลธุรกรรมทั้งหมด ข้อกำหนดของโปรโตคอลระบุว่าข้อมูลนำเข้าสำหรับการใช้จ่ายส่วนตัวประกอบด้วยสินทรัพย์ จำนวนเงิน ค่า blinding ความลับ nullifier และเส้นทางสมาชิกภาพใน state tree ข้อกำหนดยังระบุสินทรัพย์ จำนวนเงิน และค่า blinding ของเอาต์พุตเป็นส่วนหนึ่งของข้อมูลนำเข้าสำหรับสร้าง proof ด้วย ซอฟต์แวร์สร้าง proof อ่านข้อมูลนำเข้าเหล่านั้นภายใน enclave ไคลเอนต์ตามเอกสารเข้ารหัสคำขอโดยใช้คีย์ที่ enclave ซึ่งผ่านการรับรองถือไว้ เพื่อปกป้องข้อมูลนำเข้าจากผู้ดำเนินการโฮสต์

ความลับ nullifier ยังใช้สร้างเครื่องหมายที่ป้องกันการใช้จ่ายซ้ำ การเชื่อมต่อกระเป๋าเงินแบบ native เก็บ signing key ไว้ในกระเป๋าเงิน ส่วน TypeScript SDK กำหนดให้ signer ของแอปพลิเคชันเป็นผู้ลงนามธุรกรรม Solana ที่เสร็จสมบูรณ์แล้ว Helius ระบุตัวเลือกถอดรหัสในเครื่อง ซึ่งเก็บ viewing key ไว้บนอุปกรณ์ Helius ยังระบุการถอดรหัสแบบมอบหมาย ซึ่งให้ viewing key แก่ผู้ให้บริการที่ได้รับอนุญาต การถอดรหัสแบบมอบหมายช่วยให้ผู้ให้บริการอ่านยอดคงเหลือและประวัติธุรกรรมได้ โดยไม่มีสิทธิ์อนุมัติการใช้จ่าย

AWS ระบุว่า Nitro Enclaves ป้องกันไม่ให้กระบวนการและผู้ดูแลระบบบนอินสแตนซ์แม่เข้าถึงหน่วยความจำของ enclave ได้ AWS ระบุว่า enclave ไม่มีพื้นที่จัดเก็บถาวร การเข้าถึงแบบโต้ตอบ หรือเครือข่ายภายนอก เอกสารรับรองที่ลงนามโดย AWS มีลายนิ้วมือเข้ารหัสที่ระบุอิมเมจและซอฟต์แวร์ของ enclave การตรวจสอบที่ระบุไว้สำหรับ Privacy Ring จะตรวจสอบห่วงโซ่ใบรับรอง การตอบสนองต่อ challenge ความใหม่ของข้อมูล ค่าการวัดที่ได้รับอนุมัติ และการผูกคีย์เข้ารหัสคำขอเข้าด้วยกัน กระเป๋าเงินสามารถเลือกนโยบายรีลีสที่ผ่านการตรวจสอบแล้ว หรือนโยบายเครือข่ายที่ได้รับการรับรองด้วยผู้ลงนามซึ่ง SDK กำหนดไว้ล่วงหน้า นโยบายที่ลงนามแล้วจะได้รับการอัปเดตระหว่างการรับรอง และหมดอายุหลังการใช้งาน

ซอฟต์แวร์กระเป๋าเงินตรวจสอบได้ว่าอิมเมจและคีย์เข้ารหัสของ enclave เป็นไปตามนโยบายที่ได้รับอนุมัติหรือไม่ อย่างไรก็ตาม การอนุมัติอิมเมจยังต้องอาศัยความไว้วางใจในซอฟต์แวร์และผู้ตรวจสอบซอฟต์แวร์ คู่มือการติดตั้งใช้งาน Nitro ระบุว่าอิมเมจที่ผ่านการวัดครอบคลุม prover สคริปต์เริ่มต้น ชุดใบรับรอง โฮสต์ภายนอกที่อนุญาต URL ของ indexer และข้อมูลระบุตัวตนของคีย์ KMS คู่มือระบุว่า AWS Key Management Service จะเปิดเผย seed เข้ารหัสที่ใช้ร่วมกันให้เฉพาะ enclave ที่มีข้อมูลรับรองตรงกัน คู่มือระบุว่าลูกค้าไม่สามารถตรวจสอบนโยบายคีย์ KMS ได้ และต้องพึ่งพาการติดตั้งใช้งานของผู้ดำเนินการเพื่อให้เป็นไปตามหลักประกันดังกล่าว คู่มือระบุ AWS KMS, AWS Support, ฮาร์ดแวร์ Nitro และผู้ดำเนินการเป็นรากฐานแห่งความไว้วางใจในขั้นตอนเริ่มผูกนโยบาย

คำขอที่เข้ารหัสยังเปิดเผยข้อมูลเมทาดาทาต่ออินสแตนซ์แม่ ซึ่งรวมถึงเส้นทาง คำค้นหา เวลา และขนาด เส้นทางคำขอเปิดเผยรูปแบบวงจรของ proof คู่มือสภาพแวดล้อมประมวลผลที่เชื่อถือได้ซึ่งระบุเวอร์ชันไว้ อธิบายบิลด์ mainnet ที่อิงกับ v0.6.0-alpha พร้อมหลักฐานที่มาของบิลด์ที่ผ่านการวัด บิลด์ดังกล่าวแตกต่างจากแท็กเอกสาร ts-sdk-v0.8.0-alpha ข้อกำหนดอนุญาตให้ลูกค้าสร้าง proof ในเครื่องได้ คลังซอร์สมีเครื่องมือ localnet และไบนารี prover ให้ดาวน์โหลด

ประกาศเปิดตัวของ Helius ระบุว่า Certora, zkSecurity และ OtterSec ตรวจสอบโปรแกรมและวงจรแล้ว หน้าเว็บด้านความปลอดภัยของ Helius ระบุ Certora สำหรับเดือนตุลาคม และ zkSecurity สำหรับเดือนสิงหาคม อย่างไรก็ตาม หน้าเว็บด้านความปลอดภัยระบุว่ารายงานของ OtterSec ยังอยู่ระหว่างดำเนินการ นักพัฒนากระเป๋าเงินที่เชื่อมต่อบริการนี้ต้องตัดสินใจว่าจะไว้วางใจโค้ดและนโยบายการติดตั้งใช้งานใดให้จัดการข้อมูลนำเข้าสำหรับสร้าง proof