TL;DR 비트코인 L2의 기술적 한계에 관계없이 업계는 기본 BTC 프로그래밍 가능성과 다른 체인의 자산 및 사용자와의 상호 운용성을 우선시해야 한다고 생각합니다.
ZetaChain에서 우리의 임무는 기본 비트코인과 이더리움부터 코스모스, 솔라나 및 그 이상까지 모든 체인을 포괄하는 유니버설 앱을 강화하는 것입니다. 이것이 바로 우리가 사용자가 비트코인, EVM, L2 또는 다른 곳에 있는지 여부에 관계없이 암호화 전반에 걸쳐 추상화된 체인 UX를 지원하는 최초의 범용 블록체인을 만든 이유입니다. 이 게시물에서 우리는 비트코인 L2를 검토하고 주로 기술적 관점에서 다음 질문을 해결합니다.
레이어 2 솔루션은 처음에는 Ethereum 현상이었으며 지난 몇 년 동안 수백 개가 등장했습니다. 이러한 프로젝트 중 다수는 인프라와 혁신을 실질적으로 개선하는 것보다 마케팅을 통해 가치를 포착하는 데 더 중점을 두었습니다. 그러나 최근 비트코인의 "L2"를 중심으로 새로운 이야기가 형성되기 시작했습니다. 이러한 솔루션의 핵심 아이디어는 기본 레이어 1(이 경우 비트코인)에서 보안을 상속하거나 파생한다는 것입니다.
이는 비트코인 네트워크가 강력한 보안을 자랑하고 레이어 2 솔루션은 비트코인이 처리량을 확장하고 거래 비용을 줄이며 보다 정교한 스마트 계약 플랫폼을 활성화하는 데 도움이 될 수 있기 때문에 매력적입니다. 현재 많은 프로젝트가 비트코인 레이어 2 솔루션을 주장, 암시 또는 연관시키고 있습니다. 그러나 이러한 주장의 타당성에 대한 의문이 퍼지기 시작했습니다.
레이어 2는 레이어 1을 어떤 방식으로 확장하고 일부 보안을 상속하는 블록체인을 의미합니다. 2016년 라이트닝 백서[5]는 비트코인 네트워크에서 보안을 이끌어내는 결제 네트워크를 제안했습니다. 저자(Poon & Dryja)는 “레이어 2”라는 용어를 사용하지 않았지만 라이트닝 네트워크는 실제로 비트코인의 레이어 2 솔루션입니다. 비트코인 네트워크로 보장되는 저렴한 결제와 참여자 간의 탄탄한 게임 이론을 바탕으로 자체 네트워크/블록체인으로 기능합니다. 보다 현대적인 레이어 2 솔루션은 Vitalik Buterin과 Ethereum 생태계에 의해 대중화될 가능성이 높습니다. Layer 2에는 상태 채널, 플라즈마, 롤업이라는 세 가지 일반적인 유형이 있습니다[6].
라이트닝 네트워크는 두 참가자가 채널을 열고 그들 사이의 대부분의 거래를 오프체인(비트코인 네트워크 지식 외부)으로 유지할 수 있는 상태 채널의 예입니다. 채널을 열고 닫는 경우와 분쟁이 있을 경우에만 비트코인 거래나 스크립트를 호출합니다. 플라즈마는 범용 채널이 아니고 상태 채널보다 더 복잡하므로 여기에서는 플라즈마를 건너뛰겠습니다.
롤업은 전체 EVM(Ethereum Virtual Machine)을 실행하는 등 매우 범용적일 수 있고 Ethereum의 보안을 상속하여 매우 안전하기 때문에 가장 흥미로운 레이어 2 솔루션입니다.
롤업은 트랜잭션과 상태를 기본 L1(예: 이더리움)에 묶고 일괄 처리하는 별도의 블록체인입니다. 그들은 상태 업데이트(예: 롤업 계정 잔액)의 유효성 검사를 처리하는 Ethereum의 계약에 데이터(자신의 트랜잭션 및 상태 업데이트)를 게시하기 때문에 Ethereum L1의 보안을 상속합니다. 롤업 노드나 RPC를 신뢰할 필요는 없습니다. 이더리움에 게시된 트랜잭션과 현재 상태를 보면 롤업이 예상대로 작동하는지 확인할 수 있습니다.
Ethereum 계약은 사기 방지를 통한 낙관적 롤업과 영지식(zk) 롤업이라는 두 가지 방법으로 롤업의 일괄 트랜잭션으로 인해 사전 상태에서 사후 상태로의 전환을 검증합니다.
낙관적 롤업에서 이더리움 계약은 롤업 시퀀서가 정직하다고 가정하지만 사기 증명을 받아들입니다. 누군가가 특정 상태 업데이트가 올바르지 않음을 증명할 수 있는 경우 잘못된 업데이트에 대한 경제적 처벌과 보상이 있습니다. 이 시스템은 도전자가 결점을 찾고 증거를 제출하는 데 일정 기간이 필요합니다.
반면, zk-rollup 시퀀서는 트랜잭션, 상태 업데이트 및 상태 업데이트의 유효성에 대한 zk 증명을 제출합니다. 상태 업데이트는 전체 Ethereum 가상 머신과 같이 함수가 임의로 복잡할 수 있는 수학 함수입니다. 영지식 증명은 효율성을 위해 사용됩니다. 증명을 생성하는 것은 계산 집약적일 수 있지만 증명 검증은 훨씬 빠르고 스마트 계약을 통해 합리적인 비용으로 수행할 수 있습니다. zk-rollup의 사용자로서 Ethereum의 롤업 트랜잭션 배치 및 상태 업데이트가 확인 계약에 의해 수락되는 것을 보면 롤업이 올바르게 작동하고 배치의 트랜잭션이 청구된 사후 상태를 생성한다는 것을 알 수 있습니다. .