Tôi đã dành thời gian tối nay để đào sâu cách Newton thực hiện tính toán thực tế cho các kiểm tra chính sách liên quan đến dữ liệu nhạy cảm. Cách thiết lập dựa vào các TEE trong lúc thực thi để tăng tốc và tách biệt khi nạp dữ liệu offchain, kết hợp với các bằng chứng ZK để chứng minh rằng việc đánh giá Rego đã tuân thủ đúng các quy tắc.
Nó tạo ra cơ chế kiểm tra hai lớp này. Phần TEE giúp mọi thứ vận hành hiệu quả mà không phải phơi bày tất cả công khai. Phần ZK cho phép bất kỳ ai cũng có thể phản biện và xác minh kết quả trên chuỗi, nếu có điều gì đó có vẻ không đúng.
°MỘT ĐIỂM QUAN TRỌNG LÀ RẰNG
Các TEEs vẫn mang rủi ro ở mức phần cứng. Một thỏa hiệp trong môi trường tin cậy có thể ảnh hưởng đến dữ liệu đầu vào trước khi ZK proof thậm chí được áp dụng. Một điểm khác là sự phức tạp được tăng thêm. Việc phối hợp cả hai lớp trên một tập hợp nhà vận hành phân tán có thể tạo ra các phương thức lỗi mới trong thời gian chịu tải cao hoặc khi cập nhật.
Tôi cứ nghĩ về một kho lưu trữ quản lý các vị thế thuộc tổ chức. Một chính sách có thể gắn cờ một giao dịch chuyển nhượng dựa trên dữ liệu về thẩm quyền pháp lý hoặc các ngưỡng rủi ro mà không làm lộ chi tiết. Hệ thống đánh giá nó ngoài chuỗi thông qua mô hình lai, đính kèm xác nhận, và hợp đồng chỉ tiếp tục nếu việc xác minh thành công. Điều đó có vẻ rất cụ thể cho các nhu cầu tuân thủ thực tế, nhưng vẫn phụ thuộc vào việc các xác nhận từ TEE giữ được độ vững theo thời gian.
Câu hỏi lớn hơn đối với tôi là cơ chế lai này sẽ hoạt động ra sao khi một trong các nguyên thủy bị đặt dưới áp lực. Các cách tiếp cận thuần túy có những điểm yếu rõ ràng hơn, nhưng việc tách ra này đổi một phần sự đơn giản để lấy mức độ bao phủ. Nó khiến tôi phải theo dõi cách các nhà vận hành quản lý độ tươi của xác nhận trong thực tế.@NewtonProtocol #Newt $NEWT
