계산 능력을 한 차원 높이다: ZK 코프로세서 개요 및 최신 프로젝트 총览

2023.05.16

계산 능력을 한 차원 높이다: ZK 코프로세서 개요 및 최신 프로젝트 총览

zk 커프로세서의 미래를擁抱하고, 무한한 가능성을 열다.

2023.05.16 - 05:17:02

Web3 심층 보도에 집중하고 흐름을 통찰

zk 커프로세서의 미래를擁抱하고, 무한한 가능성을 열다.

작성: E

편역: TechFlow

블록체인의 보안을 지키기 위한 계산 제한으로 인해 ZK 코프로세서(Coprocessors)가 점점 더 주목받고 있습니다. 이는 강력한 보안을 유지하면서도 동시에 연산 능력을 향상시킬 수 있기 때문입니다. 본 글에서는 Galaxy Digital 연구원 E가 ZK 코프로세서의 개념과 역할, 그리고 현재 개발 중인 프로젝트들을 살펴봅니다.

일반적으로 코프로세서란 특정 작업을 더 능숙하게 처리함으로써 컴퓨터 시스템 전체의 효율성과 속도를 높이는 전용 구성 요소를 말합니다.

ZK 코프로세서는 임의의 연산을 수행하고 그 연산이 올바르게 실행되었음을 입증하는 수학적으로 유효한 '영수증(receipt)'을 제공하는 상호운용성 계층입니다.

각 영수증에는 어떤 연산이 수행되었는지를 나타내는 암호화된 식별자와 함께 공개 출력값들이 기록됩니다.

이러한 영수증을 통해 기계는 해당 연산이 실제로 발생했음을 명확히 '입증'할 수 있습니다. 단순히 연산이 이루어졌다고 주장하는 것을 넘어서 검증 가능한 추적 경로를 제공하는 것입니다. 마치 신뢰 없이도 안전하게 계산 과정을 감사하는 것과 같습니다!

왜 ZK 코프로세서가 필요한가?

블록체인은 보안을 확보하기 위해 L1/L2에서의 연산을 일부 고유하게 안전한 작업으로 제한함으로써 계산 능력에 제약을 두고 있습니다. ZK 코프로세서는 이러한 계산 능력을 확장하여 강력한 보안을 유지하면서도 더 다양한 작업을 수행할 수 있게 해줍니다.

현재 구축 중인 ZK 코프로세서 프로토콜에는 무엇이 있는가?

Axiom

Axiom은 이더리움용 ZK 코프로세서로, 스마트 계약이 모든 체인 내 데이터에 신뢰 없이 접근하고, 이를 바탕으로 임의의 표현식 계산을 수행할 수 있도록 지원합니다.

Axiom은 역사적 체인 데이터나 표현식 계산이 필요한 모든 프로토콜 또는 탈중앙화 앱(dapp)에 유용하며, 신뢰 없는 회계, 동적 DeFi, 신뢰 없는 오프체인 거버넌스, 신뢰 없는 온체인 오라클 등에 활용될 수 있습니다.

Axiom의 목표는 제로노울리지 증명(ZKP) 기술을 체인 상에서 최대한 쉽게 접근하고 사용할 수 있도록 하여, 더욱 풍부하고 표현력 있는 신뢰 최소화 탈중앙화 앱의 새로운 물결을 열어가는 것입니다.

Tanuki

Tanuki는 Axiom을 활용해 역사적 체인 데이터 기반의 지갑 평가 점수 산출을 위한 신뢰 없고 투명한 시스템을 제공합니다. 이러한 데이터는 카르마3랩스(Karma3labs) 같은 신용 평가 프로토콜이나 SPICYEST와 같은 NFT 가격 분석 등에 사용될 수 있습니다.

Tanuki의 솔루션은 중앙화되고 불투명했던 기존 방식과 달리, 프로토콜이 신뢰 없이 관련 지표를 계산할 수 있도록 하는 탈중앙화 대안으로, 공정하고 투명한 상호작용을 가능하게 합니다.

Risc Zero

Risc Zero는 어떤 플랫폼에서도 작동 가능한 zkVM을 제공합니다. 이는 각각의 프로그램 실행 시마다 영수증을 생성하는 가상 마이크로컨트롤러/코프로세서로서, 보안성이 강화된 가상 아두이노라고 볼 수 있습니다.

RiscZero의 Bonsai는 범용 제로노울리지 증명 네트워크로, 블록체인 스마트 계약이 오프체인에서 계산을 수행할 수 있도록 해줍니다.

Herodotus

Herodotus는 스마트 계약이 다른 이더리움 레이어로부터 동기화된 온체인 데이터에 접근할 수 있도록 하는 것을 목표로 합니다. 저장 증명(proof of storage)을 통해 여러 롤업들의 상태를 통합하고, 심지어 이더리움 레이어 간 동기화 읽기를 가능하게 할 수 있다고 주장합니다.

Poseidon ZKP

Poseidon ZKP는 EVM 네이티브 zkDApp 개발의 공백을 메우려는 목적을 가지고 있습니다. 특히 개인정보 중심의 zkDApp 개발 시 직면하는 두 가지 주요 장벽인 ZKP 사용의 높은 진입 장벽(암호화 복잡성)과 비싼 온체인 검증 비용 문제를 해결하려 하고 있습니다.

Poseidon ZKP가 개발 중인 기능 중 하나는 조합 가능한 ZKP 원형(primitive)을 스마트 계약 형태로 생성하는 것입니다. 이를 기반으로 클라이언트가 생성한 여러 증명을 한 번에 모아 하나의 증명으로 집계하는 ZK-ZK 어그리게이터를 제공하여, 분摊 후 ZKP 검증 비용을 크게 낮추고 있습니다.