B^2 최신 기술 로드맵을 한 문장으로 이해하기: 비트코인 체인 외 DA와 검증 레이어의 필요성

작성자: Faust, 극객 web3

요약:

• B\^2 Network는 비트코인 체인 아래에 B\^2 Hub라는 DA 레이어를 설정하였으며, 이 DA 레이어 네트워크는 Celestia의 아이디어를 차용하여, 데이터 샘플링과 에러 정정 코드를 도입하여 새로운 데이터를 신속하게 많은 외부 노드에 배포하고 데이터 보유를 최대한 방지합니다. 동시에 B\^2 Hub 네트워크의 커미터는 DA 데이터의 저장 인덱스와 데이터 해시를 비트코인 체인에 업로드하여 누구나 읽을 수 있도록 합니다;
• DA 레이어 노드의 부담을 줄이기 위해 B\^2 Hub의 역사 데이터는 영구적으로 저장되지 않으므로, B\^2는 Arweave와 유사한 저장 인센티브 방식으로 더 많은 노드가 더 완전한 역사 데이터 세트를 저장하도록 유도하는 저장 네트워크를 구축하려고 시도합니다;
• 상태 검증 측면에서, B\^2는 혼합형 검증 방안을 채택하여, 체인 외부에서 ZK 증명을 검증하고, 체인 내에서는 bitVM의 아이디어를 통해 ZK 증명 검증 흔적에 도전합니다. 단 하나의 도전자 노드가 오류를 감지하고 도전을 시작하면 B\^2 네트워크는 안전하며, 이는 사기 증명 프로토콜의 신뢰 모델에 부합하지만 ZK를 사용하기 때문에 이 상태 검증은 실제로 혼합형입니다.
• B\^2 Network의 미래 로드맵에 따르면, EVM 호환 B\^2 Hub는 여러 비트코인 Layer2에 연결되는 체인 외부 검증 레이어 및 DA 레이어가 될 수 있으며, BTCKB와 유사한 비트코인 체인 외부 기능 확장 레이어가 될 것입니다. 비트코인 자체가 많은 시나리오를 지원할 수 없기 때문에, 이러한 체인 외부 기능 확장 레이어 구축 방식은 Layer2 생태계에서 점점 더 일반화될 것입니다.

B\^2 Hub: 비트코인 체인 아래의 범용 DA 레이어 및 검증 레이어

현재 비트코인 생태계는 기회와 사기가 공존하는 블루오션이라고 할 수 있으며, 이 새로운 분야는 명문 여름으로 인해 활기를 띠고 있으며, 금전의 기운이 가득한 비옥한 처녀지입니다. 올해 1월 비트코인 Layer2가 우후죽순처럼 등장하면서, 원래 황무지와 같던 이 땅은 수많은 꿈꾸는 자들의 요람이 되었습니다.

하지만 가장 본질적인 질문으로 돌아가면: Layer2란 무엇인가, 사람들은 여전히 합의에 도달하지 못한 것 같습니다. 사이드체인인가? 인덱서인가? 다리 역할을 하는 체인이 Layer2인가? 비트코인과 이더리움에 의존하는 간단한 플러그인을 Layer로 볼 수 있는가? 이러한 질문들은 마치 풀기 어려운 방정식처럼, 항상 확실한 결말이 없습니다.

이더리움과 Celestia 커뮤니티의 생각에 따르면, Layer2는 모듈화된 블록체인의 특별한 경우이며, 이 경우 소위 "2층"과 "1층" 사이에는 밀접한 결합 관계가 존재합니다. 2층 네트워크는 Layer1의 보안을 상당 부분 또는 어느 정도 상속할 수 있습니다. 보안이라는 개념 자체는 DA, 상태 검증, 출금 검증, 검열 저항성, 재구성 저항성 등 여러 세부 지표로 나눌 수 있습니다.

