영지식 증명, 롤업, 그리고 zkEVM의 흥미로운 세계로의 탐험에 오신 것을 환영합니다. 이 개념들은 블록체인 기술의 지형을 빠르게 재정의하고 있습니다. 이 개요는 이러한 고급 기술 구조를 이해하기 쉽고 소화 가능한 조각으로 단순화하여 그 영향과 잠재력을 이해할 수 있도록 안내하는 여정으로 설계되었습니다.

우리의 목표는 이러한 고급 기술의 이론적 측면과 실제적 측면 사이의 간극을 메우고, 실제 적용과 잠재적 영향에 대한 균형 잡힌 이해를 제공하는 것입니다. 따라서 이 분야의 열정적인 사람이든 전문가이든, 이 개요가 블록체인 기술의 이러한 변혁적인 개념에 대한 포괄적인 가이드 역할을 하기를 바랍니다.

ZK란 무엇인가요?​

"영지식"은 일반적으로 암호학에서 "영지식 증명"으로 알려진 개념을 의미합니다. 이는 한 당사자(증명자)가 다른 당사자(검증자)에게 자신이 값 x를 알고 있다는 사실 외에는 어떠한 정보도 전달하지 않고 값 x를 알고 있음을 증명할 수 있는 방법입니다.

이 용어는 검증자가 주장의 유효성 외에 증명의 세부 사항에 대해 어떠한 지식도 얻지 못한다는 사실에서 유래합니다. 예를 들어, 계정 비밀번호를 알고 있음을 증명하려고 할 때, 영지식 증명은 비밀번호가 실제로 무엇인지 전혀 드러내지 않고도 비밀번호를 알고 있음을 확인할 수 있습니다.

영지식 증명의 아이디어는 프라이버시 강화 기술에서 중요합니다. 예를 들어, 이는 일부 암호화폐 및 검증의 필요성과 프라이버시의 필요성 사이의 균형을 맞추는 것이 중요한 다른 시스템의 근본적인 구성 요소입니다.

ZK에서의 증명​

컴퓨터 과학 및 암호학의 맥락에서 증명은 추가 정보를 공개하지 않고 주장의 유효성을 확인하는 과정 또는 방법입니다. 이 주장은 비밀번호가 무엇인지 공개하지 않고 비밀번호를 알고 있음을 증명하는 것만큼 간단할 수 있습니다.

• ZK-SNARK (영지식 간결 비대화형 지식 주장): 이는 계산 및 저장 또는 전송해야 하는 데이터 양 측면에서 특히 효율적인 영지식 증명 형태입니다. "간결(Succinct)"은 증명이 작고 빠르게 검증될 수 있음을 의미하며, "비대화형(Non-interactive)"은 양방향 통신이 필요하지 않음을 의미합니다. ZK-SNARK는 Zcash와 같은 프라이버시 보호 블록체인 시스템에서 사용됩니다.

• ZK-STARK (영지식 확장 가능 투명 지식 주장): 이는 또 다른 형태의 영지식 증명입니다. 효율성을 제공하는 동시에, ZK-STARK는 신뢰할 수 있는 설정이 필요 없다는 추가적인 장점을 제공합니다(따라서 약어의 "투명(Transparent)" 부분). 그러나 ZK-STARK는 ZK-SNARK보다 계산 집약적이며 더 큰 증명을 생성합니다. ZK-STARK는 Fractal, SuperSonic, StarkWare, Polygon Miden 등에서 사용됩니다.

블록체인에 ZK가 필요한 이유는 무엇인가요?​

비트코인 및 이더리움과 같은 블록체인 네트워크가 인기를 얻으면서 이러한 네트워크에서 처리되는 거래 수가 극적으로 증가했습니다. 이는 채택의 긍정적인 신호이지만, 동시에 몇 가지 과제를 안겨줍니다. 블록체인은 설계상 본질적으로 확장 가능하지 않으므로 느린 거래 시간과 높은 수수료와 같은 문제가 발생합니다.

확장이 왜 필요한가요?

1. 제한된 거래 처리량: 블록체인의 각 블록은 용량이 제한되어 있으며, 몇 분마다 새 블록이 생성됩니다(2021년 마지막 업데이트 기준으로 비트코인은 약 10분, 이더리움은 약 15초). 이는 초당 처리할 수 있는 거래 수를 제한합니다. 예를 들어, 비트코인은 초당 약 3-7건의 거래(tps)를 처리할 수 있고, 이더리움은 약 15tps를 처리할 수 있습니다. 이는 Visa와 같은 기존 시스템이 처리할 수 있는 양(수천 tps)보다 훨씬 적습니다.

