작가: 솔라나
편집자: 펠릭스, PANews
솔라나의 ZK(제로 지식) 영역과 검증 가능성은 여러분이 알지 못할 수도 있는 다크호스입니다. 다음은 솔라나의 ZK, 검증 가능성 및 개인 정보 보호 프로젝트에 대한 간략한 개요입니다.
전반적으로 솔라나의 인프라는 다음과 같은 이점을 제공합니다.
네트워크 성능 향상
- 애플리케이션 개발자의 비용을 1,000배 절감
- 비동기 실행
- 상태 성장 솔루션
보안 향상
- 온체인 애플리케이션의 개인정보 보호 및 기밀성
- 검증가능성
- 분산형 증명자 네트워크
솔라나에는 zk-롤업도 구현되어 있습니다.
아래에서 각각을 살펴보겠습니다.
- 개인 정보 보호 및 검증 가능성
- 익명
- ZK 기반 확장 및 zkVM
- ZK를 사용한 네트워크 확장 스택
- ZK 프로그램
참고: 이러한 범주는 단순화를 위해 그룹화되었으며 겹칠 수 있습니다.
개인정보 보호 및 검증 가능성:
Arcium: 암호화 계산 실행을 위한 신뢰할 수 없고 검증 가능하며 효율적인 프레임워크를 제공하여 온체인 애플리케이션에 기밀성을 부여하는 데 도움이 됩니다.
예를 들어 AI 모델은 암호화된 데이터에 대해 훈련할 수 있으며 DeFi는 이를 기밀 거래에 사용할 수 있습니다.
Anagram이 구축한 Bonsol은 개발자가 비공개 및 공개 데이터에 대해 완전히 검증 가능한 실행 파일 → 수학적으로 유효성을 보장 → 결과를 Solana 스마트 계약에 통합하여 체인에서 Proved에서 사용할 수 있도록 하는 Solana의 기본적으로 검증 가능한 컴퓨팅 시스템입니다.
익명
Darklake: 실시간 MEV 저항 주문 실행을 제공하는 솔라나 최초의 DEX를 목표로 하는 거래 기반 암호화폐 AMM을 구축합니다.
다크 프로토콜(Dark Protocol): ZK-snarks를 기반으로 하는 시장 거버넌스 익명성 프로토콜을 구축합니다.
ZKP 기반 확장
ZK 압축: Light Protocol과 Helius가 제공하는 ZK 증명 + 상태 압축을 갖춘 새로운 Solana 계정 기본 요소로, Solana 애플리케이션 개발자의 임대 비용을 1000배 절감합니다(영지식 증명 및 압축을 활용하여 체인에 저장되는 데이터 양을 줄입니다). .
팀은 다음 측면에서 ZK 압축 구축을 시작했습니다.
- Wallet Backpack - 사용자는 임대료를 지불하지 않고 토큰을 보유합니다.
- 소비자 소셜 앱 Tribe.run – 창작자는 저렴한 비용으로 토큰을 보낼 수 있습니다.
- 에어드롭 도구 Airship(Helius에서 출시)
ZKVM
RISC Zero 및 Succinct는 체인 계산에 의해 제한되지 않고 체인에서 임의의 계산을 증명하는 데 도움이 됩니다. 이는 다음을 통해 달성할 수 있습니다.
- ZK가 제공하는 Solana 라이트 클라이언트
- 간소화된 DePIN 네트워크
- 안전하고 원활한 ZK 로그인
Solana 네트워크 확장 스택
zkSVM이 적용되고 있습니다:
1. Solforge 네트워크: ZKP 방법 및 ZK 압축을 사용하는 네트워크 확장 스택:
- 상태 업데이트 증명을 스트리밍하려면 확장 프로그램을 활성화하세요.
- 증명 생성에 최적화된 LightSVM
2. Termina: 대기 시간을 줄이고 개인 정보 보호를 개선하며 계산 비용을 줄여 특정 사용 사례의 요구 사항을 충족하는 SVM 네트워크 배포 플랫폼입니다.
3. Sonic SVM: 게임 및 애플리케이션용 SVM 스택이며 ZK 및 Hypergrid로도 확장됩니다.
4. Bullet은 매우 높은 처리량으로 확장할 수 있으며 모든 상태 전환이 입증 가능한 Zeta Markets에서 출시한 초저 지연 롤업입니다.
또한 Aerius Labs와 같은 팀은 ZK 증명을 실험하고 있습니다.
ZK 프로그램
다른 이니셔티브로는 Anza가 시작한 ZK 토큰 증명 이니셔티브가 포함됩니다. 이 이니셔티브에는 지급 계정과 같은 사용 사례의 개인 정보를 보호하기 위해 SPL 토큰의 잔액과 거래 금액을 암호화하여 암호화폐 전송을 지원합니다.
최근 출시된 ZK 압축부터 앞으로 출시될 다양한 시스템 호출에 이르기까지 솔라나는 ZK의 강력한 엔진이 되고 있습니다.
