Sự khác biệt giữa một quy tắc tuân thủ được viết ra và một quy tắc thực sự được chạy.
Tôi nghĩ một trong những điều khó nhất để giải thích về newton là trong hệ thống này, sự tuân thủ không phải là một tài liệu hay sổ tay chính sách. đó là mã lệnh thực sự đang chạy, được thực thi trước mọi giao dịch.
mewton sử dụng một công cụ gọi là rego để viết các quy tắc này. đây là cùng một ngôn ngữ mà các nhóm công nghệ lớn dùng để kiểm soát quyền truy cập trong hạ tầng đám mây. nó dễ đọc, đơn giản, và luôn tạo ra cùng một kết quả khi bạn cung cấp cùng đầu vào. không có bất ngờ, không có sự diễn giải.
Một kiểm tra lệnh trừng phạt trong Rego trông như một danh sách các điều kiện đơn giản. người gửi có bị gắn cờ không. người nhận có bị gắn cờ không. quyền tài phán có được cho phép không. nếu bất kỳ một điều kiện nào không thỏa mãn, câu trả lời là từ chối (deny) và giao dịch không được thực hiện. điều này chạy trước khi thanh toán, không phải là một cuộc rà soát sau sự việc.
Điều tôi thấy thực sự thú vị là tính khả dụng theo kiểu ghép được (composable). một giao thức không viết một quy tắc khổng lồ cho mọi thứ. họ viết các mô-đun nhỏ, tập trung. một mô-đun trừng phạt. một mô-đun KYC. một mô-đun giới hạn tốc độ (velocity limit). mỗi mô-đun làm một việc gọn gàng và bạn xếp chồng những mô-đun bạn cần cho tình huống cụ thể của mình.
Tệp chính sách (policy file) chạy trên bất kỳ giao dịch nào được lưu trữ theo địa chỉ theo nội dung (content address) trên IPFS. điều đó có nghĩa là phiên bản chính xác của các quy tắc đã đánh giá một giao dịch có thể được tham chiếu vĩnh viễn. cơ quan quản lý không cần phải hỏi chính sách nào đã áp dụng vào một ngày cụ thể. biên nhận tuân thủ chỉ thẳng đến tệp đó.
Vì Rego là một ngôn ngữ hàm thuần, nên các đầu vào giống nhau luôn tạo ra cùng một đầu ra. đó chính là điều làm cho cơ chế thách thức kiến thức không có gì (zero knowledge challenge) trở nên khả thi. nếu một toán tử ký kết ra kết quả sai, bất kỳ ai cũng có thể chạy lại đúng chính sách đó và chứng minh đáp án đúng.
