Breaking Layer 2: 업스트림 ZK 기술 서비스는 어떻게 새로운 시장 모멘텀을 제공합니까?

원작자: Haotian

많은 사람들이 ZK-Rollup이 이더리움 레이어 2의 최종 게임이라고 생각합니다. 그러나 연구가 심화될수록 최종 게임은 ZK-Rollup 형태가 아니라 ZK 기술 자체라는 것을 알게 됩니다. 이론적으로 OP-Rollup은 ZK 기술을 사용하여 7일 챌린지 기간 제한을 단축하고 MPC 다중 서명 거버넌스 결함을 지울 수도 있기 때문입니다. 그것을 이해하는 방법? 이 기사에서는 @Metis L2와 그 뒤에 있는 기술 핵심 프로젝트인 @ProjectZKM을 예로 들어 설명합니다.

이전 기사에서 저는 "ZK 기술"이 레이어 2 확장에 대한 잠재력이 제한적이며 전체 체인에 걸쳐 신뢰 없는 상호 운용성을 위한 여지가 여전히 많다고 설명했습니다. 레이어 2 애플리케이션 시나리오에서 구체적으로 구현되면 다음과 같은 두 가지 주요 영향을 직접적으로 가져올 수 있습니다.

1) 안전한 자산을 위한 ZK 기반 기술을 기반으로 레이어 2와 레이어 1의 크로스체인 자금을 확실하게 직접 전달할 수 있습니다. ZK 기술을 사용하면 OP-Rollup은 자금 인출에 필요한 7일 대기 기간을 크게 단축할 수 있습니다.

2) 레이어 2의 증명자 검증 시스템과 레이어 1의 롤업 검증 계약을 통해 메인 체인 전반에 걸쳐 신뢰할 수 있는 환경 구축을 실현할 수 있으며, 이론적으로는 더 이상 중앙 집중식 또는 반중앙 집중식 MPC 다중 서명을 사용할 필요가 없습니다. 안전을 보장하기 위해 "사람이 관리하는" 모드로 비판을 받았습니다.

실제로 @Metis L2는 OP-Rollup 기술 프레임워크를 기반으로 하는 레이어 2 체인으로서 이미 ZK 기반 기술을 통해 위의 두 가지 차원에서 레이어 2 기본 아키텍처의 패러다임 전환을 달성했습니다.

한편, OP-Rollup+ZK-Rollup의 하이브리드 롤업 프레임워크는 Withdraw로 코인을 인출하기 위해 7일을 기다려야 하는 사용자의 경험을 최적화하여 유동성을 더 빨리 출시할 수 있습니다.

한편, Metis 레이어 2를 실험 목표로 사용하여 ZK를 인프라로 사용하여 신뢰할 수 있는 주체인 분산형 코프로세서를 구축하는 등 크로스체인 주체 상호 운용성에 대한 @ProjectZKM의 "신뢰 없는" 프레임워크 구현을 점차적으로 구현했습니다. , 증명을 생성하고 증명을 확인하며 크로스체인 블록체인 노드 간의 통신 및 신뢰 메커니즘을 관리합니다. 구체적으로 어떻게 해야 할까요?

하이브리드 롤업

일반적인 상황에서 레이어 2는 낙관적인 7일 챌린지 기간 증명을 기반으로 하는 OP-Rollup의 롤업 구조이거나 ZK-SNARK를 기반으로 하는 ZK-Rollup의 단일 블록 최종성 증명 구조입니다.

이전 배치 거래 속도는 빠르고 처리 수수료가 낮습니다. 단점은 사용자가 레이어 2에서 레이어 1로 자금을 인출할 때 7일의 도전 대기 기간을 기다려야 한다는 것입니다. OP-롤업, 7일 이상 자금 인출만 허용되지 않습니다. 역추적 요청을 받은 후에는 이론적으로 이 자금의 인출이 안전하다고 할 수 있습니다.

후자의 ZK-SNARKs의 Proofs 전송 구조는 단일 블록에서 Finality 자산 보안 확인을 실현할 수 있습니다. 단점은 Batch 트랜잭션의 DA 비용 외에 추가 Prover 시스템이 추가되어 검증 비용을 계산한다는 것입니다. 2계층 생태계 개발자 팀 구축의 시작 임계값은 상대적으로 높으며 생태계 개발 속도는 느립니다.

