TTF에 대해 말하자면: 롤업 트랜잭션이 완료되는 데 시간이 얼마나 걸리나요?

원래 제목: TTF(롤업 완료 시간)에 대한 트윗

원저자: @larry 0x

원본 편집: Frank, Foresight News

먼저, TTF란 무엇이고 왜 중요한가요?

완결성(Finality)이란 거래가 절대로 취소, 복원, 수정될 수 없는 상태, 즉 해당 거래 문제가 해결된 것으로 간주되는 상태를 말합니다.

TTF(time to finality)는 거래 신호가 방송을 시작하고 최종 상태에 도달하는 데 걸리는 시간입니다. 다음은 선택된 여러 체인의 TTF입니다.

TTF는 여러 용도로 사용되는 중요한 매개변수입니다.

• 내가 암호화폐 결제를 허용하는 판매자라면 상품이나 서비스를 배송하기 전에 결제가 취소되지 않는다는 것을 알 수 있도록 TTF를 기다리고 싶습니다.

• 프로토콜을 크로스 체인 브리징하고 패킷이 송신자 체인에 제출되는 경우 수신자 체인에 전달하기 전에 TTF를 기다리고 싶습니다.

• ……

둘째, 롤업

롤업 블록의 수명 주기는 2단계로 구성됩니다.

(1) 해당 데이터는 데이터 가용성(DA) 레이어에 게시됩니다.

(2) 결제 계층에서 유효한 것으로 입증되었습니다.

롤업 체인의 전체 노드와 라이트 노드에 대해 TTF가 다르다는 점은 주목할 가치가 있습니다.

• 전자의 경우 (2) 정산을 기다릴 필요가 없습니다. (1)에서 블록 데이터가 공개되는 한 즉시 유효성을 스스로 확인할 수 있기 때문입니다.

• 후자의 경우 결제 프로세스를 기다려야 합니다.

결제 계층 증명 단계에는 사용하는 메커니즘에 따라 두 가지 유형의 롤업이 있습니다.

• 유효성 롤업(일명 영지식 롤업, zkRU). 시퀀서가 블록을 생성한 후 증명자(일반적으로 시퀀서와 동일한 사람)는 유효성 증명을 제출하여 블록이 유효하다는 것을 암호화 마법을 통해 증명합니다.

• OpRU(낙관적 롤업). 시퀀서는 블록을 생성하지만 그것이 유효한지 증명하지는 않습니다. 실제로 유효하지 않은 경우 누구나(증명자) 사기 증명을 제출하여 이의를 제기할 수 있으며, 이로 인해 블록이 거부됩니다. 분쟁 기간으로 알려진 일정 기간 동안 아무도 블록이 유효하지 않다는 것을 증명하지 않으면 블록은 유효한 것으로 간주됩니다.

참고: 저는 이러한 증명 시스템 중 다수가 실제로 영지식 기술이 아니기 때문에 zkRU라는 용어를 좋아하지 않습니다. 따라서 유효성 롤업이 더 정확한 용어입니다. 그런데 zkRU라는 표현이 너무 흔해서 사용하게 되었습니다.

또한 알아야 할 몇 가지 중요한 사항이 있습니다.

• 실제로 블록 데이터는 일반적으로 블록이 생성된 직후 DA 레이어에 게시되지 않습니다. 시퀀서는 일반적으로 잠시 기다렸다가 몇 개의 블록을 일괄적으로 게시합니다(아마도 가스 비용을 절약하기 위해).

• 유효성 증명을 생성하는 데 계산 비용이 많이 들고 시간이 걸리기 때문에 유효성 증명도 종종 지연됩니다.

• 유효성 및 사기 증명은 온체인으로만 전파되는 것이 아닙니다. 예를 들어 누군가 나에게 오프체인 유효성 증명을 보내면 (2) 온체인 결제 프로세스를 기다리지 않고도 블록이 유효한지 확인할 수 있습니다.

마지막으로 롤업 트랜잭션이 최종 결과에 도달하는 데 걸리는 시간에 대해 논의할 준비가 되었습니다.

전체 노드의 경우 프로세스는 간단합니다. 블록 (1)이 DA 레이어에 게시되고 완료되자마자 완료됩니다.

우리가 의미하는 바는 다음과 같습니다.

• T 1 : DA 레이어에 블록이 게시되는 빈도(예: 시퀀서가 10분마다 DA 레이어에 배치를 게시하는 경우 T 1 = 10분)

• T2: DA 레이어의 TTF

그런 다음 Rollup의 TTF = T 1 + T 2 입니다.

