How to use minimalism to implement CAS in Bitcoin? Bitcoin is a CAS consisting of three types of formal systems. These three types of formal systems have clear division of labor objectives. Type 1: Blockchain, a consensus intermediary that trusts code, is a shared centralized replicated formal system that only performs verification work. It verifies the usage rights of UTXOs in the Individual formal system through the structure of transactions