[Polygon zk Roll-up에 대해 알아야 할 모든것-1]

# 1. zk Roll-Up이란?

폴리곤 영지식 롤업은 다수의 오프체인 트랜잭션을 단일 온체인 트랜잭션으로 집계하기위한 스케일링 솔루션입니다.

폴리곤 영지식체계는 이더리움 메인넷에서 채굴하는 채굴자가 모든 롤업에 대한 유효한 증명(또는 영지식 증명)을 생성함에 개별적 트랜잭션을 확인할 필요성을 제거하였습니다.

 

유효성 증명은 수학적으로 증명할 수 있기 때문에 이더리움 네트워크는 배치 트랜잭션의 진위를 신뢰없이 확인할 수 있습니다. 악의적인 활동을 제거하는 것이 더욱 어려워짐으로써 롤업의 보안이 향상됩니다.

 

더 중요한 것은 유효성 증명(또는 영지식 증명)이 메인 체인 위의 롤업 트랜잭션을 즉각적으로 확인할 수 있다는 것 입니다. 사용자는 마찰 또는 지연 없이 롤업과 기본 블록체인 사이에서 자금을 매끄럽게 이동할 수 있습니다.

 

대조적으로 옵티미스틱 롤업(옵티미즘 또는 아비트럼)은 사용자가 자금을 인출하기 전에 웨이팅 기간을 부과합니다. 이러한 제한은 롤업의 효용성과 사용자의 가치를 감소시킵니다.

 

폴리곤 네트워크는 이전에 ZK 롤업을 통해 이더리움 확장 약속을 반벅하였고 10억 달러 이상을 영지식 기술에 투자하는 계획을 세웠습니다. ZK rollups, including Zero, Hermez, Miden, and Nightfall을 포함하여 최소한 폴리곤 스택에 있는 4개의 제품을 베이스로 합니다.

 

--영지식 증명이란--

영지식 증명은 어떠한 나타내어지는 진술의 공개 없이 타당성을 증명하는데 사용됩니다. 이것은 블록체인 컨택스트의 상태전환과 zkEVM 솔루션의 의사전달에 사용되어 집니다.

 

# 2. Polygon Zero란?

Polygon Zero는 유효성 증명 발행 계산비용을 줄이기 위해 특별히 디자인되어진 ZK Rollup Solution입니다.

ZK Rollup은 확장시킬 수 있지만 집약적 시간과 증명 발행 프로세스의 비용적 측면 때문에 그들의 기능을 제한되게 됩니다. 

 

Polygon Zero는 재귀적 증명을 사용하여 존재하는 증명 시스템 보다 빠르게 문제를 해결합니다. 이러한 재귀적 증명은 미르프로토콜팀이 개발한 기계적 증명인 Plonky2로부터 왔습니다.

 

미르 프로토콜은 팀이 폴리곤에 합병되기까지 분산 응용프로그램(dApp)을 확장하기 위해 재귀적 ZK 증명을 탐색하기 위한 프로젝트 였습니다. 미르 프로토콜 코어팀은 확장 가능한 증명을 지속적으로 연구하여 2022년 1월 초에 Plonky2를 출시했습니다.

재귀적 증명 시스템은 존재하는 ZK 증명 매커니즘과 다르게 동작합니다. 기존의 프로젝트에서 아이디어는 한 번에 하나의 일괄 처리 트랜잭션을 생성하는 방식입니다. 그러나 이 방법은 시간이 너무 많이 소요됩니다.

 

Polygon Zero는 배치에의 모든 트랜잭션에 대해 동시에 증명을 생성함으로써 다른 접근방식을 채택합니다. 그러면 기계는 이더리움 네트워크에 위에 단을 증명으로 제출함으로 여러 트랜잭션 증명을 집계합니다.

 

이 매커니즘은 트랜잭션 롤업에 대한 유효성 증명을 생성하는데 드는 노력을 많이 줄입니다. Polygon Zero의 Plonky2는 재귀적 증명으로 0.17초안에 생성하며, 오늘날 가장 빠른 ZK 증명방식이라고 할 수 있습니다.

 

Polygon Zero는 이더리움 가상머신(EVM)과 호환되게 디자인 되었고 블록당 3000개의 트랜잭션을 처리할 수 있습니다. 비록 Polygon Zero가 아직까지 출시되지 않았지만 암호화 연구의 추가 혁신을 통해 이더리움 생태계에서 지배적인 ZK 롤업 프로젝트로 포지션할 수 있습니다.

 

 

출처

https://www.alchemy.com/overviews/polygon-zk-rollups(폴리곤 공식문서)