제로 지식 증명과 zkEVM: 어디서 왔고, 어디로 가는가?

by Aki Labs - Roy, Lyv

현재 뜨거운 zk-Rollup 트렌드 뒤에서, 우리는 이 블록체인 최전선 기술이 왜 등장했는지, 다양한 팀의 솔루션 간의 차이점, 그리고 이러한 차이점이 결국 어떻게 완전히 다른 생태계를 가져올 수 있는지 정리하고자 합니다.

1. 제로 지식 증명

먼저 제로 지식 증명(ZKP)이 정말 어렵다는 것을 명확히 할 필요가 있습니다.

ZKP를 몇 마디로 간단히 요약하면 이해와 사실 간의 편차가 발생할 것입니다. 하지만 우리는 TL;DR의 매력 앞에서 모두가 너무 신경 쓰지 않을 것이라고 믿습니다. 이제 실제 생활을 배경으로 세 가지 시나리오의 진행을 설명하여 ZKP의 원리를 형상적으로 이해해 보겠습니다.

시나리오 A:

여름 방학이 끝나고 개학하는 상황을 상상해 보세요. 선생님이 '여름 방학 생활'을 점검하는 장면에서, 반 친구들이 두꺼운 노트를 한 더미씩 제출합니다. 선생님은 문제를 하나하나 채점할 수 없으므로, 숙제 노트를 빠르게 넘기며 빈칸이 있는지를 확인하여 학생들이 모든 문제를 작성했는지 확인합니다.

• 이 시나리오에서 선생님은 학생들이 각 문제를 올바르게 답했는지 알지 못하지만, 학생들이 숙제를 완료했는지는 확실히 알 수 있습니다.

시나리오 B:

그는 몇몇 학생들이 빈칸에 의미 없는 내용을 채워 넣는 것을 발견하고, 예를 들어 아이스크림, KFC의 미친 목요일 등으로 채워 넣는 것을 보며 자신이 너무 순진했음을 깨닫습니다. 그래서 그는 모든 숙제를 다시 돌려주고, 일부 문제를 무작위로 점검하겠다고 발표하며 학생들이 진지하게 대하길 바랍니다.

• 이 시나리오에서 선생님은 무작위로 아주 적은 수의 문제를 점검하여 학생들이 숙제를 올바르게 완료했는지를 확인합니다.

시나리오 C:

선생님이 숙제를 다시 수거하여 점검한 결과, 대부분의 학생들이 점검을 두려워하여 숙제를 잘 완료했습니다. 선생님은 꽤 만족스러워합니다. 그러나 여전히 몇몇 학생들은 계속해서 속임수를 쓰고, 그들은 무작위로 적은 수의 문제에서 엉뚱한 답을 적습니다. 선생님은 무작위로 일부 문제를 점검할 수밖에 없으며, 일부 학생들이 운이 나쁘게 점검된 문제에 걸리지 않는 한, 그들은 거의 넘어갈 수 있습니다.

• 따라서 선생님은 결국 학생들이 모든 문제를 올바르게 완료했음을 보장하면서도 자신의 작업량을 최대한 줄일 수 있는 방법이 필요합니다.

이것이 현재 블록체인에서 제로 지식 증명이 진정으로 극복하는 어려움입니다: 가능한 적은 문제를 검증하면서 전체 답변의 정확성을 보장하는 방법입니다. 위의 시나리오에서 각 문제의 답변 간에는 아무런 논리적 연관이 없으며, 즉 한 문제의 정답 여부는 다른 문제의 정답 여부와는 무관합니다. 그렇다면, 선생님이 한 문제를 점검하고 그 정답 여부를 판단하는 동시에 학생의 전체 숙제가 모두 올바르게 답변되었는지를 알 수 있는 기발한 방법이 있을까요?

이제 초현실적인 부분이 있습니다: 선생님은 모든 올바른 답변을 "연결"하고 이를 위해 새로운 수학 도구인 다항식을 도입합니다. 다항식을 포함한 방정식을 구성하여 검증함으로써, 학생들의 답변 부분과 전체의 정확성을 거의 동시에 확인할 수 있습니다. 이렇게 해서 선생님은 드디어 안심하고 학생들이 올바르고 완전하게 여름 방학 숙제를 완료했다고 발표할 수 있습니다.