비트코인 네트워크 자체에 여러 문제가 존재하여, 완전한 Layer2 네트워크를 지원하기에 불리합니다. 예를 들어 DA 측면에서 비트코인의 데이터 처리량은 이더리움보다 훨씬 낮으며, 평균 10분의 블록 생성 시간을 기준으로 할 때 비트코인의 최대 데이터 처리량은 6.8KB/s에 불과하며, 이는 이더리움의 1/20에 해당합니다. 이렇게 혼잡한 블록 공간은 자연스럽게 높은 데이터 게시 비용을 초래합니다.

（비트코인 블록 내 데이터 게시 비용은 심지어 바이트당 1.13 달러에 이를 수 있습니다）

Layer2가 새로운 거래 데이터를 비트코인 블록에 직접 게시하면 높은 처리량을 달성할 수 없고 낮은 수수료도 실현할 수 없습니다. 따라서 데이터 크기를 가능한 한 작게 압축한 후 비트코인 블록에 업로드해야 합니다. 현재 Citrea는 이러한 방안을 채택하고 있으며, 일정 기간 내의 상태 변화량(state diff), 즉 여러 계정에서 발생한 상태 변경 결과와 해당 ZK 증명을 함께 비트코인 체인에 업로드할 것이라고 주장합니다.

이 경우 누구나 비트코인 메인넷에서 state diff와 ZKP를 다운로드하여 유효성을 검증할 수 있지만, 체인에 올라가는 데이터 크기는 경량화될 수 있습니다.

（이전 Polygon Hermez의 백서에서는 위의 압축 방안의 원리를 설명하였습니다）

이러한 방안은 데이터 크기를 크게 압축하는 동시에 결국 병목 현상에 직면할 수 있습니다. 예를 들어, 10분 내에 수만 건의 거래가 발생하여 수천 개의 계정에서 상태 변경이 발생하면, 이러한 계정의 변화 상황을 요약하여 비트코인 체인에 업로드해야 합니다. 직접적으로 각 거래 데이터를 업로드하는 것에 비해 훨씬 경량화되지만, 여전히 상당한 데이터 게시 비용이 발생할 것입니다.

그래서 많은 비트코인 Layer2는 DA 데이터를 비트코인 메인넷에 업로드하지 않고 Celestia와 같은 제3자 DA 레이어를 직접 사용합니다. B\^2는 또 다른 방식을 채택하여 체인 아래에 DA 네트워크(데이터 배포 네트워크)를 구축하였으며, 이를 B\^2 Hub라고 합니다. B\^2의 프로토콜 설계에서 거래 데이터나 state diff와 같은 중요한 데이터는 체인 아래에 저장되며, 비트코인 메인넷에는 이러한 데이터의 저장 인덱스와 데이터 해시(사실은 머클 루트, 설명의 편의를 위해 데이터 해시라고 표현합니다)만 업로드됩니다.

이 데이터 해시와 저장 인덱스는 명문과 유사한 방식으로 비트코인 체인에 기록됩니다. 비트코인 노드를 실행하기만 하면 데이터 해시와 저장 인덱스를 로컬로 다운로드할 수 있으며, 인덱스 값을 기준으로 B\^2의 체인 아래 DA 레이어 또는 저장 레이어에서 원본 데이터를 읽을 수 있습니다. 데이터 해시를 통해 체인 아래 DA 레이어에서 가져온 데이터가 올바른지(비트코인 체인上的 데이터 해시와 일치하는지) 판단할 수 있습니다. 이러한 간단한 방식으로 Layer2는 DA 문제에서 비트코인 메인넷에 과도하게 의존하는 것을 피하고 수수료 비용을 절감하며 높은 처리량을 실현할 수 있습니다.

물론, 간과할 수 없는 점은 이러한 체인 아래 제3자 DA 플랫폼이 데이터 보유를 할 가능성이 있으며, 외부에서 새로운 데이터에 접근하는 것을 거부할 수 있다는 것입니다. 이러한 상황은 "데이터 보유 공격"이라는 전문 용어로 설명되며, 데이터 배포에서의 검열 저항 문제로 요약될 수 있습니다. 다양한 DA 방안은 서로 다른 해결책을 가지고 있지만, 핵심 목표는 데이터를 가능한 한 빠르고 널리 퍼뜨리는 것입니다. 소수의 특권 노드가 데이터 접근 권한을 통제하지 못하도록 방지하는 것입니다.