2. 높은 수수료: 네트워크가 혼잡할 때, 사용자는 종종 거래 우선순위를 지정하기 위해 더 높은 수수료를 지불해야 합니다.

3. 느린 확인: 수요가 많을 때, 네트워크가 빠르게 처리할 수 있는 것보다 거래가 더 많기 때문에 거래 확인에 오랜 시간이 걸릴 수 있습니다.

어떻게 확장하나요?

블록체인을 확장하는 방법은 일반적으로 두 가지 접근 방식이 있습니다. 레이어 1 (온체인) 확장과 레이어 2 (오프체인) 확장입니다.

1. 레이어 1 확장은 블록체인 프로토콜 자체의 변경을 포함합니다. 여기에는 블록 크기 증가(각 블록이 더 많은 거래를 담을 수 있도록 함), 블록 시간 감소 또는 샤딩 구현(네트워크를 더 작은 조각 또는 "샤드"로 나누어 각 샤드가 자체 거래 및 스마트 계약을 처리할 수 있도록 함)이 포함될 수 있습니다.

2. 레이어 2 확장은 기존 블록체인 위에 보조 레이어를 구축하는 것을 포함합니다. 거래는 오프체인에서 처리된 다음 온체인에서 정산됩니다. 레이어 2 솔루션의 예로는 **상태 채널, 플라즈마 체인, 롤업(옵티미스틱 롤업 및 ZK-롤업)**이 있습니다. 이러한 솔루션은 본질적으로 대부분의 거래를 메인 체인에서 이동시켜 혼잡을 줄입니다.

블록체인을 확장하는 것은 탈중앙화 특성(일부 레이어 1 솔루션에 의해 손상될 수 있음)을 유지하는 것과 더 많은 거래를 빠르고 저렴하게 처리할 수 있는 용량을 늘리는 것 사이의 균형입니다. 다양한 블록체인은 특정 목표 및 제약 조건에 따라 다른 확장 솔루션을 선택할 수 있습니다.

ZK 기술은 롤업 확장 솔루션에 적용됩니다.

롤업이란 무엇인가요?​

"롤업"은 이더리움과 같은 블록체인의 처리량을 늘리기 위해 설계된 레이어 2 솔루션으로, 기본 프로토콜 또는 "레이어 1"을 변경할 필요가 없습니다. 이들은 많은 블록체인이 인기를 얻으면서 직면하는 확장성 문제를 해결하는 것을 목표로 합니다.

작동 방식을 단순화하여 이해하는 방법은 다음과 같습니다.

1. 오프체인 집계: 거래는 "사이드체인" 또는 "롤업 체인"에서 메인 체인 외부에서 수집 및 처리됩니다. 이 집계는 메인 체인의 혼잡을 피하기 위해 오프체인에서 발생합니다.

2. 계산 및 저장: 이러한 거래와 관련된 데이터는 오프체인에서 처리 및 저장됩니다. 이는 메인 체인의 계산 부담을 줄입니다.

3. 메인 체인 제출: 거래 롤업이 준비되면, 집계된 거래에 대한 증명(이는 SNARK 또는 STARK와 같은 암호화 증명일 수도 있고, 단순히 데이터의 해시일 수도 있습니다)이 메인 체인에 제출됩니다. 이 증명은 개별 거래 전체 목록보다 크기가 훨씬 작습니다.

4. 검증: 메인 체인의 검증자는 이 증명을 검증합니다. 일단 검증되면, 번들된 거래는 확인된 것으로 간주됩니다.

롤업에는 두 가지 주요 유형이 있습니다: 옵티미스틱 롤업과 ZK-롤업.

1. 옵티미스틱 롤업: 이들은 "사기 증명" 시스템에 의존합니다. 본질적으로, 이들은 누군가 사기임을 증명하지 않는 한 거래 롤업이 정확하다고 가정합니다.

2. ZK-롤업: 이들은 영지식 증명을 사용하여 각 거래 롤업의 정확성을 검증합니다. ZK-롤업은 사기 증명에 의존하지 않으므로 확인을 위한 대기 기간이 필요 없다는 장점이 있습니다.

두 솔루션 모두 블록체인에서 초당 처리할 수 있는 거래 수를 늘려 확장성을 향상시키는 데 도움이 됩니다. 다음은 그 차이점입니다.

ZK-롤업 vs. zkEVM​

