Phân tích cơ chế sắp xếp của Zircuit
Tuyển chọn TechFlowTuyển chọn TechFlow
Phân tích cơ chế sắp xếp của Zircuit
Zircuit đã kích hoạt cơ chế SLS, nhằm mục đích cách ly các "giao dịch độc hại".
Chuyên sâu báo cáo Web3Bài viết: 0xTodd
Nhân dịp $ZRC của Zircuit chính thức TGE, hãy cùng nói về một cơ chế thú vị liên quan đến sequencer (bộ sắp xếp) trong dự án này.
Zircuit sở hữu L2 riêng, điểm đặc biệt của L2 này là đã tạo ra một giải pháp được gọi là "Bảo mật cấp độ Sequencer / SLS (Sequencer Level Security)".
Chúng ta đều biết rằng hiện tại các giao dịch trên L2 đều đi qua bộ sắp xếp chính thức do phía dự án vận hành. Dĩ nhiên, nhờ có bằng chứng ZK hoặc cơ chế thách thức, chúng ta về cơ bản cũng không quá lo ngại việc bộ sắp xếp hành xử ác ý.
Nói chung, bộ sắp xếp đóng vai trò trung lập, luôn thực thi mọi giao dịch một cách công minh và nghiêm ngặt.
Vậy thì, dù bộ sắp xếp là trung lập, liệu chúng ta có thể cố gắng hơn một chút để biến nó thành phe thiện không?
Do đó, Zircuit đã triển khai cơ chế SLS này, với mục đích nhằm cách ly các "giao dịch độc hại".
Bình thường, một giao dịch L2 được đưa lên chuỗi như thế nào? Rất đơn giản, gồm bốn bước:
1. Người dùng khởi tạo giao dịch và phát tán
2. Giao dịch vào hàng đợi bộ nhớ (mempool) chờ xử lý
3. Bộ sắp xếp với tư cách phe trung lập đóng gói giao dịch vào khối
4. Giao dịch được đưa lên chuỗi
Tuy nhiên, với cơ chế SLS, quy trình trở thành năm bước:
1. Người dùng khởi tạo giao dịch và phát tán
2. Giao dịch vào hàng đợi bộ nhớ (mempool) chờ xử lý
3. Bộ sắp xếp với tư cách phe thiện sử dụng một số công cụ để kiểm tra xem giao dịch có độc hại hay không
4. Nếu không có yếu tố độc hại, tiến hành đóng gói vào khối
5. Giao dịch được đưa lên chuỗi
Nhưng nếu gặp giao dịch nghi ngờ độc hại thì sao? Quy trình thay đổi từ bước bốn:
4. Nếu nghi ngờ độc hại, giao dịch sẽ được đưa vào khu cách ly (isolation pool)
5. Sau khi rà soát lại thấy không có vấn đề, bộ sắp xếp tiếp tục đóng gói cho nó
Hoặc:
4. Nếu nghi ngờ độc hại, giao dịch được đưa vào khu cách ly
5. Kiểm tra lại xác nhận đúng là giao dịch độc hại, thì từ chối đóng gói và đưa lên chuỗi
Việc xác định giao dịch độc hại theo tiêu chuẩn SLS có thể áp dụng một số thư viện mã nguồn mở, đồng thời sử dụng AI hỗ trợ ra quyết định.
Trong tương lai, cơ chế này có tiềm năng đạt được một số hiệu quả nhất định, ví dụ như tài sản bị đánh cắp có thể mãi mãi không thể chuyển đi hoặc rút ngược về L1. Trong bối cảnh môi trường "rừng đen" (dark forest) hiện nay trên chuỗi đang ngày càng tồi tệ, điều này vẫn mang ý nghĩa rất lớn.
Tất nhiên, vì phải kiểm tra giao dịch nên khó tránh khỏi khả năng xảy ra sai sót. Tuy nhiên, tôi cho rằng thông qua việc cải thiện thuật toán của khu cách ly, vấn đề này có thể được giảm thiểu ở mức tối đa.
Đây là con dao hai lưỡi: blockchain nhấn mạnh tính không cần quyền (permissionless), điều này hơi mâu thuẫn nhẹ với SLS. Nhưng xét từ góc độ người dùng bình thường, một L2 như vậy thực sự an toàn hơn.
Dù sao đi nữa, theo tôi, mặc dù ảnh hưởng nhẹ đến permissionless, nhưng đổi lại sự gia tăng đáng kể về tính bảo mật — đặc biệt trong việc bảo vệ những người dùng thiếu kinh nghiệm — thì điều này vẫn khá xứng đáng.
Cuối bài đính kèm: Bài luận văn gốc mô tả cơ chế SLS của Zircuit: https://arxiv.org/html/2405.01819v1
Chào mừng tham gia cộng đồng chính thức TechFlow
Nhóm Telegram:https://t.me/TechFlowDaily
Tài khoản Twitter chính thức:https://x.com/TechFlowPost
Tài khoản Twitter tiếng Anh:https://x.com/BlockFlow_News
@0x_Todd