B\^2 Network의 공식 새로운 로드맵에 따르면, 그 DA 방안은 Celestia를 참고하였습니다. 후자의 설계에서 제3자의 데이터 제공자는 지속적으로 Celestia 네트워크에 데이터를 제공하며, Celestia 블록 생성자는 이러한 데이터 조각을 머클 트리 형태로 조직하여 TIA 블록에 삽입하고 네트워크의 검증자/전체 노드에게 방송합니다.

이러한 데이터가 많고 블록이 크기 때문에 대부분의 사람들은 전체 노드를 운영할 수 없고, 경량 노드만 운영할 수 있습니다. 경량 노드는 전체 블록을 동기화하지 않고 블록 헤드만 동기화하며, 머클 트리의 루트가 기록되어 있습니다.

경량 노드는 블록 헤드만으로는 머클 트리의 전체 모습을 알 수 없고, 새로운 데이터가 무엇인지 알 수 없으며, 데이터에 문제가 있는지 검증할 수 없습니다. 그러나 경량 노드는 전체 노드에게 트리의 특정 리프(leaf)를 요청할 수 있습니다. 전체 노드는 요청에 따라 리프와 해당 머클 증명을 함께 경량 노드에게 제출하여, 후자가 이 리프가 실제로 Celestia 블록의 머클 트리에 존재한다는 것을 확신할 수 있도록 합니다.

（출처: W3 Hitchhiker）

Celestia 네트워크에는 많은 경량 노드가 존재하며, 이들 경량 노드는 다양한 전체 노드에게 고빈도 데이터 샘플링을 요청하여 머클 트리에서 무작위로 몇 개의 데이터 조각을 추출합니다. 경량 노드가 이러한 데이터 조각을 확보한 후, 자신이 연결할 수 있는 다른 노드에게도 전파할 수 있습니다. 이렇게 하면 가능한 많은 사람/장치에게 데이터를 신속하게 배포하여 효율적인 데이터 전파를 실현할 수 있습니다. 충분히 많은 노드가 최신 데이터를 신속하게 확보할 수 있다면, 사람들은 소수의 데이터 제공자를 신뢰할 필요가 없게 됩니다. 이것이 DA/데이터 배포의 핵심 목적 중 하나입니다.

물론, 위에서 설명한 방안만으로는 공격 시나리오가 존재합니다. 왜냐하면 이는 데이터 배포 시 사람들이 데이터를 신속하게 확보할 수 있도록 보장할 수 있지만, 데이터의 생산 출처가 악의적이지 않다는 것을 보장할 수 없기 때문입니다. 예를 들어, Celestia 블록 생성자는 블록에 쓰레기 데이터를 섞어 넣을 수 있으며, 사람들이 블록 내의 모든 데이터 조각을 확보하더라도 "본래 포함되어야 할" 완전한 데이터 세트를 복원할 수 없습니다. (여기서 "본래"라는 단어가 중요합니다.)

더 나아가 원본 데이터 세트에는 100개의 거래가 있을 수 있으며, 그 중 특정 거래의 데이터가 외부에 완전하게 전파되지 않았습니다. 이 경우, 데이터 조각의 1%만 숨기면 외부에서는 완전한 데이터 세트를 해석할 수 없습니다. 이것이 초기 데이터 보유 공격 문제에서 논의된 시나리오입니다.

사실, 여기서 설명한 시나리오를 바탕으로 데이터 가용성을 이해하면, 가용성이라는 단어는 블록 내의 거래 데이터가 완전한지, 사용할 수 있는지, 다른 사람에게 직접 검증할 수 있는지를 설명하는 것이지, 많은 사람들이 이해하는 것처럼 블록체인 역사 데이터가 외부에서 읽힐 수 있는지를 의미하지 않습니다. 따라서 Celestia 공식과 L2BEAT 창립자는 데이터 가용성을 데이터 게시로 이름을 바꿔야 한다고 지적했습니다. 이는 블록 내에 완전한 가용성의 거래 데이터 세트가 게시되었는지를 의미합니다.

