Đây là một tiêu chuẩn khá tốt cho các hợp đồng thông minh thông thường. Xác minh chính thức vẫn còn tốn kém nhưng AI khá giỏi trong việc viết các bài kiểm tra xác minh hình thức - vì vậy phần khó là suy nghĩ xem những bất biến nào đáng để thực thi. Nếu hợp đồng thông minh quản lý rủi ro / phụ thuộc vào biến động thị trường, thì yêu cầu sẽ cao hơn nhiều. * Thiết kế Oracle là một vòng xoáy khổng lồ. * Khả năng chuyển đổi dự phòng trên các bộ phận quay/giữ, khả năng phục hồi Oracles * Hiệu chỉnh các tham số rủi ro * Kiểm tra tính bất biến --- Trước đây, một nhóm cần phải có nguồn tài trợ, khả năng phán đoán tốt và các lập trình viên giỏi để thực hiện những điều trên. Với việc mã nguồn ngày càng rẻ/miễn phí, khả năng phán đoán tốt ngày càng trở thành yếu tố tạo nên sự khác biệt.