실시간 CL 증명, 합의 검증을 증명 하나로
Strawmap L* (2029~30) · real-time cl-asm proofs
합의층(Consensus Layer, CL)이 블록마다 하는 검증 계산을 짧은 암호 증명으로 만들어 노드가 전체를 다시 계산하지 않고 증명만 확인하도록 바꿉니다. 블록이 나오는 시간 안에 증명을 만드는 것이 목표입니다.
왜 필요한가
지금 이더리움 노드는 합의층의 상태 변화를 직접 다시 계산해 확인합니다. 검증자들이 낸 투표의 서명을 모두 확인하고 검증자 잔고와 체인의 확정 상태가 어떻게 바뀌는지 처음부터 계산합니다. 이 일에는 적지 않은 컴퓨터 자원이 들어서 휴대폰이나 브라우저 같은 가벼운 기기는 전체를 검증하지 못하고 다른 노드를 믿어야 합니다. 실시간 CL 증명은 이 계산을 짧은 암호 증명(SNARK)으로 바꾸는 방향입니다. 한쪽에서 계산을 하고 규칙대로 계산했다는 증명을 만들면, 다른 노드는 그 증명만 확인해도 같은 결론을 얻습니다. 증명을 확인하는 일은 계산을 다시 하는 것보다 훨씬 가벼워서 작은 기기도 체인의 합의 상태를 스스로 확인할 수 있습니다. 실행층(Execution Layer, EL)에서 진행 중인 실시간 증명 연구를 합의층으로 넓히는 셈입니다. 여기서 실시간은 다음 블록이 나오기 전에 증명이 완성돼야 한다는 뜻입니다. 그래야 노드가 증명으로 체인을 따라갈 수 있습니다. 이 항목은 Strawmap의 가장 뒤쪽 칸인 L*에 1라운드 완결, 증인·제안자 분리와 함께 놓여 있습니다. 이 칸은 Strawmap의 예상일 뿐 확정된 일정이 아닙니다.
어떻게 동작하나
- 합의층 계산 검증자 투표의 서명을 확인하고 잔고와 확정 상태를 갱신하는 합의층의 계산을 그대로 수행합니다.
- 증명 만들기 그 계산이 규칙대로 이뤄졌다는 짧은 암호 증명을 다음 블록이 나오기 전에 만듭니다.
- 증명만 확인 다른 노드는 계산을 반복하지 않고 증명만 확인해 새 합의 상태를 받아들입니다.