개요
검증 가능한 연산(Verifiable compute)이란, 주로 제로 지식 증명을 통해 결과를 암호학적으로 검증할 수 있는 연산을 의미합니다. 이를 통해 사용자는 오프체인 연산을 신뢰할 수 있습니다. 이는 확장성과 신뢰성을 확보하는 핵심 기술입니다.
작동 원리
증명자는 계산을 수행하고, 검증자가 저렴한 비용으로 확인할 수 있는 정확성 증명을 생성합니다. 이를 통해 신뢰를 유지하면서 부하가 큰 작업을 오프체인으로 이전할 수 있습니다. ZK 롤업이 주요 응용 사례입니다.
중요성
검증 가능한 컴퓨팅은 확장 가능하고 프라이버시가 보장되는 계산을 가능하게 하여, 롤업과 탈중앙화 AI를 뒷받침합니다. 또한 검증 비용을 절감하며, 블록체인 기술의 최전선 분야입니다.
관련 개념
검증 가능한 컴퓨팅은 제로 지식 증명을 기반으로 하며, ZK 롤업과 관련이 있습니다. 이를 통해 신뢰가 필요 없는 계산이 가능해집니다.