Punishment mechanism

If the miner receives two block headers containing the same proof and the same height, it proves that the miner is mining in multiple forked chains. Then the miner builds a punishment proposal in the coinbase transaction, which contains two different block headers and outputs a punished pk.

If this block is added to the main chain, then all miners extract blacklist from the main chain and add this pk to the local blacklist.