Hoàn toàn có thể viết các giao thức DeFi (và nhiều hơn thế nữa) trong khi vẫn dựa vào ZKP để đảm bảo quyền riêng tư - đây chính xác là mục đích mà Miden được thiết kế để thực hiện. Bí quyết chính là tái cấu trúc cách thức hoạt động của trạng thái và thay vì sử dụng trạng thái nguyên khối, hãy áp dụng Mô hình Diễn viên (một công nghệ đã được sử dụng trong các hệ thống phân tán trong nhiều thập kỷ).
Khi đó, chúng ta có thể có các tác nhân riêng tư có thể tương tác với các tác nhân công cộng kiểm soát trạng thái chung. Hoặc chúng ta có thể có các tác nhân bán riêng tư (trạng thái được một số người dùng biết, nhưng không phải toàn bộ mạng biết) và các tác nhân này cũng có thể tương tác với cả tác nhân hoàn toàn riêng tư hoặc tác nhân công cộng.
Đây là một mô hình rất mạnh mẽ, bao gồm nhiều trường hợp sử dụng DeFi - từ AMM và CLBO ẩn danh đến các loại tiền ổn định tuân thủ riêng tư.
Và một điều tuyệt vời nữa: để viết giao thức DeFi này, chúng ta không cần những kỹ sư hiểu về ZKP - bạn có thể viết mọi thứ bằng Rust.
Tôi thích FHE - công nghệ thực sự tuyệt vời và nó cho phép một số trường hợp sử dụng mà ZKP không thể giải quyết (tức là có trạng thái chia sẻ riêng tư thực sự) - nhưng nó cũng đi kèm với chi phí hiệu suất khổng lồ cho mạng.
Điểm hay của ZKP là chúng thực sự giảm tải mạng - một giao dịch được chứng minh cục bộ không cần phải được mạng thực hiện (việc xác minh bằng chứng ZK rất rẻ) - chúng tôi gọi khái niệm này là chuỗi khối Edge. Trong khi với FHE, mỗi giao dịch trở nên đắt hơn gấp 100 lần (hoặc 1000 lần) cho mạng. ASIC chắc chắn sẽ hữu ích ở đây, nhưng điều này cũng có nghĩa là mọi nút xác thực sẽ cần phải chạy các ASIC này, nếu không chúng sẽ không thể theo dõi mạng. Và việc yêu cầu mọi nút phải có ASIC cũng giống như yêu cầu mọi nút Bitcoin phải là một thợ đào.
