这里最重要的一个发展是从可编程规则向可被证明并可强制执行的规则转变。在传统金融与链上金融中，政策的价值只有在其执行机制到位时才真正体现出来。VaultKit 引入了一种框架，其中的交易约束能够以可证明的方式被强制执行。