GOAT 네트워크는 BitVM2 기반 테스트넷을 출시했으며, 주목할 만한 구현 방식인 실시간 비트코인 ZK 롤업 증명을 선보였습니다. 빠른 ZK 롤업 증명을 달성하는 것은 BTC 레이어 2 인프라에 있어 중요한 발전입니다. 사용자 경험 측면에서 인출 시간이 크게 개선되어 더 많은 개발자와 사용자를 유치할 수 있을 것입니다.
그렇다면 기술적 관점에서 이를 어떻게 이해할 수 있을까요?
먼저 GOAT 네트워크의 비트코인 레이어 2 구현 방식을 살펴보겠습니다. GOAT 네트워크는 BitVM2와 zkMIPS 기술을 활용하는 비트코인 레이어 2 기반 솔루션으로, 네이티브 BTC 수익률(즉, 참여자가 더 많은 BTC를 획득할 수 있는 기회)을 지원합니다. GOAT 네트워크의 프로세스는 주로 브리지인(bridge-in), 브리지아웃(bridge-out), 시퀀서 세트 커밋(sequencer set commitments), 그리고 상환(reimbursement)으로 구성됩니다. 브리지인은 BTC를 탭루트 스크립트(아무도 관리하지 않는 개인 키)에 스테이킹하는 과정이며, 릴레이어는 이를 GOAT 컨트랙트에 제출합니다. 위원회는 운영자가 사전 서명하고 IPFS에 저장하는 BitVM2 거래 흐름을 구성합니다. 사용자 검증 후, 릴레이어는 L2에서 PegBTC를 발행합니다. 브리지아웃은 사용자가 운영자와 원자성 거래를 수행하는 출금을 포함합니다(사용자가 운영자가 될 수도 있으며, 원하는 경우 운영자를 통해 출금할 수 있습니다). L2의 PegBTC는 소각되고 운영자는 상환을 시작하므로 BTC 메인체인에서 페그아웃 거래가 필요 없습니다. 콜레이터 커밋은 주로 위원회가 머클 트리를 사용하여 향후 콜레이터 세트에 커밋하고 비트코인 라이트 클라이언트의 검증을 지원하는 것을 포함합니다. 라이트 클라이언트를 통한 검증은 BTC에 커밋된 검증자 세트를 후속 영지식 증명 검증을 위한 공개 입력으로 사용하여 L2 블록 합의를 검증합니다. 상환은 운영자가 BTC를 스테이킹하고 출금 거래 ID와 최신 블록 해시를 제출하는 것을 포함합니다. 챌린저는 오프체인 및 온체인 검증을 모두 수행합니다. 챌린저가 수신되지 않으면 운영자는 자금을 받습니다. 챌린저는 챌린지를 발행할 수도 있습니다. 챌린지가 발행되면 무작위 검증자가 생성되어 비트코인 스크립트를 통해 상호작용 검증을 수행합니다. 이를 통해 챌린지 기간이 약 1일(약 144개 BTC 블록)로 단축되어 최종 확정까지 걸리는 시간이 단축됩니다. 또한, 분산형 정렬 시스템을 활용하여 운영자가 BTC를 스테이킹하여 참여합니다. L2 가스 수수료 및 경제 모델의 다른 요소들이 BTC 수익을 창출합니다.
이제 실시간 증명인 ZK Rollup에 대해 자세히 살펴보겠습니다. 먼저 Rollup 기술에 대해 살펴보겠습니다. GOAT 네트워크는 여러 L2 트랜잭션을 일괄 처리하여 오프체인으로 실행하고 ZK 증명을 생성합니다. 이 증명은 비트코인 메인체인에서 검증됩니다(예: BitVM2의 Assert/Disprove 단계). ZK 증명의 장점은 모든 트랜잭션 정보를 업로드할 필요가 없다는 것입니다. 또한, 이더리움의 zksync나 Starknet과 달리 GOAT는 비트코인의 Taproot 스크립트와 같은 기본 메커니즘을 사용하여 상태 업데이트를 고정하므로 외부 브리지나 다중 서명 메커니즘에 대한 의존성을 피할 수 있습니다.
ZK Rollup 기술을 간략하게 살펴보았으니, 이제 실시간 증명 메커니즘을 살펴보겠습니다. GOAT 네트워크 문서에 따르면, 실시간 증명 생성은 zkMIPS 엔진을 활용하고, 파이프라인 병렬 증명 아키텍처와 분산 GPU 증명 네트워크를 활용하여 빠른 증명 생성을 달성합니다. 첫째, 블록 증명 생성은 실행 추적 샤딩과 병렬 증명 기술을 사용하여 Rollup 상태 전이의 정확성을 검증합니다. 둘째, 집계 증명 생성은 여러 블록 증명을 재귀적으로 압축합니다. 마지막으로, SNARK 증명(Groth16)은 BitVM2에서 작고 검증 가능한 증명으로 압축됩니다.
실시간 증명을 달성하기 위해 이러한 증명 생성 단계는 단일 프로세스가 아닌 파이프라인 병렬 메커니즘을 통해 처리됩니다. 이는 주로 ZKM의 zkVM "Ziren" 기술과 GPU 가속 및 분산 증명 네트워크를 기반으로 합니다. 공식 테스트넷 웹사이트에 따르면, 블록 증명은 평균 약 2.6초, 집계 증명은 평균 2.7초, SNARK 증명은 약 10.38초가 소요됩니다. 사용자는 프런트엔드 페이지에서 각 출금에 대한 전체 ZK 증명 생성 프로세스를 실시간으로 확인할 수 있습니다.
ZK 증명이 1분 이내에 완료될 수 있다면 사용자 출금 속도가 크게 향상될 것입니다. 이전에는 일부 비트코인 L2 출금에 몇 시간이 걸렸습니다. 빠른 증명을 통해 사용자는 증명이 생성된 직후 출금을 시작할 수 있으므로 1분 이내에 출금이 가능합니다. 물론 자금의 최종 도착 시간은 여전히 비트코인 메인넷의 거래 상태에 따라 달라집니다. 그러나 출금에는 더 이상 대기 시간이 필요하지 않으며, 비트코인 체인에서 거래를 시작하는 데 걸리는 시간과 거의 동일합니다.
인출 외에도 실시간 증명은 개발자들이 고빈도 L2 애플리케이션을 구축하도록 장려할 것입니다. 또한 EVM 호환성은 이더리움 생태계의 개발자들을 끌어들일 것입니다. 운영자의 경우, 일괄 증명을 기다릴 필요가 없어 자본 효율성이 향상될 것입니다. ZK 기술은 비교적 복잡하고 장기적인 보안을 위해서는 증명에 시간이 필요합니다. 그러나 실시간 증명 구현은 비트코인 L2 기술 인프라에 있어 중요한 진전입니다. 물론 비트코인 L2는 아직 갈 길이 멉니다. 기술 인프라 구축 외에도 사용자 요구를 파악하고 개발자들이 비트코인 L2 애플리케이션을 구축하도록 장려하기 위한 추가적인 노력이 필요합니다. 궁극적으로 비트코인 L2 생태계가 활성화되어야 플라이휠 성장을 달성할 수 있는 충분한 거래 수수료가 발생할 수 있습니다. 한 가지 분명한 요구는 많은 BTC 보유자들이 수익을 원한다는 것입니다. 이는 이더리움 체인(예: WBTC)의 BTC 수에서 분명히 드러납니다. 현재 이더리움 체인에는 15만 개 이상의 BTC가 보관되어 있으며, 그 가치는 150억 달러가 넘습니다. BTC 체인의 본래적인 보안이 확보된다면, 더 많은 BTC 보유자가 BTCFI를 통해 수익을 얻으려 할 것입니다.
