저자: Polygon DAO의 저자인 Pedro
마감: 헤일스맨, 체인 캐처
오랫동안 Ethereum L2 전투의 초점은 ZK Rollup과 Optimistic rollup이 차지했습니다. OP의 EVM 호환성과 성숙한 기술로 인해 프로젝트 개발자가 채택하기가 더 쉽기 때문에 현재 OP는 보다 일반적이고 주류입니다. L2BAET의 데이터에 따르면 OP솔루션을 사용한 Arbitrum, Optimism, Metis 3개 프로젝트만이 L2 시장점유율의 70.8%를 차지했다. 그러나 개발 난이도가 높고 기술 진보가 더디기 때문에 ZK 롤업은 현재 채택률과 시장 점유율이 상대적으로 낮습니다.
현재 총 락업 볼륨이 가장 높은 이더리움 확장 솔루션인 Polygon은 zk 기술에 확장의 미래를 굳건히 걸고 있습니다. 작년에 Polygon은 Hermez와 Mir를 대대적으로 인수했으며 zk 확장을 위해 10억 달러를 약속했습니다.
이제 Polygon은 Hermez, Nightfall, Miden 및 Zero와 같은 zk 확장 솔루션의 "전체 세트"를 보유하고 있습니다. 네 가지 확장 계획은 모두 zk 기술을 기반으로 하지만 각각 고유한 강점과 전략이 있습니다. 그렇다면 이 네 가지 솔루션의 구체적인 기술적 특징과 개발 진행 상황은 어떻게 될까요? 어느 쪽이 먼저 죽일 가능성이 더 높습니까?
이 기사에서는 개발 이력, 운영 메커니즘 및 개발 진행 상황 등을 포함하여 이 네 가지 zk 솔루션에 대해 자세히 설명합니다. 다음 내용은 Polygon DAO의 칼럼니스트에서 편집한 내용입니다.Pedro첫 번째 레벨 제목
1. 폴리곤 제로
Polygon Zero는 가장 빠르고 효율적인 재귀 증명 시스템인 Plonky2로 구동되는 ZK L2 솔루션입니다. 이전에 Mir 프로토콜로 알려진 이 프로토콜은 Brendan Farmer와 Daniel Lubarov가 설립한 Predicate Labs에서 2019년에 구축했습니다. Mir 프로토콜의 특징은 프로그램 실행 중에 재귀 ZKP(zk-proof) 검증이 생성된다는 것입니다. 요컨대, 재귀 증명은 생성 증명의 증명과 같습니다. 일련의 거래 증명이 유효한지 확인하는 데 사용됩니다.
재귀 증명은 2014년에 이론적으로 처음 소개된 매우 젊은 기술입니다. 2019년에 Mir는 2분 이내에 재귀 증명을 생성할 수 있었는데, 분명히 이 시간은 짧지 않으며 확장성이 부족합니다.
2020년 아즈텍팀의 탐사로 인해 미르는 60초 이내에 재귀 증명 생성을 실현하는 엄청난 돌파구를 마련했습니다. 이를 바탕으로 미르팀은 미르 프로토콜이 15초 이내에 재귀 증명을 생성할 수 있는 플론키(Plonky)를 개발했다.
2021년 12월 Polygon은 Mir를 4억 달러에 인수했으며 계약 이름은 Polygon Zero로 변경되었습니다. Mir가 초기에 구축한 zk 기술을 가능하게 하는 독립적인 L1 체인의 아이디어는 Polygon 위에 구축된 분산형 zk-롤업으로 바뀌었습니다.
보조 제목
1、Plonky2
Plonky2는 2020년에 Aztec이 구축한 확인 시스템을 기반으로 구축한다고 앞서 언급한 Plonky1의 반복입니다.
세 가지 모두의 공통 스레드는 Plonk이므로 먼저 Plonk가 무엇인지 파악해야 합니다.
ZKP는 관련 정보를 공개하지 않고 계산의 유효성 증명을 생성하는 것을 말합니다. 따라서 정보가 유출되지 않고 증거만 생성됩니다.
두 가지 주요 ZKP는 다음과 같습니다.SNARK 및 STARK이미지 설명
SNARK 및 STARK 비교, 출처: Consensys 공식 웹사이트
SNARK는 더 작은 증명을 가지고 있습니다. 즉, 온체인 데이터 저장이 적고 최종 사용자가 지불하는 가스가 적습니다. SNARK는 개발자에게 더 친숙하지만 STARK는 더 투명하고 신뢰할 수 있는 설정이 필요하지 않으며 미래에 더 큰 잠재력을 가진 "양자 안전"과 같은 몇 가지 고유한 이점을 제공합니다. 이러한 이점으로 인해 Vitalik은 STARK가 실제로 "더 새롭고 눈부신" 기술이라고 말했습니다.
그러나 SNARK는 2012년 초에 제안되어 사용되기 시작했고 STARK는 2018년에야 제안되었습니다. 현재 Z-Cash, Loopring Protocol, JPMorgan Chase 모두 SNARK 기술을 채택하고 있으며, 광범위한 채택으로 인해 SNARK는 더 많은 릴리스 코드, 개발자 라이브러리, 프로젝트와 개발자. 그러나 새로운 스타로서 STARK는 독특한 장점 때문에 더 많은 프로젝트에서 채택되고 있습니다.
Plonk는 일종의 SNARK 증명 시스템인 증명 시스템의 이름입니다.
다음으로 Plonk와 결합된 여러 유형의 솔루션을 분석하겠습니다.
Plonk + KZG를 사용한 Aztec의 재귀 증명 시간은 60초입니다.
Plonky1은 Plonk + Halo를 사용하며 재귀 증명 시간은 15초입니다. 2019년 Zcash가 처음 출시한 Halo는 신뢰할 수 있는 설정이 필요하지 않은 최초의 재귀 증명 방식입니다. 그러나 Halo의 단점은 Ethereum과 호환되지 않는다는 것입니다. 이것이 Mir가 처음에 독립적인 L1 체인을 구축하기를 원했던 이유입니다.
Plonky2는 재귀 증명 시간이 170밀리초인 Plonk + FRI를 사용합니다. 2021년 Polygon Zero의 대표인 Daniel Lubarov는 FRI와 Plonk의 결합을 제안했습니다.
FRI는 STARK를 위한 솔루션으로, FRI를 사용함으로써 Plonk가 STARK(Plonk는 원래 SNARK의 일종이었다)가 된다는 의미이며, 이는 시스템의 투명성을 높인다는 의미이기도 합니다. 당시에는 단 하나의 프로젝트(Fractal)만이 재귀적 FRI 증명을 구현했으며 프로토콜의 증명 시간은 ~10분이었고 확장할 수 없었습니다.
보조 제목
2. 플론키2 빌딩이란?
앞에서 언급했듯이 Polygon Zero는 궁극적으로 Plonky2로 구동되는 가장 확장 가능한 zkEVM을 구축하고 있습니다.
즉, 각 zk-rollup은 계산을 실제로 처리하기 위해 zkEVM이 필요합니다. Polygon Zero의 zk-rollup용 zkEVM은 현재 사용 가능한 가장 효율적이고 빠른 zk 증명 시스템인 Plonky2로 구동됩니다.
보조 제목
3. 폴리곤 제로와 스타크웨어의 차이점
Starkware를 포함한 대부분의 롤업은 트랜잭션을 묶고 해당 번들의 각 트랜잭션이 유효하다는 증거를 생성합니다.
Polygon Zero는 재귀 증명을 사용하므로 모든 트랜잭션이 동시에 매우 빠른 증명을 만듭니다. 그런 다음 이러한 개별 거래 증명을 함께 묶어 더 큰 증명, 즉 다른 증명의 유효성을 확인하는 증명을 생성합니다.
이미지 설명
첫 번째 레벨 제목
2. 다각형 헤르메스
5년 전 공동 MBA 동료인 Jordi Baylina, David Schwartz, Antoni Martin 3명이 Iden3라는 회사를 시작했고 그들의 첫 번째 프로젝트는 당시 Self-Sovereign Identity라고 불렸던 자주적 신원 솔루션이었습니다.”(Self Sovereign ID, 줄여서 SSI)는 실제로 우리의 인기 있는 분산 ID DID와 동일한 개념입니다.
그러나 세 사람은 SSI 프로젝트를 개발하는 과정에서 점차 SSI를 주류로 만들기 위해서는 기존 블록체인을 완전히 확장 가능하게 만들어야 한다는 것을 깨달았습니다. 그 후 트리오는 새로운 프로젝트 인 Hermez로 이동하기로 결정했습니다.
Hermez는 zk 기술을 기반으로 하는 분산형 L2 롤업 솔루션입니다. Hermez 1.0은 현재 사용하기 쉬운 웹 또는 모바일 인터페이스를 통해 등록된 ERC-20 토큰을 한 Hermez 계정에서 다른 Hermez 계정으로 전송할 수 있는 현재 라이브 결제 플랫폼입니다. 지난 7월, 팀은 zkEVM, Hermez 2.0의 개발을 발표했으며, 완료되면 완전히 호환되는 zkEVM을 이더리움에 가져올 것입니다.
보조 제목
1、Hermez 1.0
Hermez는 원래 zk-rollup으로 시작하여 이더리움에서 지불 및 토큰 전송을 확장하는 데 중점을 두었습니다.
롤업은 12개(수천 개)의 트랜잭션을 압축하고 오프체인에서 한 번에 실행하는 것을 말합니다. 이러한 수천 건의 트랜잭션이 오프체인에서 실행될 때 Hermez의 경우 zk-SNARK가 생성됩니다. 개별 트랜잭션 대신 SNARK는 일괄 처리에서 각 트랜잭션의 유효성을 증명하며, 이후 이더리움(SNARK)에 의해 확인됩니다.
낙관적 롤업과 비교할 때 zk 롤업은 즉시 적용되고 즉각적인 인출이 가능하지만 낙관적 롤업은 7일을 기다려야 합니다. 일정한 시간에 증명을 효율적으로 검증하는 이 기능은 모든 zk 롤업의 핵심입니다.
Hermez의 처리 속도는 2000 TPS입니다. Hermez 팀에 따르면 앞으로 처리 속도가 크게 향상될 것이라고 합니다.
Hermez에서 세 가지 다른 트랜잭션을 사용할 수 있습니다.
보증금:등록된 ERC-20 토큰을 L1 Ethereum에서 L2 Hermez로 보냅니다. 예금에는 이더리움 가스 수수료가 필요합니다.
옮기다:하나의 Hermez 계정에서 등록된 ERC-20 토큰을 다른 Hermez 계정으로 저렴하고 즉각적으로 보내십시오.
철수:L2 Hermez에서 L1 Ethereum으로 ERC-20 토큰을 다시 보냅니다. 출금 시 이더리움 가스 수수료가 부과됩니다.
인출 시 주의할 점은 Hermez가 보호 메커니즘인 "강제 인출"을 제공하여 코디네이터가 악을 행하더라도 사용자가 언제든지 L2 Hermez에서 L1 Ethereum으로 자금을 다시 이체할 수 있다는 것입니다.
코디네이터 및 기부 증빙
코디네이터는 Hermez 버전의 블록 프로듀서입니다. 이 사람들은 zk 증명을 생성하여 오프체인 트랜잭션의 유효성을 증명합니다.
코디네이터는 트랜잭션을 묶는 사람입니다.모든 트랜잭션 요청을 하나의 단위로 집계합니다.각 롤업은 수천 개의 트랜잭션을 실행한 다음 zk-proof를 생성한 다음 Ethereum의 스마트 계약을 통해 이를 확인합니다.zkproof.
Hermez는 누구나 코디네이터가 되어 서비스에 대한 보상을 받을 수 있기 때문에 탈중앙화되어 있습니다. 동시에 네트워크에 여러 코디네이터가 있을 수 있지만 실제로 거래를 처리하고 주어진 시간(10분 길이)에 보상을 받을 수 있는 사람은 단 한 명뿐입니다.
Hermez 네트워크는 경매 프로세스를 통해 다음 코디네이터를 선택합니다. 기본적으로 누구나 MATIC 토큰을 사용하여 입찰할 수 있으며 최고 입찰자는 다음 코디네이터가 선정될 때까지 10분 이내에 최대한 많은 거래를 처리할 수 있는 권리를 갖게 됩니다. 이는 코디네이터가 입찰보다 더 많은 보상을 얻기 위해 10분 동안 가능한 한 많은 거래를 해야 하므로 매우 효율적인 프로세스입니다.
코디네이터가 입찰에 실패하면 MATIC 토큰은 원래 지갑으로 반환되며 입찰에서 낙찰된 자금은 다음 세 가지 용도로 사용됩니다.
30% 영구적으로 파괴됨
40%는 Ethereum Foundation에서 관리하는 기부 계정으로 이동합니다.
30%는 Hermez 네트워크의 추가 채택을 촉진하는 데 도움이 되는 네트워크 인센티브로 사용됩니다.
보조 제목
2、Hermez2.0
지난 7월 EthCC 4 컨퍼런스에서 Hermez 팀은 zkEVM, Hermez 2.0을 개발 중이라고 발표했습니다.
우리 모두는 L2가 주로 Optimism을 채택하고 ZK가 아직 실제로 이륙하지 않은 핵심 포인트는 ZK가 아직 EVM과 호환되지 않는다는 점을 알고 있습니다. 따라서 zkEVM은 이 문제를 해결하고 zk-rollup에서 스마트 계약을 실행하는 것입니다.
현재 많은 프로젝트에서도 zkEVM을 개발하고 있는데, Polygon 생태계에서만 Polygon Zero와 Polygon Hermez 두 가지 솔루션이 있습니다. 그러나 각 프로젝트는 이 문제를 다른 방식으로 해결하고 있으며 각각 고유한 장단점을 가지고 있습니다.
Hermez의 특징은 도구, 생태계 및 보안 측면에서 Ethereum과 호환된다는 것입니다. 이는 이상적으로 이더리움에서 실행되는 스마트 계약이 L2 Hermez에서 실행될 수 있음을 의미합니다. 개발자에게 마찰 없는 경험을 제공하십시오. Optimism과 Arbitrum이 출시되자마자 마이그레이션할 프로젝트와 사용자가 많이 유입되었습니다. zk-rollup이 성숙되면 더 강력한 네트워크 효과를 가질 것이라고 상상하는 것은 어렵지 않습니다.
Hermez 설립자 Antoni Martin은 zkEVM에 대해 "각 솔루션의 가장 좋은 부분을 활용하면 최고의 자동차를 만들 수 있습니다..."라고 말했습니다.따라서 Hermez는 zkEVM을 개발할 때 SNARKS 및 STARKS ZKP 체계를 모두 채택하여 두 세계의 장점을 모두 얻기 위해 노력했습니다.
특히, Hermez가 트랜잭션을 처리하고 오프체인에서 새로운 블록을 생성할 때 이러한 트랜잭션이 모두 유효하다는 것을 증명하는 STARK 증명이 생성됩니다. STARK 증명의 문제점은 체인(이더리움)에 대한 검증 비용이 매우 높고 이때 SNARK가 작용한다는 것입니다.
이 zkEVM의 아키텍처에 대해 자세히 알아보려면보려면 여기를 클릭하십시오이미지 설명
헤르메즈 2.0(zkEVM) 기능
첫 번째 레벨 제목
3. 다각형 황혼
폴리곤은 지난해 9월 글로벌 전문 서비스 및 기술 기업 어네스트앤영(EY, 어니스트앤영)과 파트너십을 맺고 폴리곤 나이트폴을 출시했다.
Ernst & Young은 2019년 Nightfall의 초기 버전을 발표했습니다. 다른 zk 솔루션과 가장 다른 점은,Nightfall은 개인 정보 보호에 중점을 둔 롤업입니다.EY는 "이더리움에서 가장 눈에 띄는 개인 정보 보호 솔루션 중 하나"로 포지셔닝했습니다. 특히 Nightfall의 모든 거래에는 프라이버시가 포함되어 있습니다. 즉, Alice가 Bob에게 자산을 보내면 아무도 그 자산이 무엇인지, 얼마나 많은 가치가 포함되어 있는지 또는 어디로 갔는지 알 수 없습니다.
우리가 거래의 프라이버시에 더 많은 관심을 기울이는 이유는Ernst & Young의 대상 고객은 기업입니다.. 처음에 Nightfall은 이더리움에 직접 첫 번째 엔터프라이즈급 블록체인을 구축하려고 시도했지만 결국 이더리움 메인넷에서 프라이버시를 유지하는 것이 너무 비싸다는 것을 알게 되어 L2로 전환하고 마침내 Polygon과 협력하기로 결정했습니다.
두 사람이 공동으로 발표한 폴리곤 나이트폴이 여러 차례 반복 끝에 나온 나이트폴 3.0 버전이다.가장 두드러진 특징은 Optimistic Rollup의 백본 개념과 ZK-Rollup에서 일반적으로 사용되는 ZK(Zero-Knowledge) 암호화를 효과적으로 결합하여 확장성과 프라이버시의 융합을 달성하는 것입니다.
보조 제목
1. 해질녘은 어떻게 작동합니까?
Polygon Nightfall은 본질적으로 개인 정보를 보호하기 위해 zk 암호화를 사용하는 낙관적 롤업입니다. Polygon과 Ernst & Young 간의 협력은 Nightfall 기술을 사용하여 산업 체인을 구축하는 데 중점을 두어 기업이 예측 가능한 저렴한 비용으로 규제 지침에 따라 L1에 연결할 수 있도록 합니다.
다음 그림은 Nightfall의 특정 작동 메커니즘을 보여줍니다.
우리는 현재 체인에 데이터를 저장하는 데 드는 비용이 높기 때문에 확장성 병목 현상을 "상태"로 돌릴 수 있습니다. 따라서 확장 솔루션의 목표는 체인에 저장된 데이터의 양을 지속적으로 줄이는 것입니다. Nightfall은 저비용 낙관적 롤업을 사용하여 스토리지를 줄입니다.
일반적으로 낙관적 롤업 방식을 사용할 때 7일의 챌린지 기간이 있습니다. 즉, L2에서 이더리움 메인넷으로 인출하려면 7일을 기다려야 합니다. 그러나 Nightfall은 사용자에게 "즉시 종료"할 수 있는 옵션을 제공하여 이를 개선합니다. 그 운영 방식은 이 거래에서 유동성 공급자가 사용자와 포지션을 교환하고 사용자를 위해 즉시 출금에 필요한 자금을 먼저 선결제하고 7일의 대기 기간 내에 포지션을 점유하는 것입니다.
Nightfall은 거래가 동시에 비공개이기를 원합니다. 따라서 낙관적 롤업에서Nightfall은 트랜잭션을 비공개로 유지하기 위해 추가 zk 프라이버시 계층을 추가합니다.
Nightfall VS Aztec
위의 이미지는 프라이버시를 활성화하는 두 가지 다른 방법을 보여줍니다. 왼쪽의 Polygon Nightfall은 zk 암호화의 낙관적 롤업을 사용하고 오른쪽의 Aztec은 zk 롤업 및 zk 암호화를 사용합니다. 이상적인 솔루션은 Aztec과 같은 zk/zk 접근 방식이라고 생각하지만 현재로서는 이 솔루션이 너무 비쌉니다. 그래서 어느 정도,Nightfall은 즉시 사용할 수 있는 절충 솔루션에 가깝습니다.. Nightall 팀은 zk 수수료가 해결되면 결국 zk/zk 계획으로 전환할 것입니다.
보조 제목
2. 특정 사용 사례
금융 기업 및 기관 투자자: Nightfall의 고유한 개인 정보 보호 기능은 거래 및 스왑을 비공개로 유지하려는 포트폴리오 관리자에게 큰 기회를 제공합니다.
기업을 위한 공급망 추적 기능 제공: 기업은 Nightfall을 통해 공급을 처리하고, 판매 주문을 실행하고, 개인 결제 등을 수행할 수 있습니다. 현재 맥주 양조장은 추적 거래를 위해 이미 Ernst & Young의 Nightfall 공급망을 사용하고 있으며 기업은 맥주의 양, 위치, 운송량 등을 쉽게 추적할 수 있습니다. 또한 한 제약 회사는 Nightfall을 사용하여 생산 라인의 모든 제품을 NFT로 주조하여 하루에 약 60,000개의 NFT를 생성합니다.
첫 번째 레벨 제목
4. 폴리곤 미덴
폴리곤은 지난해 11월 zk-STARKs 기반 스케일링 솔루션인 미덴(Miden) 출시를 발표했다. 이 프로젝트는 한때 Winterfell 기술 개발을 이끌었던 Facebook의 전 핵심 영지식 증명 기술 연구원이 주도합니다.
Polygon Miden은 STARK 기반의 zk 롤업입니다.Polygon Miden의 특징은 롤업이 임의의 로직과 트랜잭션을 지원하기 어렵다는 난제를 해결하는 것을 목표로 한다는 것입니다.롤업은 트랜잭션을 패키징하여 온체인 데이터 저장을 줄여 혼잡을 줄이고 트랜잭션 비용을 낮출 수 있지만 트랜잭션 패키지에서 임의 트랜잭션의 검증을 지원하기 어려워 모든 오프체인 트랜잭션을 검증하는 능력에 영향을 미칩니다. Polygon Miden은 Miden VM(가상 머신)을 사용하여 오늘날 zk 롤업의 가장 큰 과제 중 하나를 해결합니다.
Polygon Miden 프레임워크에는 Distaff VM과 Winterfell이라는 두 가지 핵심 구성 요소가 있습니다.
Distaff VM은 zk-EVM입니다. 프로그램이 zk-VM에서 실행될 때마다 프로그램을 실제로 실행하지 않고 프로그램이 올바르게 실행되는지 확인하기 위해 zk 실행 증명이 생성됩니다. Distaff는 STARK 기반 가상 머신입니다.
Distaff VM에서 실행되는 모든 프로그램의 경우 STARK 기반 실행 증명이 자동으로 생성됩니다. 그런 다음 누구나 이 증명을 사용하여 프로그램을 다시 실행하거나 프로그램이 무엇인지 알지 않고도 프로그램이 올바르게 실행되었는지 확인할 수 있습니다.
Miden VM은 Distaff VM을 채택하고 더 효과적인 증명 시스템인 Winterfell을 추가합니다. Winterfell은 완전한 기능을 갖춘 다중 스레드 STARK 증명기 및 검증기입니다.임의 계산. 본질적으로 더 높은 성능을 갖춘 STARK 증명의 최신 버전입니다.
일단 개발되면 모든 프로젝트는 이 zk-롤업 위에 스마트 계약을 배포할 수 있습니다.
보조 제목
1. 미덴의 아키텍처
트랜잭션은 먼저 Miden의 실행 노드에 배포됩니다.
이 실행 노드는 한 번에 5000개의 트랜잭션을 블록으로 묶고 STARK 증명을 생성합니다.
트랜잭션의 유효성을 증명하기 위해 200개의 트랜잭션 바운드 블록마다 STARK 인증서가 생성됩니다.
보조 제목
2. Miden VM의 하이라이트:
개발자 친화적:Miden의 목표는 개발자가 암호화 또는 zk 증명에 대해 배울 필요 없이 이 zkVM 위에서 스마트 계약을 실행할 수 있도록 하는 것입니다.
여러 프로그래밍 언어가 지원됩니다.팀은 여러 프로그래밍 언어에 대한 지원을 추가하기 위해 노력하고 있지만 동시에 Solidity를 우선 순위로 유지합니다.
안전에 초점:zk 기술을 통해 Miden VM은 EVM 자체보다 더 안전합니다.
개인 정보 보호에 중점을 둡니다.이것이 현재 초점은 아니지만 Miden 팀은 로드맵에 관련 개발 계획을 배포했습니다.
요약하다:
요약하다:
마지막으로 Polygon의 4가지 zk 확장 솔루션을 빠르게 비교해 보겠습니다.
Polygon Zero는 Mac-Book Pro에서 170밀리초 이내에 재귀 증명을 생성할 수 있는 SNARK 기반 재귀 증명 시스템인 Plonky2를 개발했습니다. 이러한 효율적이고 빠른 Plonky2 증명 시스템에서 Polygon Zero는 결국 가장 확장 가능한 zkEVM을 개발할 것입니다.
에르메즈가 개발한 zk 롤업은 거래 과정에서 경매를 통해 코디네이터를 선정하는 것이 특징이며 성공한 코디네이터는 수익을 내기 위해 최대한 단위 시간 내에 거래를 진행하게 된다. 거래 효율성. 또한 Hermez는 zkEVM도 개발 중이며 두 가지 ZKP 체계인 SNARK 및 STARK를 채택하여 두 가지 장점을 최대한 활용하기 위해 노력하고 있습니다.
Nightfall은 더 특별합니다.다른 zk 솔루션과 가장 다른 점은 Nightfall이 개인 정보 보호에 중점을 둔 롤업이며 고객이 기업이라는 점입니다. 또한 Nightfall은 Optimistic Rollups의 백본 개념을 ZK-Rollups에서 일반적으로 사용되는 ZK(Zero-Knowledge) 암호화와 효과적으로 결합하여 확장성과 프라이버시를 융합합니다.
미덴의 핵심 제품은 미덴 VM으로 다른 롤업과 달리 대중적이지 않은 STARK 증명 시스템을 이용해 가상머신을 구축해 롤업이 임의의 로직과 트랜잭션을 지원하기 어렵다는 난제를 해결하고 모든 검증 능력을 향상시키는 것을 목표로 한다. 오프체인 거래.
현재 4가지 솔루션 중 대부분이 개발 및 테스트 단계에 있으며 모두 올해 또는 내년에 공식적으로 출시될 예정입니다. 앞서 언급한 새로운 zk 솔루션을 사용함으로써 Layer2는 이전 기술 솔루션의 후진성에 대한 의심을 크게 해결하고 주류 Layer2 솔루션의 자리를 차지하여 암호화 사용자에게 더 많은 선택권을 제공할 것입니다.
