Nói về TTF: Mất bao lâu để hoàn tất một giao dịch tổng hợp?

Tiêu đề gốc: Một dòng tweet về thời gian tổng hợp đến thời điểm cuối cùng (TTF)

Tác giả gốc: @larry 0x

Biên soạn gốc: Frank, Tin tức tầm nhìn xa

Đầu tiên, TTF là gì và tại sao nó quan trọng?

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

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

TTF là một tham số quan trọng có nhiều 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 sẽ muốn đợi TTF trước khi giao hàng hóa hoặc dịch vụ để tôi biết khoản thanh toán sẽ không bị hủy.

• Nếu tôi đang kết nối giao thức qua chuỗi chéo và một gói được gửi trên chuỗi người gửi, tôi muốn đợi TTF trước khi chuyển tiếp nó đến chuỗi người nhận.

• ……

Thứ hai, Rollup

Vòng đời của khối Rollup có 2 giai đoạn:

(1) Dữ liệu của nó được xuất bản lên lớp sẵn có của dữ liệu (DA);

(2) Đã được chứng minh là hợp lệ ở lớp lún;

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

• Đối với trường hợp trước, họ không cần đợi (2) giải quyết, vì miễn là dữ liệu khối được phát hành 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 sau, họ cần phải chờ quá trình giải quyết;

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

• Bản tổng hợp có hiệu lực (còn gọi là bản tổng hợp không có kiến ​​thức, zkRU). 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 chuỗi) gửi bằng chứng hợp lệ, chứng minh thông qua một số phép thuật mật mã rằng khối đó là hợp lệ.

• Bản tổng hợp lạc quan (opRU). Trình sắp xếp thứ tự tạo khối nhưng không chứng minh được rằng nó hợp lệ. Nếu nó thực sự không hợp lệ, bất kỳ ai (người chứng minh) đều có thể thách thức nó bằng cách gửi bằng chứng gian lận, điều này sẽ khiến khối bị từ chối. Một khối được coi là hợp lệ nếu không có ai chứng minh nó không hợp lệ trong một khoảng thời gian, được gọi là thời gian tranh chấp.

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à công nghệ không có kiến ​​thức, vì vậy Tổng hợp hiệu lực là thuật ngữ chính xác hơn. Tuy nhiên, việc sử dụng zkRU phổ biến đến mức tôi sử dụng nó.

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

• Trên 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 khối được tạo. Trình sắp xếp chuỗi thường sẽ đợi một lúc rồi xuất bản một vài khối theo đợt (có thể để tiết kiệm phí gas);

• Bằng chứng về tính hợp lệ cũng thường bị trì hoãn, thường là do việc tạo ra chúng tốn kém về mặt tính toán và mất thời gian;

• Bằng chứng hợp lệ và gian lận không chỉ được truyền bá trên chuỗi. Ví dụ: nếu ai đó gửi cho tôi bằng chứng xác thực ngoài chuỗi, tôi có thể chắc chắn rằng khối đó hợp lệ mà không cần phải chờ (2) quy trình giải quyết trên chuỗi.

Cuối cùng, chúng ta sẵn sàng thảo luận về việc mất bao lâu để giao dịch Tổng hợp đạt được kết quả cuối cùng.

Đối với các nút đầy đủ, quy trình rất đơn giản: ngay 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 muốn nói:

• T 1 : 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ì T 1 = 10 phút)

• T2: TTF của lớp DA

Khi đó TTF của Rollup = T 1 + T 2 .

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

Nếu chúng tôi muốn nói:

• T 3: Đối với opRU, giai đoạn thử thách;

• T 4: Đối với zkRU, thời điểm chứng chỉ hợp lệ được công bố ở lớp giải quyết;

• T 5: TTF của lớp lún;

Sau đó là TTF của Rollup:

• Đối với opRU: tối đa (T 1+T 2, T 3);

• Đối với zkRU: tối đa (T 1+T 2, T 4+T 5);

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

Bây giờ, vấn đề đến đây! Hãy nhớ rằng chúng tôi đã nói rằng bằng chứng cũng có thể được truyền bá ngoài chuỗi. Đối với zkRU, nếu chúng tôi nhận được bằng chứng về tính 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.

Đối với opRU thì thật khó để nói. Lý do giai đoạn thử thách (T 3) thường dài hơn là do 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 rất tin tưởng rằng lớp thanh toán sẽ không xem xét giao dịch, bạn có thể chọn đợi trong 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 không phải đợi lâu hơn T3.

Hãy để chúng tôi tóm tắt:

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

• Trình sắp xếp thứ tự của Arbitrum xuất bản dữ liệu khoảng mỗi T 1 = 6 phút và thời gian thử thách của Arbitrum là T 3 = 1 tuần;

• Trình sắp xếp chuỗi của zkSync xuất bản dữ liệu khoảng mỗi T 1 = 3 phút, điều này chứng tỏ rằng nó được xuất bản không thường xuyên, nhưng trung bình cứ sau T 4 = 1 giờ một lần;

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

• T 1 = 0 (Celestia rẻ nên chúng tôi giả sử các khối được xuất bản ngay sau khi tạo);

• T 2 = 12 giây;

• T 4 = thời gian tạo chứng minh, phụ thuộc vào hệ thống chứng minh;

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

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

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

Điểm bất lợi là chúng ta cần phải tin tưởng vào nhóm nhà khai thác này, nhóm 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 lại có quan điểm giảm giá đối với opRU.

Với zkRU bình thường, chúng tôi chỉ cần đợi DA hoàn tất (16 phút trên Ethereum) + thời gian tạo bằng chứng, chúng tôi không cần đợi bằng chứng được phát hành trên Ethereum - đây là lợi thế chính so với opRU!

Đâ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, thay vì đợi 16 phút, chúng tôi chỉ đợi 12 giây + thời gian tạo bằng chứng. Các máy khách nút nhẹ có thể sử dụng QGB để kiểm tra bằng chứng từ trình xác thực Celestia (tôi đoán bây giờ nó đã được đổi tên thành Blobstream) hoặc có thể thực hiện lấy mẫu DA.