원저자: Blue Fox Notes

ZKM도 BTC L2 트랙에 진입한 것을 보면 이 트랙은 Ethereum L2처럼 점점 더 혼잡해질 것입니다. 최종 시장 구조는 기술과 시장 진화의 결과를 기다려야 합니다.

ZKM의 기본 기술은 zkVM이며, 궁극적인 목표는 더 많은 프로젝트와 생태계에서 zkVM 기술을 채택하여 기본 인프라가 되도록 노력하는 것입니다. 예를 들어, 다양한 생태계 네트워크(이더리움, 비트코인, 코모스 등)의 자산을 연결하여 더 나은 유동성을 창출할 수 있습니다. 이 광범위한 프레임워크 내에서 우리는 ZKM이 BTC L2 트랙에 진입하려는 이유를 더 잘 이해할 수 있습니다.

기술 솔루션으로 돌아가서 ZKM 핵심 기술은 주로 "얽힌 롤업 아키텍처 + zkVM"이라는 두 가지 측면을 가지고 있습니다. 이 두 가지 측면은 주로 시장의 두 가지 주요 문제를 해결합니다. 첫째, 자산의 보안을 보장하는 방법, 둘째, 자체 네트워크의 지속 가능성을 달성하는 방법입니다.

현재 시장은 크로스체인 보안 문제에 큰 관심을 기울이고 있습니다. ZKM은 전통적인 브리지를 구현하기 위해 재귀적 영지식 증명 기술을 통해 블록체인의 상태를 동기화하려고 시도하는 "얽힌 롤업 네트워크" 메커니즘을 출시했습니다. -체인 자산. 이 프레임워크는 이전에 Metis의 Optimistic Rollup 메커니즘인 Ethereum에서 구현되었습니다. 현재 ZKM은 이 아이디어와 프레임워크를 적용하는 동시에 비트코인 L1의 특성에 따라 변환하여 BTC L2를 출시하려고 노력하고 있습니다. 물론 BTC는 스마트 계약을 지원하지 않으며 L2를 구현하는 것이 훨씬 더 어렵습니다. ZKM은 Entangled Rollup을 통해 상태를 ZKM 네트워크에 집계한 다음 확인된 상태를 다른 생태계에 전달하려고 시도합니다. BTC의 자산 보안은 로컬로 제어 가능한 모델을 채택합니다. 예를 들어, BTC는 다중 서명 스크립트에 의해 제어됩니다. 최소한 하나의 정직한 당사자가 있는 한, L2 측면에서 보면, 악의적인 행위자는 BTC를 탈취할 수 없습니다. 컨테이너, 트랜잭션 포함 및 완결성은 모두 분산 방식으로 수행되며 L2의 트랜잭션 배치 실행도 BTC 스크립트를 통해 검증될 예정입니다.

ZKM은 Ethereum L2 낙관적 증명의 BTC L2 버전과 부분적으로 유사한 OCP 메커니즘(Optimistic Challenge Process)을 도입합니다. 일반적인 메커니즘은 사용자가 L2(ZKM)에 자산을 예치할 때 자산이 미리 서명된 n/n 다중 서명 스크립트에 고정되고 서명자는 일반적으로 독립적인 제3자/감사인이라는 것입니다. 다중 서명 상환 스크립트는 지정된 챌린지 기간 후에 활성화됩니다. 서명자는 챌린지 단계를 시작하기 위해 미리 대상 사용자에게 자산을 보냅니다. 챌린지 단계에서 서명자는 챌린지 스크립트와 자산 스크립트가 포함된 거래에 사전 서명합니다. 챌린지 스크립트를 시작하려면 입력 UTXO를 지불하여 챌린지를 시작할 수 있으며, 운영자는 자산 스크립트에 중간 계산 추적을 제공하여 약정을 열려고 시도해야 합니다. 약정을 성공적으로 열 수 없는 경우 검증자는 챌린지 기간이 끝난 후 모든 자산을 받거나 챌린지 자산이 서명자에게 제공됩니다. 실행 추적은 탭 트리를 통해 제출되며, 여기서 트리의 각 리프는 중간 값을 나타냅니다. 각 중간 값은 이전 값을 입력으로 사용하는 일회성 서명을 사용하여 계산됩니다. 이 접근 방식을 사용하면 BTC 스크립트가 이 계산을 직접 수행하고 온체인 자산 검증을 완료합니다. 즉, ZKM은 L2 트랜잭션이 분산형 시퀀서 네트워크에 포함되도록 OCP 메커니즘을 통해 오프체인 계산에 대한 보안을 제공하려고 시도합니다.

zkVM은 항상 암호화 분야에서 중요한 기본 탐구 중 하나였으며 ZKM의 zkVM은 그 유형 중 하나입니다. RSIC 및 SP 1과의 차이점 중 하나는 ZKM이 Golang에 대한 기본 지원을 제공한다는 것입니다. (Rust는 RSIC 및 SP 1에서 지원됩니다.) ZKM을 사용하면 Golang 개발자는 바닐라 Golang 컴파일러를 사용하여 코드를 MIPS 명령어로 컴파일한 다음 ZKM의 증명 네트워크를 사용하여 실행을 증명할 수 있습니다. 동시에 ZKM은 향후 Rust도 지원할 계획입니다.

시장에서는 BTC 체인 자산의 보안에 주목하는 것 외에도 ZKM L2 자체가 어떻게 지속 가능성을 달성할 수 있는지에도 주목하고 있습니다. 지속 가능하려면 네트워크에 관련된 모든 당사자가 지속적인 수입을 얻을 수 있는 기회를 가져야 합니다. ZKM의 BTC L2에서는 분산형 분류기 개념이 도입되었으며, 이러한 분류기 노드는 기여도에 따라 보상 수익을 받습니다. ZKM은 채굴 참가자(시퀀서 노드, 유동성 스테이킹 및 증명 네트워크 채굴 참여 포함)에게 토큰의 40%를 보상할 계획입니다. 즉, 시퀀서 노드는 L2 트랜잭션을 통해 가스비를 얻는 것 외에도 채굴을 통해 수익을 얻을 수도 있습니다.

현재 추세에 따르면 BTC L2의 탐색은 기본 L2 및 EVM 호환 L2 측면에서 계속될 것입니다. 기본 L2 측면은 기본 특성으로 인해 많은 충성도를 가지고 있습니다. L2와의 EVM 호환성 측면에서 BTC 생태계를 확장할 뿐만 아니라 더 많은 생태계 통합을 위한 탐색 방향을 제공합니다.