그렇다면 7일의 챌린지 기간(유동성 잠금)의 제한을 피하면서 전체 OP-Rollup 아키텍처의 사용 편의성을 어떻게 적용할 수 있습니까? 대답은 다음과 같습니다. 레이어 2 배치에서 메인 네트워크로 다시 "채널"로 트랜잭션을 처리합니다. 일반 트랜잭션은 OP-Rolluo 채널을 통과하는 반면, 특별 Withdraw 트랜잭션은 OP와 ZK 모두를 통과합니다. 절충안이 채택된 최적의 솔루션입니다.

Metis는 자체 체인의 정상적인 작동에 하이브리드 롤업 솔루션을 구현했으며, 이 하이브리드 롤업 기능을 제공하는 것은 Metis 기술 팀이 배양하고 만든 @ProjectZKM 기반 프로젝트의 "새로운" 하드 코어 ZK 기술입니다. 팀은 레이어 2를 운영하는 동안 몇 가지 고유한 정상적인 문제를 발견했습니다. 분산형 시퀀서 문제를 극복하는 데 앞장섰을 뿐만 아니라, 우리는 ZKM을 사용하여 "MPC 반중앙화" 및 "반중앙화"와 같은 일련의 문제를 해결하는 것을 목표로 했습니다. 레이어 2의 개발 과정에 존재했던 "고정된 유동성". 질문;

언뜻 보면 매우 추상적이라고 생각할 수도 있습니다. 그 이유는 ZK 기술에 대한 이전 기사에서 설명되어 있습니다. 이러한 유형의 서비스는 여전히 레이어 2 기술 서비스 공급망의 업스트림에 있습니다. 널리 채택되어 아직은 낯설게 들립니다. RISC Zero와 마찬가지로 ZKM은 ZK 기반 기술 프레임워크를 기반으로 레이어 2 프로젝트에 더 많은 업스트림 보안 통합 서비스를 제공하는 것을 목표로 합니다.

현재 ZKM은 레이어 2에 필요한 하이브리드 롤업을 위한 ZK-Rollup 파이프라인 서비스를 제공합니다. 또한 통합 유동성 통합 유동성 관리 서비스를 제공하기 위해 하단에 Entangled Rollup 프로토콜이 있습니다.

실제로 @ProjectZKM, @RiscZero 및 @SuccinctLabs와 같은 ZK 기술 업스트림 서비스 제공업체는 유사한 기술 솔루션의 대중화를 촉진하여 OP-Rollup 및 ZK-Rollup이 차이를 더욱 줄이는 동시에 전투 없음 수를 줄이는 데 도움을 주고 있습니다. - 7일간의 챌린지는 유동성이 고갈될 것으로 예상됩니다. 불완전한 통계에 따르면 Metis, Fraxchain, Aztec, Ola 등은 모두 이러한 유형의 하이브리드 롤업 솔루션 구현을 모색하고 있습니다.

ZK 프리 크로스체인 브릿지 신뢰 메커니즘 기반

요즘 대부분의 레이어 2는 메인넷 롤업 계약이 반중앙화된 MPC 보안 거버넌스 위원회에 의해 제어되는 업데이트 프록시 계약을 가지고 있다는 문제로 인해 비판을 받아 왔습니다. 이로 인해 대부분의 레이어 2 보안은 Vitalik이 말하는 0단계에 머물게 되었습니다.

ZKM 및 RISC Zero와 같은 업스트림 ZK 기술 서비스 제공업체는 이론적으로 스마트 계약 기능을 갖춘 모든 체인 간의 MPC 다중 서명 크로스 체인 브리지 없이 신뢰할 수 있는 분산형 환경을 구축할 수 있습니다.

ZK-SNARK를 사용하면 두 체인의 노드가 합의를 유지하여 B 체인 노드로부터 제출 트랜잭션과 ZKP 인증서를 받은 후 체인 A의 노드가 독립적으로 유효성을 확인할 수 있습니다. ZKP 인증서를 받은 후 체인에서 제출한 증명이 유효합니다. 전체 프로세스는 영지식 증명 알고리즘에 의해 완전히 구현되며 제3자의 통제 대상이 필요하지 않습니다.

노드 간 통신을 스케줄링하는 코프로세서 자체는 분산형 오픈소스 아키텍처를 이용해 구현 가능해 롤업의 크로스체인에 존재하는 '중앙집중화' 문제를 완벽하게 실현할 수 있다.

