ZKM이 BTC L2 트랙에 진입하는 것에 대한 의견은?

저자：란후비기

ZKM이 BTC L2 트랙에 진입하는 것을 보니, 이 트랙은 이더리움 L2와 마찬가지로 점점 더 혼잡해질 것이며, 궁극적인 시장 구조는 기술과 시장의 진화 결과를 기다려야 할 것입니다.

ZKM의 기본 기술은 zkVM이며, 그 궁극적인 목표는 더 많은 프로젝트와 생태계에서 zkVM 기술을 채택하게 하여 기본 인프라가 되는 것입니다. 예를 들어, 이더리움, 비트코인, Cosmos 등 다양한 생태 네트워크의 자산을 연결하여 더 나은 유동성을 형성할 수 있습니다. 이러한 큰 틀에서 ZKM이 BTC L2 트랙에 진입하는 이유를 더 잘 이해할 수 있습니다.

기술 솔루션으로 돌아가면, ZKM의 핵심 기술은 주로 두 가지 측면으로 나뉩니다: 「Entangled Rollup 아키텍처 + zkVM」。이 두 가지 측면은 시장에서 두 가지 주요 관심사를 해결합니다: 첫째, 자산의 안전성을 어떻게 보장할 것인가; 둘째, 자사의 네트워크 지속 가능성을 어떻게 실현할 것인가입니다.

현재 시장은 크로스 체인의 안전성 문제에 많은 관심을 가지고 있으며, ZKM은 「Entangled Rollup Network (얽힌 롤업 네트워크)」 메커니즘을 도입하여 재귀적인 제로 지식 증명 기술을 통해 블록체인 간의 상태를 동기화하려고 합니다. 이는 전통적인 브릿지 메커니즘에 의존하지 않고 자산의 크로스 체인을 실현합니다. 이 프레임워크는 이전에 이더리움에서 구현되었으며, 메티스의 옵티미스틱 롤업 메커니즘입니다. 현재 ZKM은 이 아이디어와 프레임워크를 적용하려고 시도하고 있으며, 비트코인 L1의 특성에 맞게 수정하여 BTC L2를 출시할 예정입니다. 물론, BTC는 스마트 계약을 지원하지 않기 때문에 L2를 실현하는 데는 훨씬 더 큰 도전이 있습니다. ZKM은 Entangled Rollup을 통해 상태를 ZKM 네트워크에 집계하고, 검증된 상태를 다른 생태계에 전달하려고 합니다. BTC의 자산 안전성은 로컬 제어 모델을 채택하며, 예를 들어 BTC는 다중 서명 스크립트로 제어되며, 최소한 하나의 정직한 당사자가 존재하는 한 악의적인 자가 예치된 BTC를 빼낼 수 없습니다. L2 측면에서는 분산형 정렬기를 사용하여 거래의 포함과 최종성을 분산된 방식으로 완료하며, L2 거래 배치의 실행도 BTC 스크립트를 통해 검증할 계획입니다.

ZKM은 OCP 메커니즘(Optimistic Challenge Process)을 도입하여, 부분적으로 이더리움 L2의 옵티미스틱 증명의 BTC L2 버전과 유사합니다. 대략적인 메커니즘은 사용자가 자산을 L2(ZKM)에 예치할 때, 자산이 사전 서명된 n-of-n 다중 서명 스크립트에 잠기게 되며, 서명자는 일반적으로 독립적인 제3자/감사자입니다. 다중 서명의 교환 스크립트는 지정된 도전 기간 후에 활성화되며, 서명자는 미리 목표 사용자에게 자산을 전송하여 도전 단계를 시작합니다. 도전 단계에서는 서명자가 도전 스크립트와 자산 스크립트를 포함한 거래를 미리 서명합니다. 도전 스크립트를 시작하려면, 도전은 입력 UTXO를 지불하여 시작할 수 있으며, 운영자에게 자산 스크립트에 중간 계산 추적을 제공하여 그 약속을 열도록 요구합니다. 약속이 성공적으로 열리지 않으면, 검증자는 도전 기간이 끝난 후 모든 자산을 받거나 도전 자산을 서명자에게 전달받습니다. 실행 추적은 Tap Tree를 통해 제출되며, 여기서 Tree의 각 리프는 중간 값을 나타냅니다. 각 중간 값은 일회성 서명 계산을 사용하며, 이전 값이 입력으로 사용됩니다. 이러한 방법을 사용하여 BTC 스크립트는 이 계산을 직접 실행하고 체인 상 자산 검증을 완료합니다. 즉, ZKM은 OCP 메커니즘을 통해 오프체인 계산에 대한 안전성을 제공하고, L2 거래가 분산형 정렬기 네트워크에 포함되도록 보장하려고 합니다.

zkVM은 암호화 분야에서 중요한 기초 탐색 중 하나이며, ZKM의 zkVM은 그 중 하나의 유형입니다. RSIC와 SP1과의 차이점 중 하나는 ZKM이 Golang에 대한 네이티브 지원을 제공한다는 것입니다. (RSIC와 SP1은 Rust를 지원합니다.) ZKM은 Golang 개발자가 Vanilla Golang 컴파일러를 사용하여 코드를 MIPS 명령어로 컴파일할 수 있도록 하며, 이후 ZKM의 증명 네트워크를 통해 실행을 증명합니다. 또한, 향후 ZKM은 Rust도 지원할 계획입니다.

시장은 BTC 체인 상 자산의 안전성뿐만 아니라 ZKM L2 자체가 어떻게 지속 가능성을 실현할 것인지에도 관심을 가지고 있습니다. 지속 가능성을 실현하려면 네트워크에 참여하는 모든 참여자가 지속적인 수익을 얻을 기회를 가져야 합니다. ZKM의 BTC L2에서는 분산형 정렬기 개념을 도입하여, 이러한 정렬기 노드는 기여도에 따라 보상을 받습니다. ZKM은 40%의 토큰을 채굴 참여자(정렬기 노드 참여자, 유동성 스테이킹, 증명 네트워크 채굴 포함)에게 보상할 계획입니다. 즉, 정렬기 노드는 L2 거래에서 가스 비용을 얻는 것 외에도 채굴을 통해 수익을 얻을 수 있습니다.

현재 추세에 따르면, BTC L2 측면의 탐색은 계속될 것이며, 원주율 L2와 EVM 호환 L2 모두 지속될 것입니다. 원주율 L2는 내부 생태계의 장력 탐색에 중점을 두며, 그 원주율성 덕분에 많은 충성스러운 지지자를 보유하고 있습니다. EVM 호환 L2 측면에서는 BTC 생태계를 확장하는 것뿐만 아니라 더 많은 생태계의 융합을 위한 탐색 방향을 제공하는 데 중점을 두고 있습니다.