분산형 Prover를 구현하는 방법은 무엇입니까? Opside는 ZKP를 위한 2단계 제출 알고리즘을 혁신적으로 제안합니다.
첫 번째 레벨 제목
탈중앙화 증명자가 필요한 이유
현재 Ethereum 메인넷에서 실행되는 여러 ZK-Rollup이 이미 있습니다. 그러나 ZK-Rollup의 분산형 설계는 아직 초기 단계에 있습니다. 우리는 현재 Sequencer의 탈중앙화에 집중하고 있으며 대부분의 사람들이 이를 무시하고 있습니다.사실 현재 대부분의 ZK-Rollup 프로젝트에는 탈중앙화 증명자가 없습니다.
첫 번째 레벨 제목
탈중앙화 증명자의 과제
Decentralized Prover는 위의 문제를 잘 해결할 수 있지만 몇 가지 문제를 야기하기도 합니다. 이는 최근 출시된 여러 zkEVM 솔루션이 중앙 집중식 Prover 솔루션을 채택하는 이유 중 하나입니다. 예를 들어 Polygon zkEVM의 베타 메인넷은 ZKP를 제출하기 위해 신뢰할 수 있는 애그리게이터에 의존하며 zkSync 시대도 비슷합니다.
기술적 세부 사항 측면에서 ZK-Rollup의 스마트 계약이 ZKP를 검증할 때 다양한 온체인 공격을 유발할 수 있는 원본 증명 데이터가 필요합니다. 예를 들어 증명자가 계산된 ZKP를 체인의 계약에 제출할 때 L1 트랜잭션을 보내야 합니다. 증명자가 보낸 트랜잭션이 트랜잭션 풀에 브로드캐스팅되면 공격자는 원본 증명 데이터를 볼 수 있고 공격자는 트랜잭션을 보내는 데 더 높은 가스 요금을 설정할 수 있으므로 PoW 보상을 얻기 위해 블록에 우선적으로 패키징할 수 있습니다. .
첫 번째 레벨 제목
보조 제목
Opside증명자의 탈중앙화를 실현하기 위해 ZKP 2단계 제출 알고리즘이 제안됩니다. 이 알고리즘은 ZKP 전면 실행 공격을 방지할 수 있을 뿐만 아니라 더 많은 채굴자가 보상을 받을 수 있도록 하여 더 많은 채굴자가 온라인 상태가 되도록 장려하고 안정적이고 지속적인 ZKP 컴퓨팅 성능을 제공합니다.
1단계: 해시 커밋
특정 시퀀스의 경우 증명자가 ZKP를 계산한 후 먼저 (증명/주소)의 해시를 계산하고 해시와 주소를 체인의 스마트 계약에 제출합니다. 그 중 proof는 어떤 시퀀스의 영지식 증명이고 address는 증명자의 주소입니다.
보조 제목
2단계: ZKP 제출
블록 T+11 이상에서는 모든 증명자가 ZKP를 제출할 수 있습니다. 하나의 ZKP가 검증을 통과하는 한 제출된 모든 해시는 ZKP에 따라 검증될 수 있습니다. 검증을 통과한 증명자는 PoW 보상을 받을 수 있으며 보상 금액은 채굴자가 약속한 금액의 비율에 따라 분배됩니다.
ZKP가 T+20번째 블록 이전에 확인을 통과하지 못하면 해시를 제출한 모든 증명자가 삭감됩니다. 이 시점에서 시퀀스가 다시 열리고 새 해시를 제출할 수 있으며 1단계로 돌아갑니다.
증명자의 서약과 처벌
증명자의 서약과 처벌
증명자에 대한 악의적인 행동을 피하기 위해 증명자는 특별한 시스템 컨트랙트에 등록되고 일정 수의 토큰을 약속해야 합니다. 현재 담보 금액이 임계값 미만인 경우 해시 및 ZKP 제출이 허용되지 않습니다. 증명자가 ZKP를 제출하여 얻은 보상은 약속된 금액의 비율에 따라 분배되어 ZKP를 여러 번 제출하는 증명자의 악의적인 행동을 방지합니다.
증명자가 다음과 같은 행위를 하는 경우 다른 수준의 처벌이 부과됩니다.
증명자가 잘못된 해시를 제출했습니다.
시퀀스의 경우 해당 ZKP가 검증을 통과하지 못하면 해시를 제출한 모든 증명자가 처벌됩니다.
몰수된 토큰은 소각됩니다.
첫 번째 레벨 제목
몇 가지 고려 사항
여러 증명자가 해시를 제출할 수 있는 이유는 무엇입니까? 첫 번째 해시 제출자가 보상을 받을 수 있는 경우 첫 번째 증명자가 해시를 제출한 후 다른 증명자는 증명을 제출할 인센티브가 없습니다. 악의적인 공격자가 해시 제출 후 증명 제출을 지연하면 전체 시퀀스가 검증되는 속도가 느려집니다. 따라서 단일 공격자가 ZKP 검증을 독점하지 않도록 여러 증명자가 해시를 독립적으로 병렬로 제출할 수 있어야 합니다.
시간 창을 설정해야 하는 이유는 무엇입니까? 누구든지 해시를 제출한 직후 증명을 제출할 수 있다고 가정하면 증명은 여전히 선점될 수 있습니다. 공격자는 자신의 주소와 관련된 해시를 즉시 제출한 다음 증거를 제출하여 보상을 받기 때문입니다. 기간이 설정되면 해시를 제출한 증명자는 이 기간 내에 증명을 제출할 동기가 없으므로 공격자가 증명을 사용할 가능성을 피할 수 있습니다.
첫 번째 레벨 제목
요약 및 계획
애플리케이션 개발자는 ZKP 생성 롤업에 보조금을 지급하여 채굴자가 컴퓨팅 성능을 제공하도록 장려합니다.
전체 네트워크의 ZKP 컴퓨팅 파워의 수요와 공급 관계에 따라 PoS 및 PoW의 보상 분배 비율을 동적으로 조정합니다.
ZK-Rollup 유형, Rollup 트랜잭션 수량, 가스 사용량 등을 기반으로 워크로드를 추정하고 Rollup 배치에 대한 개인화된 가격 책정 메커니즘을 설정합니다.
애플리케이션 개발자는 ZKP 생성 롤업에 보조금을 지급하여 채굴자가 컴퓨팅 성능을 제공하도록 장려합니다.
