腾讯公司申请基于区块链的容错验证专利,可持续有效自动化验证区块链的拜占庭