원저자:Luozhu
원본 편집: Leo, BlockBeats
원저자:
원본 편집: Leo, BlockBeats
저는 아직 Hermez의 zkevm 솔루션에 대해 자세히 살펴보지 않았습니다(그리고 Hermez 코드의 일부는 아직 완전히 오픈 소스가 아닙니다). 흥미롭게도 Scroll과 Polygon Hermez의 zkevm을 비교하는 것은 zkVM과 zkEVM을 더 잘 이해하는 데 도움이 되는 좋은 관점입니다.
기본적으로 Scroll의 zkEVM 솔루션은 전체 EVM을 "재구현"하여 EVM 등가성을 달성합니다. EVM의 모든 작업은 zkevm-circuits(zk 회로)에서 정의되며 증명하는 데 많은 단계(제약 사항)가 필요합니다.
Hermez의 zkEVM 솔루션은 EVM을 다시 구현하는 대신 특정 zkVM을 구현하고 EVM 작업을 자체 zkVM에 매핑한다는 점에서 다릅니다. 따라서 EVM의 동작을 증명하는 것은 Hermez의 zkVM에서 해당 동작을 증명하는 것과 동일하며 zkVM은 자유도가 매우 커서 EVM에서 zk에 비우호적인 부분을 피할 수 있습니다.
Hermez가 zkEVM인지 zkVM인지 정의하는 방법에는 여러 가지가 있습니다.
- 전체 EVM을 다시 구현해야 했지만 만족하지 않음 - Hermez는 zkVM배우려면 클릭하세요
따라서 Scroll과 PSE의 zkEVM은 매우 복잡합니다(그리고 기적적으로 zk에 비우호적인 부분을 구현합니다). 우리 zkEVM은 34469줄의 코드가 있지만 Hermez의 zkEVM은 3000줄 미만의 코드가 있고,
배우려면 클릭하세요
초기 Scroll/PSE zkEVM 밸런스 달성은 어렵지만 후처리 EVM 업데이트가 용이하고 Hermez의 zkEVM은 초기 구현이 용이하나 후속 업데이트가 어렵고(zkVM의 재설계가 필요할 수 있음) PSE 솔루션이 Layer에 더 적합 1, 후속 업그레이드도 쉽고 Scroll이 PSE와 직접 작동하기 때문에(심지어 동일한 저장소에 기여함) Scroll의 zkEVM에 대한 후속 업그레이드도 쉽습니다.
기대할 가치가 있는 미래는 다음과 같습니다: 우리는 증명 생성 시간을 12초로 최적화할 것입니다(슬롯이 제안된 경우에만). 이때 zkEVM은 레이어 1의 생산 환경에서 직접 사용될 수 있으며 노드 실행의 제한이 있습니다. 또한 줄어들 것입니다.
zkEVM을 Layer 1에 직접 사용할 수 있다면 메인 네트워크는 자체 Prover를 가지게 될 것이고 생성 시간을 12초로 최적화할 수 있다는 것이 증명된다면 가속(하드웨어 가속, 커뮤니티 참여 등)에 도움이 될 수 있는 Prover 네트워크라고 생각합니다. .) 고려됩니다.
Scroll은 향후 자체 Prover 네트워크를 갖게 되며 로드맵은 다음과 같습니다.
-프리알파 테스트넷 업그레이드
-알파 테스트넷
- 분산형 롤러 네트워크
- 메인넷 런칭
따라서 Scroll의 롤러 네트워크가 잘 작동하면(새로운 합의 메커니즘이 있을 수 있음) Layer 1에 직접적인 영향을 미칠 것입니다. Ethereum 메인넷은 Scroll의 경험에서 배우고 롤러 네트워크 방식을 사용하여 자체 가속을 시도할 가능성이 높습니다. zkEVM(최대 12초).
롤업은 새로운 애플리케이션뿐만 아니라 이러한 기본 인프라와 관련된 레이어 1의 혁신적인 테스트 영역입니다. 현재 서로 다른 롤업 팀이 이끄는 여러 zkEVM 구현이 있습니다. 이는 장기적으로 롤업과 레이어 1 모두에 좋습니다. 롤업을 위해 다른 zkEVM 구현을 사용하여 자체 zkEVM이 제약 조건을 놓치거나 버그가 있는지 등을 확인할 수 있습니다.
하나의 zkEVM은 증명을 생성하고 다른 zkEVM은 프로세스를 확인합니다.
어쨌든, 앞으로도 우리는 zkEVM에 대한 매우 활발한 토론을 보게 될 것이며 더 많은 디자인, 더 많은 혁신, 더 많은 버그가 있을 것이며 마지막으로 레이어 1 -> zkEVM에서 EVM의 업그레이드가 있을 것입니다. 우리는 또한 레이어 1에서 롤업 혁신을 학습하여 이더리움 자체가 더 나아지도록 도울 것입니다(낮은 가스 트랜잭션뿐만 아니라).
