Zk 롤업이란 무엇입니까? Zk Rollup과 뛰어난 프로젝트의 장점과 한계

Zk 롤업이란 무엇입니까? 다른 Layer 2와 비교하여 Zk Rollup의 차이점은 무엇입니까? 오늘날 시장에는 어떤 Zk Rollup 프로젝트가 있습니까? 여기에서 알아보십시오.

Rollup은 커뮤니티에서 높이 평가하는 Layer 2 솔루션으로, Optimistic 및 Zk Rollup의 두 가지 주요 모델이 있습니다. 이전 기사에서 나는 낙관적 롤업과 그 안의 뛰어난 프로젝트에 대해 많은 것을 공유했습니다. 여기에서 다시 참조할 수 있습니다 .

오늘의 기사에서 저는 Zk 롤업, 장점, 제한 사항 및 뛰어난 Zk 롤업 프로젝트에 대한 개요를 모든 사람과 공유할 것입니다.

Zk 롤업이란 무엇입니까?

Zk Rollup은 영지식 증명 기술을 사용하는 이더리움 레이어 1의 확장입니다. 

Zk 롤업을 사용하면 많은 수의 트랜잭션을 롤업 블록으로 집계하고 블록 오프체인에 대한 간결한 증거를 생성할 수 있습니다. 그런 다음 Ethereum 레이어 1의 스마트 계약은 트랜잭션을 다시 실행하지 않고 해당 Proof를 확인하기만 하면 됩니다. Proof 검증이 계산을 다시 하는 것보다 훨씬 저렴하기 때문에 이것은 많은 가스 비용을 절약할 수 있습니다.

Zk 롤업이 다른 레이어 2 솔루션보다 나은 이유는 무엇입니까?

Vitalik의 관점에서 이더리움에는 기본적으로 5가지 확장 전략이 있습니다.

• 여러 개의 개별 체인(Polkadot, Cosmos가 하는 방식).
• 초대형 블록.
• 개선 사항으로 운영 성능이 향상되지만 보안 모델은 변경되지 않습니다.
• 레이어 2(채널, 플라즈마, 롤업).
• 샤딩.

레이어 2 솔루션의 장점과 단점 비교표

Layer 2 부문 에서는 Rollup이 최고의 솔루션이라고 할 수 있습니다. 롤업은 낙관적 롤업과 Zk 롤업의 두 가지 주요 유형으로 분류됩니다. 일반적으로 낙관적 롤업이 미래에 제공할 수 있는 모든 이점은 Zk 롤업도 제공할 수 있습니다.

Zk Rollup이 Optimistic Rollup보다 높은 평가를 받는 주요 포인트는 Zk Rollup의 완료 시간(트랜잭션 유효성 검사 - 검증 프로세스)이 가장 빠르다는 것입니다.

낙관적 롤업은 "도전 게임"에 노출되는 접근 방식인 사기 증거를 통해 보호됩니다. ZK 롤업은 수학을 통해 보안이 유지되지만(다른 사람에게 답을 말하지 않고 답을 알고 있음을 다른 사람에게 증명) 지갑을 통해 두 롤업의 차이점을 명확하게 알 수 있습니다. 아래의 간단한 예:

Zk 롤업과 낙관적 롤업은 성인 바에 입장할 수 있으며, 이 바는 18세 이상만 입장할 수 있습니다. 보안요원이 "당신의 신분증을 볼 수 있습니까?"라고 물었다.

• ZK Rollup은 "내가 18세 이상임을 증명할 수는 있지만 신분증을 보여주지는 않을 것입니다"라고 말합니다.
• 낙관적 롤업은 "7일 동안 아무도 내가 18세 미만임을 증명할 수 없다면 18세 이상임을 의미합니다."라고 말합니다.

소매 사용자의 관점에서 "도전 게임"은 Optimism 또는 Arbitrum 과 같은 플랫폼에서 출금 대기 시간으로 대표됩니다 . 철수 시간이 단축되면 사용자는 더 나은 사용자 경험을 갖게 되며, 그 대가로 네트워크 공격 비용이 줄어들기 때문에 보안이 저하됩니다.

Zk 롤업 솔루션은 시간이 지남에 따라 이러한 문제를 겪지 않습니다. 영지식 증명 기술이 개발되고 Zk 롤업이 점점 더 좋아지고 롤업 블록을 검증하는 프로세스가 빠르고 저렴하게 조정됩니다.

이것이 Zk Rollup이 중장기적으로 이더리움을 위한 최고의 확장 솔루션으로 인식되는 이유입니다(사실 Zk Rollup 기술은 현재 여전히 제한적이며 한계를 찾을 것입니다. 다음 섹션에서 설명합니다).

Zk Rollup 프로젝트 간의 기본 차이점

