TTF: Mất bao lâu để một thỏa thuận tổng hợp được hoàn tất?

原文标题:《Một tweet về thời gian tổng hợp để hoàn thành (TTF)》

Viết bởi: @larry0x

编译:Frank,Tin tức tầm nhìn xa

Trước hết, TTF là gì và tại sao nó lại quan trọng?

Tính cuối cùng là trạng thái mà một giao dịch không bao giờ có thể bị hủy, khôi phục hoặc sửa đổi, tức là, nó được coi là đã giải quyết vấn đề giao dịch tương ứng.

TTF (thời gian để kết thúc) là thời gian cần thiết để tín hiệu giao dịch đạt đến trạng thái cuối cùng kể từ khi bắt đầu phát sóng và sau đây là TTF của một số chuỗi được chọn:

! [TTF: Mất bao lâu để một thỏa thuận tổng hợp được hoàn tất?] (https://cdn-img.panewslab.com//panews/2022/11/15/images/1479927338818e02a46e6f57d2b767fd.)

TTF là một thông số quan trọng với đa dạng công dụng:

• Nếu tôi là người bán chấp nhận thanh toán bằng tiền điện tử, tôi muốn đợi TTF trước khi giao hàng hóa hoặc dịch vụ để tôi biết rằng khoản thanh toán sẽ không bị hủy.
• Nếu tôi là một giao thức bắc cầu chuỗi chéo và chuỗi người gửi gửi một gói, tôi muốn đợi TTF trước khi chuyển tiếp nó đến chuỗi nhận.
• …

Thứ hai, Rollups

Có 2 giai đoạn trong vòng đời của khối tổng hợp:

(1) dữ liệu của nó được xuất bản lên lớp Tính khả dụng của dữ liệu (DA);

(2) chứng minh hợp lệ tại tầng thanh toán;

Cần lưu ý rằng TTF khác nhau đối với các nút đầy đủ và nhẹ của chuỗi Rollup:

• Đối với trước đây, họ không cần phải đợi (2) giải quyết, bởi vì ngay sau khi dữ liệu khối được công bố trong (1), họ có thể tự xác minh tính hợp lệ ngay lập tức;
• Đối với trường hợp thứ hai, họ cần phải chờ quá trình giải quyết;

Trong giai đoạn bằng chứng giải quyết lớp lún, có hai loại bản tổng hợp, tùy thuộc vào cơ chế mà chúng sử dụng:

• Bản tổng hợp hợp lệ (còn gọi là bản tổng hợp không có kiến thức, zkRUs). Sau khi trình sắp xếp chuỗi tạo ra một khối, người chứng minh (thường là cùng một người với trình sắp xếp) gửi bằng chứng về tính hợp lệ chứng minh rằng khối đó hợp lệ thông qua một số phép thuật mật mã.
• Optimistic Rollups (opRUs)。 Trình sắp xếp trình tự tạo ra một khối, nhưng nó không chứng minh rằng nó hợp lệ. Nếu nó thực sự không hợp lệ, bất kỳ ai (câu tục ngữ) đều có thể thách thức nó bằng cách gửi bằng chứng gian lận, dẫn đến việc bị chặn. Nếu không ai chứng minh rằng một khối không hợp lệ trong một khoảng thời gian, được gọi là thời gian tranh chấp, khối được coi là hợp lệ.

Lưu ý: Tôi không thích thuật ngữ zkRU vì nhiều hệ thống chứng minh này thực sự không phải là kỹ thuật không có kiến thức, vì vậy “Validity Rollup” là một thuật ngữ chính xác hơn. Tuy nhiên, việc sử dụng “zkRU” rất phổ biến, vì vậy tôi sử dụng nó.

Ngoài ra còn có một số điều quan trọng cần biết:

• Trong thực tế, dữ liệu khối thường không được xuất bản lên lớp DA ngay sau khi một khối được tạo. Bộ giải trình tự thường đợi một chút và sau đó xuất bản một vài khối với số lượng lớn (có thể để tiết kiệm phí xăng);
• Bằng chứng hợp lệ cũng thường bị trì hoãn, thường là do việc tạo ra các bằng chứng này tốn nhiều thời gian và tính toán;
• Bằng chứng về tính hợp lệ và gian lận không chỉ được lan truyền trên chuỗi. Ví dụ: nếu ai đó gửi cho tôi bằng chứng hợp lệ ngoài chuỗi, tôi có thể chắc chắn rằng khối đó hợp lệ mà không phải đợi (2) quy trình thanh toán trên chuỗi.

Cuối cùng, chúng tôi đã sẵn sàng thảo luận về việc mất bao lâu để một thỏa thuận tổng hợp đạt được kết quả cuối cùng.

Đối với các nút đầy đủ, quá trình này rất đơn giản: ngay sau khi khối (1) được xuất bản và hoàn thành trên lớp DA, thì nó sẽ được hoàn thiện.

Nếu chúng tôi chỉ ra:

• T1: Tần suất các khối được xuất bản trên lớp DA (ví dụ: nếu trình sắp xếp chuỗi xuất bản một lô trên lớp DA cứ sau 10 phút, thì T1 = 10 phút)
• T2: TTF của lớp DA

Sau đó, TTF của bản tổng hợp = T1 + T2.

Đối với các nút ánh sáng, chúng phải đợi (1) và (2) hoàn thành. Đối với opRU, thời gian cho (2) là giai đoạn thử thách và đối với zkRU, thời gian là sau khi người chứng minh tạo và xuất bản bằng chứng hợp lệ.

Nếu chúng tôi chỉ ra:

• T3: Đối với opRU, giai đoạn thử thách;
• T4: Đối với zkRUs, thời điểm chứng minh tính hợp lệ được công bố ở lớp lún;
• T5: TTF của lớp lún;

Sau đó, có TTF cho Rollup:

• Đối với opRU: max (T1+T2, T3);
• Đối với zkRU: tối đa (T1 + T2, T4 + T5);

“Tối đa” trong các phương trình này có nghĩa là chúng ta cần đợi DA và quá trình giải quyết hoàn tất, tùy theo thời gian nào dài hơn (hầu như luôn luôn được giải quyết).

Bây giờ, đây là vấn đề! Hãy nhớ rằng, chúng tôi đã nói rằng bằng chứng cũng có thể được lan truyền ngoài chuỗi. Đối với zkRU, nếu chúng tôi nhận được bằng chứng hợp lệ ngoài chuỗi, thì chúng tôi có thể nói ngay rằng giao dịch đã hoàn tất mà không cần chờ quá trình thanh toán trên chuỗi.

Thật khó để nói cho opRU. Thời gian thử thách (T3) có xu hướng dài hơn vì lo ngại rằng lớp giải quyết có thể xem xét bằng chứng gian lận. Vì vậy, nó thực sự phụ thuộc vào khả năng chấp nhận rủi ro của bạn. Nếu bạn khá tự tin rằng lớp thanh toán sẽ không xem xét giao dịch, bạn có thể chọn đợi một khoảng thời gian ngắn hơn. Nếu không, bạn sẽ đợi lâu hơn, nhưng bạn sẽ không phải đợi lâu hơn T3.

Hãy tóm tắt lại:

! [TTF: Mất bao lâu để một thỏa thuận tổng hợp được hoàn tất?] (https://cdn-img.panewslab.com//panews/2022/11/15/images/dc879d6785275eb291bbc2cae4b7bc1d.)

Dưới đây là hai ví dụ thực tế, Arbitrum và zkSync. Họ sử dụng Ethereum để DA và thanh toán, vì vậy T2 = T5 = 13 phút.

• Trình tự của Arbitrum xuất bản dữ liệu khoảng mỗi T1 = 6 phút và thời gian thử thách của Trọng tài là T3 = 1 tuần;
• Trình sắp xếp thứ tự của zkSync xuất bản dữ liệu khoảng mỗi T1 = 3 phút, chứng minh rằng nó không được xuất bản thường xuyên, nhưng trung bình một lần T4 = 1 giờ;

Chúng ta cũng có thể xem xét một zkRU giả định sử dụng Celestia cho DA, mà tôi nghĩ là gần với kết quả cuối cùng hơn:

• T1 = 0 (Celestia rẻ, vì vậy chúng tôi giả định rằng khối được xuất bản ngay khi nó được tạo);
• T2 = 12 giây;
• T4 = thời gian tạo bằng chứng, tùy thuộc vào hệ thống chứng minh;

! [TTF: Mất bao lâu để một thỏa thuận tổng hợp được hoàn tất?] (https://cdn-img.panewslab.com//panews/2022/11/15/images/edba98503458c791b1db04f99e9d7a91.)

Cuối cùng, một cuộc thảo luận ngắn gọn về ý nghĩa của tất cả

Như bạn đã biết, tôi là một fan hâm mộ của Cosmos và IBC sử dụng ứng dụng khách nút ánh sáng để xác thực các gói, vì vậy bạn cần đợi TTF, như thể hiện trong cột “Đối với các nút ánh sáng” trong hình trên.

Đối với opRU, thời gian này có thể lên đến 1 tuần (nếu bạn không quá tự tin vào khả năng chống kiểm duyệt của Ethereum), quá dài cho các mục đích thực tế. Đó là lý do tại sao đối với opRU, chúng ta phải sử dụng các cầu nối nút đầy đủ, chẳng hạn như Axelar và Wormhole, bao gồm một loạt các toán tử chạy các nút đầy đủ.

Nhược điểm là chúng ta cần tin tưởng vào tập hợp các nhà cung cấp dịch vụ này, có thể không an toàn về mặt kinh tế như chuỗi người gửi, đó là lý do tại sao tôi giảm giá trên opRU.

Đối với các zkRU thông thường, chúng ta chỉ cần đợi DA được hoàn thiện (16 phút trên Ethereum) + thời gian tạo bằng chứng, chúng ta không cần phải đợi bằng chứng được phát hành trên Ethereum – đây là lợi thế chính so với opRUs!

Đây cũng là một cách tôi nghĩ Celestia có thể cải thiện trải nghiệm chuỗi chéo Rollup. Trên Ethereum, chúng tôi chỉ đợi 12 giây + thời gian tạo bằng chứng, không phải 16 phút. Các máy khách nút ánh sáng có thể sử dụng QGB để kiểm tra bằng chứng từ trình xác thực Celestia (mà tôi đoán hiện đã được đổi tên thành Blobstream) hoặc có thể lấy mẫu DA.