ZK-롤업과 zkEVM은 모두 이더리움에 영지식 증명을 사용하는 레이어 2 확장 솔루션이지만, 기능 수준이 다릅니다.

1. ZK-롤업: 이는 많은 거래를 단일 거래로 묶거나 "롤업"하여 초당 처리할 수 있는 거래 수를 크게 늘리는 특정 유형의 레이어 2 솔루션입니다. 각 ZK-롤업은 상태 전환과 전환이 정확하다는 증명을 포함합니다. 그러나 전통적으로 ZK-롤업은 처리할 수 있는 계산의 복잡성에 제한이 있었으며, 주로 간단한 전송에 사용되었습니다.
2. zkEVM (zk 이더리움 가상 머신): 이는 영지식 증명의 힘을 이더리움 가상 머신(EVM)에 가져오는 더 최근의 개발입니다. EVM은 이더리움의 모든 스마트 계약이 실행되는 환경입니다. zkEVM은 단순한 전송뿐만 아니라 더 복잡한 스마트 계약 상호 작용을 영지식 증명을 사용하여 롤업할 수 있도록 합니다. 즉, zkEVM은 임의의 계산을 영지식으로 검증 가능하게 만들어, 이더리움의 스마트 계약 기능 전체를 ZK-롤업을 통해 확장할 수 있도록 하는 것을 목표로 합니다.

zkEVM vs EVM​

EVM은 이더리움에서 스마트 계약을 위한 런타임 환경입니다. 이는 개발자가 스마트 계약 형태로 복잡한 스크립트를 작성하고, 이더리움 네트워크에서 거래가 발생할 때 실행될 수 있도록 하는 강력한 시스템입니다. 따라서 EVM 호환성은 레이어 2 솔루션이 EVM과 동일한 방식으로 동일한 스마트 계약을 실행할 수 있음을 의미합니다.

다음은 일반적인 호환성 수준입니다.

1. EVM 동등: 이는 가장 높은 수준의 호환성입니다. EVM 동등 솔루션은 이더리움 메인 체인에서 실행될 수 있는 모든 스마트 계약을 변경 없이 실행할 수 있습니다. 이는 EVM의 기능을 완전히 복제합니다. 예를 들어, zkSync 2.0은 ZK-롤업에서 EVM 동등 기능을 제공한다고 주장합니다.
2. EVM 호환: EVM 호환 솔루션은 EVM과 동일한 스마트 계약 중 많은 부분을 실행할 수 있지만, 전부는 아닐 수 있습니다. 레이어 2 솔루션 내에서 작동하도록 스마트 계약에 일부 조정이 필요할 수 있습니다.
3. 비 EVM 호환: 비 EVM 호환 솔루션은 이더리움 메인 체인에서 사용할 수 있는 것과 다른 기능을 제공합니다. 예를 들어, 간단한 거래는 처리할 수 있지만 복잡한 스마트 계약은 처리할 수 없습니다.

zkEVM 프로젝트의 목표는 완전하거나 거의 완전한 EVM 동등 기능을 제공하는 ZK-롤업을 개발하는 것입니다. 이를 통해 개발자는 탈중앙화 애플리케이션을 큰 변경 없이 이러한 레이어 2 솔루션으로 포팅하여, EVM이 제공하는 기능을 희생하지 않고 향상된 확장성으로부터 이점을 얻을 수 있습니다.

시장의 zkEVM 솔루션​

Scroll​

2021년에 설립된 스크롤 팀은 이더리움 확장을 위한 지속적인 노력의 일환으로 이더리움의 EVM(이더리움 가상 머신)과 동등한 ZK 롤업을 개발하는 데 전념해 왔습니다. 프라이버시 및 확장 탐색 팀과 다른 오픈 소스 기여자들과 협력하여, 스크롤은 지난 2년 동안 바이트코드 호환 zkEVM(영지식 이더리움 가상 머신)을 공개적으로 구축하는 데 힘썼습니다.

스크롤은 2월 말에 알파 테스트넷이 고얼리 네트워크에서 라이브 상태가 되었다고 발표했습니다. 모든 사용자가 허가 없이 기술 테스트를 위해 개방된 알파 테스트넷은 평균 블록 시간이 3초입니다. 현재까지 2천만 건 이상의 거래를 처리하고 150만 개 이상의 블록을 생성했으며, 4백만 개 이상의 상호 작용 주소를 자랑합니다. 또한, 4월 11일 스크롤은 웹사이트 생태계 인터페이스를 공개했습니다.

