Layer 2: xác nhận nhanh không đồng nghĩa quyết toán cuối cùng
Lập bản đồ quá trình chấp nhận giao dịch, công bố dữ liệu và hoàn tất rút tiền trong hệ thống mở rộng quy mô.
Gọi tên giai đoạn bạn đang quan sát
Xác nhận nhanh trên giao diện có thể chỉ có nghĩa là bộ sắp xếp giao dịch đã chấp nhận giao dịch, chứ không phải mọi điều kiện quyết toán về sau đã hoàn tất. Các hệ thống lớp 2 thực hiện công việc bên ngoài chuỗi cơ sở và dùng cơ chế bổ sung để quyết toán hoặc xác minh kết quả. Tài liệu mở rộng quy mô của Ethereum phân biệt phương pháp optimistic với phương pháp bằng chứng tính hợp lệ. Kiến trúc quyết định điều mà người quan sát có thể suy ra một cách chắc chắn ở từng giai đoạn.
Dùng nhãn chính xác trong ghi chú nghiên cứu: đã gửi, được bên vận hành chấp nhận, đưa vào lô, công bố lên chuỗi cơ sở, đã xác minh hoặc hết thời hạn phản biện, và đã rút. Không phải hệ thống nào cũng dùng đúng các bước này, nhưng gộp chúng thành một từ “đã xác nhận” sẽ che giấu khác biệt vận hành quan trọng với sàn giao dịch và bên quản lý tài sản bảo đảm.
Hiểu sự khác biệt trong xác minh
Rollup lạc quan dựa vào cơ chế phản biện các tuyên bố trạng thái sai trong một khoảng thời gian xác định. Thiết kế dùng bằng chứng tính hợp lệ nộp bằng chứng mật mã cho các chuyển đổi trạng thái, nhưng vẫn cần kiểm tra cơ chế sẵn có dữ liệu, nâng cấp và vận hành. Hệ thống bằng chứng là một thành phần của an ninh, không phải bảo đảm bao trùm cho mọi ứng dụng hay cầu nối được triển khai quanh nó.
Bài tập thực hành là hỏi điều gì sẽ xảy ra nếu một đơn vị vận hành gửi kết quả sai, ngừng xử lý giao dịch hoặc không cung cấp một dịch vụ bắt buộc. Xác định những chủ thể nào có thể phản ứng và họ cần thông tin gì. Câu trả lời phải lấy từ tài liệu của hệ thống đã triển khai, không phải từ mô tả lý tưởng hóa về cả nhóm công nghệ đó.
Tách chậm quyết toán khỏi thanh khoản rút tiền
Rút tiền trực tiếp theo giao thức có thể cần chờ các điều kiện của giao thức. Nhà cung cấp thanh khoản bên thứ ba có thể cung cấp tiền sớm hơn để đổi lấy phí, qua đó tạo thêm lối thoát. Lối đó thay đổi mức phơi nhiễm; nó không làm biến mất điều kiện thanh toán của giao thức cơ sở. Năng lực cung cấp có thể thu hẹp khi căng thẳng, đúng lúc nhiều người muốn thoát sớm.
Hình dung một nghĩa vụ đến hạn ngày mai trên chuỗi cơ sở và tài sản có thời gian rút trực tiếp mất vài ngày trong hệ thống giả định. Tài sản có thể có giá trị nhưng không sẵn có theo lịch yêu cầu. Báo giá thoát nhanh chỉ là bằng chứng hữu ích cho đúng số lượng và thời điểm được báo. Không nên cho rằng nó tiếp tục sẵn có khi cả thị trường đổ xô rút.
Kiểm tra kiểm soát và hạ tầng
Mức tập trung của bộ sắp xếp giao dịch, khóa nâng cấp, hội đồng khẩn cấp, việc nộp bằng chứng và công bố dữ liệu đều cần có dòng riêng trong bảng so sánh. Hệ thống có thể có quy tắc xác minh giao dịch chặt chẽ nhưng vẫn phụ thuộc vào dịch vụ vận hành tập trung. Sự cố có thể ảnh hưởng khả năng sử dụng mà không thay đổi quyền sở hữu, nhưng việc không thể giao dịch vẫn có thể gây thiệt hại tài chính nếu cần điều chỉnh vị thế khẩn cấp.
Kiểm tra có cơ chế buộc đưa giao dịch vào hoặc cơ chế thoát thay thế không, ai dùng được và thời gian chậm thực tế. Lối thoát khả dụng về lý thuyết có thể đòi phí chuỗi cơ sở, bước kỹ thuật và thời gian chờ. Với bài tập nghiên cứu phi kỹ thuật, ghi các yêu cầu này thay vì cho rằng “không cần cấp phép” nghĩa là tiếp cận dễ dàng hoặc tức thì.
Đo tổng chi phí vòng đời
Phí giao dịch thấp có thể có giá trị, nhưng so sánh đầy đủ gồm nộp tiền, rút tiền, chuyển qua cầu nối, thanh khoản tại đích và thời gian không thể sử dụng tiền. Chiến lược giao dịch thường xuyên trong một mạng và ít rút tiền có cấu trúc chi phí khác với chiến lược liên tục chuyển tiền giữa các mạng. Đơn vị cần xét là toàn bộ quy trình, không phải một thao tác được chọn vì rẻ.
Xây dựng dòng thời gian cho trường hợp thường và trường hợp sự cố. Ghi số dư nào chi tiêu được ở từng điểm và giả định nào làm chậm bước tiếp theo. Điều này giúp phân tích hữu ích mà không dự báo hệ thống mở rộng nào sẽ thành công. Thông lượng kỹ thuật, tính chung cuộc, thanh khoản và giá trị token ứng dụng là chủ đề riêng, không nên trình bày như cải thiện một yếu tố tự động cải thiện mọi yếu tố còn lại.
Bài tập cuối hữu ích là gắn nhãn cùng số dư ở ba thời điểm: dùng được tại mạng hiện tại, sẵn để rút theo cơ chế gốc và chi tiêu được trên chuỗi đích. Gán dấu thời gian riêng làm rõ khoảng trống thanh khoản. Nếu hạn chót rơi vào một khoảng đó, vị thế có vấn đề tài trợ vận hành ngay cả khi mọi số dư cuối cùng quyết toán đúng và không có vốn gốc mất vĩnh viễn.
Đặt các trạng thái hoàn tất trên cùng dòng thời gian
Một chuyển khoản giả định được giao diện xác nhận lúc 10 giờ, dữ liệu được công bố lên chuỗi cơ sở sau đó, và điều kiện rút đáp ứng muộn hơn nữa. Tất cả có thể hoạt động đúng thiết kế; sai lầm là coi mốc đầu tiên là kết thúc mọi rủi ro.
Tạo các dòng cho chấp nhận cục bộ, đưa vào khối, công bố dữ liệu, yêu cầu chứng minh hoặc phản đối và nhận được tài sản ở đích. Phân biệt thời điểm quan sát với ước tính. Không gán một thời hạn chung cho mọi mạng hoặc cầu nối. Người bán nhận khoản nhỏ và bên lưu ký xác nhận thanh toán cuối cùng có thể cần mức đảm bảo khác nhau.
Tách đường thoát của mạng khỏi dịch vụ của nhà cung cấp
Mạng có thể hỗ trợ rút trong lúc một ứng dụng hoặc sàn ngừng nhận và chi tiền. Ngược lại, nhà cung cấp có thể ghi có số dư trước khi giao dịch cơ sở đạt mức hoàn tất cần thiết. Đó là chính sách dịch vụ bên trên cơ chế giao thức.
Trong bài tập, giả định trang web quen thuộc biến mất nhưng hợp đồng vẫn chạy. Đường thoát cần trang đó, bộ chuyển tiếp, nhà vận hành hay giao dịch trực tiếp? Sau đó giả định bộ sắp xếp giao dịch dừng. Đừng mặc định mọi hệ thống có cùng đường khẩn cấp. Ghi riêng điều giao thức cho phép, dịch vụ cung cấp và người dùng thực tế làm được, cùng phần chưa được kiểm chứng.