그렇다면 다항식은 어떤 마법일까요?

여기 간단한 예를 들어보겠습니다: 숙제는 세 문제만 있고, 번호와 답변은 각각 (1,4), (2,6), (3,3)입니다. 이를 다항식으로 "연결"하면 y=-52x²+192x-3이 됩니다.

이제 선생님은 숙제를 채점하기 위해 두 가지 단계만 완료하면 됩니다: 1) 다항식 자체를 확인하여 전체가 올바른지 검증합니다; 2) 무작위로 한 점을 선택하여 이 학생이 정말로 이 문제를 작성했는지 검증합니다. 물론 이것은 매우 유치한 예시이며, 실제 공학에서는 다항식을 포함한 방정식을 구성하고, 일부는 검증할 특정 수학 언어로 표현된 진술(statement)이며, 다른 일부는 다항식으로 연결된 검증 가능하고 완전한 정보입니다(영리한 독자라면 데이터 가용성 DA라는 개념을 이미 생각했을 것입니다).

다항식은 많은 멋진 성질을 가지고 있으며, 제로 지식 증명에서는 그 중 두 가지를 주로 활용합니다:

1. 기존 정보가 연결되어 있으며, 우리는 다항식 방정식의 점을 검증함으로써 전체 방정식을 동시에 검증할 수 있습니다.

2. 만약 어떤 다항식 방정식이 특정 무작위 선택된 점에서 성립한다면, 그 방정식은 전체 집합에서도 성립할 확률이 매우 높습니다.

한 마디로 요약하자면: 제로 지식 증명의 본질은 확률적 증명으로, 즉 무작위 점검(유효성 증명과 거의 동일)이며, 동시에 다항식 구성 및 일부 암호학적 도구를 도입하여 단순 무작위 점검의 완전성 결함을 보완하는 것입니다.

흥미롭게도, 롤업의 맥락에서 제로 지식 증명의 "제로 지식"은 정보 압축에 대한 유효성 증명에 더 많이 나타나며, 직관적으로 각 개별 정보에 대한 프라이버시 처리가 아닙니다.

2. 그렇다면 zkps는 무엇에 쓰이나요?

당신은 ZK-Rollup에 대해 들어본 적이 있을 것입니다. 우리는 앞서 선생님이 숙제를 점검하는 과정에서 어떻게 게으름을 피우는 방법을 찾았는지를 설명하는 데 많은 분량을 할애했습니다. ZK-Rollup이 하는 일은 게으름을 피우는 것입니다.

간단히 말해, 예를 들어 현재 천 개의 진술(일반적으로 거래)이 있을 때, ZK의 도움으로 단지 열 번의 검증만으로도 그 정확성을 증명할 수 있습니다. 증명 작업량이 증가함에 따라, 검증 횟수에 필요한 증가량은 선형 관계보다 훨씬 낮습니다. 즉 만 개의 진술로 증가하더라도 검증 횟수는 백 번으로 증가하지 않으며, 아마도 우리는 열한 번만으로도 증명할 수 있습니다.

따라서 이는 훌륭한 확장 솔루션입니다. 다른 확장 솔루션과 마찬가지로(예: Optimistic Rollup), 현재 존재하는 ZK-Rollup의 적용 과정은 다음과 같습니다:

1. 사용자는 특정 L1의 ZK-Rollup 스마트 계약에 자산을 잠급니다.

2. 사용자는 거래를 시작하며, 이 거래 내용은 L2의 시퀀서에 의해 정리되고 패키징되어 유효성 증명(validity proof)과 각 배치(batch)에서 상태 업데이트가 생성됩니다.

3. 상태 업데이트와 증명은 L1의 ZK-Rollup 스마트 계약에 제출되어 L1의 상태를 업데이트하는 데 사용됩니다.

4. 사용자는 L1에서 업데이트된 상태를 사용하여 다음 작업을 수행합니다.

3. ZK-Rollups vs Optimistic Rollups

