Phần khó nhất của một chính sách là thống nhất về thực tế
Trong khi đọc whitepaper của Newton, tôi đã cho rằng phần khó là viết chính sách chính nó.
“Chặn giao dịch nếu APY giảm xuống dưới 5%” nghe có vẻ đơn giản.
Sau đó tôi nhận ra một vấn đề sâu hơn: điều gì xảy ra nếu năm nhà vận hành kiểm tra cùng một thị trường vào cùng một thời điểm và thấy năm APY hơi khác nhau?
Một người thấy 5,12%. Người khác thấy 5,04%. Một người thứ ba thấy 4,98%.
Khi đó, chính sách không còn là phần khó nữa. Thực tế là như vậy.
Điều này quan trọng vì các nhà vận hành của Newton cần ký cùng một kết quả trước khi có thể tạo ra chữ ký tổng hợp BLS. Nếu mỗi nhà vận hành đánh giá theo một giá trị dữ liệu khác nhau, họ có thể đều làm đúng theo chính sách nhưng vẫn không thể đồng thuận.
Câu trả lời của Newton là một quy trình đồng thuận hai giai đoạn.
Thứ nhất, ở giai đoạn Prepare, các nhà vận hành độc lập truy xuất dữ liệu bên ngoài thông qua các nhà cung cấp WASM được sandbox. Đó có thể là giá oracle, các feed lệnh trừng phạt, điểm rủi ro hoặc dữ liệu thị trường. Sau đó, Gateway sẽ tính toán một bộ dữ liệu chuẩn (canonical dataset), sử dụng cơ chế đồng thuận dựa trên trung vị cho các trường số.
Thứ hai, ở giai đoạn Evaluate, mỗi nhà vận hành chạy cùng một chính sách Rego trên đúng bộ dữ liệu chuẩn đó, ký vào kết quả, và Aggregator sẽ thoát khi đạt được ngưỡng đồng thuận cần thiết dựa trên stake.
Thiết kế đó đã thay đổi cách tôi nghĩ về các hệ thống chính sách.
Một quy tắc có thể được viết hoàn hảo và vẫn tạo ra kết quả vô dụng nếu mạng không thể đồng thuận về các đầu vào.
Với các vault DeFi, sự khác biệt này là then chốt. Giới hạn đòn bẩy, ngưỡng APY hoặc quy tắc về tình trạng oracle chỉ có thể được thực thi nếu các nhà vận hành có chung một cái nhìn nhất quán về thị trường trước khi vốn được chuyển đi.
Đổi mới thực sự không chỉ là “chính sách dưới dạng code”.
Mà là biến dữ liệu bên ngoài lộn xộn, phụ thuộc thời gian thành một quyết định có thể xác minh mà hợp đồng thông minh có thể tin cậy.
Phần khó nhất của một chính sách không phải là quyết định quy tắc.
Mà là thống nhất về điều gì là đúng ngay bây giờ.
@NewtonProtocol $NEWT #Newt
Trong khi đọc whitepaper của Newton, tôi đã cho rằng phần khó là viết chính sách chính nó.
“Chặn giao dịch nếu APY giảm xuống dưới 5%” nghe có vẻ đơn giản.
Sau đó tôi nhận ra một vấn đề sâu hơn: điều gì xảy ra nếu năm nhà vận hành kiểm tra cùng một thị trường vào cùng một thời điểm và thấy năm APY hơi khác nhau?
Một người thấy 5,12%. Người khác thấy 5,04%. Một người thứ ba thấy 4,98%.
Khi đó, chính sách không còn là phần khó nữa. Thực tế là như vậy.
Điều này quan trọng vì các nhà vận hành của Newton cần ký cùng một kết quả trước khi có thể tạo ra chữ ký tổng hợp BLS. Nếu mỗi nhà vận hành đánh giá theo một giá trị dữ liệu khác nhau, họ có thể đều làm đúng theo chính sách nhưng vẫn không thể đồng thuận.
Câu trả lời của Newton là một quy trình đồng thuận hai giai đoạn.
Thứ nhất, ở giai đoạn Prepare, các nhà vận hành độc lập truy xuất dữ liệu bên ngoài thông qua các nhà cung cấp WASM được sandbox. Đó có thể là giá oracle, các feed lệnh trừng phạt, điểm rủi ro hoặc dữ liệu thị trường. Sau đó, Gateway sẽ tính toán một bộ dữ liệu chuẩn (canonical dataset), sử dụng cơ chế đồng thuận dựa trên trung vị cho các trường số.
Thứ hai, ở giai đoạn Evaluate, mỗi nhà vận hành chạy cùng một chính sách Rego trên đúng bộ dữ liệu chuẩn đó, ký vào kết quả, và Aggregator sẽ thoát khi đạt được ngưỡng đồng thuận cần thiết dựa trên stake.
Thiết kế đó đã thay đổi cách tôi nghĩ về các hệ thống chính sách.
Một quy tắc có thể được viết hoàn hảo và vẫn tạo ra kết quả vô dụng nếu mạng không thể đồng thuận về các đầu vào.
Với các vault DeFi, sự khác biệt này là then chốt. Giới hạn đòn bẩy, ngưỡng APY hoặc quy tắc về tình trạng oracle chỉ có thể được thực thi nếu các nhà vận hành có chung một cái nhìn nhất quán về thị trường trước khi vốn được chuyển đi.
Đổi mới thực sự không chỉ là “chính sách dưới dạng code”.
Mà là biến dữ liệu bên ngoài lộn xộn, phụ thuộc thời gian thành một quyết định có thể xác minh mà hợp đồng thông minh có thể tin cậy.
Phần khó nhất của một chính sách không phải là quyết định quy tắc.
Mà là thống nhất về điều gì là đúng ngay bây giờ.
@NewtonProtocol $NEWT #Newt