로그인/ 가입하기

체인웨이에 대한 기술 설명: 비트코인 레이어2 프로젝트가 개념을 도입한 방법

2024/02/01 13:47

따르다

저자: 셰우 & 파우스트, 긱 웹3, 고문: 케빈 허, 비트브이엠 중국 커뮤니티 창시자, 전 웹3 기술 책임자@Huobi

현재 비트코인 레이어2 트랙은 꽃을 피우고 있다고 할 수 있으며, 다양한 기술 솔루션들이 다양한 기술 솔루션이 쌓이고 쌓여 비트코인 생태계라는 용광로에 모였습니다. 블록체인 분야의 빠른 반복 속도로 인해 전문 어휘나 표준은 연구와 혁신, 엔지니어링 착륙 과정에서 끊임없이 변화하고 있습니다. 이러한 맥락에서 많은 프로젝트가 차별화와 주목을 받기 위해 '개념 구축'/'개념 문지르기' 접근 방식을 채택하며, 이는 업계에서 암묵적인 규칙이 되었습니다.

예를 들어, 원래 이더/셀레스티아 생태계에서 활동하던 많은 모듈형 블록체인 프로젝트가 '비트코인 레이어2' 열차에 편승하여 스스로를 '롤업'이라 칭하며 바람을 타고 있습니다. 이들의 기술 솔루션은 롤업의 기준을 충족하지 못하는 경우가 많습니다.

그러나 "롤업"과 같은 용어는 수용도가 높고, "롤업" 배너로 광고하기는 더 쉽습니다. 많은 프로젝트가 (자칭 롤업이라는) 하드와이어이거나 (소버린 롤업과 같은 모호한 수식어를 붙인) 주류 롤업 개념의 포크입니다.

그러나 "XX 롤업"이라는 외피를 벗겨내면, 많은 프로젝트의 작동 원리는 여전히 "XX 롤업"의 단순한 "클라이언트 검증" 또는 "사이드 체인"에 불과합니다. 그들은 단지 "XX 롤업"이라는 홍보 슬로건을 사용하여 일을 더 쉽게 만들고 있습니다. 이는 일반적인 관행이지만, 종종 오해의 소지가 있으며 진실을 찾고 있는 일반 대중에게 득보다 실이 더 많습니다.