롤업의 두 가지 기술 경로 중 하나로, ZK 기반 롤업은 더 높은 보안을 제공합니다. ZK-Rollups는 수학과 이더리움 자체가 제공하는 보안 보장에만 의존하는 반면, Optimistic Rollups는 이 측면에서 게임 이론 프레임워크 하의 경제적 인센티브와 처벌에 의존합니다.

사용자에게 이는 ZK-Rollups가 더 빠른 L1 최종성 확인을 제공하며, Optimistic Rollups는 일주일의 도전 기간을 기다려야 함을 의미합니다. 물론 현재 다양한 크로스 체인 프로토콜이 Defi 수단을 통해 Optimistic Rollups 사용자 경험을 더 편리하고 신속하게 만들어 주고 있습니다. 예를 들어 Celer, Stargate, Across, Synapose 등이 있습니다. 그러나 이는 종종 전체 보안을 희생하여 부분적인 사용자 경험 향상을 얻는 것이며, 이러한 프로토콜에서 사용자가 지불하는 인출 수수료는 일반적으로 공식 인출 경로의 수배에 달합니다.

비록 ZK Rollups가 이론적으로 OP Rollups에 비해 이러한 장점을 가지고 있지만, 현재 ZK-Rollups 기반 생태계는 OP Rollups에 비해 아직 충분히 번창하지 못하고 있어, 사용자가 ZK 생태계에서 OP와 유사한 상호작용 경험을 얻기 어렵습니다. 또한 ZK Rollups는 단기적으로 규모화 이후에만 나타날 수 있는 장점(높은 동시성, 낮은 지연, L1 상호작용 보안성 등)을 보여주기 어려운 상황입니다.

4. 그렇다면 zkp의 문제는 무엇인가요?

ZKP가 이론적으로 사용 가능하게 된 시점은 2015년 이전이 아니므로, 이더리움은 설계 초기부터 ZKP와 아무런 관계가 없었습니다. 첫 번째 소절을 읽으면서, 당신은 이게 매우 수학적인 것이라는 느낌을 받았을 것입니다. 당신의 느낌은 맞습니다. 그것이 가져오는 가장 직접적인 문제는 EVM의 핵심 기반 시설과 ZK-Rollup이 호환되지 않는다는 것입니다. 그 이유는 이더리움의 저장 레이아웃, 이더리움의 서명 암호화 메커니즘 등 여러 가지가 있습니다. 이더리움 EVM의 연산은 일반인의 수학 세계를 기반으로 하지만, ZKP의 계산 및 증명은 소수체(Prime Fields)에서 이루어집니다. (참고: 이 항목은 앞의 두 항목과 논리적으로 나란한 관계를 가집니다)

이러한 비호환성은 한편으로는 ZKP 기반 블록체인 프로젝트에 막대한 체인 상 계산의 추가 부담(overhead)을 초래합니다. 두 번째로, ZKP의 공학적 구현이 필요하기 때문에, 산술 회로, 논리 게이트 등 수학 개념의 구현 복잡도가 프로그래밍 시 반드시 고려해야 할 제약이 되어 개발자들이 개발 학습 비용과 구현 정확성 간의 절충을 해야 합니다.

응용 측면에서, 현재 ZKP 기반 기술 스택(Tech Stack)은 L1 위에 배포된 스마트 계약이 특정 L2의 ZK-Rollups를 가리키거나, Dapp 설계에 기반한 전용 ZK-Rollup으로 나뉩니다. 예를 들어 dYdX V3는 ZK-Rollup을 사용하고 있습니다(본질적으로 Starkware 기반의 전용 ZK-Rollup입니다).

어떤 형태이든, 수학적 기반의 거대한 차이로 인해 이러한 ZK 프로젝트와 다른 프로젝트 간의 조합 가능성이 매우 낮습니다. 예를 들어 ZK-rollup 생태계에 배포된 Defi 프로토콜이 신뢰할 수 있는 오라클을 찾고자 할 때, 이 장면의 수요는 실제로 존재합니다. 그러나 이 프로토콜이 ZK-Rollup 기반으로 개발되었기 때문에 다른 프로토콜과의 상호작용이 매우 어려워집니다. 예를 들어 Etherscan은 ZKP 기반 블록체인에서 포크하여 직접 이 체인에 서비스를 제공할 수 없습니다.