이더리움은 스마트 계약 완전성을 갖고 있기 때문에 이론적으로 이더리움의 레이어 2는 ZK 기술을 기반으로 한 크로스체인의 기본 조건을 갖추고 있습니다. 이상적으로 레이어 2는 동일한 ZK 기술 프레임워크를 사용하여 크로스 체인 솔루션을 배포하고 다른 레이어 1 체인과 심지어 레이어 3 체인도 이 네트워크 통신 아키텍처에 통합될 것입니다. 미래에는 이더리움 퍼블릭 체인이 포괄적이 될 것입니다. 체인 환경에서 보편적인 결제 레이어인가요?

현재 대부분의 레이어 2 프로젝트 당사자가 MPC 다중 서명 주제 관리를 포기하지 않으려는 이유는 주로 보안 예방 및 제어를 위해 필요하다고 생각합니다. 근본적인 이유는 레이어 2 전체에 분산형 시퀀서와 분산형 증명자가 있기 때문입니다. 수준 그리고 분산형 zkBridge와 같은 기본 구성 요소 서비스의 인기가 제자리에 있지 않습니다. 이 경우 중앙 집중식 또는 반중앙 집중식 보안 거버넌스 위원회를 유지하는 것이 더 안전한 거버넌스 방법이 되었습니다.

그러나 장기적으로 레이어 2가 분산형 구성 요소에서 더 대중화됨에 따라 레이어 2의 보안 관리 방법은 분명히 비판을 받을 것이며 ZK의 최하위 레이어를 기반으로 하는 크로스체인 결제 솔루션이 필수가 될 것입니다. ZK 기술 인프라 트랙의 후속 개발 가능성을 상상할 수 있습니다.

~ 위에

현재 이더리움 레이어 2가 개발 딜레마에 빠졌다고 해도 과언이 아닙니다. 레이어 2 또는 레이어 3의 애플리케이션 생태계에 의존하여 레이어 2에 대한 모든 사람의 시장 신뢰를 높이는 경이로운 프로젝트를 생성할 수 있거나, 아니면 그렇게 할 수 있습니다. 계속해서 기술 내러티브를 풍부하게 하기 위해 Sequencer, Prover 및 zkBridge와 같은 주요 구성 요소의 분산화를 개선하는 추가 개발에만 의존하십시오. 후자는 이를 연결하기 위해 ZK 기술을 기반으로 한 일련의 기본 프레임워크가 반드시 필요합니다. OP-Rollup과 ZK-Rollup 간의 공식적인 구분이 없으면 ZK의 최종 게임 특성이 실제로 드러날 것입니다.

이 경로를 따라 개발해야만 레이어 2의 개발 방향이 위조되지 않을 수 있으며 이를 기반으로 ZK+DePIN PC, 모바일, IOT 및 기타 하드웨어 장치 지원의 개발도 확장할 수 있습니다. -proof 클라우드 컴퓨팅 데이터 보호, ZK 분산형 Prover 시스템 구축 및 컴퓨팅 리소스 최적화 및 기타 여러 가지 방향.

실제로 AI, ZK, DePIN의 교차점에는 이미 나날이 두각을 나타내고 있는 유사한 프로젝트가 많이 있습니다.

Metis의 레이어 2 개발 아이디어와 ZK 기술을 보다 보편적으로 만들고 글로벌 레이어 2 시장 구축의 모든 측면에 적용하려는 하드 코어 ZKM 프로젝트의 원래 의도도 마찬가지입니다. 연구 결과에 따르면 ZK 하드웨어 및 칩 가속 작업을 계속하는 @cysic_xyz와 점차적으로 ZK Prover 분산형 컴퓨팅 시스템을 구현하는 @ola_zkzkvm 등 일부 프로젝트도 발견되었습니다.

간단히 말해서, 현재 ZK 기술이 레이어 2 분야에 적용되는 것은 빙산의 일각에 불과하다는 점을 다시 한 번 말씀드리고 싶습니다. 가속 등 분야에서도 Layer 2에 혜택을 가져다 줄 것이라고 믿습니다. 시장은 새로운 활력을 가져옵니다.

결국 전체 레이어 2 시장이 이 ZK 기반 업그레이드 패러다임을 받아들이는 데는 오랜 시간이 걸릴 것입니다.