Một trong những phát triển quan trọng nhất ở đây là sự chuyển đổi từ quy tắc có thể lập trình sang quy tắc được thi hành một cách chứng minh được. Trong tài chính truyền thống và trên chuỗi, các chính sách chỉ có giá trị bằng các cơ chế thực thi của chúng. VaultKit giới thiệu một khuôn khổ trong đó các hạn chế giao dịch