라이트 노드의 경우 (1)과 (2)가 완료될 때까지 기다려야 합니다. opRU의 경우 (2)의 시간은 챌린지 기간이고, zkRU의 경우 증명자가 유효성 인증서를 생성하고 릴리스한 이후의 시간입니다.

우리가 의미하는 바는 다음과 같습니다.

• T 3: opRU의 경우 챌린지 기간;

• T 4: zkRU의 경우 유효성 인증서가 결제 계층에 게시되는 시간입니다.

• T 5: 결제 계층의 TTF;

그런 다음 롤업의 TTF가 있습니다.

• opRU의 경우: 최대(T 1+T 2, T 3);

• zkRU의 경우: 최대(T 1+T 2, T 4+T 5);

이러한 방정식의 최대값은 DA 및 정산 프로세스가 완료될 때까지 기다려야 함을 의미하며, 둘 중 더 긴 시간이 소요됩니다(거의 항상 정산).

이제 문제가 발생합니다! 우리는 증명이 오프체인으로 전파될 수도 있다고 말한 것을 기억하십시오. zkRU의 경우, 오프체인에서 유효성 증명을 받으면 온체인 결제 프로세스를 기다리지 않고 즉시 거래가 완료되었다고 말할 수 있습니다.

opRU의 경우 말하기 어렵습니다. 이의 제기 기간(T 3)이 더 길어지는 이유는 결제 계층에서 사기 증거를 검토할 수 있다는 우려 때문입니다. 따라서 실제로는 위험 허용 범위에 따라 달라집니다. 결제 계층이 거래를 검토하지 않을 것이라고 확신하는 경우 더 짧은 시간 동안 기다리도록 선택할 수 있습니다. 그렇지 않으면 더 오래 기다리게 되지만 T3보다 더 오래 기다릴 필요는 없습니다.

요약하자면:

다음은 Arbitrum과 zkSync라는 두 가지 실제 예입니다. DA 및 결제를 위해 Ethereum을 사용하므로 T 2 = T 5 = 13분입니다.

• Arbitrum의 시퀀서는 대략 T 1 = 6분마다 데이터를 게시하고 Arbitrum의 챌린지 기간은 T 3 = 1주입니다.

• zkSync의 시퀀서는 대략 T 1 = 3분마다 데이터를 게시합니다. 이는 불규칙적으로 게시되지만 평균적으로 T 4 = 1시간마다 한 번씩 게시된다는 것을 증명합니다.

또한 DA에 Celestia를 사용하는 가상의 zkRU를 고려할 수도 있는데, 내 생각에는 이것이 최종 결과에 더 가깝습니다.

• T 1 = 0(Celestia는 저렴하므로 블록이 생성 후 즉시 게시된다고 가정합니다.)

• T 2 = 12초;

• T 4 = 증명 생성 시간은 증명 시스템에 따라 다릅니다.

마지막으로, 이것이 무엇을 의미하는지에 대한 간략한 논의입니다.

아시다시피 저는 Cosmos의 팬이고 IBC는 라이트 노드 클라이언트를 사용하여 패킷을 확인하므로 위의 라이트 노드의 경우 열에 표시된 것처럼 TTF를 기다려야 합니다.

opRU의 경우 최대 1주일이 걸릴 수 있습니다(이더리움의 검열 저항에 대해 너무 확신하지 않는 경우). 이는 실용적인 목적으로는 너무 깁니다. 이것이 바로 opRU의 경우 전체 노드를 실행하는 여러 운영자로 구성된 Axelar 및 Wormhole과 같은 전체 노드 브리지를 사용해야 하는 이유입니다.

단점은 발신자 체인만큼 경제적으로 안전하지 않을 수 있는 이 운영자 세트를 신뢰해야 한다는 것입니다. 이것이 제가 opRU에 대해 부정적인 이유입니다.

일반 zkRU를 사용하면 DA가 완료될 때까지(이더리움에서는 16분) + 증명 생성 시간만 기다리면 되며, 증명이 이더리움에서 공개될 때까지 기다릴 필요가 없습니다. 이것이 opRU에 비해 ​​가장 큰 장점입니다!

이는 Celestia가 롤업 크로스체인 경험을 향상시킬 수 있는 한 가지 방법이기도 합니다. 이더리움에서는 16분을 기다리는 대신 12초 + 증명 생성 시간만 기다립니다. 라이트 노드 클라이언트는 QGB를 사용하여 Celestia 유효성 검사기(현재 Blobstream으로 이름이 바뀐 것 같습니다)의 증명을 확인하거나 DA 샘플링도 수행할 수 있습니다.