5. 왜 이더리움(또는 EVM)과 호환되어야 할까요?

이더리움 생태계는 매우 큽니다. 당신의 체인이 이더리움과 비슷할수록, 최선은 체인 ID만 다르면, 당신의 생태계가 이더리움 기반으로 개발된 앱의 지원을 받을 확률이 높아집니다. 예를 들어 Polygon은 이더리움을 지원하기 위해 다양한 효율적이고 저렴한 확장 솔루션을 제공하며, 사용자와 이더리움 생태계 발전에 큰 기여를 해왔습니다.

사용자(개발자) 측면에서, 익숙함, 저렴함, 무통증 전환이 금표준입니다. 대다수 개발자에게 새로운 고급 언어(예: Rust/Move)를 배우는 비용은 엄격한 수학 과정을 배우는 비용보다 훨씬 낮습니다(더군다나 ZKP와 같은 복잡한 공학적 실제 응용을 도입해야 한다는 점은 말할 것도 없습니다). 따라서 프로토콜 프로젝트가 새로운 공공 체인에서 재개발하는 난이도는 예를 들어 Solana/Aptos보다, 비교적 낯선, 엄격하고 정밀하며 복잡한 수학적 논리 언어 기반 블록체인(ZK 기반)에서 재개발하는 난이도보다 훨씬 낮습니다.

물론 새로운 표준을 만드는 것이 불가능한 것은 아닙니다. 강력한 개발 팀과 적절한 경제적 인센티브가 있다면, Solana도 큰 성공을 거두었습니다. EVM의 지원을 받아 Cosmos 생태계도 많은 Solidity 개발자들을 끌어들여 자신의 프로토콜을 배포하는 데 성공했습니다.

따라서 ZKP가 EVM과 무통증으로 호환될 수 있다면, 개발자들은 기존 Dapp과 스마트 계약을 ZK 기반 L2로 더 쉽게 이식하거나, 이 새로운 프레임워크 아래에서 새로운 유형의 Dapp을 개발할 수 있을 것입니다. 더 나아가, 네 번째 소절에서 언급한 조합 가능성 문제도 개선된다면, ZK 기반 프로젝트가 다른 응용 프로그램과 더 나은 상호작용을 할 수 있게 되어, 우리는 더 번창하는 ZK 기반 L2 생태계를 얻게 될 것입니다. 이 점에서 ZK L2 플레이어들과 Solana, Aptos와 같은 L1 플레이어들의 근본적인 동기는 일치합니다.

6. 그렇다면 ZKP와 EVM을 호환할 방법이 있을까요?

있습니다. 현재 많은 팀들이 이 작업을 하고 있습니다.

6.1 잠깐, EVM이란 무엇인가요?

EVM은 이더리움에서 스마트 계약을 실행하는 가상 머신입니다.

6.2 다시 잠깐, 가상 머신이란 무엇인가요?

소프트웨어로 시뮬레이션된 거의 실제 컴퓨터와 같은 가상 컴퓨터입니다.

6.3 그럼 왜 이더리움은 가상 머신이 필요할까요?

이더리움은 스마트 계약을 도입했기 때문에, 계약을 실행하려면 컴퓨터가 필요합니다. 탈중앙화 네트워크에서 합의를 생성하기 위한 전제는 서로 다른 노드가 동일한 계약에 대해 계산하고 처리할 때 동일한 결과를 생성해야 한다는 것입니다. 즉, 서로 다른 컴퓨터가 1+1(실수 체)을 계산할 때 모두 2라는 결과를 얻어야 합니다. 그러나 각 노드의 물리적 의미에서의 컴퓨터는 서로 다른 기본 환경을 가질 수 있으므로, 이러한 기본 환경 차이로 인한 간섭을 피하기 위해 스마트 계약은 가상 머신에서 실행되어야 합니다. 즉, 동일한 문제에서 동일한 결과를 보장하기 위해서입니다.