Celestia는 2차원 에러 정정 코드를 도입하여 위에서 설명한 데이터 보유 공격 문제를 해결합니다. 블록에 포함된 1/4의 데이터 조각(에러 정정 코드)만 유효하면, 사람들은 해당 원본 데이터 세트를 복원할 수 있습니다. 블록 생성자가 블록에 3/4의 쓰레기 데이터 조각을 섞어 넣지 않는 한, 외부에서는 원본 데이터 세트를 복원할 수 없습니다. 그러나 이러한 경우 블록에 포함된 쓰레기 데이터가 너무 많아 경량 노드들이 쉽게 감지할 수 있습니다. 따라서 블록 생성자에게는 악의적이지 않는 것이 더 좋습니다. 왜냐하면 악의적 행동은 거의 즉시 수많은 사람들에게 감지되기 때문입니다.

앞서 설명한 방안을 통해 "데이터 배포 플랫폼"에서 데이터 보유를 방지할 수 있으며, B\^2 Network는 앞으로 Celestia의 데이터 샘플링을 중요한 참고로 삼고, KZG 약속 등 암호학 기술을 결합하여 경량 노드가 데이터 샘플링 및 검증을 수행하는 비용을 더욱 낮출 것입니다. 데이터 샘플링을 수행하는 노드가 충분히 많으면 DA 데이터의 배포가 효과적이고 신뢰할 수 없게 됩니다.

물론, 위의 방안은 DA 플랫폼 자체의 데이터 보유 문제만 해결했을 뿐, Layer2의 하위 구조에서는 데이터 보유를 일으킬 수 있는 것은 DA 플랫폼뿐만 아니라 정렬기(Sequencer)도 있습니다. B\^2 Network 및 대부분의 Layer2의 작업 흐름에서 새로운 데이터는 정렬기 Sequencer에 의해 생성되며, 이는 사용자 측에서 보낸 거래를 집계 처리하고, 이러한 거래 실행 후의 상태 변경 결과를 포함하여 배치(batch)로 포장한 후 DA 레이어 역할을 하는 B\^2 Hub 노드에 전송합니다.

정렬기가 처음 생성한 배치에 문제가 있다면 데이터 보유의 가능성이 여전히 존재하며, 물론 다른 형태의 악의적 시나리오도 포함됩니다. 따라서 B\^2의 DA 네트워크(B\^2 Hub)는 정렬기가 생성한 배치를 수신한 후, 먼저 배치의 내용을 검증하고 문제가 있으면 거부합니다. B\^2 Hub는 Celestia의 DA 레이어 역할을 할 뿐만 아니라 체인 아래의 검증 레이어 역할도 하며, CKB가 RGB++ 프로토콜에서 수행하는 역할과 유사합니다.

（불완전한 B\^2 Network 하위 구조도）

B\^2 Network의 최신 기술 로드맵에 따르면, B\^2 Hub는 배치를 수신하고 검증한 후 일정 기간만 보유하며, 이 기간이 지나면 배치 데이터는 만료되어 B\^2 Hub 노드의 로컬에서 삭제됩니다. EIP-4844와 유사한 데이터 삭제 및 손실 문제를 해결하기 위해 B\^2 Network는 일련의 저장 노드를 설정하였습니다. 이러한 저장 노드는 배치 데이터를 영구적으로 보관하는 역할을 하며, 이를 통해 누구나 언제든지 저장 네트워크에서 필요한 역사 데이터를 검색할 수 있습니다.

하지만 아무도 B\^2 저장 노드를 무작정 운영하지는 않을 것입니다. 더 많은 사람들이 저장 노드를 운영하도록 유도하고 네트워크의 신뢰성을 높이기 위해 인센티브 메커니즘을 제공해야 하며; 인센티브 메커니즘을 제공하기 위해서는 먼저 반부정행위 방법을 생각해야 합니다. 예를 들어, 만약 당신이 인센티브 메커니즘을 제안하여 누구나 자신의 장치에 데이터를 저장하면 보상을 받을 수 있다고 가정해 보겠습니다. 그러면 누군가는 데이터를 다운로드한 후 일부 데이터를 몰래 삭제하고 자신이 저장한 데이터가 완전하다고 주장할 수 있습니다. 이것이 가장 일반적인 부정행위 방법입니다.