(나치 선전부 장관 괴벨스가

이번 글에서는 외국의 비트코인 레이어2인 체인웨이를 사례 연구로 삼아 "롤업" 슬로건을 내세운 프로젝트 중 일부를 분석해보고자 합니다. "롤업" 슬로건은 프로젝트 이면에 숨겨진 "클라이언트 측 검증"의 본질입니다. "소버린 롤업"과 "클라이언트 측 검증", 그리고 스마트 컨트랙트 구현에 의존하는 업계의 주류인 ZKRollup 또는 OPRollup 및 기타 롤업 솔루션의 명백한 차이점을 통해 더 명확하게 알 수 있습니다.

물론 소버린 롤업이나 클라이언트 측 검증이 ZK 롤업보다 보안성과 신뢰성이 떨어진다는 것은 아니며, 이는 모두 구현의 세부 사항에 따라 달라집니다. 체인웨이는 전형적인 클라이언트 측 검증 방식의 레이어2이지만, "BTC에서 트리거 + 오프체인 검증" 방식의 검열 방지 거래 방식을 제안하며 다음과 같은 특징을 채택하고 있습니다:

업계에서 스마트 컨트랙트를 구현한 것은 이번이 처음 봅니다.

우리는 체인웨이의 기술 연구가 비트코인 레이어2 관찰자들에게 귀중한 참고 자료가 될 것이라고 믿습니다.

(체인웨이의 홍보 이미지에는 ZK 롤업으로 표시되어 있지만, 실제 솔루션은 클라이언트 측 검증이며, 아직 오프체인 클라이언트 간 합의 또는 신뢰할 수 있는 메시지 교환을 달성하지 못함)

본문: 체인웨이는 서구 커뮤니티에서 비교적 잘 알려진 비트코인 레이어2 프로젝트입니다. 체인웨이는 서구 커뮤니티에서 비교적 잘 알려진 비트코인 레이어2 프로젝트로, 많은 유명인사들이 "ZK 롤업"으로 홍보하고 있으며 체인웨이는 기술 문서에서 스스로를 "소버린 롤업"이라고 포지셔닝하고 있습니다. 최근 체인웨이는 BitVM 기반 ZK 롤업이라고 주장하는 새로운 프로젝트인 Citrea를 발표했는데, Citrea는 아직 BitVM 기반 ZK 검증 체계를 어떻게 구현할지 자세히 설명하지 않았기 때문에 이 글에서는 체인웨이의 기존 체계에 대한 기술적 해석에 초점을 맞추고자 합니다.

체인웨이가 공개한 솔루션을 한 문장으로 요약하면, 오디널을 통해 DA 데이터를 게시하고, BTC를 DA 레이어로 사용하며, 상태 변경 내역을 레이어1에 게시한 다음, 상태 차이 + 상태 변경의 정확성에 대한 증명을 레이어1에 게시하고, 상태 차이 + 상태 변경의 정확성에 대한 증명을 레이어1에 게시하는 것으로 정리할 수 있습니다. diff + 상태 변경의 정확성에 대한 ZK 증명, 즉 검증 가능한 완전한 트랜잭션 데이터를 게시하는 것과 동등한 효과를 냅니다.

( 상태 차이는 계정의 상태 변화량)

그러나 레이어1이 직접 ZK 증명을 검증하지 않기 때문에 검증은 체인 내 독립 클라이언트/노드에서 이루어지며, 체인웨이의 현재 코드베이스는 체인 내 독립 클라이언트 간의 합의를 구현하지 않으며, 소셜 미디어에서 이 문제를 해결하겠다고 공식적으로 주장한 적도 없습니다. 체인웨이의 현재 코드베이스는 체인 내 독립 클라이언트 간의 합의를 구현하지 않으며, 소셜 미디어에서 이 문제를 해결했다고 공식적으로 주장한 적도 없습니다. 따라서 현재 체인웨이가 발표한 기술 솔루션은 본질적으로 "클라이언트 측 검증" 유형이거나, 브리지 자산을 지원하는 비문 인덱싱 프로토콜과 비슷합니다.

다음 섹션에서는 체인웨이의 구체적인 기술적 구현과 보안 모델 분석에 초점을 맞출 것입니다.

소버린 롤업이란: DA 레이어 퍼블리싱 데이터 + 오프체인 검증

체인웨이의 기술 문서에서는 셀레스티아의 소버린 롤업 개념이 사용됩니다. 소버린 롤업은 사실 이더리움 커뮤니티, 심지어 업계에서 주류 롤업 개념(스마트 콘트랙트 롤업)과는 상당히 다릅니다. 그렇다면 소버린 롤업은 어떻게 구성될까요?

사실, 비트코인의 소버린 롤업은 "BTC 체인에 DA 데이터를 게시하는 오프체인 클라이언트 그룹/사이드체인"과 비슷하며, 가장 중요한 특징은 레이어1에 스마트 콘트랙트가 필요하지 않다는 것입니다. 가장 중요한 특징은 레이어2의 상태 전환/크로스체인 동작을 검증하기 위해 레이어1의 스마트 컨트랙트가 필요하지 않으며, 본질적으로 BTC를 DA 레이어로만 사용하며 보안 모델이 "클라이언트 측 검증"(클라이언트 측 검증)에 매우 가깝다는 것입니다. 논란이 되는 특정 행동에 대한 "합의"에 도달하기 위해 서로 다른 독립적인 클라이언트/풀 노드 간에 합의 또는 신뢰할 수 있는 메시징 레이어가 존재합니다. "합의". 그러나 일부 소버린 롤업 프로젝트는 독립적인 클라이언트/노드 간에 신뢰할 수 있는 메시징이 거의 없는 "클라이언트 측 검증"에 불과합니다.

"소버린 롤업"의 고유한 개념을 더 잘 이해하기 위해 우리는 소버린 롤업의 개념을 정리할 수 있습니다. strong>소버린 롤업을 해당 스마트 컨트랙트 롤업과 비교할 수 있습니다. 이더의 레이어2는 기본적으로 아비트럼과 스타크넷과 같은 스마트 콘트랙트 롤업입니다. 스마트 콘트랙트 롤업의 구조는 다음 다이어그램에서 확인할 수 있습니다.

위 다이어그램에서 모듈형 블록체인 내러티브의 여러 용어를 볼 수 있으며, 다음과 같이 설명할 수 있습니다.

실행 실행 레이어: 사용자 트랜잭션을 실행하고, 블록체인 상태를 업데이트하며, DA 및 정산 레이어에 데이터를 제출

정산 정산 레이어: 실행 레이어에서 상태 전환을 검증하고, 분쟁(예: 사기 증명)을 해결하며, L1-L2 브리징 자산을 처리하는 브리지 모듈을 제공합니다

DA 레이어: 실행 레이어가 제출한 상태 전환 데이터를 수신하고, 이 데이터를 탈신뢰화하여 누구나 사용할 수 있도록 하는 대형 게시판

컨센서스 레이어: 거래 주문의 최종성을 보장하며, 이는 DA 레이어(이더)의 기능에 더 가까운 것으로 보입니다. 합의 레이어를 포함하지 않는 모듈형 블록체인에 대한 커뮤니티의 계층적 접근 방식)

