Ofelimos Combinatorial Optimization via Proof-of-Useful-Work A Provably Secure Blockchain Protocol
Ofelimos: Tối ưu hóa Tổ hợp thông qua Bằng chứng Công việc Hữu ích. Một giao thức Blockchain an toàn đáng tin cậy
Giảm thiểu chi phí năng lượng và lượng khí thải Carbon của Blockchain Bitcoin và các giao thức liên quan là một trong những câu hỏi mở được xác định rộng rãi nhất trong lĩnh vực Crypto. Việc thay thế bằng chứng công việc (PoW) nguyên thuỷ trong giao thức chuỗi dài nhất của Nakamoto bằng bằng chứng công việc hữu ích (PoUW) về mặt lý thuyết từ lâu đã như một giải pháp lý tưởng ở nhiều khía cạnh. Nhưng cho đến nay, khái niệm này vẫn thiếu cách xác thực an toàn một cách thuyết phục.
Trong nghiên cứu này, chúng tôi đã đưa ra Ofelimos, một giao thức Blockchain dựa trên PoUW mới, có cơ chế đồng thuận đồng thời nhận ra một trình giải quyết vấn đề tối ưu hóa phi tập trung. Giao thức của chúng tôi được xây dựng dựa trên một thuật toán tìm kiếm cục bộ mới, mà chúng tôi gọi là Tìm kiếm cục bộ song song kép (DPLS-Doubly Parallel Local Search). Nó được thiết kế đặc biệt để phù hợp với việc triển khai dưới dạng thành phần PoUW của giao thức Blockchain.
Chúng tôi cung cấp phân tích bảo mật kỹ lưỡng về giao thức và trình bày thêm các chỉ số thể hiện tính hữu ích của hệ thống. Như một ví dụ minh họa, chúng tôi cho thấy cách DPLS có thể triển khai một biến thể của WalkSAT và thực nghiệm chứng minh khả năng cạnh tranh của nó đối với việc triển khai WalkSAT đơn giản. Bằng cách này, công việc của chúng tôi mở đường cho việc sử dụng an toàn các hệ thống Blockchain, làm công cụ tối ưu hóa chung cho nhiều vấn đề tối ưu hóa khó mà mong muốn có một giải pháp có thể xác minh công khai.
Nguồn tài liệu tại đây