Filecoin은 PoRep 및 PoSt라는 증명 프로토콜을 통해 저장 노드가 외부에 저장 증명을 제시하여 주어진 시간 동안 데이터를 완전하게 저장했음을 증명합니다. 그러나 이러한 저장 증명 방안은 ZK 증명을 생성해야 하며, 계산 복잡도가 매우 높아 저장 노드의 하드웨어 장치에 높은 요구 사항이 있을 수 있으며, 경제적 비용 측면에서 실행 가능하지 않을 수 있습니다.

B\^2 Network의 새로운 기술 로드맵에서는 저장 노드가 Arweave와 유사한 메커니즘을 채택하여 블록 생성 권한을 쟁취하여 토큰 인센티브를 얻어야 합니다. 저장 노드가 일부 데이터를 임의로 삭제하면 다음 블록 생성자가 될 확률이 낮아지며, 데이터를 가장 많이 보유한 노드가 블록 생성에 성공할 가능성이 높아져 더 많은 보상을 받을 수 있습니다. 따라서 대부분의 저장 노드에게는 완전한 역사 데이터 세트를 보유하는 것이 더 좋습니다.

물론, 인센티브는 저장 노드뿐만 아니라 앞서 언급한 B\^2 Hub 노드에도 제공됩니다. 로드맵에 따르면 B\^2 Hub는 Permissionless POS 네트워크로 구성되며, 누구나 충분한 토큰을 스테이킹하면 B\^2 Hub 또는 저장 네트워크의 일원이 될 수 있습니다. 이러한 방식으로 B\^2 Network는 체인 아래에서 탈중앙화된 DA 플랫폼 및 저장 플랫폼을 구축하려고 시도하며, 미래에는 B\^2 외의 비트코인 Layer2를 통합하여 범용 비트코인 체인 아래 DA 레이어 및 데이터 저장 레이어를 구축할 것입니다.

ZK와 사기 증명을 혼합한 상태 검증 방안

앞서 B\^2 Network의 DA 솔루션을 설명하였으며, 이제 상태 검증 솔루션에 대해 중점적으로 설명하겠습니다. 상태 검증 솔루션이란 Layer2가 자신의 상태 전환이 충분히 "신뢰할 수 없다"고 보장하는 방법을 의미합니다.

（L2BEAT 웹사이트에서 Scroll에 대해 평가한 다섯 가지 보안 지표 중 상태 검증은 상태 검증 솔루션을 의미합니다）

앞서 언급했듯이, B\^2 Network 및 대부분의 Layer2의 작업 흐름에서 새로운 데이터는 정렬기 Sequencer에 의해 생성되며, 이는 사용자 측에서 보낸 거래를 집계 처리하고, 이러한 거래 실행 후의 상태 변경 결과를 포함하여 배치(batch)로 포장한 후 Layer2 네트워크의 다른 노드, 즉 일반 Layer2 전체 노드 및 B\^2 Hub 노드에 전송합니다.

B\^2 Hub 노드는 배치 데이터를 수신한 후 내용을 분석하고 검증을 수행합니다. 여기에는 앞서 언급한 "상태 검증"이 포함됩니다. 사실 상태 검증은 정렬기가 생성한 배치에서 기록된 "거래 실행 후의 상태 변화"가 올바른지를 검증하는 것입니다. 만약 B\^2 Hub 노드가 오류 상태를 포함한 배치를 수신하면 이를 거부합니다.

사실 B\^2 Hub는 본질적으로 POS 퍼블릭 체인으로, 블록 생성자와 검증자의 구분이 있습니다. 일정 시간마다 B\^2 Hub의 블록 생성자는 새로운 블록을 생성하고 이를 다른 노드(검증자)에게 전파합니다. 이러한 블록에는 정렬기가 제출한 배치 데이터가 포함되어 있습니다. 나머지 작업 흐름은 앞서 언급한 Celestia와 유사하며, 많은 외부 노드가 B\^2 Hub 노드에게 데이터 조각을 요청합니다. 이 과정에서 배치 데이터는 많은 노드 장치에 배포되며, 앞서 언급한 저장 네트워크도 포함됩니다.

