KACHINA – Nền tảng hợp đồng thông minh riêng tư
Kachina – Foundations of Private Smart Contracts.
Hợp đồng thông minh đưa ra một cách tiếp cận thống nhất để triển khai tính toán phân tán và đã trở thành một phương tiện phổ biến để phát triển các ứng dụng quan trọng về bảo mật. Rào cản lớn đối với việc áp dụng nhiều ứng dụng là tính chất công khai của các hệ thống hiện tại, chẳng hạn như Ethereum. Một số hệ thống đáp ứng các định nghĩa khác nhau về quyền riêng tư và yêu cầu các giả định tin cậy khác nhau đã được đề xuất; tuy nhiên, không hệ thống nào đạt được tính tổng quát và đồng nhất mà Ethereum đạt được đối với các hợp đồng không riêng tư: Một phương pháp thống nhất để xây dựng hầu hết các hợp đồng. Các tác giả cung cấp mô hình bảo mật thống nhất cho các hợp đồng thông minh riêng tư dựa trên mô hình Khả năng kết hợp tổng quát (UC) và đề xuất giao thức cốt lõi mới, KACHINA, để triển khai các hợp đồng thông minh bảo vệ quyền riêng tư, bao gồm các hệ thống trước đó. Các tác giả chứng minh phương pháp phát triển hợp đồng thông minh của KACHINA, sử dụng nó để xây dựng một hợp đồng thực hiện các khoản thanh toán bảo vệ quyền riêng tư, giống như Zerocash, được chứng minh là an toàn trong cài đặt UC và tạo điều kiện cho hoạt động đồng thời.