최근 공개된 정보에 따르면 스크롤은 유형 2 EVM 동등성 경로를 꾸준히 진행하고 있습니다. 모든 EVM 연산 코드에 대한 호환성 개발을 성공적으로 완료했으며 현재 감사 절차를 진행 중입니다. 다음 목표는 EIP2718 거래와의 호환성을 보장하는 것입니다.

기술적 관점에서 스크롤의 아키텍처는 비교적 전통적입니다. 주요 초점은 레이어 2(L2)에서 EVM 실행의 정확성을 검증하는 역할을 하는 zkEVM입니다. 그러나 zkEVM을 이더리움의 포괄적인 ZK 롤업으로 전환하려면 완전한 L2 아키텍처가 필요합니다. 특히, 기존 스크롤 알파 테스트넷은 스크롤 노드, 브릿지 계약, 롤업 계약으로 구성됩니다.

스크롤 노드는 시퀀서, 릴레이어, 코디네이터로 구성됩니다. 주문자라고도 불리는 시퀀서는 사용자 및 애플리케이션에 JSON-RPC를 노출하고, 거래 풀에서 거래를 읽고, L2 블록 및 상태 루트를 생성합니다. 현재 스크롤의 시퀀서 노드는 중앙 집중식이며, 향후 업그레이드에서 점진적으로 탈중앙화할 계획입니다.

코디네이터는 롤러와 스크롤 노드 간의 통신을 처리하며, 시퀀서에서 새 블록이 생성될 때마다 풀에서 롤러를 무작위로 선택하여 증명을 생성합니다. 릴레이어는 이더리움 및 스크롤 체인의 브릿지 계약과 롤업 계약을 모니터링합니다. 롤업 계약은 레이어 1(L1) 수준에서 L2 데이터 가용성을 보장하고 L1 수준에서 L2 블록의 복구를 보장합니다. 브릿지 계약은 크로스체인 작업 중 체인 간 통신을 담당하며, 양방향 메시지 전송과 자산 담보 및 인출 작업을 용이하게 합니다.

마지막으로, 롤러 네트워크는 중요한 역할을 합니다. zkEVM이 내장된 롤러는 네트워크의 증명자 역할을 하며, ZK 롤업에 대한 유효성 증명을 생성합니다. 롤러는 처음에 코디네이터로부터 받은 실행 추적을 회로 증인으로 변환합니다. 그런 다음 각 zkEVM 회로에 대한 증명을 생성하고, 최종적으로 여러 ZK 회로에서 이러한 증명들을 집계합니다.

이 정교한 아키텍처 설계는 zkEVM 롤업을 통해 이더리움의 확장성을 향상시키려는 스크롤의 변함없는 헌신을 보여줍니다. 공개적이고 투명한 개발 관행을 통해, 이들은 오픈 소스 커뮤니티 내 협력이 가져올 수 있는 가능성의 빛나는 예시입니다.

StarkWare​

StarkWare는 STARK 기반 확장 솔루션을 제공하여 블록체인 기술의 경계를 허물고 있으며, 레이어 2(L2)에서 안전성, 속도 및 원활한 사용자 경험을 보장합니다. 이들은 StarkNet 및 StarkEx를 포함한 여러 데이터 가용성 모드를 지원합니다.

StarkNet은 그들의 L2 네트워크이며, StarkEx는 기업 사용자를 위해 설계된 롤업 검증 서비스입니다. DApp(탈중앙화 애플리케이션)은 StarkEx 서비스 위에 구축될 수 있습니다. 그러나 이 서비스는 현재 특정 DApp에 대한 사용자 정의 회로 작성만 지원하며 범용 zkEVM 롤업은 지원하지 않습니다. StarkEx는 또한 NFT 발행 및 거래, 파생 상품 거래와 같은 여러 플러그 앤 플레이 서비스를 포함합니다. 생태계 측면에서 탈중앙화 선물 계약 거래 플랫폼인 dYdX는 StarkWare의 충성도 높은 사용자입니다.

