Các giả định về mạng và đối thủ cạnh tranh. Walrus hoạt động theo từng giai đoạn, mỗi giai đoạn có một tập hợp cố định các nút lưu trữ. Walrus là một giao thức Proof-of-Stake được ủy quyền. Trong suốt một giai đoạn, các nhà đầu tư sẽ ủy quyền quyền sở hữu cho các nút lưu trữ ứng cử viên. Đến cuối giai đoạn, n = 3f + 1 mảnh lưu trữ sẽ được phân bổ theo tỷ lệ cho các nút lưu trữ. Tập hợp các nút lưu trữ nắm giữ ít nhất một mảnh được coi là ủy ban lưu trữ của giai đoạn đó.
Chúng tôi xem xét một mạng bất đồng bộ gồm các nút lưu trữ, nơi một kẻ thù độc hại có thể kiểm soát tối đa f mảnh lưu trữ, tức là kiểm soát bất kỳ tập con nào của các nút lưu trữ sao cho tối đa f mảnh bị tổn hại. Để đơn giản, trong phần còn lại của bài báo, chúng tôi giả sử mỗi mảnh tạo ra một định danh nút lưu trữ riêng biệt, do đó có n nút lưu trữ và tối đa f nút lưu trữ bị tổn hại.
Các nút bị hỏng có thể đi lệch tùy ý khỏi giao thức. Các nút còn lại là trung thực và tuân thủ nghiêm ngặt giao thức. Nếu một nút do kẻ thù kiểm soát tại thời điểm e không phải là một phần của tập hợp nút lưu trữ tại thời điểm e + 1 thì kẻ thù có thể thích ứng và làm hỏng một nút khác tại thời điểm e + 1 sau khi thay đổi thời điểm đã hoàn tất.
Chúng tôi giả định mỗi cặp nút trung thực đều có quyền truy cập vào một kênh đáng tin cậy và đã được xác thực. Mạng lưới là bất đồng bộ, vì vậy kẻ thù có thể trì hoãn hoặc sắp xếp lại các tin nhắn giữa các nút trung thực một cách tùy ý, nhưng cuối cùng phải chuyển giao mọi tin nhắn trừ khi thời điểm kết thúc trước. Nếu thời điểm kết thúc thì các tin nhắn có thể bị bỏ qua.
Mặc dù chúng tôi cung cấp một phân tích về các động lực, nhưng chúng tôi không xem xét các nút hợp lý với các hàm tiện ích. Điều này sẽ được để lại cho công việc trong tương lai.
Mã xóa. Là một phần của Walrus, chúng tôi đề xuất Lưu trữ Dữ liệu Hoàn thành Bất đồng bộ (ACDS) sử dụng một sơ đồ mã xóa tuyến tính. Mặc dù không cần thiết cho các phần cốt lõi của giao thức, chúng tôi cũng giả định rằng sơ đồ mã hóa là có hệ thống cho một số tối ưu hóa của chúng tôi, có nghĩa là các ký hiệu nguồn của sơ đồ mã hóa cũng xuất hiện như một phần của các ký hiệu đầu ra của nó.
Giả sử Encode(B, t, n) là thuật toán mã hóa. Đầu ra của nó là n ký hiệu sao cho bất kỳ t nào cũng có thể được sử dụng
để tái tạo B với xác suất überwältigend. Điều này xảy ra bằng cách chia B thành s ≤ t ký hiệu
có kích thước O(|B|) được gọi là các ký hiệu nguồn. Những ký hiệu này sau đó được mở rộng bằng cách tạo ra n − s sửa chữa s
ký hiệu cho tổng cộng n ký hiệu đầu ra. Ở phía giải mã, bất kỳ ai cũng có thể gọi Decode(T, t, n) nơi T là một tập hợp ít nhất s ký hiệu được mã hóa đúng, và nó trả về blob B. Việc giải mã này là xác suất nhưng khi kích thước của T tăng lên, xác suất giải mã thành công blob nhanh chóng tiến gần đến một. Chúng tôi giả định rằng sự khác biệt giữa ngưỡng t để giải mã với xác suất überwältigend và số lượng ký hiệu nguồn s là một hằng số nhỏ, điều này đúng với các sơ đồ mã xóa thực tiễn (như RaptorQ mà chúng tôi sử dụng trong triển khai của mình). Để đơn giản, do đó, chúng tôi thường giả định rằng s = t, trừ khi sự phân biệt là có liên quan.
Điều này thường là an toàn để giả định, vì các ký hiệu đầu tiên t có thể được tính toán dễ dàng dựa trên các ký hiệu đầu tiên s và chúng tôi chỉ có thể coi các ký hiệu t này là các ký hiệu nguồn, tức là, tác động duy nhất của giả định này là một sự gia tăng nhỏ trong kích thước ký hiệu.
Cơ sở blockchain. Walrus sử dụng một blockchain bên ngoài như một hộp đen cho tất cả các hoạt động điều khiển xảy ra trên Walrus. Một giao thức blockchain có thể được trừu tượng hóa như một hộp đen tính toán chấp nhận một tập hợp các giao dịch đồng thời, mỗi giao dịch với một thông điệp đầu vào Tx(M) và xuất ra một thứ tự tổng thể của các cập nhật sẽ được áp dụng trên trạng thái Res(seq, U). Chúng tôi giả định rằng blockchain không đi lệch khỏi điều này và không kiểm duyệt Tx(M) vô thời hạn. Bất kỳ giao thức SMR hiện đại hiệu suất cao nào cũng đáp ứng các yêu cầu này, trong triển khai của chúng tôi, chúng tôi sử dụng Sui và đã triển khai các giao thức phối hợp Walrus quan trọng trong ngôn ngữ hợp đồng thông minh Move.
#walrus #WalrusFinance #WAL #Binance #writetoearn