현재 시장에는 Zk Rollup에 대해 작업하는 많은 프로젝트가 있습니다. 각각의 다른 접근 방식에는 장단점이 있습니다. 이러한 장단점을 이해하면 보다 객관적인 관점을 갖는 데 도움이 되고, 해당 프로젝트의 잠재력을 분석 및 평가하는 프로세스를 지원하는 데 도움이 됩니다. 좋은 투자 기회를 찾으십시오.

개인적으로 Zk Rollup 프로젝트는 2가지 요소에 따라 분류할 수 있습니다.

• 데이터가 저장되는 방식(온체인 또는 오프체인).
• 영지식 증명 방식이 사용됩니다.

데이터를 온체인 또는 오프체인(validium)에 저장하도록 선택하면 자체 장단점이 있습니다. 어떤 선택도 모든 경우에 최적이 아닙니다. 개발 방향에 따라 탈중앙화와 처리 속도, 운영 비용 사이의 절충안입니다. 그들은 프로젝트에서 적절한 선택을 할 것입니다.

Zk 롤업 및 유효성 검사

두 번째로 주목해야 할 점은 위의 경우와 마찬가지로 영지식 증명 기술이 사용되며 모든 경우에 최상의 솔루션은 없으며 증명 크기와 보안 가정 간의 균형입니다. 아래 이미지를 통해 이들의 관계를 확인할 수 있습니다.

증명 크기와 보안 가정 간의 관계

현재 Zk Rollup 프로젝트의 일반적인 제한 사항

개인적으로 Zk Rollup 프로젝트에는 두 가지 주목할만한 제한 사항이 있습니다. 첫 번째 요점은 Rollup의 일반적인 제한 사항이고 다른 요점은 Zk Rollup의 특정 제한 사항입니다.

첫 번째는 거래 수수료 문제입니다 . 대부분의 롤업 플랫폼은 이더리움의 EVM 사이드체인 보다 거래 수수료가 더 비쌉니다 . 이는 각 롤업 블록이 결국 이더리움에 게시되어야 하기 때문에 수수료가 이더리움 수수료와 연결되므로(Zk 롤업은 증명만 게시하므로 비용 효율적임) 각 롤업 플랫폼은 특정 비율만큼만 이더리움을 확장할 수 있습니다.

다음으로, 현재 zk-Rollup은 개발자 친화적이지 않으며 애플리케이션 시나리오와 기능이 상당히 제한적입니다.

• Zk Rollup 애플리케이션은 현재 단순 결제 및 거래로 제한됩니다.
• 또한 Zk Rollup은 현재 합성을 지원하지 않으며 다른 Zk Rollup 응용 프로그램은 동일한 Layer 2에서 서로 상호 작용할 수 없습니다.
• Zk-Rollup에서 DApp을 개발하려면 모든 스마트 계약 논리 를 특수 언어로 작성해야 합니다. 이는 요청한 언어의 구문(새로운 언어이기 때문에)으로 복잡할 뿐만 아니라 매우 필요합니다. 영지식 증명 분야의 전문 지식.

시장에서 뛰어난 Zk 롤업 프로젝트

다음은 시장에서 유명한 Zk 롤업 프로젝트입니다.

Starkware의 StarkEX 및 StarkNET

Starkware (Starkware Industries라고도 함)는 STARK & ZCash의 공동 설립자인 Eli Ben Sasson이 2018년 1월에 설립한 회사입니다. StarkWare는 STARK 기술을 사용하여 제로 지식 증명을 배포하고 검증함으로써 블록체인의 확장성과 개인 정보 보호를 개선하는 데 도움이 됩니다.

StarkWare가 출시한 첫 번째 제품은 특정 L2로 간주될 수 있는 StarkEX로, StarkEX의 응용 프로그램은 AMM, 현물 거래, 지불, NFT 발행 및 거래와 같은 간단한 거래 및 지불로 제한됩니다. StarkEX를 사용하면 Dapp을 다음과 같은 3가지 모드로 배포할 수 있습니다.

• ZK 롤업 모드: 데이터가 온체인 간에 저장됩니다.
• Validium 모드: 데이터가 오프체인으로 유지됩니다.
• Volition 모드: 함께 결합하십시오.

StarkNET은 StarkEX의 Zk Rollup General & Permissionless 버전으로, 2022년 1분기 - 2분기에 완전히 출시될 것으로 예상됩니다. 이더리움 위에 있는 또 다른 일반 L2 역할을 하여 모든 Dapp이 집계 가능성과 보안을 손상시키지 않으면서 이를 기반으로 구축할 수 있습니다.

스타크넷 로드맵