많은 많은 기사나 포스트가 이러한 다양한 경로의 기술적 차이를 요약해왔으며, 여기서 더 이상 반복하지 않겠습니다. 아마 여러분도 관심이 없을 것입니다. 그래서 여기서는 상식, 비즈니스, 그리고 좀 더 사용자 지향적인 것들에 대해 이야기해 보겠습니다.

첫 번째 질문은 우리가 생태계에 대해 어떤 기대를 가지고 있는가입니다.

현실은 ZkSync, StarkWARE 등의 팀이 많은 애플리케이션 특정 zk-rollups를 개발했으며, B2B 비즈니스는 매우 성숙하게 발전하고 있습니다. 예를 들어 Immutable은 Starkware에서 Illuvium과 같은 대규모 Web3 게임을 지원하고 있습니다. 그러나 앞서 언급한 이유(주로 조합 가능성의 부족)로 인해 이러한 프로젝트는 여전히 공동의 생태계를 형성하여 함께 발전하기를 기다리고 있습니다.

Scroll, Polygon Hermez, zkSync Era는 ZK 기반 L2 생태계를 구축하기 위해 개발 및 기존 프로토콜 이식의 난이도를 거의 무통증 수준으로 낮추기 위한 노력을 하고 있습니다. 완전한 EVM 동등성(type 2 by Vitalik)을 구현하는 과정에서, 우리는 현재 "거의" EVM 동등성(type 3 by Vitalik) 수준에 있습니다. 예를 들어 zkSync Era는 99%의 이더리움 프로젝트가 코드의 어떤 줄도 재구성하거나 재검토할 필요 없이 배포할 수 있도록 합니다.

사용자에게 있어, 상호작용 경험에서 큰 차이가 없다면, 어떤 체인을 선택할지는 대부분 현재 사용 중인 체인에 따라 달라집니다. Polygon은 이 점에서 일정한 이점을 차지하고 있으며, 특히 기존 생태계에서 많은 원주율 게임과 소셜 프로토콜, 사용자, 그리고 독특한 Web2 브랜드 노출을 보유하고 있습니다.

그러나 우리는 Scroll과 zkSync Era가 기존 프로토콜 배포를 유치하는 데 단기적으로 큰 제약이 없을 것이라고 생각합니다. 이는 다음과 같은 몇 가지 장기적인 관찰에 기반합니다:

• 이더리움 생태계의 Dapp이 ZK 기반 L2에 배포되는 개발 난이도가 점차 대규모 이주를 촉발할 수 있는 전환점으로 낮아지고 있습니다.

• L2toL2, L1toL2의 크로스 체인 프로토콜이 점차 간단하고 편리하며 저렴해지고 있으며, L2 원주율 지향 크로스 체인 브릿지도 부상할 가능성이 있습니다. 비록 중앙화의 도전이 여전히 장기적으로 존재할 수 있지만요.

• 우리가 익숙한 분야에서, 경제적 인센티브의 기대와 적극적인 운영(Optimism의 여러 차례 에어드랍 인센티브 경험, Arbitrum의 개발자 커뮤니티 운영 논리 등)을 통해 사용자는 여러 체인의 여러 프로토콜을 시도할 수 있습니다.

두 번째 질문은 중앙화에서 탈중앙화로의 전환 방법입니다.

먼저 현재 대부분의 ZK-Rollups는 매우 중앙화된 구조라는 점을 명확히 해야 합니다. 그 큰 이유 중 하나는 경로 의존성입니다: 현재 조합 가능성이 없기 때문에 다른 사람과 조합할 필요가 없으므로, 중앙화는 일시적으로 문제가 되지 않습니다. 그러나 생태계로 발전하고자 한다면 이 중앙화 문제는 반드시 해결해야 합니다.

현재 주류 ZKEVM 솔루션 제공자들은 이 문제를 해결할 필요성을 공통적으로 인식하고 있습니다. 이 점에서 Scroll, Polygon Hermez, zkSync Era는 증명자 네트워크와 시퀀서 네트워크의 탈중앙화 과정을 점진적으로 추진해야 한다고 생각합니다. 궁극적으로 증명자/시퀀서의 작업을 토큰 경제학을 통해 계산 능력을 외주화하고 시장화하는 것을 달성해야 합니다. 비록 구체적인 구현 단계에서는 각자가 여전히 이견이 있지만요.

