stalim17

Posted on Nov 01, 2023Read on Mirror.xyz

Answering the call: How RISC Zero and O(1) Labs are bringing ZK proofs to the OP Stack -KOR

Optimism Governance 시즌 4에서 커뮤니티는 팀이 임무라고 알려진 긴밀한 범위의 특정 이니셔티브를 수행하는 집단 의도를 중심으로 모였습니다. 이 과정의 일환으로 Optimism Foundation은 Collective 내에서 성장과 발전의 중요한 영역에 대한 사명을 설정했습니다.

기술적 분산화 의도를 구축하는 핵심 부분은 OP 스택에 대한 영지식 증명(ZKP)을 구현하는 것입니다. 슈퍼체인의 OP 체인의 경우 이는 L2와 L1 간, 그리고 OP 체인 간 직접적으로 지연 시간이 짧은 크로스 체인 통신을 더욱 강화하고 추가하는 중요한 요소입니다. 이 시스템은 완전한 구성성을 달성하고 새로운 사용 사례를 활용하며 전반적인 확장성에 기여하는 데 필요한 높은 대기 시간 옵션과 낮은 대기 시간 옵션을 모두 지원합니다. OP 스택 결함 증명 프로그램을 증명할 수 있는 잘 지원되는 ISA(명령 집합 아키텍처)용 ZKP 는 모든 OP 스택 기반 블록체인을 증명할 수 있는 시스템의 기반 역할을 합니다.

L2에서의 활동 폭발은 암호화폐 사용자가 낮은 수수료와 높은 성능을 얼마나 중요하게 생각하는지를 강조하며, 두 팀은 사용자를 위해 이를 달성하는 데 도움이 되는 접근 방식을 제출했습니다. 그 결과, RISC Zero와 O(1) Labs의 제안이 승인되어 임무를 수행하게 되었습니다.

cRUSTaceans, 기뻐하세요: RISC Zero는 Rust 기반 ZK 유효성 증명을 OP 스택에 제공합니다.

RISC Zero는 모든 사람이 ZK 증명에 액세스할 수 있고 개발자가 RISC Zero의 범용 ZK 가상 머신을 통해 모든 계산을 증명하고 검증할 수 있는 세상을 구상합니다. 이 비전을 실현하기 위해 팀은 한때 ZK를 괴롭혔던 장벽을 제거하고 항상 ZKP와의 실제 참여를 우선시하는 오픈 소스 스택에 전념하고 있습니다. 그 중심에는 RISC-V zkVM이 있습니다. 이를 통해 개발자는 기본 Rust로 프로그램을 작성할 수 있으며 ZKP의 암호화 복잡성을 추상화할 수 있습니다.

RISC Zero는 공유 및 오픈 소스 미래에 대한 OP Stack의 약속과 일치했습니다. ZKP는 연결되고 상호 운용성이 뛰어난 슈퍼체인을 생성하여 OP 스택의 다음 패러다임을 가능하게 합니다. 철회, 브리징 및 슈퍼체인 거버넌스는 모두 RISC Zero가 ZKP를 통해 사용자와 개발자의 경험을 극적으로 향상시키는 영역입니다.

RISC Zero는 OP 스택을 위한 Rust 기반 ZK 유효성 증명 시스템을 구축하고 있습니다. 이를 위해 그들은 reth, revm, Alloy 및 op-reth와 같은 프로젝트를 통해 RISC-V zkVM을 Ethereum/Rust 생태계와 결합하고 있습니다. ZK 유효성 증명 시스템은 누구나 Optimism 및 Ethereum 블록의 유효성을 증명할 수 있는 완전 오픈 소스 "유형 0" zkEVM 프레임워크인 Zeth를 기반으로 구축되었습니다.

OP 메인넷에 대한 지원은 이미 Zeth에 추가되었습니다. 현재 RISC Zero는 "L1 -> L2 파생" 프로세스를 포함하도록 이를 확장하고 있으며 이를 통해 Zeth는 새로운 OP 블록이 OP 트랜잭션 시퀀서와 일치함을 증명할 수 있습니다. 이 작업이 완료되면 온체인 증명 검증을 위한 RISC Zero의 기존 지원을 사용하여 L1에서 검증할 수 있는 단일 증명으로 전체 OP 시대를 "롤업"할 수 있도록 추가 기능이 추가될 것입니다.

O(1) Labs는 Mina 프로토콜을 지원하는 ZK 기술을 OP 스택에 도입합니다.

O(1) Lab은 개발자가 ZK 애플리케이션을 구축할 수 있는 기반과 도구를 만들어 영지식 암호화로 구동되는 차세대 애플리케이션을 촉진하는 것을 목표로 합니다. 여기에는 Mina 프로토콜용 zkApp 모델, 최초의 ZK 기반 블록체인, o1js , Typescript 라이브러리 및 zk 기반 애플리케이션용 내장 DSL, 증명 시스템 및 재귀 라이브러리인 Kimchi + Pickles 의 설계 및 구현이 포함됩니다.

이제 MIPS zkVM 작업을 통해 OP 스택에 영지식의 힘을 가져올 수 있습니다. 이는 7일 출금 기간을 없애기 위한 첫 번째 단계로, 사용자 경험을 개선하고 체인의 "신뢰할 수 없음"을 강화합니다. 또한 이 작업은 Mina 프로토콜과 OP 스택을 더 가깝게 만들어 OP 스택에 구축된 애플리케이션이 Mina 프로토콜과 상호 작용할 수 있는 경로를 열어줍니다.

O(1)의 PLONKish 증명 시스템인 Kimchi 및 Pickles 재귀 레이어는 2021년부터 Mina 블록체인을 보호하는 버전인 솔루션의 기반을 제공합니다. 대부분의 작업은 Ethereum에 대한 일부 하위 수준 기본 요소를 최적화합니다. 효율적인 Ethereum 검증을 위해 kzg-bn128에 대한 지원을 추가한 다음 OP 체인의 사전 이미지 해시와의 최적화 및 통합을 추가합니다.

방해받지 않고. 보습. 행복하다. 우리 차선에서. OP Stack ZKP로 향합니다.

RISC Zero와 O(1) Labs는 모두 정기적인 진행 상황 업데이트를 제공하기 위해 최선을 다하고 있습니다. 커뮤니티는 Mission의 GitHub 페이지를 팔로우 하고 Twitter에서 RISC Zero 및 O(1) Labs를 팔로우 할 수 있습니다. Optimism 생태계에 엄청난 영향을 미칠 임무를 달성하기 위해 노력하는 두 가지 독특한 접근 방식을 갖춘 두 개의 놀라운 팀이 있다는 것은 매우 흥미로운 일입니다.

더 많은 정보를 원하시면 RISC Zero와 O(1) Labs가 이스탄불 Devconnect에서 Optimism Onchain Summit의 일환으로 ZK 증명을 OP 스택에 가져오는 워크숍을 주도할 것입니다! Optimism의 Devconnect 프로그래밍에 대한 업데이트를 보려면 Twitter에서 팔로우하세요 .

https://optimism.mirror.xyz/XS7Ko4sn5Wab0dEWsXie7wO5JhFj5v7G1ckggfoY87U