StarkEX 및 StarkNET에는 자체 프로그래밍 언어와 실행 가능한 가상 머신이 있으며 Ethereum EVM과 호환되지 않습니다. 따라서 향후 StarkNET에서 Dapp을 구축하려는 개발자는 StarkEX 및 StarkNET의 기본 스마트 계약 언어인 Cairo라는 새로운 프로그래밍 언어를 배워야 합니다.

Matter Labs의 zkSync(v1), zkPorter(v2), ZkEVM(v3)

Zk Rollup에 대해 말하면 Starkware 외에도 똑같이 유명한 또 다른 회사는 Matter Labs입니다. Matter Labs가 제공하는 Zk Rollup 제품은 PLONK를 사용하여 지식 증명이 없는 것을 배포하고 검증합니다.

첫 번째 버전의 이름은 zkSync(v1)이고 두 번째 버전의 이름은 ZkPorter(v2)입니다. 이들 간의 주요 차이점은 데이터가 온체인 또는 오프체인에 저장되는지 여부입니다. 원래:

• 안전하고 싶다면 V1을 사용하세요.
• 더 저렴하지만 덜 안전하려면 V2를 사용하십시오.

두 버전의 일반적인 사용은 결제만 제공하며 StarkEX만큼 다양하지는 않습니다.

ZkEVM은 Matter Labs에서 개발했습니다.

동시에 Matter Labs는 2021년 1분기에 완전히 출시될 예정인 Zk 롤업(ZkEVM)의 EVM 호환 버전을 출시하기 위해 노력하고 있습니다. 이 버전의 기본 스마트 계약 언어는 Zinc이며 이 버전에도 자체 실행 파일이 있어 EVM과 많은 호환성을 갖습니다.

루프링

Loopring 은 2019년 말에 출시되었으며 SNARK라는 일련의 알고리즘을 사용하여 제로 지식 증명을 배포하고 검증합니다.

Loopring은 몇 가지 업그레이드를 거쳤으며 그 중 첫 번째는 DEX(주문서) 거래만 지원했습니다. 그런 다음 두 번째 버전에서 Loopring은 지불 및 송금을 지원합니다. 세 번째 버전에서 루프링은 AMM 스왑을 지원합니다. 4번째 버전은 2021년 9월에 출시되어 NFT의 채굴, 이체 및 거래를 지원합니다.

루프링

동시에 Loopring은 Zk Rollup(ZkEVM)의 EVM 호환 버전도 작업하고 있지만 첫 번째 버전이 출시되려면 1년 정도 더 걸릴 것입니다.

Zk Rollup 프로젝트의 일반적인 개발 방향

Zk Rollup 개발 방향에 대한 간단한 논문 "장기적으로는 L1 블록체인이 무엇을 할 수 있든 Zk Rollup은 훨씬 더 잘 할 수 있습니다."

이 생각에 따라 Zk Rollup이 궁극적인 승자가 되기를 원하는 솔루션은 L1의 모든 두드러진 기능을 유지해야 한다고 생각합니다. 이 경우 이더리움은 다음과 같습니다.

• 임의 애플리케이션 구축 가능 → 범용 스마트 계약 플랫폼.
• 무허가, 안전, 물론 기본 체인(이더리움)보다 비용이 저렴합니다.

그래서 저는 StarkNET과 ZkEVM을 유망한 접근 방식으로 봅니다. ZkEVM은 Ethereum L1에서 여전히 동일한 개발 경험을 유지할 때 더 큰 이점이 있습니다.

zkEVM의 경우 현재 디자인 아이디어는 실제로 두 가지 범주로 나뉩니다.

• Starkware의 StarkNET, Matter Labs의 ZkEVM, Polygon의 Polygon ZkEVM과 같은 자체 언어와 가상 머신을 갖춘 Zk 롤업 플랫폼은 ZkEVM 가상 머신에서 컴파일러 중심의 접근 방식을 사용하여 모국어를 실행 가능한 언어로 번역합니다. 이 솔루션은 100% 호환성을 달성하지 못하는 한계가 있습니다.
• 또 다른 접근 방식은 ZkEVM이 번역 없이 완벽하게 호환되며, 솔리디티 코드 를 직접 실행할 수 있다는 것입니다. 이 접근 방식은 더 최적이지만 구현하기 더 어렵습니다.

요약

위는 Zk Rollup 프로젝트의 장단점과 일반적인 방향에 대한 제 생각입니다. 위의 주제와 관련하여 다른 질문이 있으시면 아래에 댓글을 남겨주시면 Coin98이 바로 지원해 드릴 수 있습니다!

면책 조항 : 이 기사의 모든 정보는 시장 경험을 공유하기 위한 것이며 투자 조언으로 간주되어서는 안 됩니다. 암호화폐 투자는 위험한 투자의 한 형태이며 손실될 수 있는 자본으로만 입력해야 합니다.