Djed: StableCoin thuật toán được hỗ trợ bằng Crypto đã được xác minh chính thức
Djed: A Formally Verified Crypto-Backed Pegged Algorithmic Stablecoin.
Bài nghiên cứu này mô tả Djed, một giao thức StableCoin theo thuật toán hoạt động giống như một ngân hàng tự trị mua và bán StableCoin với mức giá trong phạm vi được gắn với giá mục tiêu. Nó được hỗ trợ bằng Crypto theo nghĩa là ngân hàng giữ một loại Crypto có tính biến động cao trong nguồn dự trữ. Nguồn dự trữ được sử dụng để mua StableCoin từ những người dùng muốn bán chúng. Doanh thu từ việc bán StableCoin cho người dùng sẽ được lưu trữ trong nguồn dự trữ. Bên cạnh StableCoin, ngân hàng còn giao dịch các ReserveCoin để tận dụng vốn và duy trì tỷ lệ dự trữ lớn hơn đáng kể so với 1. Theo hiểu biết tốt nhất của các tác giả, đây là giao thức StableCoin đầu tiên trong đó các tuyên bố về tính ổn định được nêu và chứng minh một cách chính xác và dựa trên toán học. Hơn nữa, các tuyên bố và bằng chứng được xác minh chính thức bằng hai kỹ thuật khác nhau: kiểm tra mô hình giới hạn, để tìm kiếm toàn diện các ví dụ phản chứng cho các tuyên bố; và chứng minh định lý tương tác, để xây dựng các bằng chứng chính thức nghiêm ngặt bằng cách sử dụng trợ lý chứng minh có các tính năng chứng minh định lý tự động.
Đọc thêm các bài viết liên quan tại thẻ Tags bên dưới