그래서 우리는 다시 익숙한 분야로 돌아갑니다: 돈이 있는 사람은 돈을 내고, 힘이 있는 사람은 힘을 내고, 모두 플랫폼에서 배당금을 기다립니다. 여기서 우리가 우려하는 점은 증명을 생성하는 계산 능력의 비용이 사실 매우 높다는 것입니다. 따라서 ZK 기반 L2에서 증명자의 문턱은 PoS 체인의 해당 부서보다 훨씬 높을 것입니다. 또한 시퀀서의 블록 오류 문제는 모든 블록체인 네트워크가 공유하는 문제이며, ZK 기반 L2에만 국한되지 않습니다. 따라서 ZK 생태계에서 증명자 네트워크의 탈중앙화는 더 큰 도전에 직면할 수 있다고 생각합니다.

7. ZK 기반 L2 생태계 발전 야망

StarkNet:

사모펀드에서 가장 높은 평가를 받은 이더리움 ZK 확장 솔루션이자 zk-STARK의 암호학 이론 창시자인 Starknet은 기술 흐름의 산업 표준으로 자리 잡고 있습니다. 창립자인 Eli Ben-Sassen은 블록체인에서 널리 사용되는 zk-SNARKs와 ZK-STARKs의 발명자이기도 합니다.

하지만 우리는 또한 Starknet 생태계가 이더리움 EVM 생태계와의 융합에 있어 매우 중요한 제품 구성에서 기술 경로의 이유로 인해 더 개발자 친화적이고 대중을 겨냥한 솔루션을 탐색하고 있음을 발견했습니다. 우리는 Starknet 팀이 앞으로 상업적으로 두 가지 경로를 병행하는 전략을 계속 실행할 것이라고 생각합니다:

1. 한편으로는 성숙한 Starknet을 통해 맞춤형 개발 서비스가 대규모 ZKP 수요가 있는 프로젝트, 예를 들어 Web2 게임 제작사의 AAA 대작이나 IP 소유자가 체인 상 메타버스의 대규모 실험을 진행하도록 지원합니다.

2. 다른 한편으로는 스마트 계약 지갑(Argent X, Braavos), Cario x Solidity 개발자 중간 매개체(예: Kakarot, Wrap) 등을 지원하여 이더리움 생태계 전체의 협동 능력을 강화합니다.

OP-Rollups가 이더리움 메인넷과 함께 EIP-4337을 통해 스마트 계약 지갑을 구축하는 방식과는 달리, Starknet은 처음부터 L2에서 계정 추상화 기반의 스마트 계약 지갑을 지원합니다. Starknet에 배포된 스마트 계약 지갑은 휴대폰 내장 칩의 암호화 보안 기능을 활용하여 하드웨어 서명기와 다중 인증을 구현하고, 블록체인 계약 레이어의 혁신을 통해 소셜 복구, 모바일 지갑 결제 등의 장면을 완성할 수 있습니다.

그때 우리는 대규모 모바일 하드웨어 회사가 수많은 Web2 사용자를 데리고 메타버스나 대형 체인 게임을 통해 Starknet 및 Web3에 진입하는 모습을 상상할 수 있을 것입니다.

zkSync Era:

최근 zkEVM 2.0 버전을 출시한 zkSync는 가장 기대되는 zk L2 솔루션 중 하나로, 극한의 성능 한계를 자랑하며 보안과 사용자 경험을 모두 고려하고, 최대 TPS 잠재력은 20,000+에 달합니다. 최신 zkSync Era는 LLVM 기반의 Solidity 컴파일러, zkSync가 자체 개발한 수상 경력 있는 GPU 증명기, Matter Labs가 곧 출시할 Redshift 증명 시스템을 활용하여 각 거래의 비용을 1센트 이하로 낮출 것입니다.

