솔라나 ZK 프라이버시 생태계의 다크호스 프로젝트 살펴보기
작성: Yash Agarwal & 0xIchigo
번역 및 정리: Pzai, Foresight News
프라이버시와 검증 가능성
Arcium은 암호화된 계산을 신뢰 없이, 검증 가능하고 효율적인 방식으로 실행할 수 있는 프레임워크를 제공함으로써 체인 상 애플리케이션의 프라이버시를 실현합니다. 예를 들어 AI 모델은 개인 정보가 포함된 데이터에서 훈련될 수 있으며, DeFi는 이를 프라이버시 거래에 활용할 수 있습니다.
Anagram의 Bonsol은 Solana 생태의 고유한 검증 가능 컴퓨팅 시스템으로, 개발자가 프라이버시 데이터 및 공개 데이터 모두에 대해 완전히 검증 가능한 실행 파일을 생성하고, 그 유효성을 수학적으로 보장하며, 결과를 Solana 스마트 계약에 통합해 체인 상에서 증명할 수 있도록 합니다.
익명성과 ZK 기반 확장성
Darklake는 실시간이며 MEV에 저항하는 주문 실행을 제공하는 Solana 최초의 DEX가 되고자 하는 프라이버시 중심 AMM 거래 앱을 구축하고 있습니다.
Dark Protocol은 ZK-SNARKS 기반의 시장 거버넌스형 익명 프로토콜을 개발하고 있습니다.
ZK 증명 프로토콜 LightProtocol과 Helius가 공동 개발한 ZK Compression은 zk 증명과 상태 압축 메커니즘을 갖춘 새로운 Solana 계정 원시 타입(primitive)으로, Solana 애플리케이션 개발자의 렌트 비용을 절감하고 상태 증가 솔루션을 제공합니다.
ZK 압축 상태는 압축 계정(compressed account) 내에 저장됩니다. 이러한 압축 계정은 일반적인 Solana 계정과 유사하지만, 효율성과 확장성을 높이기 위해 몇 가지 핵심적인 차이점이 존재합니다.
-
해시 기반 식별: 각 압축 계정은 해당 해시 값을 통해 식별될 수 있습니다.
-
쓰기 작업 시 해시 변경: 압축 계정에 대한 모든 쓰기 작업은 그 해시 값을 변경합니다.
-
선택적 주소 지정: 특정 용례(예: NFT)에서 유용하도록 주소를 압축 계정의 영구적 고유 ID로 설정할 수 있습니다. 이 필드는 선택 사항인데, 이는 압축 계정이 해시 값으로 참조될 수 있기 때문에 불필요한 연산 오버헤드를 피하기 위함입니다.
-
희소 상태 트리(Sparse State Tree): 모든 압축 계정은 Merkle 트리에 저장되며, 체인 상에는 상태 트리의 루트(즉 Merkle 루트)만 저장됩니다. 좀 더 구체적으로 말하면, 이 상태 트리는 Poseidon 해시 기반의 동시성(concurrent) Merkle 트리입니다.
많은 Solana 팀들이 이미 다음과 같은 분야에서 ZK 압축 기술을 활용한 사례들을 구축하고 있습니다.
-
Backpack 지갑 사용자는 가스비(렌트)를 지불하지 않고도 토큰을 보유할 수 있습니다.
-
Tribe.fun과 같은 소비자 중심 소셜 앱을 통해 크리에이터들이 낮은 비용으로 토큰을 발송할 수 있습니다.
-
Helius Airship과 같은 에어드랍 도구 역시 ZK 압축을 활용하고 있습니다.
ZKVM 및 네트워크 확장 스택
RiscZero와 SuccinctLabs는 체인 상에서 임의의 계산을 증명할 수 있게 도와주며, 체인의 계산 한계로부터 자유롭게 만들어 줍니다. 이를 통해 ZK 기반의 Solana 라이트 클라이언트를 강화하고, 간소화된 DePIN 네트워크 및 안전하고 매끄러운 ZK 로그인을 실현할 수 있습니다.
또한, zkSVM은 다양한 용례에 활용되고 있습니다.
-
Solforge Network는 ZKP 기반 네트워크 확장 스택과 zk 압축을 사용해 상태 업데이트 증명을 전송할 수 있는 확장을 활성화하며, LightSVM을 통해 증명 생성을 최적화합니다.
-
SVM 네트워크 배포 플랫폼 Terminaxyz는 지연 시간 감소, 프라이버시 향상 및 계산 비용 절감을 통해 특정 용례에 맞춰 애플리케이션을 최적화합니다.
-
게임 및 애플리케이션용 SVM 스택인 SonicSVM 또한 zk와 Hypergrid를 통해 확장을 추진하고 있습니다.
-
ZetaMarkets Bullet L2는 극도로 높은 처리량으로 확장 중이며, 모든 상태 전환이 증명 가능하게 설계되어 있습니다.
또한 Aerius 등 여러 팀들이 zk 증명 기술을 실험하고 있습니다.
기타 이니셔티브로는 Anza가 지원하는 ZK Token Proof 프로그램이 있습니다. 이는 SPL 토큰의 잔고 및 거래 금액을 암호화하여 결제 등의 사용 사례에서 프라이버시를 보호합니다. 동형 암호화(homomorphic encryption)를 통해 데이터를 복호화하지 않고도 암호화된 상태에서 계산이 가능합니다. 이를 위해 프라이버시 전송은 Twisted ElGamal 암호화를 사용해 암호문(ciphertext)에 숨겨진 수학 연산을 수행하며, Sigma 프로토콜을 사용해 민감한 정보를 노출하지 않고도 전송을 검증합니다. 복호화 키를 가진 계정 소유자만이 자신의 암호화된 잔고를 확인할 수 있습니다. 그러나 Solana의 Global Auditor System(글로벌 감사 시스템)은 별도의 복호화 키를 통해 규제 준수 및 감사를 위한 선택적 읽기 접근을 허용합니다.
TechFlow 공식 커뮤니티에 오신 것을 환영합니다
Telegram 구독 그룹:https://t.me/TechFlowDaily
트위터 공식 계정:https://x.com/TechFlowPost
트위터 영어 계정:https://x.com/BlockFlow_News