엄밀히 말하면, StarkNet은 zkVM(영지식 가상 머신)으로 설명될 수 있습니다. 이더리움 opcode용 ZK 회로를 사용하지 않습니다. 대신, 더 ZK 친화적인 어셈블리 언어인 AIR(대수적 중간 표현)와 고급 언어인 Cairo를 사용합니다. StarkNet 자체는 EVM과 호환되지 않지만, Cairo로 작성된 zkEVM이자 바이트코드 동등 EVM인 Kakarot과 같은 방법을 통해 이더리움과의 호환성을 달성할 수 있습니다. 중앙 집중식 특성 측면에서 StarkNet은 어느 정도 중앙 집중식이며 이더리움에 맞춰 보안을 업그레이드할 수 없습니다. 따라서 개발자의 집중적인 노력이 필요하여 보안 기능을 강화하고 새로운 프로토콜 채택에 있어 이더리움과 보조를 맞춰야 합니다.

StarkNet은 STARK를 증명 시스템으로 사용하며, 이는 SNARK에 비해 더 많은 혁신을 보여줍니다. SNARK와 달리 STARK는 "신뢰할 수 있는 설정"에 의존하지 않습니다. 또한, 타원 곡선, 페어링, 지수 지식 가정의 필요성을 제거하여 더 간단한 암호화 가정을 제공합니다. 대신 순수하게 해시 및 정보 이론에 의존하므로 양자 공격에 더 강합니다. 전반적으로 STARK는 SNARK보다 안전합니다. 확장성 측면에서 STARK는 상당한 한계 효과를 가지며, 증명이 클수록 총 비용이 낮아집니다.

그러나 아키텍처 문제가 있습니다. 현재 시스템에는 StarkWare가 제어하는 하나의 시퀀서와 ZK 증명 생성을 담당하는 하나의 증명자만 있습니다. 이 증명자는 StarkNet뿐만 아니라 자체 StarkEx 롤업에서 실행되는 다른 모든 애플리케이션에 대한 증명도 생성합니다. 이러한 통제 집중은 장기적으로 잠재적인 위험을 초래할 수 있습니다.

결론적으로, StarkWare는 STARK 기반 확장 아키텍처로 L2 솔루션 개발을 주도하고 있습니다. 그러나 모든 기술과 마찬가지로, 미래의 성공은 중앙 집중화 문제를 얼마나 잘 해결하고 보안, 속도 및 사용자 경험 사이의 균형을 유지하는지에 달려 있을 것입니다.

zkSync​

StarkNet과 유사하게, zkSync는 고급 언어 동등 zkVM을 고수하는 데 확고한 입장을 취해 왔으며, 놀랍도록 높은 관심과 잠긴 가치로 많은 주목을 받고 있습니다. 2020년 6월 15일 이더리움 메인넷에 출시된 zkSync 1.0(zkSync Lite라고도 함)은 약 300 TPS(초당 거래량)의 거래 처리량을 달성했지만 이더리움의 EVM(이더리움 가상 머신)과 호환되지 않았습니다. zkSync 2.0(zkSync Era라고도 함)은 2023년 3월 24일에 출시되었습니다.

zkSync Era의 목표는 EVM 호환성을 추구하기보다는 맞춤형 VM을 최적화하여 증명을 더 빠르게 생성하는 것입니다. 강력한 LLVM 컴파일러를 통해 Solidity, Vyper, Yul 및 Zinc(롤업의 내부 프로그래밍 언어)를 지원하여 대부분의 스마트 계약 기능을 구현합니다. 자체 VM을 채택하므로 zkSync Era는 네이티브 계정 추상화를 지원하여 모든 계정이 모든 토큰을 사용하여 수수료를 지불할 수 있도록 합니다.

또한, ZK 롤업과 샤딩 기술을 결합한 zkPorter 프로토콜의 적용은 네트워크 처리량의 기하급수적인 성장을 가져와 20,000 TPS 이상에 도달했습니다(Volition의 데이터 가용성 전환과 유사).

전반적으로 zkSync는 풍부한 생태계를 가진 L2 프로젝트로, 개발자와 투자자 모두의 관심을 받고 있습니다. 최근 zkSync에서 프로젝트가 완전히 실패한 사례가 있었지만, 개발자들이 고급 언어 동등 zkVM에서 좋은 개발 및 마이그레이션 경험을 할 수 있는지에 대한 의문이 남아 있습니다. 현재 개발자들의 명확한 사용 보고서가 부족합니다. 개발자 경험이 좋다면, zkVM을 EVM과 정렬하려는 다른 유형의 노력의 관련성에 대한 의문이 제기됩니다. 이러한 질문에 답하기 위해서는 더 많은 시간과 관찰이 필요합니다.