B\^2 Hub에는 커미터(Committer)라는 이름의 교체 가능한 역할이 존재하며, 이 역할은 배치의 데이터 해시(사실은 머클 루트)와 저장 인덱스를 명문 형태로 비트코인 체인에 제출합니다. 이 데이터 해시와 저장 인덱스를 읽기만 하면 체인 아래 DA 레이어/저장 레이어에서 완전한 데이터를 확보할 수 있습니다. 체인 아래에 N개의 노드가 배치 데이터를 저장하고 있다면, 그 중 하나의 노드가 데이터를 외부에 제공할 의사가 있다면 누구나 필요한 데이터를 확보할 수 있습니다. 여기서 신뢰 가정은 1/N입니다.

물론, 우리는 위 과정에서 Layer2 상태 전환의 유효성을 검증하는 B\^2 Hub가 비트코인 메인넷과 독립적이며, 단지 체인 아래의 검증 레이어라는 것을 쉽게 알 수 있습니다. 따라서 이 시점에서 Layer2의 상태 검증 솔루션은 신뢰성 면에서 비트코인 메인넷과 동등하지 않습니다.

일반적으로 ZK 롤업은 Layer1의 보안을 완전히 상속할 수 있지만, 현재 비트코인 체인에서는 매우 간단한 계산만 지원하므로 ZK 증명을 직접 검증할 수 없습니다. 따라서 어떤 Layer2도 보안 모델 면에서 이더리움의 ZK 롤업과 동등할 수 없습니다. Citrea와 BOB 등이 그 예입니다.

현재로서는 "비교적 실행 가능한" 아이디어는 BitVM 백서에서 설명한 것처럼 복잡한 계산 과정을 비트코인 체인 아래로 옮기고, 필요할 때만 특정 간단한 계산을 체인 위에서 수행하는 것입니다. 예를 들어 ZK 증명을 검증할 때 발생하는 계산 흔적은 공개되어 외부에서 검토할 수 있습니다. 만약 사람들이 그 중 어떤 세부적인 계산 단계에 문제가 있다고 발견하면, 비트코인 체인에서 이 "논란이 있는 계산"을 검증할 수 있습니다. 여기에는 비트코인의 스크립트 언어를 사용하여 EVM 등 특별한 가상 머신의 기능을 시뮬레이션해야 하며, 소모되는 공정량이 매우 클 수 있지만 불가능한 것은 아닙니다.

B\^2 Network의 기술 솔루션에서 정렬기가 새로운 배치를 생성한 후, 이를 집계기 및 증명자에게 전달하며, 후자는 배치의 데이터 검증 과정을 ZK화하여 ZK 증명을 생성한 후 B\^2 Hub 노드에게 전달합니다. B\^Hub 노드는 EVM 호환으로, Solidity 계약을 통해 ZK 증명을 검증합니다. 이 과정에서 관련된 모든 계산 과정은 매우 저수준의 논리 게이트 회로 형태로 분해되며, 이러한 논리 게이트 회로는 비트코인 스크립트 언어 형태로 표현되어 충분한 처리량을 가진 제3자 DA 플랫폼에 제출됩니다.

사람들이 공개된 ZK 검증 흔적에 의문을 제기하고 특정 작은 단계에 오류가 있다고 생각하면, 비트코인 체인에서 "도전"을 진행하여 비트코인 노드가 이 문제 있는 단계를 직접 검토하고 적절한 처벌을 내리도록 요구할 수 있습니다.

（B\^2 Network의 전체 구조도, 데이터 샘플링 노드 제외）

그렇다면 누가 처벌받는가? 사실 커미터입니다. B\^2 Network의 설정에서 커미터는 앞서 언급한 데이터 해시를 비트코인 체인에 게시할 뿐만 아니라 ZK 증명의 검증 "약속"도 비트코인 메인넷에 게시해야 합니다. 비트코인 Taproot의 일부 설정을 통해, 언제든지 비트코인 체인에서 커미터가 게시한 "ZK 증명 검증 약속"에 대해 의문을 제기하고 도전할 수 있습니다.

