원작자: 제이슨 지앙
레이어 2 개념은 2023년 여름에 폭발할 것입니다. Coinbase, ConsenSys 등 암호화폐 거대 기업이 종말을 고했습니다. 이들이 구축한 네이티브 L2 솔루션인 Base와 Linea는 지난 두 달간 메인넷 런칭을 완료했으며, L2 4대 왕 중 하나로 알려진 스타크넷도 메인넷을 성공적으로 완료했습니다. 비약적인 도약 이번 업그레이드를 통해 거래 성능과 효율성이 크게 향상되었으며, 성공적으로 새로운 개발 단계에 진입했습니다.
L2의 한여름, OKLink는 공식적으로 ZK 롤업 스타 프로젝트 StarkNet 블록체인 브라우저를 출시했습니다. OKLink가 출시한 30번째 블록체인 브라우저이며, OKLink는 한때 L2의 4대 왕으로 알려졌던 Optimism, Arbitrum, zkSync 및 StarkNet을 공식적으로 모았습니다. OKLink는 향후 Polygon-zk, Base 및 기타 ZK L2 블록체인 브라우저를 출시하여 ZK Rollup 및 L2 생태 구축에 관심을 갖고 참여하는 모든 사용자에게 보다 포괄적이고 풍부한 온체인 데이터 통찰력과 서비스를 제공할 예정이라고 합니다. .
스타크넷 브라우저 출시부터 추상적인 계정 분석까지, OKLink는 L2 여름에 무엇을 했나요?
ZK Rollup 트랙에서 가장 높은 가치 평가와 가장 큰 시장 점유율을 가진 프로젝트 중 하나로, 2021년 11월 메인넷 출시 이후 Starknet 생태계는 많은 시나리오를 다루었으며 많은 지갑, DeFi, GameFi 및 NFT 프로젝트가 진행되었습니다. 블록체인 네트워크에 해당 지역에 구축되었습니다. StarkNet 생태계는 더욱 가속화되고 더욱 역동적으로 변하고 있으며 비즈니스에서는 L2 트랙의 리더 중 하나로 성장할 수 있는 잠재력을 갖고 있다고 간주합니다.
다른 확장 프로젝트와 비교할 때, 스타크넷은 zk-STARK 기술을 증명 시스템(아래에서 소개할 예정)으로 사용하는 것 외에도 데이터 가용성 및 계정 시스템 설계 측면에서도 다릅니다.
낙관적 롤업에 비해 ZK 롤업의 중요한 장점은 보다 효율적인 데이터 가용성입니다. 실제로 검증을 위해 데이터를 L1 메인 네트워크에 업로드하는 것이 매우 중요합니다. 데이터가 업로드된 경우에만 블록체인 브라우저에서 각 거래를 쿼리할 수 있으므로 거래의 추적 및 검증이 가능해집니다. 블록체인 체인 네트워크 보안. 플라즈마와 이전 상태 채널의 두 가지 확장 계획에서는 데이터와 계산이 완전히 L2 네트워크에 배치되며, L2 네트워크가 이더리움과 상호 작용할 때 L2의 모든 거래 데이터는 포함되지 않습니다. 이로 인해 이더리움이 L2 네트워크를 떠나면 이전 상태 변경을 복원할 수 없으므로 이더리움의 데이터 가용성은 L2의 데이터 보호에 크게 의존합니다.
Starknet은 현재 다음과 같은 세 가지 데이터 가용성 모드를 제공합니다.
1. 롤업 방식: 원장을 블록체인에 직접 게시하여 체인 내 데이터의 가용성을 보장하지만, 메인 네트워크에서 소비하는 가스 비용의 대부분은 검증 인증서가 아닌 데이터 가용성을 저장하는 데 사용되므로 이 방식은 더 비싸요;
2. Validium 방식: DAC(데이터 가용성 협회)는 원장의 보안을 보장하고 해시 값만 체인에 저장합니다. 이 모드는 체인에 저장되는 데이터의 비용을 줄이지만 분산화를 희생합니다. 중요하지 않은 트랜잭션에만 적합한 가용성입니다.
3. 의지 계획: 각 거래를 시작할 때 사용자는 보다 유연한 거래 DA 모드인 Rollup 또는 Validium을 선택할 수 있습니다.
보다 효율적인 데이터 가용성으로 인해 사용자는 OKLink StarkNet 브라우저와 같은 도구를 사용하여 체인의 거래 세부 정보를 보다 쉽게 쿼리할 수 있습니다.
또한 OKLink가 출시한 최신 Starknet 브라우저는 풍부한 블록 및 주소 정보를 제공하여 사용자가 StarkNet 네트워크의 실시간 상태를 빠르게 이해할 수 있도록 도와줍니다.
계정 시스템 측면에서 Starknet은 현재 계정 추상화를 지원하는 몇 안 되는 블록체인 인프라 중 하나입니다. 현재 계정 추상화는 이더리움과 스타크넷 모두에서 구현 가능하지만 구현 방식이 다르다. 이더리움은 외부 계정(EOA)의 기능을 무시하지 않고 ERC-4337을 통해 계정 추상화를 추가하는 반면, 스타크넷은 계정 추상화를 핵심에 직접 통합한다. EOA로 인해 발생할 수 있는 영향을 제거하고 모든 계정이 스마트 계정이 되는 세상으로 바로 뛰어들 수 있습니다.
이 모델은 지갑, 블록탐색기를 포함한 스타크넷의 모든 인프라가 계정 추상화를 위해 설계 및 구축되어야 함을 요구하는데, 이는 모든 L1 및 L2 체인에서 고유하지만 계정 추상화만 지원되므로 스타크넷 사용자에게도 어려움을 줍니다. 다른 블록체인은 이 단계에서 계정 추상화를 지원하지 않을 수 있으므로 다른 블록체인과 상호 작용하기 위해 EOA를 계정 자산과 연결하여 블록체인 및 자체 자산과 상호 작용하는 것이 더 중요합니다.
OKLink 브라우저는 현재 계정 요약 분석을 제공할 수 있는 몇 가지 옵션 중 하나이며 사용자 작업 쿼리를 지원하는 유일한 시각적 창이기도 합니다. OKLink 멀티 체인 브라우저를 통해 사용자는 Google을 사용하는 것처럼 계정의 추상적인 유효 정보를 조회할 수 있으며, 거래 수수료, 계약 실행 관련 정보 및 로그를 포함하여 블록체인에서의 거래 및 계약 실행 관련 정보를 이해할 수 있습니다. 스마트 계약의 실행 등을 더 잘 이해합니다.
실제로 스타크넷 체인의 상호작용에 참여하는 일반 사용자이든, 향후 에어드랍 활동에 참여하려는 투기꾼이든 이제 OKLink에서 제공하는 스타크넷 브라우저를 통해 체인의 거래 진행 상황을 쿼리하고 이를 실현할 수 있습니다. 다중 체인 집계 기능과 다차원 통계 데이터를 통해 정확한 계정 추상화, 크로스 체인 상호 작용 및 데이터 쿼리는 공식 브라우저와 비교할 수 없습니다.
Starknet 브라우저는 OKLink가 출시한 30번째 블록체인 브라우저이자 zkSync에 이어 두 번째 ZK 롤업 브라우저입니다. OKLink의 제품 관리자에 따르면 OKLink는 ZK Rollup 기술 혁신과 생태학적 레이아웃을 계속 개발하고 Polygon-zk 및 Base와 같은 잘 알려진 ZK Rollup 프로젝트를 위한 블록체인 브라우저를 계속 출시할 예정입니다.
그러면 누군가 이렇게 질문할 수 있습니다. OKLink가 ZK 롤업 및 L2 트랙 개발에 왜 그렇게 관심을 갖고 있습니까? ZK 기술은 어떻게 현재 수준으로 발전했나요? 뿌리로 돌아가서 ZK Rollup이 주목받는 이유를 살펴보겠습니다.
왜 ZK 롤업에 관심을 가져야 합니까?
이더리움에 구축된 분산 애플리케이션(DApp)의 수가 나날이 증가함에 따라 온체인 상호 작용이 점점 더 빈번해지고 혼잡한 네트워크와 높은 가스 요금으로 인해 확장이 필수적입니다. 두 가지 일반적인 확장 방법이 있습니다. 하나는 블록체인 자체를 변형하는 온체인 확장이고, 다른 하나는 계산 및 트랜잭션 실행을 오프체인에 배치하여 메인체인이 트랜잭션 유효성을 확인하고 보안 보장을 제공하는 오프체인입니다. 확장 계획은 흔히 L2 계획이라고 부르는 것입니다.
온체인 확장과 비교하여 L2 확장은 메인 네트워크 합의를 변경하지 않고도 메인 네트워크의 한계를 크게 줄일 수 있습니다. 상태 채널, 플라즈마, 사이드 체인 등은 모두 한때 L2 확장에 등장했던 기술적 솔루션이었지만, 이제 개발자들은 Rollup을 핵심으로 하는 L2 확장 로드맵으로 전환하고 있습니다.
소위 롤업(Rollup)은 트랜잭션 실행을 L2로 아웃소싱한 다음 여러 트랜잭션 데이터를 묶고 압축하여 확인 및 확인을 위해 해당 데이터와 상태 루트를 L1 네트워크로 보내는 것을 말합니다. Rollup은 여러 트랜잭션을 한번에 검증하여 성능을 향상시키고, 트랜잭션 데이터와 네트워크 상태를 L1에 동기화하여 메인체인의 보안을 보장하는 동시에 체인상의 데이터 가용성을 보장합니다.
이것은 여전히 매우 추상적입니다. 생생한 예를 사용하여 비교해 보겠습니다.
샤오오는 회사 근처 쇼핑몰에서 쇼핑카드를 신청해 2000위안을 충전했고, 물건을 사러 갈 때마다 은행카드로 결제하는 대신 쇼핑카드를 직접 긁기만 하면 됐다. 한 달 후, Xiao Ou는 이 쇼핑몰에서 쇼핑을 계속할 계획이 없었고, 쇼핑 카드를 취소했을 때 잔고가 200위안 남아 있었기 때문에 잔액을 은행 카드로 현금화했습니다.
이번 달 소비 과정에서 Xiao Ou의 은행 카드는 쇼핑몰 계정과 두 번만 상호 작용했으며 이 기간 동안의 모든 소비는 쇼핑몰 내부 시스템에서 완료되었습니다. 이 방법은 은행 네트워크의 결제 압력을 크게 줄여주며, Rollup도 마찬가지로 메인 네트워크의 거래 압력을 줄일 수 있습니다.
Rollup이 제안되기 전에는 Plasma와 같은 확장 방식은 L2에서 생성된 데이터를 스토리지 검증을 위해 메인 체인으로 보내지 않고 최종 상태 결과만 제출했습니다. 쇼핑몰에서 최종 잔액만 제공하고 거래 내역은 제공하지 않는 것처럼 이는 검증할 수 없는 결과로 이어집니다.
Rollup은 데이터를 메인 체인에 제출하지만 영리한 코딩 방법을 통해 데이터를 최대한 압축하는 동시에 Rollup 자체의 특성에 따라 일부 데이터를 적절하게 삭제 및 축소하여 최종 데이터를 보장합니다. 제출된 데이터는 누구나 확인할 수 있습니다.
트랜잭션 데이터를 L1에 동기화하는 다양한 방법에 따라 Rollup은 일반적으로 ZK Rollup과 OP Rollup의 두 가지 방식으로 구분됩니다. ZK 롤업의 핵심은 OP 롤업의 모든 사람이 악하지 않다는 낙관적 가정과 달리 모든 것에 의문을 제기하는 것입니다.
위의 예로 돌아가면 ZK 롤업과 OP 롤업의 차이점은 다음과 같습니다.
Xiao Ou가 잔액을 인출한 후 세부 사항을 확인하지 않고 미래의 어느 날까지 기다렸다가 갑자기 뭔가 잘못되었음을 알아차리는 경우 OP Rollup과 유사하지만 Xiao Ou가 잔액을 인출하는 경우 쇼핑몰에 제공을 요구합니다. ZK 롤업과 유사하게 잔액 정확성을 보장하기 위한 거래 세부 정보 파일입니다.
OP Rollup은 현재 기술 구현 난이도가 낮고 Ethereum과의 호환성이 높아 거래량 및 시장 점유율 측면에서 선두 위치에 있습니다. 그러나 사기 방지 메커니즘의 사용으로 인해 현재 OP Rollup 솔루션의 출금 시간과 보안이 의심스럽고 비용 최적화도 ZK Rollup에 비해 약간 열등합니다. ZK Rollup의 약점은 기본적으로 기술적인 문제입니다. 다수의 우수한 개발자가 관련 연구에 투자하고 이론적으로 더 높은 보안, 더 빠른 검증 효율성 및 더 나은 데이터 가용성을 갖춘 ZK Rollup은 향후 더 대중화될 수 있습니다. .
zk-SNARK에서 zk-STARK로의 ZK 기술의 진화
ZK Rollup은 ZK 기술을 기반으로 Rollup을 구현한 L2 솔루션으로, 프로젝트 간 가장 큰 차이점은 사용된 ZK 기술에 있습니다. 현재 시장에 나와 있는 주류 ZK 기술에는 zk-SNARK, zk-STARK 및 Bulletproof라는 세 가지 범주가 포함됩니다. 그중 zk-SNARK와 zk-STARK는 모두 ZK Rollup 확장 계획에 사용됩니다(참고: Bulletproof는 한때 프라이버시 코인 설계에 사용되었습니다).
zk-SNARKs 기술은 2012년 캘리포니아 대학교 버클리 캠퍼스의 Alessandro Chiesa 교수 등이 추출 가능한 충돌 저항에서 간결한 비대화형 지식 논증까지, 그리고 다시 되돌아오는 것이라는 논문에서 제안했습니다. 가장 인기 있는 ZK 솔루션 블록체인 분야에서 가장 널리 사용되는 ZK 기술 중 하나입니다. SNARK는 비대화형 증명이므로 검증자는 검증 결과를 얻기 위해 증명자가 생성한 증명만 사용하면 됩니다. zkSync와 같이 잘 알려진 ZK 롤업 프로젝트는 이더리움에서 확장 가능하고 저비용 지불을 위해 zk-SNARK 기술을 기반으로 구축된 저비용 무신뢰 확장 프로토콜입니다.
그러나 ZK-SNARK에는 몇 가지 문제가 있습니다. 예를 들어 이 기술은 암호화에 타원 곡선 암호화(ECDSA)를 사용합니다. ECDSA 알고리즘은 현재 안전하지만 양자 컴퓨터의 개발로 인해 보안 모델이 깨질 수 있습니다. 또한 zk-SNARK는 핵심 문제 생성 단계에서는 신뢰할 수 있는 설정이 필요하므로 중앙 집중화 위험이 발생할 수 있습니다. 따라서 2018년 StarkWare 공동 창립자 Eli-Ben Sasson은 확장 가능하고 투명하며 양자 후 보안 컴퓨팅 무결성이라는 논문에서 새로운 ZK 기술 솔루션인 zk-STARK를 제안했습니다.
zk-STARKs는 신뢰할 수 있는 설정에 의존하는 SNARK의 약점을 해결하고 신뢰 설정에 의존하지 않고 블록체인 검증을 완료할 수 있는 zk-SNARKs 알고리즘의 기술적 진화입니다. 이를 통해 네트워크 시작의 복잡성을 줄이고 공모 위험을 제거합니다. . 동시에, zk-STARK는 타원 곡선, 페어링 및 지수 가정에 대한 지식이 필요하지 않고 대신 해싱 및 정보 이론에 의존하는 보다 간결한 암호화 방법을 사용하므로 이론적으로 양자 공격에 저항합니다.
4개의 L2 왕 중 하나로 알려진 Starknet은 현재 SATRK 유효성 증명을 사용하여 이더리움의 확장성 문제를 해결합니다.
다양한 기반 기술 외에도 현재 ZK Rollup 프로젝트는 거래 데이터에서 ZKP를 생성하여 검증을 위해 메인 체인으로 전송하며, 프로젝트 간의 직접적인 차이점은 EVM과의 호환성에 더 많이 반영됩니다.
Vitalik은 수정 정도와 EVM 호환성을 기반으로 현재 ZK 롤업을 다음 수준으로 나눕니다.
일반적으로 이더리움/EVM과의 호환성이 좋을수록 필요한 설계 리팩토링 작업량은 줄어들지만 후속 작업에서 ZK 검증 계산 작업량은 더 커집니다. 그러나 현재 ZK 롤업 트랙의 두 가지 절대적 선두 프로젝트인 StarkNet과 zkSync는 현재 고급 프로그래밍 언어에 해당하는 ZK 롤업일 뿐입니다. 하지만 스타크넷 자체는 EVM과 호환되지 않지만, 카카로트(카카로트는 카이로로 작성된 zkEVM으로 EVM과 동등한 바이트코드이다) 등 다른 방식을 통해 이더리움과 호환 가능해 개발 난이도를 낮출 수 있다.
요약하다
ZK 기술은 우리 시대에서 가장 과소평가된 기술 중 하나일지도 모르지만, 인공지능, 빅데이터 기술과 관련된 뉴스 보도가 압도적인 것과 달리 아직까지 ZK 기술에 관심을 갖는 사람은 거의 없습니다. 하지만 그럼에도 불구하고 이 기술은 개인정보가 숨길 곳이 없는 빅데이터 시대에 우리에게 귀중한 개인정보 보호를 제공한다는 점에서 여전히 큰 혁신입니다. 현재 블록체인 분야에서 ZK 기술의 중요한 적용 방향인 ZK Rollup은 또한 블록체인의 대규모 적용을 제한하는 가장 큰 문제를 해결하여 실제로 복잡한 비즈니스 환경에서 더 많은 Web3 혁신이 널리 사용될 수 있도록 할 것으로 예상됩니다.
