Analyzing Bitcoin with a New Computing Paradigm Bitcoin has 5 different types of formal system roles. -1. Asymmetric encryption private key management machine wallet (presented in the form of UTXO and corresponding key). -2. Private key wallet 1:1 mapping of the human individual brain (presented as mnemonic words that can be indexed by the brain). -3. The system for machine verifying UTXO and the system for machine verifying the longest chain of miners (traditionally known as blockchain). -4. The miner is running the Bitcoin code execution machine (block generation and verification blocks). -5， The controller behind the miner machine (adjusts coin prices based on BTC price decisions). There are 2 pairs of formal systems that are divided into 1:1 mapping for human-computer interaction. -1: Asymmetric encryption private key/UTXO ledger machine wallet and brain 1:1 mapping of human memory mnemonic words. - 2: The miner executes code on Bitcoin and interacts with the individual person behind the machine in a 1:1 mapping. The verification system based on P/NP unification integrates two pairs of verification modules for human-computer interaction. The verification of the correctness of the UTXO signature and the verification of the correctness of the longest chain nonce are integrated into the same formal system. This formal system is a unified comprehensive formal system. (取决于上下文，如"but" This is a distributed formal system that maps UTXO private keys 1:1 to human individuals. This is also a distributed formal system, where the miner machine running Bitcoin executes code and the machine behind the 1:1 mapping controls individual humans. These two types of formal systems are distributed and do not require repeated calculations by others. It is similar to the absolute freedom that exists alone in the self-awareness of the human individual brain. Bitcoin is an adaptive nonlinear complex system that emerges from the entire system.