US12028331B2 - Formal Verification Method for Certificate Storage Smart Contract, Computer Device, and Non-Transitory Computer-Readable Storage Medium