여기서 "약속"(Commitment)이란 무엇인지 설명하겠습니다. "약속"의 의미는 특정 사람들이 특정 체인 아래 데이터가 정확하다고 주장하고, 이에 대한 선언을 체인 위에 게시하는 것입니다. 이 선언이 바로 "약속"입니다. 약속 값은 특정 체인 아래 데이터와 연결됩니다. B\^2의 방안에서 누군가 커미터가 게시한 ZK 검증 약속에 문제가 있다고 생각하면 도전할 수 있습니다.

어떤 사람들은 앞서 B\^2 Hub가 배치를 수신한 후 직접적으로 유효성을 검증한다고 언급했는데, 왜 다시 ZK 증명을 검증해야 하는가? 왜 배치 검증 과정을 공개하여 사람들이 직접 도전하게 하지 않고 ZK 증명을 도입해야 하는가? 이는 계산 흔적을 충분히 작게 압축하기 위한 것입니다. 만약 Layer2 거래를 검증하고 상태 변경을 생성하는 계산 과정을 모두 논리 게이트 회로와 비트코인 스크립트 형태로 공개하면, 데이터 크기가 엄청나게 커질 것입니다. 그러나 ZK화하면 데이터 크기를 크게 압축한 후 게시할 수 있습니다.

여기서 B\^2의 작업 흐름을 대략 정리하겠습니다:

1. B\^2의 정렬기 Sequencer는 새로운 Layer2 블록을 생성하고 여러 블록을 데이터 배치(data batch)로 집계합니다. 데이터 배치는 집계기 Aggregator 및 B\^Hub 네트워크의 검증자 노드에게 전송됩니다.
2. 집계기는 데이터 배치를 증명자 노드에게 전송하여 후자가 해당 제로 지식 증명을 생성하게 합니다. ZK 증명은 이후 B\^2의 DA 및 검증자 네트워크(B\^2Hub)로 전송됩니다.
3. B\^2Hub 노드는 집계기가 보낸 ZK 증명이 정렬기가 보낸 배치와 일치하는지 검증합니다. 두 가지가 일치하면 검증을 통과합니다. 검증된 배치의 데이터 해시와 저장 인덱스는 특정 B\^Hub 노드(커미터라고 불림)에 의해 비트코인 체인에 전송됩니다.
4. B\^Hub 노드는 ZK 증명의 전체 계산 과정을 공개하고, 계산 과정의 약속을 비트코인 체인에 전송하여 누구나 이에 도전할 수 있도록 합니다. 도전이 성공하면 약속을 게시한 B\^Hub 노드는 경제적 처벌을 받게 됩니다(비트코인 체인上的 UTXO가 해제되어 도전자에게 이전됩니다).

B\^2 Network의 이러한 상태 검증 솔루션은 ZK를 도입하고 사기 증명을 채택하여, 실제로 혼합형 상태 검증 방식에 해당합니다. 체인 아래에 최소한 1개의 정직한 노드가 존재하고 오류를 감지한 후 도전을 원한다면 B\^2 Network의 상태 전환이 문제 없음을 보장할 수 있습니다.

서구 비트코인 커뮤니티 구성원들의 의견에 따르면, 미래 비트코인 메인넷은 더 많은 계산 기능을 지원하기 위해 적절한 분기를 진행할 수 있으며, 아마도 미래에는 비트코인 체인에서 직접 ZK 증명을 검증하는 것이 현실이 될 것이고, 그때는 전체 비트코인 Layer2에 새로운 패러다임의 변혁을 가져올 것입니다. B\^2 Hub는 범용 DA 레이어 및 검증 레이어로서 B\^2 Network의 전용 모듈로 사용될 수 있을 뿐만 아니라 다른 비트코인 Layer2에도 힘을 실어줄 수 있습니다. 비트코인 Layer2의 대쟁투 속에서 체인 아래 기능 확장 레이어는 점점 더 중요해질 것이며, B\^Hub와 BTCKB의 출현은 아마도 이러한 기능 확장 레이어의 빙산의 일각에 불과할 것입니다.