判定性的主体即代表的信任问题。 任何被编程的组件系统至少存在一个不能从系统内部判定自己存在的问题。 而安全的编程组件，设计时，只会留出这一个系统内部不能判定的问题，留给第三方来判定。 以 #Bitcoin 的编程为例，TX业务层的任何逻辑都是确定无误的，而TX业务层的自指判定问题 通过“计算等价” 的手段 交给 Block系统层来判定， 而 Block系统层也只留出来唯一的一个不可判定问题，即 Block自身的存在性问题。解决该判定问题的理论 逻辑来自图灵的《序数逻辑系统》，没有采用 信任某个实在的确定主体（信代码或者信人），而是采用 神谕图灵机 + 超穷迭代的算法 概率性的 和现实世界的时间融合一体，通过物理世界的时间迭代，所有的 #Bitcoin 网络的参与者一起来判定 TX/Block 的存在性问题。 而基于有限集合共识人 控制的代码系统的 共识系统币 是把自己的存在性证明交给了一个有限个体的 组织来判定。 而那些基于智能合约编程 出来的 Token 的判定性如果自己不重新去构建属于自身的代码共识， 而是扔出来交给人来判定， 这也许还不如 审计规则严格股票 更值得信任。 所以， 在设计加密货币系统时，首先要把业务层和系统层做 计算等价的转换，而使得整个业务系统只留出一个系统内部不可判定问题，即 自身自指的判定问题。 如果 要把 自指的该问题 做到完全去中心化， 那么可以依赖于 图灵序数逻辑的理论，参考中本聪设计的Bitcoin的方法来设计。 如果要把自指的该问题做到 信任代码（Code is Law）的去中心化， 那么可以把该自指问题交给 一个有限集合的共识代理人来控制。 如果要把该自指的问题 交给 信任的人或（信任人的组织）， 那么最好的落地模型是当今的 股票系统。 Token 对股票系统的唯一优势是 透明性。 所以图灵完备智能合约编程系统带来了 编码的透明性， 但没有带来 安全性， 安全性还是需要 编码者自己去根据以上的原则重新来设计系统：即把 业务层的所有问题给清晰判定出来，不给接口留下任何不可预测的问题， 而把业务层自身的判定问题 交给 值得信任的 中心化的机构 或 有限集合代理人的 代码运行者 或 交给 基于时间序数的超穷迭代。