원저자: Stone , B² 네트워크 연구 책임자
B² 네트워크는 비트코인의 레이어 2 솔루션입니다. 주로 비트코인 네트워크에 제출할 영지식 증명 확인 약속을 사용하여 도전자가 사기 증명 문제를 시작하여 비트코인 네트워크의 강력한 합의를 사용하여 보안을 보장할 수 있도록 합니다. B² Network의 목표는.
이 글에서는 주로 이더 에서 ZK-Rollup과 OP-Rollup의 작동 메커니즘을 소개하고, 마법의 NAND 게이트 회로를 소개하고, 약속의 역할을 소개하고, 이러한 메커니즘과 개념을 사용하여 B² 네트워크에서 영지식 증명 검증 약속을 설계합니다. 그런 다음 영지식 증명이 비트코인 네트워크에서 약속이 실행되는 방법과 B² 네트워크의 보안을 보장하는 방법을 설명합니다.
이더 의 ZK-롤업
ZK-Rollup은 단일 레이어 블록체인 네트워크에서 여러 트랜잭션을 집계하고 영지식 증명을 활용하여 이러한 트랜잭션 배치의 정확성과 무결성을 보장하는 블록체인용 2레이어 확장 솔루션입니다. 두 번째 레이어 네트워크의 보안을 보장하기 위해 레이어 네트워크. 높은 수준의 보안과 데이터 무결성을 유지하면서 블록체인 시스템의 처리량을 늘리고 거래 수수료를 줄이도록 설계되었습니다.
ZK-Rollup의 실행 프로세스는 대략 다음과 같습니다.
거래 집계 및 순서. 사용자는 ZK-Rollup에 트랜잭션을 제출하고 해당 트랜잭션은 mempool에 제출됩니다. ZK-Rollup의 Sequencer는 mempool에서 사용자 트랜잭션을 획득하고 순서. Sequencer는 트랜잭션 처리, 계정 상태 업데이트 및 최종적으로 이러한 업데이트를 나타내는 배치 생성을 담당합니다.
상태 전환 및 계산. 모든 트랜잭션 실행 및 상태 업데이트는 오프체인에서 발생합니다. ZK-Rollup의 VM(zkEVM 및 zkVM과 같은 다양한 영지식 증명 스마트 계약 실행 엔진 포함)은 새 계정 상태를 계산하고 전송 및 스마트 계약 상호 작용과 같은 작업을 처리합니다. 동시에 새로운 계정 상태 및 영지식 증명을 포함하여 이러한 거래 및 상태 업데이트가 유효하다는 것을 증명하는 데 필요한 데이터와 증거가 생성됩니다.
영지식 증명 생성. ZK-Rollup의 Prover는 영지식 증명 기술(예: zk-SNARK 또는 zk-STARK)을 활용하여 모든 집계된 트랜잭션이 유효하고 네트워크 규칙을 위반하지 않는다는 증거를 만듭니다. 이 증명은 거래 내용에 대한 어떠한 정보도 공개하지 않으며, 데이터 무결성과 보안을 보장하는 동시에 사용자 개인정보를 보호합니다.
영지식 증명 검증. Aggregator는 데이터 배치와 영지식 증명을 단층 블록체인 네트워크에 제출합니다. 이는 일반적으로 필요한 온체인 공간을 줄이기 위해 압축 형태로 발생합니다. 블록체인 네트워크 계층의 스마트 계약은 이러한 데이터와 증명을 수신하고 증명의 유효성을 확인합니다. 유효한 것으로 입증되면 계약은 기록된 ZK-Rollup 레이어의 상태를 업데이트합니다.
ZK-Rollup의 핵심은 영지식 증명의 생성과 검증에 있습니다. ZK-Rollup의 트랜잭션은 오프체인에서 실행되고 상태는 오프체인에서 생성되며 ZK-Rollup의 약속으로 Prover를 통해 영지식 증명이 생성됩니다. 이 약속은 ZK-Rollup의 트랜잭션이 정확하고 효과적으로 실행되어 올바른 상태를 생성함을 나타냅니다. 1계층 블록체인 네트워크는 ZK-Rollup의 모든 거래와 상태를 검증할 필요 없이 약속만 검증하면 되며, 약속의 검증은 1계층의 스마트 계약을 통해 영지식 증명 검증을 실시하는 것이다. ZK-Rollup의 유효성을 확인하기 위해 네트워크를 사용합니다.
따라서 이더 의 ZK-Rollup에서 영지식 증명 데이터는 두 번째 계층 네트워크가 첫 번째 계층 네트워크에 제출한 약속입니다.
이더 의 OP-롤업
OP-Rollup(Optimistic Rollup)은 최소한의 데이터를 온 온체인 에 유지하고 오프체인에서는 최대한 많은 계산을 수행하여 블록체인 성능을 확장하도록 설계된 기술입니다. OP-Rollup은 대부분의 거래가 정직하다는 '낙관적' 가정을 활용하여 각 거래의 유효성을 즉시 확인하는 대신 일정 시간이 지난 후에 확인함으로써 처리량과 효율성을 크게 향상시킵니다.
OP-Rollup의 실행 프로세스는 대략 다음과 같습니다.
거래 집계 및 순서. 사용자는 OP-Rollup에 트랜잭션을 제출하고 해당 트랜잭션은 mempool에 제출됩니다. OP-Rollup의 Sequencer는 mempool에서 사용자의 트랜잭션을 가져오고 순서. Sequencer는 트랜잭션 처리, 계정 상태 업데이트 및 최종적으로 이러한 업데이트를 나타내는 배치 생성을 담당합니다.
거래 실행. OP-롤업 트랜잭션은 오프체인으로 실행됩니다. 트랜잭션의 각 배치를 실행하면 이전 상태가 새 상태로 변환됩니다. 각 배치는 새로운 상태 루트(전체 시스템 상태를 나타내는 암호화된 "스냅샷")를 계산합니다. 이를 블록체인 네트워크 계층에 제출합니다.
상태 확인. OP-Rollup은 트랜잭션 배치를 제출할 때 즉시 복잡한 검증을 수행하지 않지만 "낙관적으로" 이러한 트랜잭션이 유효하다고 가정한 다음 블록체인 네트워크 계층을 제출합니다. 관찰자가 배치가 유효하지 않다고 생각하는 경우 사기 증명을 제출하여 배치에 이의를 제기할 수 있습니다. 낙관적 롤업 솔루션에서 사기 방지는 모든 관찰자가 온체인 에 부정확하거나 악의적으로 제출된 상태 또는 트랜잭션에 대해 이의를 제기할 수 있도록 하는 메커니즘입니다. Optimistic Rollup은 사기 증명을 활용하여 "낙관적으로" 승인된 거래라도 사후에 잘못된 것으로 입증되어 그에 따라 취소될 수 있도록 보장합니다.
챌린지 메커니즘. 챌린지 기간은 OP-Rollup이며 제출 상태가 확인된 후 누구나 제출된 배치를 확인하고 오류가 발견되면 사기 증명을 제출할 수 있는 챌린지 기간이 있습니다. 이는 일반적으로 레이어에 트랜잭션을 제출하는 방식입니다. 블록체인 네트워크를 구현하기 위해 트랜잭션은 오류라고 생각되는 것을 선언하고 해당 증거를 제공합니다. Arbitrum Rollup(Optimistic Rollup의 솔루션)은 "대화형 검증 게임"이라는 프로세스를 사용하여 문제를 해결합니다. 이 과정에서 도전자와 제출자 사이에 일련의 라운드가 진행되어 무엇이 잘못되었는지에 대한 의견 불일치의 범위가 점차 좁아집니다(이진 검색 방법을 사용하여 잘못된 거래 위치를 빠르게 찾아냄). 궁극적으로 이 프로세스는 오류가 발생한 정확한 위치를 결정합니다. 오류가 확인되면 원래 배치가 취소되고 오류를 제기한 검증자는 처벌을 받게 됩니다. 도전이 실패할 경우 도전자는 도전을 시작하기 위해 걸었던 자금을 잃을 수 있으며, 도전이 성공하면 도전자는 도전을 성공적으로 시작하여 얻은 보상 자금을 받을 수 있습니다.
OP-Rollup의 핵심은 사기 방지 및 이의 제기 메커니즘에 있습니다. OP-Rollup은 먼저 모든 트랜잭션이 올바르게 실행된다는 것을 "낙관적"으로 한 다음 네트워크 첫 번째 계층의 계약에 있는 가상 머신(AVM, OVM)의 바이트코드로 계산을 컴파일하고 바이트코드의 약속을 해제합니다. . OP-Rollup의 약정 확인에는 트랜잭션 계산, 바이트코드 획득 및 약정 확인이 필요합니다. 관찰자가 약속이 일치하지 않는 배치를 발견하면 관찰자는 챌린지 메커니즘을 통해 사기 증명을 생성하고 보상을 받습니다.
이더 의 OP-Rollup은 먼저 "낙관적으로" 약속을 확인하고 제출한 다음 챌린지 메커니즘을 사용하여 누구나 제출된 약속에 이의를 제기할 수 있도록 하고 마지막으로 약속과 챌린지를 통해 OP-Rollup이 검증되고 확인되도록 합니다.
마법의 NAND 게이트
NAND 게이트는 디지털 논리의 기본 논리 게이트로 논리 AND(AND) 연산 뒤에 논리 NOT(NOT) 연산을 구현한다. NAND 게이트의 특성은 다른 논리 게이트와 복잡한 논리 회로를 구성할 수 있는 기초가 됩니다. 다음은 NAND 게이트를 사용하여 논리 게이트(예: AND 게이트, OR 게이트, XOR 게이트)와 덧셈 게이트 및 뺄셈 게이트를 구성하는 방법에 대한 자세한 소개입니다.
1. NAND 게이트 기본
NAND 게이트에는 두 개의 입력이 있고 두 입력이 모두 1인 경우에만 출력이 0이고, 다른 모든 경우에는 출력이 1입니다. 이는 A NAND B라는 논리식으로 표현할 수 있습니다.
2. 기본 논리 게이트 구성
AND 게이트(AND)
NAND 게이트를 사용하여 AND 게이트를 구성하려면:
1단계: 두 입력을 NAND 게이트에 연결합니다.
2단계: 이 NAND 게이트의 출력을 다른 NAND 게이트의 두 입력에 연결합니다.
결과: 두 번째 NAND 게이트의 출력은 AND 게이트의 결과입니다.
OR 게이트(OR)
NAND 게이트를 사용하여 OR 게이트를 구성하려면:
1단계: 각 입력을 NAND 게이트(셀프 및 셀프)를 통해 전달하여 두 개의 NOT 게이트 효과를 생성합니다.
2단계: 이 두 NAND 게이트의 출력을 하나의 NAND 게이트의 입력으로 사용합니다.
결과: NAND 게이트의 출력은 OR 게이트의 결과입니다.
배타적 OR 게이트(XOR)
NAND 게이트를 사용하여 XOR 게이트를 구성하려면(조금 더 복잡함):
1단계: 두 개의 NAND 게이트를 구성하고 각 입력이 그 중 하나에 연결됩니다.
2단계: 첫 번째 단계의 두 NAND 게이트의 출력을 세 번째 NAND 게이트의 입력으로 사용합니다.
3단계: 원래 입력 A와 첫 번째 NAND 게이트의 출력을 네 번째 NAND 게이트에 연결하고 원래 입력 B와 두 번째 NAND 게이트의 출력을 다섯 번째 NAND 게이트에 연결합니다.
4단계: 마지막으로 네 번째와 다섯 번째 NAND 게이트의 출력을 여섯 번째 NAND 게이트에 연결합니다.
결과: 여섯 번째 NAND 게이트의 출력은 XOR 게이트의 결과입니다.
3. 추가 게이트 구축
반가산기
반가산기는 2비트 덧셈을 처리하고 합과 캐리를 생성하는 간단한 가산기입니다.
합계: XOR 게이트를 사용하여 합계를 생성합니다.
캐리: AND 게이트를 사용하여 캐리를 생성합니다.
이러한 기본 게이트는 NAND 게이트를 사용하여 구성한 다음 결합하여 반가산기를 형성합니다.
전가산기
전가산기는 하위 비트의 캐리 입력을 고려합니다.
1단계: 두 개의 반가산기를 구성합니다. 첫 번째는 A와 B를 처리하고, 두 번째는 첫 번째 반가산기의 합과 입력 C를 처리합니다.
Sum: 후반가산기의 합산 출력.
캐리(Carry): 두 반가산기의 캐리 출력은 OR 게이트를 통해 연결됩니다.
NAND 게이트를 사용하여 반가산기와 OR 게이트를 구성한 다음 이를 결합하여 전가산기를 형성합니다.
4. 빼기 게이트 구축
하프 감산기
절반 감산기는 두 비트의 빼기를 처리합니다.
차이: XOR 게이트를 사용하여 차이를 생성합니다.
빌림: NAND 게이트와 NOT 게이트를 사용하여 빌림을 생성합니다.
NAND 게이트를 사용하여 XOR 게이트 및 기타 필수 논리를 구성한 다음 이를 결합하여 반 감산기를 형성합니다.
전감산기
완전 감산기는 높은 비트에서 빌린 것을 고려합니다.
1단계: 두 개의 반감산기를 구성합니다. 첫 번째는 A와 B를 처리하고 두 번째는 첫 번째 반감산기의 차이와 빌림 입력을 처리합니다.
차이: 두 번째 반 감산기의 차이 출력입니다.
바로우(Borrow): 두 개의 반 감산기의 빌림 출력은 OR 게이트를 통해 연결됩니다.
NAND 게이트를 사용하여 반 감산기와 OR 게이트를 구성한 다음 이를 결합하여 완전 감산기를 형성합니다.
5. 곱셈 게이트 구성
이진 곱셈
두 개의 이진수의 곱셈을 구현합니다.
1단계: 비트별 곱셈에 AND 게이트를 사용합니다.
2단계: 전가산기를 직렬로 사용하여 연속 덧셈을 수행합니다.
3부: 이동 및 누적을 구현합니다.
6. 등록부 구성
D 플립플롭
1비트의 이진 정보를 저장합니다.
1단계: NAND 게이트를 사용하여 래치를 만듭니다.
2단계: 래치를 플립플롭( Flip -flop)으로 확장합니다.
등록하다
여러 자리 이진수를 저장합니다.
여러 개의 D 플립플롭이 병렬로 연결되어 각각 1비트를 저장합니다.
7. 시계 만들기
발진기
주기적인 클럭 신호를 제공합니다.
NAND 게이트를 사용하여 연속 진동을 생성하는 피드백 루프를 만듭니다.
결론적으로
NAND 게이트는 다른 논리 게이트와 복잡한 회로를 구성할 수 있기 때문에 "범용 논리 게이트"라고 불립니다. 위의 방법을 통해 NAND 게이트는 컴퓨터와 디지털 시스템의 산술 연산의 기초가 되는 복잡한 덧셈, 뺄셈, 곱셈, 저장 및 클럭 회로를 구성하는 데 사용할 수 있습니다. 현대 집적 회로 설계에서는 단순성과 다양성으로 인해 NAND 게이트가 널리 사용됩니다.
B² Network의 실행에서 모든 컴퓨팅 로직은 NAND 게이트를 통해 구성될 수 있습니다.
암호화의 약속
Commitment는 암호화폐와 블록체인에서 널리 사용되며, 영지식 증명의 SHA 256, Merkle Tree, KZG는 모두 Commitment이다. 위에서 소개한 ZK-Rollup과 마찬가지로 영지식 증명을 Rollup의 Commitment로 사용한다. OP-Rollup 바이트코드를 사용한다. 롤업에 대한 약속으로 가상 머신에서.
우리는 Merkle Tree를 사용하여 Promise 사용 방법을 자세히 설명합니다.
Commit: Prover는 모든 값에 대해 해시를 계산하고, 해시는 바이너리 트리의 리프 노드로 사용되며, 위쪽으로 해시 계산이 계속되어 최종적으로 Merkle Tree가 생성되고, 트리 루트 해시가 커밋으로 해제됩니다.
공개: 증명자는 리프 노드와 해당 분기에 해당하는 값을 공개합니다.
check: 검증자는 노출된 값과 분기를 통해 해시를 계산하고 최종적으로 게시된 커밋과 비교하여 검증합니다.
아래 그림과 같이:
Commit: Prover는 각각 tx 1, tx 2...tx 8의 해시를 계산하고, H(1), H(2)...H(8)을 얻고, 지속적으로 쌍으로 해시 계산을 수행하여 최종적으로 그래프를 생성합니다. 의 이진 트리 구조, 즉 머클 트리(Merkle Tree)는 머클 트리 루트 노드의 H(12345678) 값을 프로미스로 공개합니다.
공개: 증명자는 tx 3과 같은 리프 노드에 해당하는 값과 해당 분기(H( 4) -> H( 12) -> H( 5678))를 공개합니다.
check: 검증자는 tx 3 및 분기(H( 4) -> H( 12) -> H( 5678) )를 노출하여 Promise를 계산하고 확인합니다.
tx 3의 해시 H(3)를 계산합니다.
H(3)은 분기의 H(4)와 해시되어 H(34)를 얻습니다.
H(34)는 분기의 H(12)와 해시되어 H(1234)를 얻습니다.
H(1234)는 분기의 H(5678)와 해시되어 H(12345678)를 얻습니다.
게시된 Promise에 대해 H(12345678)를 확인합니다.
B² Network의 영 지식 증명 검증 약속
B² 네트워크는 비트코인 네트워크를 기반으로 구축된 ZK-Rollup 2차 계층 솔루션입니다.
비트코인 ZK-롤업의 한계
비트코인의 튜링 불완전성 한계로 인해 비트코인 네트워크에서는 영지식 증명을 검증할 수 있는 방법이 없으므로, 블록체인 계층에서 영지식 증명 구현을 검증하는 ZK-Rollup의 전통적인 솔루션이 필요합니다. 네트워크는 불가능합니다. 이 방법은 비트코인 네트워크에서 구현됩니다.
ZK-Rollup은 Taproot를 통해 비트코인 네트워크에 영지식 증명 및 롤업 데이터 집계만 기록합니다. 이는 ZK-Rollup 데이터가 비트코인 네트워크에 고정되어 있고 변조될 수 없다는 것만 보장할 수 있지만 ZK-의 보안을 보장할 수는 없습니다. 롤업 트랜잭션: 유효성과 정확성 측면에서 비트코인 네트워크의 강력한 합의 기능을 사용하여 두 번째 레이어 ZK-Rollup의 보안을 보장할 수 있는 방법은 없습니다.
따라서 ZK-Rollup 확인은 비트코인 네트워크에서 이루어져야 합니다.
영지식 증명 및 산술 회로
제로 지식 증명
영지식 증명에서는 산술 회로를 사용하여 증명자가 정보 자체를 공개하지 않고 일부 비밀 정보를 알고 있다는 증명을 구성합니다.
영지식 증명은 산술 회로를 사용하여 증명을 생성합니다.
증거 생성
산술 회로가 구축되면 증명자는 비밀 입력을 사용하여 회로의 출력을 계산합니다. 이 프로세스 동안 증명자는 증명을 구성하는 데 사용되는 추가 정보(영지식 증명에 고유한 약속 및 난수 등)도 생성합니다.
확인서
증명자는 자신의 증명을 검증자에게 보냅니다. 검증자는 증명자의 비밀 입력을 알지 못하지만 회로에 대한 설명과 증명자의 증명을 가지고 있습니다. 검증자는 동일한 회로 계산을 수행하고 그 결과를 증명자가 제공한 증명과 비교하여 증명의 유효성을 확인합니다.
산술 회로
산술 회로는 일반적으로 방향성 비순환 그래프(DAG)로 표현됩니다. 여기서 각 노드는 산술 연산을 나타내고 가장자리는 연산 간 데이터 흐름을 나타냅니다. 입력 노드는 회로의 입력 값(일반적으로 일부 숫자 또는 변수)을 나타내고 내부 노드는 산술 연산을 나타냅니다. 회로의 출력은 최종 계산 결과입니다.
산술 회로의 기본 회로 게이트:
추가 게이트
곱셈 게이트
위의 NAND 게이트 도입에 따르면, 덧셈 게이트를 NAND 게이트로 변환하고, 곱셈 게이트를 NAND 게이트로 변환하고, 마지막으로 NAND 게이트를 기반으로 산술 회로를 논리 게이트 회로로 변환함으로써 산술 회로를 NAND 게이트로 변환할 수 있습니다.
영지식 증명으로 약속 확인
영지식 증명 검증 프로그램 자체가 산술 회로인데, 산술 회로를 NAND 게이트 기반의 논리 게이트로 변환하면 영지식 증명 검증 프로그램이 실제로 NAND 기반 논리 게이트 회로로 변환될 수 있다. 게이트.
NAND 게이트는 비트코인 스크립트를 통해 구현되며 비트 가치 약속은 논리 게이트 제약 조건을 구현하기 위해 입력 및 출력으로 논리 게이트로 조립됩니다.
다음과 같이 축약될 수 있습니다. OP_GATECOMMITMENT, 해당 잠금 해제 스크립트는 다음과 같습니다. .
실제로 NAND 게이트는 비트코인 스크립트를 통해 구현할 수 있으며, 이후 NAND 게이트로부터 덧셈 게이트와 곱셈 게이트를 구성하고, 덧셈 게이트와 곱셈 게이트를 결합하여 연산 회로를 만들고 최종적으로 에 대한 검증 프로그램을 구현한다. 영지식 증명이 구축됩니다. 그러나 관련된 게이트 회로 수가 많기 때문에 구성된 비트코인 스크립트도 매우 크고 실제로 비트코인 네트워크에서 실행될 수 없습니다.
논리 게이트의 입력 및 출력으로 비트 값 커밋을 조립하고 서로 다른 입력 및 출력을 갖는 각 논리 게이트를 리프 노드로 조립하여 회로 바이너리 트리를 형성합니다. 릴리스된 Circuit Taproot는 바이너리 트리의 루트이므로 릴리스 크기가 줄어듭니다. .
Circuit Taproot는 단층 블록체인 네트워크인 Bitcoin에서 B² 롤업으로 커밋됩니다. 네트워크 계층에서 검증을 수행할 수 있는 기존 ZK-Rollup과 달리 B² Rollup은 비트코인에서 직접 검증을 수행할 수 없습니다. 그러나 Optimistic Rollup 방법을 참조하여 확약에 대한 챌린지 메커니즘을 제공하고 챌린지 메커니즘을 통해 Circuit Taproot 확약 확인을 완료할 수 있습니다.
검증 및 응답 프로토콜
BitVM과 달리 두 당사자 간의 오프체인 거래는 사전에 서명이 필요합니다. B² 네트워크는 UTXO 트랜잭션을 사용하여 잠긴 보상을 발행하며 잠금 해제 스크립트는 Taproot 스크립트입니다.
구체적인 잠금 해제 탭루트 스크립트는 Prover가 회로 탭루트 트리의 각 분기에 대한 스크립트를 미리 생성하고 입력 해시를 제공하는 것입니다. Challenger는 사전 이미지를 사용하여 스크립트를 실행합니다. 실행된 출력이 Prover의 제출과 일치하지 않는 경우 MAST (Taproot Merklized Abstract Syntax Tree)를 사용하여 전체 Taproot를 잠금 해제하고 잠긴 보너스를 얻을 수 있습니다.
영지식 검증 프로그램의 운영 비용은 매우 작고 매우 빠르기 때문에 비트코인 네트워크의 사용자는 챌린지 메커니즘의 관찰자 역할을 할 수 있고 B² Rollup에서 제출된 약속을 확인하며 약속이 완료되면 즉시 챌린지를 시작할 수 있습니다. 일치하지 않는 것으로 확인되었습니다.
챌린지 메커니즘은 Arbitrum Rollup의 "대화형 검증 게임"과 유사하며 잘못 실행된 논리 게이트 계산을 지속적으로 찾습니다. 많은 논리 게이트 중에서 잘못된 것을 찾기 위해 이진 검색 방법을 사용하여 게이트 회로 Bitcoin 스크립트를 실행합니다. 잘못된 지점을 가장 빨리 찾은 도전자는 비트코인 네트워크에서 보상을 잠그는 UTXO를 잠금 해제하여 보상을 받게 됩니다.
동시에 Taproot 잠금 스크립트의 분기는 시간 잠금 스크립트이며, 챌린지가 성공하지 않으면 Prover는 챌린지 기간이 끝난 후 시간 잠금 스크립트를 통해 UTXO를 잠금 해제하고 보상을 검색합니다.
요약하다
B² Network는 Ordinals 프로토콜을 사용하여 롤업 데이터를 집계하고 이를 증명하고 Tapscript에 기록하며, 다양한 탈중앙화 스토리지 프로토콜을 사용하여 롤업 세부 데이터를 저장하여 롤업 데이터 가용성을 효과적으로 보장합니다.
비트코인에 대한 영지식 증명 확인 약속을 기록하고 모든 관찰자가 약속 메커니즘에 도전할 수 있도록 함으로써 B² 네트워크는 비트코인의 보안과 비트코인의 합의 롤업 데이터를 상속받을 수 있습니다.
