Các mô hình thẩm phán được xác minh chính thức có thể giải quyết các thị trường hoặc phục vụ như một nguồn sự thật trong các bối cảnh khác. Điều này có những tác động sâu sắc --> 1. Dành thời gian để xây dựng một mô hình thẩm phán được kiểm tra thích hợp (tốt nhất là mã nguồn mở) cho trường hợp sử dụng. 2. Thiết kế một lời nhắc thích hợp, bộ công cụ+các nguồn mà nó có thể gọi đến, và các điều kiện để "kích hoạt phán quyết". 3. Đảm bảo mọi thứ đều ổn với tất cả các bên liên quan (hoặc với một cơ chế kiểm toán mà họ chấp thuận) 3. Ghi lại tất cả trong một hợp đồng thông minh và triển khai. Sau đó, bạn chờ đợi "kích hoạt" và, nếu mọi thứ đã được đồng ý một cách công khai/minh bạch, kết quả sẽ khó bị tranh cãi.