zkSync Era는 블록체인 데이터 저장 문제를 해결하기 위해 EIP-4844 위에 혁신적인 zkPorter 기능을 제공하여 사용자와 개발자가 다양한 보안 수준 요구에 따라 데이터 가용성 형식을 선택할 수 있도록 합니다. 이는 높은 성능의 validium(zkPorter)와 높은 보안성을 가진 validity(zk-Rollup) 간의 개발 중심을 균형 있게 조정합니다.

또한 zkSync Era는 Hyperchains의 분할 확장 솔루션을 주요 발전 방향으로 도입했습니다. Hyperchains는 LLVM(세계에서 가장 성숙한 컴파일러 스택 아키텍처)을 활용한 zkEVM과 유사한 분할 인스턴스로, L1에서 병렬 실행 및 공동 결산을 구현할 수 있습니다. 누구나 허가 없이 Hyperchains를 배포할 수 있으며, 이는 높은 수준의 맞춤형 모듈화된 zkEVM 체인 스택을 가지고 있으며, 주 zkSync L2와 완전히 동일한 zkEVM 엔진에 의해 지원됩니다. 개발자는 선택한 다양한 해결 경로에 따라 적절한 가상 머신(예: MoveVM), 시퀀서 설계 및 데이터 가용성(앞서 언급한 zkRollup, zkPorter 및 zkValidium)을 선택할 수 있습니다.

zkSync Era가 이렇게 높은 수준의 맞춤형 모듈화 스택을 출시함으로써 우리는 최근 Coinbase의 Base 체인을 통해 대중의 시야에 들어온 OP 스택을 떠올리지 않을 수 없습니다.

우리는 zkSync의 B측 발전 경로가 Optimism의 경험을 참고할 수 있다고 생각합니다. 즉, 기존 대규모 사용자, 강력한 기관 지원 배경을 활용하여 개발자 커뮤니티와 선순환의 에어드랍 기대 및 생태계 발전을 촉진하는 거버넌스 메커니즘(Token House, RetroPGF 등)을 구축하는 것입니다. 이렇게 하면 기반 시설을 초월한 혁신 응용을 촉진할 수 있을 뿐만 아니라, 기존 프로토콜(예: L1의 전통적인 DeFi 블루칩)의 최신 버전이 Era에 배포되도록 유도할 수 있습니다.

C측에서 볼 때, zkSync Era는 현재 이더리움 L2가 그리 강하지 않은 Web3 소셜에서 출발하여 이더리움 시스템 내에서 가장 강력한 소셜 네트워크, 소셜 그래프 등의 응용을 구축하여 더 많은 경량 Web3 사용자를 유치할 수 있을 것입니다. 우리는 Hyperchains가 소셜 프로토콜에 적합한 혁신을 도입했다는 점도 주목하고 있습니다. 이는 높은 동시성과 짧은 실행 환경을 구현하는 데에도 사용될 수 있습니다. 예를 들어, 개발자는 Rollup을 시작하여 소셜 네트워크 내에서 수백만 개의 동질적인 NFT 자산을 저렴하게 발행한 다음, 이러한 NFT를 다른 실행 레이어로 브릿지하고, 마지막으로 임시 Rollup을 종료하여 소셜 프로토콜에 필요한 기반 시설 용량의 유연성을 제공합니다.

Polygon zkEVM:

Polygon 생태계의 대전략은 매우 명확하며, 팀도 이를 매우 단호하게 실행하고 있습니다. 우리는 Polygon과 다른 이더리움 롤업 간에 차별화된 경쟁이 이미 형성되었음을 보고 있습니다. 소셜 생태계에서 Polygon은 Lens Protocol 생태계와 Galxe를 통해 BNB와 함께 Web3 소셜의 두 거두 중 하나로 자리 잡았습니다. Planet IX, Hunters On-Chain, Benji Bananas와 같은 금전적 게임도 수십만 개의 월간 활성 지갑 주소를 보유하고 있습니다. 최근 Polygon zkEVM은 Immutable과 2023 GDC 회의에서 전략적 파트너십을 발표하여 스튜디오와 개발자가 더 쉽게 고품질의 체인 게임을 제작할 수 있도록 지원하고 있습니다. Cumbeland의 보고서에 따르면, Polygon은 비암호화 파트너 측면에서 단기적으로 연간 3억 달러의 수익을 달성할 것으로 예상되며, 이는 현재 하루 몇만 달러의 가스 수익의 10배 이상입니다.