결론적으로, zkSync는 고급 언어 동등 zkVM을 고수함으로써 이더리움의 레이어 2 확장 솔루션 세계에서 흥미로운 진화를 보여줍니다. 프로젝트가 계속 성숙함에 따라 블록체인 개발 및 사용자 경험에 미치는 영향이 더욱 명확해질 것이며, 레이어 2 기술의 미래에 대한 우리의 이해에 기여할 것입니다.

Polygon zkEVM​

3월 27일, 폴리곤은 zkEVM 롤업 메인넷의 베타 버전을 출시했으며, 이는 이더리움 동등 가상 머신이자 모든 zkEVM 코드를 오픈 소스화했습니다. 폴리곤 zkEVM의 잠긴 가치는 zkSync에 비해 상당히 낮지만, 생태계 내에는 다양하고 흥미롭고 활기찬 프로젝트들이 많이 있습니다.

폴리곤은 롤업 설계에서 스크롤과 구별되는데, 탈중앙화 및 무허가 검증자와 관련된 문제를 해결하기 위해 시퀀서와 애그리게이터에게 인센티브를 제공하는 PoE(효율성 증명) 모델을 채택합니다. 이 무허가 시퀀서-애그리게이터 2단계 모델에서 모든 시퀀서는 배치 패키징 애플리케이션을 제안하여 패키징 수수료를 얻을 수 있지만, 레이어 1(L1) 가스 요금을 지불하고 일정량의 토큰을 예치해야 합니다. 동시에 애그리게이터는 증명 생성당 이익을 극대화하기 위해 자체 목표를 설정해야 합니다. 또한 폴리곤은 데이터 가용성 모델에서 Volition(ZK 롤업과 Validium의 혼합)과 깊은 호환성을 보여 사용자에게 다양한 수준의 서비스를 제공합니다.

폴리곤은 또한 ZK 프로토콜에 상당한 노력을 투자하여 주목할 만한 결과를 얻었습니다. 그들은 문서에서 기술적 장점을 요약했으며, 주로 다음을 포함합니다.

1. 향상된 호환성: 폴리곤은 EVM 동등 zkVM을 일관되게 고수하여, 탈중앙화 애플리케이션(dApp)을 마이그레이션하는 개발자 비용을 줄이는 것을 목표로 합니다. 폴리곤 미덴이 ZK-STARK 프로토콜을 사용함에도 불구하고, 여전히 Solidity 계약 실행을 지원합니다.
2. 더 쉬운 검증: ZK 롤업은 유효성 증명을 생성하기 위해 고가의 특수 하드웨어가 필요하다는 비판을 종종 받습니다. 이러한 비용은 하드웨어를 운영하는 제조업체에 의해 사용자에게 전가됩니다. 폴리곤 ZK 롤업(예: Polygon Zero)은 증명 체계를 단순화하여 저사양 장치도 참여할 수 있도록 하는 것을 목표로 합니다. 예를 들어, 소비자용 PC에서 Plonky2 증명 생성 테스트를 수행했습니다.
3. 더 빠른 증명 생성 및 검증 프로세스: Polygon Zero는 170밀리초 이내에 45kb 증명을 생성할 수 있습니다.

요약하자면, 폴리곤의 zkEVM 롤업 메인넷 베타 버전 출시는 이더리움 레이어 2 기술 진화의 중요한 단계를 의미합니다. 강력한 생태계와 호환성 향상, 더 쉬운 검증, 더 빠른 증명 생성에 대한 지속적인 헌신으로 폴리곤은 블록체인 공간에서 설득력 있는 내러티브를 구축하고 있습니다.

요약​

이 개요는 블록체인 기술의 중요한 측면인 zk, 롤업, zkEVM을 중심으로 진행되었습니다. 또한 Scroll, StarkWare, zkSync, Polygon 등이 제공하는 솔루션을 비교했습니다.

그럼에도 불구하고 만능 해결책은 없습니다. zkEVM과 관련하여 논의된 주요 문제점은 중앙 집중화, 비용, 복잡성입니다.

• 중앙 집중화는 주로 시퀀서와 증명자의 통제와 관련되어 탈중앙화의 범위를 제한할 수 있습니다.
• 복잡성은 또 다른 중요한 과제로, 주로 복잡한 코딩 요구 사항과 증명 생성 및 검증을 위한 전문 지식의 필요성 때문입니다.
• zkEVM의 비용은 유효성 증명 생성에 필요한 상당한 자원에서 발생하며, 종종 사용자에게 전가됩니다. 그러나 증명 생성을 단순화하고 비용을 절감하기 위한 노력이 진행 중이며, 이는 이러한 문제에 대한 잠재적 해결책을 제시합니다.