Real-time proving - 더 빠른 L1을 위해

[Real-time proving - 더 빠른 L1을 위해] 최근 다양한 zkVM 팀들이 'real-time proving'이 곧 가능해질 거라고 이야기하고 있습니다. Real-time proving은 이더리움 블록 하나를 12초 내에 증명하는 것을 의미합니다. 관련된 발표들은 다음과 같습니다. 1. Snarkify, 다음달에 real time proving이 가능한 엔진 출시 예정 2. Risc Zero, 이더리움 블록을 9.25초 만에 증명할 수 있는 클러스터 출시 예정 3. Succinct, Real time proving 엔진인 SP1 HyperCube 출시 아직까진 테스트넷에서 proving time이 검증되고 있는 Succinct만 real time proving에 가까운 것이 확인되고 있으나, 만약 타 팀들이 하는 말들이 모두 사실이라면 이번 상반기 내에 real-time proving을 위한 인프라가 어느 정도 갖춰질 것이라고 보입니다. 이는 L1의 확장성 증대에 아주 큰 역할을 수행할 수 있습니다. 모든 이더리움 블록이 12초 내에 증명이 가능하다면, 이더리움 밸리데이터들은 ZK 증명 검증을 통해 합의를 진행할 수 있습니다. ZK를 통한 합의는 다음과 같은 두 가지 큰 이점이 있습니다. 1. 블록 데이터보다 훨씬 작은 크기의 데이터만 주고받아도 합의 가능 2. 트랜잭션 재실행 대신 ZK 증명 검증을 하는 것이 훨씬 컴퓨팅 리소스를 덜 사용함. 즉, real time proving이 이뤄지면 이더리움은 현재의 탈중앙화를 유지하면서 확장성을 1 GigaGas ( 10K TPS) 까지 높일 수 있게 됩니다. 다만, 아직 real-time proving이 완성되었다고 보기는 어렵습니다. 이더리움의 완전한 ZK화를 위해서는 다음과 같은 작업들이 추가적으로 이뤄져야 합니다. 1. zkVM 코드들의 철저한 보안 감사 (formal verification) 2. 최악의 케이스에도 12초 내에 증명 생성이 가능하도록 증명 생성 속도 최적화 (현재 zkVM들은 '일반적인 케이스'에서 12초 정도의 증명 생성 속도를 보이고 있습니다.)