Khả năng (không) thay thế của các thiết lập toàn cầu hoặc cách (không) sử dụng sổ cái toàn cầu
On the (Ir)Replaceability of Global Setups, or How (Not) to Use a Global Ledger.
Trong bảo mật khả năng kết hợp tổng quát (UC), thiết lập toàn cầu có mục đích nắm bắt hành vi lý tưởng của một nguyên thủy có thể truy cập được bằng nhiều giao thức, cho phép chúng chia sẻ trạng thái. Một ví dụ tiêu biểu là sổ cái Bitcoin. Thật vậy, vì Bitcoin - và nói chung là sổ cái Blockchain - được biết là hữu ích trong nhiều tình huống khác nhau, nên việc nắm bắt các sổ cái như vậy như thiết lập toàn cầu ngày càng trở nên phổ biến. Theo trực giác, người ta mong đợi UC cho phép chúng ta đưa ra các câu lệnh bảo mật về các giao thức sử dụng thiết lập toàn cầu như vậy, ví dụ: sổ cái toàn cầu, sau đó có thể tự động dịch sang thiết lập mà thiết lập được thay thế bằng giao thức triển khai nó, chẳng hạn như Bitcoin. Các tác giả chứng minh lý luận trên có sai sót và một sự thay thế tổng quát bảo toàn bảo mật như vậy chỉ có thể hoạt động trong điều kiện rất mạnh (thường là không thực tế) về thiết lập toàn cầu và câu lệnh bảo mật. Ví dụ, bảo mật UC của Bitcoin để thực hiện sổ cái được Badertscher và cộng sự [CRYPTO'17] chứng minh là không đủ để cho phép thay thế sổ cái bởi Bitcoin khi được sử dụng như một thiết lập toàn cầu. Đặc biệt, không thể mong đợi tất cả các câu lệnh bảo mật trong thế giới sổ cái hỗn hợp toàn cầu sẽ được bảo toàn khi sử dụng Bitcoin là sổ cái. Về mặt tích cực, các tác giả cung cấp các đặc điểm của các câu lệnh bảo mật cho các giao thức sử dụng các thiết lập toàn cầu, mà việc thay thế là hợp lý. Kết quả của các tác giả có thể được coi là hướng dẫn đầu tiên về cách điều hướng câu hỏi rất khó khăn về những gì cấu thành nên một thiết lập toàn cầu “tốt” và cách sử dụng nó để giữ nguyên phương pháp thiết kế giao thức mô đun.