솔라나 프라이버시 링스, 증명 통과해도 입력값 보호는 별도

헬리우스(Helius)가 솔라나(SOL) 메인넷에 자산 종류와 금액을 가리는 프라이버시 링스를 공개했다. 거래가 유효하다는 영지식증명과 증명 생성 과정에서 입력값을 보호하는 일은 별개의 문제다.

헬리우스는 11월 10일 출시 공지에서 허가 없는 프라이버시 링스를 메인넷에 올렸다고 밝혔다. 본지는 앞서 프라이버시 링스의 메인넷 출시와 기본 공개 범위를 전했다.

이용자는 자산을 비공개 잔액에 넣어 전송한 뒤 공개 잔액으로 출금할 수 있다. 기본 설정에서는 자산 종류와 금액이 암호화되지만 지갑 주소는 공개된다.

영지식증명은 거래의 세부 내용을 모두 공개하지 않고도 정해진 규칙을 지켰는지 확인하는 기술이다. 증명이 통과했다는 사실은 거래 규칙이 충족됐다는 뜻이다.

증명을 만드는 컴퓨터는 계산에 필요한 비밀 입력값을 처리한다. 따라서 거래 검증과 입력값을 다루는 실행 환경의 기밀성은 따로 살펴봐야 한다.

◇ 증명 검증과 입력값 보호는 별개

헬리우스의 공개 Rust 문서는 원격 증명 요청을 TEE 증거가 확인한 암호화 키로 보호하는 절차를 설명한다. 요청을 암호화하는 데 쓰이는 키는 실행 환경의 증거를 바탕으로 확인한다.

요청을 처리하기 전에는 플랫폼 증거와 승인된 소프트웨어 측정값, 정책, 일회성 확인값이 맞는지 검사한다. 이 과정은 지갑 개발자가 증명 결과뿐 아니라 입력값을 받는 코드가 승인된 코드인지도 확인하도록 설계됐다.

AWS는 Nitro Enclave가 부모 서버와 메모리를 분리한다고 설명한다. 부모 서버의 프로세스나 관리자가 격리된 메모리에 접근할 수 없고, enclave에는 외부 네트워크 연결과 영구 저장소가 없다는 설명이다.

AWS의 증명 문서는 실행 이미지와 애플리케이션의 측정값을 정책과 대조하는 데 쓰인다. 이 구조는 실행 환경을 격리하고 어떤 소프트웨어가 실행되는지 확인하는 장치다.

그러나 격리만으로 코드의 안전성이나 승인 정책의 적절성, 하드웨어에 대한 신뢰까지 보장되는 것은 아니다. 온체인에서 증명이 통과했다는 사실만으로 입력값을 처리한 환경의 기밀성이 입증되지는 않는다는 해석이다.

헬리우스의 공개 Rust 문서가 설명하는 기본 Nitro Enclave 배포는 개발망 기준이다. 실제 메인넷 배포의 구체적인 키 정책과 운영자에게 보이는 요청 정보의 범위는 공개 문서에 제시되지 않았다.

헬리우스는 모든 거래에 자산 소유자의 서명이 필요하다고 설명한다. 증명 서버가 거래 계산을 수행하는 역할과 소유자를 대신해 자산 이동에 서명하는 권한은 구분된다.

◇ 감사 보고서 공개 상태는 달라

헬리우스의 출시 공지는 Certora, ZK Security, OtterSec이 프로그램과 영지식증명 회로를 감사했다고 밝혔다. 상세 보안 문서에는 Certora의 2026년 10월 보고서와 zkSecurity의 2026년 8월 보고서가 올라와 있지만 OtterSec 보고서는 ‘대기 중’으로 표시돼 있다. 감사 참여 발표와 보고서 공개 상태를 구분해 볼 필요가 있다.

헬리우스 개발 문서는 RPC·인덱서·증명 생성기 연결을 ‘Beta’로 표시한다. 메인넷 프로그램 출시와 개발자용 연결 기능의 안정성 표시는 서로 다른 항목이다.

헬리우스는 11월 10일 출시 공지에서 허가 없는 링의 형식 검증이 진행 중이며 2026년 말까지 마칠 것으로 예상한다고 밝혔다.