#Bitcoin 怎么用极简主义实现的 CAS？ Bitcoin 是一个由 三类形式化系统组成的CAS。 这三类形式化系统分工目标明确。 第一类： Blockchain，信任代码的共识中介， 是一个共享的集中被复制形式化系统， 只做 验证工作，通过 Transaction的结构验证 Individual 形式化系统中的UTXO的 使用权， 通过