메인 콘텐츠로 건너뛰기
프로그램의 실행 단계는 일반적으로 결함 증명 프로그램(fault proof program)에서 가장 무거운 부분으로, 검증 대상이 되는 연산이 수행되는 단계입니다. 이 단계는 프롤로그 단계의 출력을 받아 검증 가능한 연산의 대부분을 수행합니다. 실행이 끝나면 출력은 최종 검증을 위해 에필로그 단계로 전달됩니다.

예시

상위 수준에서 보면, kona-client 프로그램의 실행 단계는 다음을 수행합니다.
  1. 프롤로그에서 가져온 L1 head hash를 역추적(unroll)하여 L2 derivation 파이프라인의 입력을 도출합니다.
  2. 입력을 L2 derivation 파이프라인에 전달하여, 주장된 높이에서 L2 safe chain을 재현하는 데 필요한 L2 실행 페이로드를 생성합니다.
  3. L2 derivation 파이프라인이 생성한 페이로드를 실행하여, L2 claim 높이에서의 L2 output root를 생성합니다.