ZKM이 BTC L2 분야에 진입한 것을 어떻게 보아야 할까?

글: 란후 노트

ZKM이 BTC L2 분야에 진출한 것을 보고 있자면, 이 분야도 이더리움 L2처럼 점점 더 경쟁이 치열해질 것이며, 최종적인 시장 구도는 기술과 시장의 진화 결과를 지켜봐야 알 수 있을 것이다.

ZKM의 핵심 기반 기술은 zkVM이며, 궁극적으로는 이 zkVM 기술이 더 많은 프로젝트와 생태계에서 채택되어 인프라로서 자리매김하는 것을 목표로 한다. 예를 들어 이더리움, 비트코인, Cosmos 등 다양한 생태망의 자산을 연결하고 유동성을 강화할 수 있다. 이러한 큰 그림 속에서 ZKM이 왜 BTC L2 분야에 진입했는지를 이해할 수 있다.

기술적 해결책으로 돌아가 보면, ZKM의 핵심 기술은 크게 두 가지로 나뉜다. 바로 「Entangled Rollup 아키텍처 + zkVM」이다. 이 두 가지는 현재 시장에서 주목하는 다음 두 가지 문제를 해결하기 위한 것이다. 첫째, 자산의 안전성 확보 방법, 둘째, 네트워크 자체의 지속 가능성 확보 방법이다.

현재 시장은 크로스체인의 보안 문제에 매우 민감하다. ZKM은 「Entangled Rollup Network(얽힌 롤업 네트워크)」 메커니즘을 도입하여, 기존 브릿지 방식에 의존하지 않고도 자산의 크로스체인이 가능하도록 했다. 이를 위해 재귀적 제로지식 증명 기술을 활용해 블록체인 간 상태를 동기화한다. 이 아키텍처는 이전에 이더리움에서 Metis의 Optimistic Rollup 메커니즘을 통해 실현된 바 있으며, ZKM은 이 아이디어를 비트코인 L1의 특성에 맞게 개선하여 BTC용 L2를 출시하려 하고 있다. 다만 비트코인은 스마트 계약을 지원하지 않기 때문에 L2 구현에는 훨씬 더 큰 난관이 존재한다. ZKM은 Entangled Rollup을 통해 상태를 ZKM 네트워크에 집약한 후, 검증된 상태를 다른 생태계로 전달하려 한다. BTC 자산의 보안은 로컬 컨트롤 방식을 적용하며, 예를 들어 BTC는 멀티시그 스크립트로 관리되는데, 적어도 한 명의 정직한 참여자가 존재하면 악의적인 공격자는 예치된 BTC를 가져갈 수 없다. 또한 L2 측에서는 탈중앙화된 정렬기(Orderer)를 사용해 거래 포함 및 최종성을 탈중앙화 방식으로 처리하며, L2의 트랜잭션 배치 실행 검증도 BTC 스크립트를 통해 이루어질 예정이다.

ZKM은 OCP(Optimistic Challenge Process) 메커니즘을 도입했는데, 이는 일종의 이더리움 L2의 옵티미스틱 증명을 BTC L2에 적용한 버전이라 할 수 있다. 대략적인 메커니즘은 다음과 같다. 사용자가 자산을 L2(ZKM)에 입금하면, 해당 자산은 n-of-n 다중 서명 스크립트에 의해 잠긴다. 서명자는 일반적으로 독립된 제3자 또는 감사기관이다. 다중 서명 교환 스크립트는 지정된 도전 기간 이후 활성화되며, 서명자는 미리 타깃 사용자에게 자산을 보내고 도전 단계를 시작한다. 도전 단계에서 서명자는 도전 스크립트와 자산 스크립트를 포함한 트랜잭션을 미리 서명한다. 도전 스크립트를 실행하려면 UTXO 입력을 통해 비용을 지불함으로써 도전을 시작할 수 있으며, 운영자가 중간 계산 추적을 제공함으로써 자신의 약속을 입증해야 한다. 만약 이 약속이 성공적으로 입증되지 못하면, 도전 기간 종료 후 검증자가 모든 자산을 획득하거나, 혹은 도전자에게 자산이 넘어간다. 실행 추적은 TapTree를 통해 제출되며, 여기서 Tree의 각 리프 노드는 하나의 중간 값을 나타낸다. 각 중간 값은 일회용 서명을 사용하여 계산되며, 이전 값이 입력으로 사용된다. 이 방식을 통해 BTC 스크립트가 직접 계산을 수행하고 체인상에서 자산 검증을 완료하게 된다. 즉, ZKM은 OCP 메커니즘을 통해 오프체인 계산의 보안을 제공하고, L2 거래가 탈중앙화된 정렬기 네트워크 내에서 포함되도록 하려는 것이다.

zkVM은 암호화 분야에서 오랫동안 중요한 기반 기술로 연구되어 왔으며, ZKM의 zkVM도 그 한 형태이다. RSIC 및 SP1과의 차이점 중 하나는 ZKM이 Golang 언어를 원생(native) 지원한다는 점이다. (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 생태계를 확장하는 것을 넘어서, 다양한 생태계 간 융합을 위한 새로운 방향성을 제시한다는 의미에서 중요하다.