스마트 컨트랙트 롤업의 아키텍처를 보면 실행 레이어를 제외한 세 가지 레이어의 기능이 이더에 의해 수행되는 것을 알 수 있습니다. 아래 그림은 스마트 컨트랙트 롤업에서 이더가 수행하는 역할을 더 자세히 보여줍니다.

이더의 롤업 컨트랙트는 유효성 증명 또는 사기 증명을 받아 레이어2의 상태 전환을 검증합니다. 상태 전환을 검증합니다. 여기서 롤업 스마트 콘트랙트는 실제로 모듈형 블록체인의 결제 레이어 엔티티라는 점에 주목할 필요가 있습니다. 정산 레이어 콘트랙트에는 종종 이더가 레이어2에 연결하는 자산을 처리하는 브리징 모듈이 포함됩니다.

그리고 DA의 경우, 결제 레이어 컨트랙트는 시퀀서인 시퀀서가 최신 트랜잭션 데이터/상태 변경 내역을 체인에 업로드하도록 강제할 수 있으며, DA를 체인에 업로드하지 않으면 롤업 컨트랙트에 기록된 L2 상태를 성공적으로 업데이트할 수 없습니다.

(( 결제 레이어 레코드의 상태를 업데이트할 수 없는 DA 데이터를 강제로 업링크할 수 있는 ZK 롤업이나 OP 롤업)

스마트 컨트랙트 롤업은 레이어1의 스마트 컨트랙트에 크게 의존하고 있으며, 복잡한 비즈니스를 지원하기 어려운 BTC의 경우 스마트 컨트랙트에 크게 의존하고 있음을 볼 수 있습니다.

스마트 컨트랙트 롤업은 레이어1의 스마트 컨트랙트에 크게 의존하고 있으며, 복잡한 비즈니스 로직을 지원하기 어려운 BTC의 경우 이더 롤업에 "정렬"된 레이어2를 구성하는 것이 기본적으로 불가능하다는 것을 알 수 있습니다.

그리고 소버린 롤업 솔루션은 상태 검증/브리징 과정을 수행하기 위해 레이어1의 컨트랙트가 필요하지 않다는 것을 알 수 있습니다. 소버린 롤업의 아키텍처는 아래와 같습니다.

소버린 롤업에서는 DA 레이어 외부의 노드 그룹이 트랜잭션 실행 및 정산 작업의 역할을 수행한다는 것을 알 수 있습니다. 엔티티로서 더 높은 자유도를 가진다는 것을 알 수 있습니다. 구체적인 워크플로는 다음과 같습니다:

소버린 롤업의 실행 레이어에 있는 노드는 트랜잭션 데이터/상태 변경 내역을 DA 레이어로 전송하고, 정산 레이어/클라이언트는 다음을 수행합니다. 데이터를 가져와 검증 작업을 수행합니다. 결제 레이어 모듈이 레이어1에 상주하지 않기 때문에 소버린 롤업은 이론적으로 레이어1 보안에 상응하는 브리지를 구현할 수 없으며, 종종 공증 브리지 또는 타사 브리징 솔루션에 의존한다는 점에 유의할 필요가 있습니다.

현재 소버린 롤업/클라이언트 측 검증 체계는 착륙하기 어렵지 않은 것으로 보이며, 오디널스 프로토콜과 유사한 형태로 BTC 체인에 데이터 게시를 구현하기만 하면 됩니다. 오프체인 검증과 오프체인 컨센서스의 경우, 많은 사이드체인이 DA 데이터를 BTC에 게시할 수 있어 기본적으로 'BTC 기반 소버린 롤업'이 되므로 자유로울 수 있는 여지가 많으며, 구체적인 보안성만 의심스러운 상황입니다.

그러나 문제는 비트코인의 데이터 처리량이 블록당 최대 4MB, 평균 블록 시간 10분으로 데이터 처리량이 6KB/s에 불과해 소버린 롤업이라고 불리는 레이어2 솔루션이 모든 DA 데이터를 BTC에 게시하지 못할 수도 있다는 점입니다. 자칭 소버린 롤업 솔루션인 레이어2는 모든 DA 데이터를 BTC 체인에 게시하지 못할 수 있으며, DA 데이터를 오프체인에 게시하고 데이터 해시를 일종의 '커미트먼트'로서 BTC 체인에 저장하는 등 다른 타협안을 채택할 수 있습니다. 또는 DA 데이터를 고도로 압축할 수 있는 방법을 찾을 수도 있습니다(예: 체인웨이가 사용한다고 주장하는 State diff + ZK Proof).

그러나 분명히 이 모델은 "소버린 롤업" 또는 적절한 롤업의 정의에 부합하지 않으며, 보안에 대한 논란의 여지가 있는 변종입니다. 우리는 향후 "롤업"을 사용하는 대부분의 레이어2 프로젝트가 전체 DA 데이터를 BTC 체인에 공개하지 않을 것으로 예상하며,따라서 백서의 "ZK 롤업"과는 다른 방식이 될 가능성이 높습니다. "ZK 롤업" 및 "OP 롤업" 슬로건.

마지막으로 소버린 롤업과 스마트 콘트랙트 롤업의 차이점을 간략히 요약해 보겠습니다.

첫째, 확장성입니다. 스마트 콘트랙트 롤업의 업데이트 반복에는 스마트 콘트랙트 업데이트가 포함되며, 개발팀은 업그레이드 가능한 콘트랙트를 사용해야 합니다. 이러한 스마트 컨트랙트의 업그레이드 권한은 일반적으로 롤업 개발팀이 다중 서명을 통해 제어합니다. 반면 소버린 롤업의 업그레이드 규칙은 일반 블록체인의 소프트 포크와 하드 포크와 유사하며, 노드가 자체적으로 업데이트 버전을 선택할 수 있고 클라이언트마다 업그레이드 수락 여부를 선택할 수 있습니다. 이런 관점에서 볼 때 소버린 롤업은 스마트 콘트랙트 롤업보다 우수합니다.

둘째, 브리지입니다. 스마트 컨트랙트 롤업의 브리지는 이상적인 조건에서 신뢰 최소화와 일치하지만, 컨트랙트의 확장성으로 인해 보안이 손상될 수 있습니다. 소버린 롤업 체계에서는 개발자가 레이어1 체인 아래에 자체 브리지 구성 요소를 구축해야 하며, 구축된 브리지는 스마트 콘트랙트 브리지만큼 신뢰 최소화가 되지 않을 가능성이 높습니다.

BTC DA 구성

위 기사에서 저희는 BTC 기반 소버린 롤업을 구현하는 의 핵심은 다음과 같다고 언급했습니다. 오라디날스 프로토콜을 사용하는 DA 레이어로 BTC를 사용하는 것입니다. 체인웨이는 이 방식을 사용합니다.

거래 해시를 통해 체인웨이 시퀀서에서 DA 데이터 커밋을 관찰할 수 있습니다:

24add7cdcbffcda8d43509c8e27c5a72f4d39df1731be84bdba727cd83ae0000,

. 구조도는 다음과 같습니다:
이 트랜잭션의 스크립트 코드는 Ordinals 프로토콜의 OP_0 OP_IF 사용법을 차용하여 데이터를 구현합니다. 이 트랜잭션의 스크립트 코드는 오디널스 프로토콜의 OP_0 OP_IF 구현을 차용하여 롤업의 DA 데이터를 BTC 체인에 기록합니다(상태 변경 + ZK 증명 게시, 보안 측면에서 원본 트랜잭션 데이터를 게시하는 것과 동일하지만 데이터 크기가 훨씬 더 압축됨).
물론 DA 데이터 외에도 시퀀서는 트랜잭션 내에 일부 포렌식 데이터를 기록하는데, 가장 중요한 것은 롤업 시퀀서가 자신의 개인 키를 사용하여 DA 데이터에 서명하여 DA 데이터 제출이 시퀀서에 의해 제출되었음을 보장한다는 것입니다.
또 한 가지 주의할 점은 DA 데이터 제출과 관련된 모든 트랜잭션은 트랜잭션 해시 끝에 16개의 이진 0이 있다는 점입니다(즉, 2바이트의 연속된 0). 코드 내에서 이러한 제한을 확인할 수 있습니다.
이전 예제 트랜잭션 그래프에서 난수 b715의 목적은 해시를 가져온 후 이 트랜잭션의 값을 조정하여 마지막에 특정 16개의 0을 포함하도록 하는 것입니다. 이는 비트코인을 채굴할 때 특정 제약 조건을 충족하기 위해 해시의 처음 N 비트가 모두 0이 되도록 난수 논스를 추가해야 하는 것과 유사합니다.
이 설계는 DA 데이터 수집을 간소화하기 위한 것으로, 레이어2의 어떤 노드가 DA 데이터를 수집하고자 할 때 블록 끝에 16개의 0이 있는 모든 트랜잭션이 있는지 BTC 블록을 스캔하기만 하면 됩니다.
이는 체인웨이 시퀀서가 데이터를 제출할 때 시작된 트랜잭션과 비트코인 체인의 다른 트랜잭션과 동일합니다. 비트코인 체인의 다른 트랜잭션과 동일합니다. 이 백서 뒷부분에서는 DA 데이터를 포함하고 끝에 16개의 0을 만족하는 이러한 유형의 트랜잭션을 "C체인웨이 표준 트랜잭션"이라고 부릅니다.
이 글의 제목에 언급된 요점, 즉 Chainway는 어떻게 검열 저항성을 달성할 수 있을까요? 레이어2 시퀀서가 특정 사용자의 트랜잭션 요청을 의도적으로 거부할 수 있기 때문에, 사용자가 검열 저항 트랜잭션을 시작할 수 있는 특별한 체계를 사용해야 합니다.
이 문제에 직면하여 체인웨이는 사용자가 트랜잭션 요청을 제출하면 BTC 블록 내에서 체인웨이 시퀀서가 처리해야 하는 트랜잭션인 "강제 트랜잭션"을 시작할 수 있도록 허용합니다. 레이어2에서 트랜잭션 요청을 처리하지 않으면 블록이 제대로 발행되지 않거나 발행된 블록이 오프체인 클라이언트에서 인식되지 않습니다.
필수 트랜잭션의 매개변수 구조는 다음과 같습니다:
거래가 비트코인에 '체인웨이'로 제출됩니다. 트랜잭션은 비트코인 체인에 트랜잭션 해시 끝에 16개의 0이 있는 "체인웨이 표준 트랜잭션"으로 제출되고, 체인웨이 시퀀서는 비트코인 체인에 공개되었지만 L2 원장에 포함되지 않은 "레이어2 표준 트랜잭션"을 포함해야 하는 L2 블록을 생성하여 단일 블록으로 통합합니다. 이를 머클 트리로 통합하고 머클 루트를 L2 블록 헤더에 기록합니다.
사용자가 BTC 체인에서 직접 필수 트랜잭션을 시작하면 시퀀서가 이를 처리해야 하며, 그렇지 않으면 다음 유효한 블록을 생성할 수 없습니다. BTC 체인 아래의 체인웨이 클라이언트는 먼저 ZK 증명을 확인하여 시퀀서가 제출한 L2 블록의 유효성을 확인하고, L2 블록 헤더의 머클 루트를 확인하여 시퀀서가 필수 거래 요청을 진실하게 포함했는지 여부를 판단할 수 있습니다.
워크플로는 다음 순서도를 참조할 수 있습니다. 지면 관계상 다음 다이어그램의 verify_relevant_tx_list에는 조건부 판단이 누락되어 있습니다.
요약하면, 체인웨이 클라이언트/노드는 비트코인 메인넷 블록을 동기화하여 BTC 메인넷 블록을 동기화하고, 이 블록에서 체인웨이 시퀀서가 게시한 "DA 데이터"를 스캔하여 지정된 시퀀서에 의해 게시되었는지, 그리고 실제로 BTC 체인에 제출된 모든 "체인웨이 표준 트랜잭션"이 포함되어 있는지 확인합니다. ".
사용자가 제약 조건을 충족하는 "정식 트랜잭션"을 구성하여 BTC 체인에 제출할 수 있는 한, 해당 트랜잭션은 결국 체인웨이 클라이언트의 로컬 L2 원장에 포함될 것이며, 그렇지 않으면 체인웨이 시퀀서가 게시한 L2 블록은 클라이언트에 의해 거부될 것임을 쉽게 알 수 있습니다. 블록은 클라이언트에 의해 거부됩니다.
신뢰할 수 있는 오프체인 합의/경고 메시지와 결합할 경우, 체인웨이의 검열 저항 트랜잭션 체계는 검열 저항에 대한 이상적인 소버린 롤업 접근 방식에 수렴합니다. 예를 들어, 일부 소버린 롤업 방식은 유효하지 않은 블록이 발생하면 오프체인 클라이언트 간에 경고 메시지를 전송하여 보안을 강화하고, 특히 전체 DA 데이터를 동기화할 수 없는 라이트 클라이언트에게도 네트워크 상태가 비정상임을 알릴 수 있도록 명시적으로 명시하고 있습니다.
블록에 "필수 트랜잭션"이 포함되어 있지 않으면 당연히 오프체인 알림 브로드캐스트가 트리거되지만, 체인웨이는 아직 이를 구현하지 않았습니다(적어도 이 구현을 거치지 않았음을 보여줄 수 있는 데이터와 코드베이스를 공개할 수 있을 때까지는).
오프체인 클라이언트/노드 간 합의가 구현되더라도 체인웨이의 '강제 트랜잭션' 체인웨이의 '강제 거래'의 검열 방지 효과는 아비트럼 롤업과 같은 스마트 컨트랙트만큼 효과적이지 않은데, 이는 아비트럼 원이 결국 레이어1의 검열 방지 효과를 모두 계승하는 레이어2의 컨트랙트를 통해 '강제 거래'가 레이어1 원장에 포함되도록 하기 때문입니다. 소버린 롤업은 이 점에서 스마트 콘트랙트 롤업과 동등하지 않으며, 검열은 궁극적으로 오프체인 구성 요소에 따라 달라집니다.
이것은 또한 "소버린 롤업"과 "클라이언트 측 검증" 체계에 대한 아이디어가 기본적으로 스마트 콘트랙트 롤업과 같지 않고 오히려 스마트 콘트랙트 롤업과 같다는 것을 결정합니다. <트랜잭션이 레이어2 원장에 포함되도록 강제하는 기능은 레이어2 체인에 있는 주체의 결정이 아니라 레이어1 원장에 있는 주체의 결정에 달려 있기 때문에, Arbitrum One이나 루프링, dydx, 디게이트가 레이어1의 검열 저항을 완전히 상속하는 것과 같은 방식으로 레이어1의 검열 저항을 상속할 수 없습니다. 레이어1 자체와는 무관하게 체인 아래 엔티티의 결정에 따라 달라집니다.
오프체인 클라이언트의 자유로운 결정에만 의존하는 체인웨이는 검열 저항성이 아닌 레이어1의 DA 신뢰성만 물려받았음을 분명히 알 수 있습니다.
미나와 유사한 재귀적 ZK 증명
이 섹션에서는 BTC를 DA 레이어로 사용하는 것 외에도 미나와 유사한 재귀적 ZK 증명을 구현하는 체인웨이의 다른 구성 요소에 대해 자세히 설명하겠습니다. 을 구현합니다. 체인웨이 네트워크의 전체 구조는 아래와 같습니다.
체인웨이 네트워크의 시퀀서는 사용자 트랜잭션을 처리한 후 여러 계정 상태 차이의 상태 변경 내역과 함께 최종 ZK 증명을 생성합니다. BTC 체인에 게시됩니다. 그리고 전체 노드는 BTC에 게시된 체인웨이의 모든 기록 데이터를 동기화합니다. 각 ZK 증명은 현재 블록의 상태 전환 과정을 증명할 뿐만 아니라 이전 블록의 ZK 증명이 유효한지 확인해야 합니다.
위의 설계에 따르면, 새로운 증명이 생성될 때마다 실제로 이전 증명을 확인하며, 재귀적으로 최신 ZK 증명 중 하나가 제네시스 블록의 모든 ZK 증명이 유효하다는 것을 보장한다는 것을 알 수 있습니다. 이 설계는 MINA와 유사합니다.
블록 헤더만 동기화하는 라이트 클라이언트, 즉 라이트 노드가 네트워크에 참여하면 BTC에 공개된 최신 ZK 증명이 유효한지 확인한 다음 전체 체인의 이력을 확인하기만 하면 됩니다, 모든 상태 전환이 유효합니다.
시퀀서가 악의적이고 의도적으로 필수 트랜잭션을 수락하지 않거나 재귀 증명에 마지막 ZK 증명을 사용하지 않는 경우, 다음 다이어그램과 같이 새로 생성된 ZK 증명이 클라이언트에 의해 수락되지 않으며, 생성되더라도 인식되지 않습니다:
요약
이 글의 맨 처음에 요약한 것처럼, Chainway는 본질적으로 BTC를 DA 레이어로 사용하는 소버린 롤업/클라이언트 사이드 검증 체계입니다. 롤업의 검열 저항성을 높이기 위해 체인웨이는 필수 트랜잭션 개념을 도입했습니다. 반면, 체인웨이는 재귀적 ZK 증명 기법을 사용하여 신규 참여 노드가 시퀀서의 출력을 더 신뢰하고 전체 체인의 기록 데이터에 오류가 없음을 언제든지 확인할 수 있도록 합니다.
현재 체인웨이의 문제는 크로스 체인 브리지 부분을 어떻게 신뢰할 것인가에 있으며, 소버린 롤업 방식을 사용하지만 크로스 체인 브리지 방식의 기술적 세부 사항을 어떻게 해결할 것인지 명시하지 않았기 때문에 최종적으로 얼마나 안전할지 정확히 알기 어렵습니다.
오늘 저희는 체인웨이의 기술 솔루션에 대한 심층 분석을 통해 해당 프로젝트 커뮤니티가 광고하는 기술 유형이 주류적 의미의 롤업이 아님을 확인했습니다. 현재 비트코인 레이어2 프로젝트의 프로젝트 수가 수십 개(반년 후에는 수백 개에 이를 수 있음)에 달하고 기술 용어에 대한 인지적 비용을 줄이기 위해 체인웨이의 기술 솔루션에 대한 심층 분석이 필요함을 고려했습니다. 저희는 레이어2 프로그램 분류와 보안 표준, 기능적 완성도 평가 기준에 대한 심도 있는 연구를 계속 진행할 것입니다!