가장 특별한 점은 Polygon이 블록체인 산업 외부의 많은 브랜드와 협력하여 Web3의 전통 산업 이미지 대사가 되었다는 것입니다. 스타벅스 오디세이 이벤트의 주최사 Forum3와의 긴밀한 협력을 통해 Polygon은 가까운 1년 내에 2,700만 명의 거의 새로운 북미 블록체인 사용자를 맞이할 것으로 기대하고 있으며, 이러한 증가는 산업의 기존 사용자에게는 엄청난 충격이 될 것입니다. Polygon은 최근 디즈니의 가속기 프로그램에 참여하고, Stripe의 글로벌 결제 시스템에 통합되며, Reddit의 이모티콘 NFT 시스템을 지원하고, Adobe, 나이키, 아디다스, 메르세데스-벤츠, 마스터카드, 코카콜라 등 세계적인 브랜드와 상업적 협력을 이루었습니다.

우리는 Polygon zkEVM (Hermez)이 전통 분야에서의 강력한 경쟁력을 통해 전체 Polygon 생태계와 이더리움 생태계를 더 완전하게 결합하여 Web2 브랜드도 이더리움 L1이 제공하는 자산 안전성 프리미엄을 누릴 수 있도록 할 것이라고 믿습니다. 우리는 게임과 소셜 두 가지 트랙이 Polygon 생태계에서 지속적으로 빠르게 성장할 것이라고 기대합니다.

Scroll:

가장 젊은 이더리움 zk L2 솔루션인 Scroll은 아마도 이더리움 재단과 가장 가까운 개발 팀일 것이며, 최신의 가장 강력한 제로 지식 증명 팀 중 하나를 모으고 있습니다. Scroll은 기술 능력과 반복 속도를 기반으로 다른 zk 기반 롤업의 개발 속도를 따라잡기 위해 노력하고 있습니다.

Scroll은 증명자 네트워크와 시퀀서의 탈중앙화 설계에서 선두를 달리고 있으며, 특히 GPU/ASIC를 사용하여 계산 능력을 향상시키고 검증 네트워크를 분산화하는 솔루션을 제안했습니다. Scroll의 EVM은 이론적으로 zkSync Era와 Starkware에 비해 더 높은 코드 호환성의 한계를 가지고 있으며, 이는 개발자가 새로운 가상 머신과 컴파일러(예: zkSync의 LLVM)를 신뢰할 필요가 없음을 의미합니다. 또한 거래 실행 과정에서 중간 코드를 통해 EVM 호환성을 구현하는 데 따른 위험을 피할 수 있습니다(현재 Polygon zkEVM의 솔루션 특성).

Scroll 팀은 첫날부터 이더리움 핵심 활동과 깊이 결합하여 자신의 브랜드 인지도와 기반 시설 세트를 구축하고 있습니다. 예를 들어 오라클, 지갑 등입니다. 모든 이더리움 L1, 심지어 L2의 프로토콜 개발이 이론적으로 Scroll에 신속하게 배포될 수 있지만, 우리는 Scroll의 가장 큰 기회가 DeFi의 왕관 보석인 탈중앙화 중앙 제한 가격 주문서 거래소(CLOB)를 포착하는 데 있다고 생각합니다. Scroll의 강력한 성능 잠재력과 이더리움 메인넷의 대량 유동성이 안전하고 효율적인 거래 환경을 찾고 있는 절박한 수요가 결합되어 이러한 DEX 프로토콜의 폭발을 가져올 수 있습니다. 우리는 Lens Protocol과 같은 Web3 프로젝트가 Scroll에 배포를 시도하기 시작한 점도 주목하고 있으며, 더 많은 유사한 좋은 소식을 기대합니다.

소개: Aki Labs는 Aki Network의 심층 연구 기관으로, 블록체인 산업의 비즈니스 논리와 기술 이론, 공학적 실천을 결합하여 우리 커뮤니티에 가장 사고 가치 있는 미래 지향적인 목소리를 전달하는 데 전념하고 있습니다.

자세한 링크