Abstract: A method for active failure recovery of a single node improved based on PBFT algorithm is disclosed. The abnormal node first initiates a view change request, if (2f+1) view change requests containing the same view value cannot be received within a specified period of time, the abnormal node enters a state to be recovered, and the node to be recovered initiates a recovery request to all nodes of the whole network, waits for replies from normal nodes and counts the number of replies, calculates a height of stable checkpoint of the whole network after receiving replies contain the same view value from (2f+1) nodes, and update the state thereof to finally complete the recovery. This method solves an inherent problem in the PBFT algorithm that a failure in a single node cannot be recovered autonomously, so that a practicability of the PBFT algorithm is greatly improved.

Abstract: The present disclosure relates to a smart contract processing method and a system, and a readable storage medium. By segmenting a function requiring performance analysis, establishing a symbol calculation model and calculating a GAS consumption formula, and performing further optimization, a GAS value consumed by the execution of a program containing a polynomial cycle can be automatically calculated, or a GAS value consumed by the execution of a program containing a non-linear cycle can be calculated with minimal human assistance, so as to reflect the performance thereof.

Abstract: The present disclosure provides a permission-controlled smart contract upgrade method. The method first deploys a contract upgrade smart contract, and then deploys a smart contract to be upgraded including information of a required minimum number of agreements on passing a proposal related to the contract. Then, any of the blockchain nodes receives a contract upgrade proposal submitted by one of the plurality of user clients. After the contract upgrade smart contract determines to pass the proposal, a proposing event is generated and then is forwarded to each user client participating in the contract. After the user client receives the proposing event, the user client receives user's vote and feeds it back to the contract upgrade smart contract. If the number of agreements exceeds the required minimum number of agreements, the proposal is passed and employed, and a binary replacement is performed to complete upgrade of the smart contract.

Abstract: The present application provides a pipeline-friendly signature and verification method, a device and a storage medium. The method includes the following steps: generating, by the Witness node, a public-private key pair including a private key and a public key, through a basic signature algorithm, and sending the public key to other Witness nodes; selecting, by the Witness node, a random number, and sending V to a Leader node; receiving C sent by the Leader node; calculating a message digest through the basic signature algorithm and a message hash algorithm, according to the C and the public key, and then calculating ps, and sending the ps to the Leader node.

Abstract: Disclosed are an interactive aggregate signature method, and a device and a storage medium, which relate to the technical field of data encryption. The method comprises: S101, generating a challenge number according to random numbers of all participating terminals, and respectively sending the random numbers corresponding to the participating terminals, the challenge number and a proposal message to corresponding participating terminals; S102, receiving a message from the participating terminals, and if partial signatures are included in the message, recording the partial signatures; S103, determining whether the number of recorded partial signatures reaches a number required for passing of the proposal message; if so, proceeding to S104, involving generating an aggregate signature by means of the partial signatures; and if not, outputting that the proposal message fails to be passed and an aggregate signature cannot be generated, or repeating steps S101 to S103.

Abstract: A formal verification method for a certificate storage smart contract is provided. The method includes: obtaining the certificate storage smart contract, and performing certificate storage, forensic, and certificate storage and forensic authority granting according to different production environments and authority; adding standardization statements of formal standardization into the certificate storage smart contract; and obtaining a verification result by performing model verification on the certificate storage smart contract into which the standardization statements of the formal verification are added. A computer device and a non-transitory computer-readable storage medium are further provided.

Abstract: The present disclosure provides a permission-controlled smart contract upgrade method. The method first deploys a contract upgrade smart contract, and then deploys a smart contract to be upgraded including information of a required minimum number of agreements on passing a proposal related to the contract. Then, any of the blockchain nodes receives a contract upgrade proposal submitted by one of the plurality of user clients. After the contract upgrade smart contract determines to pass the proposal, a proposing event is generated and then is forwarded to each user client participating in the contract. After the user client receives the proposing event, the user client receives user's vote and feeds it back to the contract upgrade smart contract. If the number of agreements exceeds the required minimum number of agreements, the proposal is passed and employed, and a binary replacement is performed to complete upgrade of the smart contract.

Abstract: A method for balancing a cross-domain broadcast network load of a blockchain includes is provided. By evenly distributing the load of cross-domain broadcasting to multiple cross-domain nodes, a utilization rate of a blockchain system can be increased, and ability of processing transactions in the blockchain can be improved. A computer device and a non-transitory computer-readable storage medium are further provided.

Abstract: The present disclosure provides a permission-controlled smart contract upgrade method based on a smart contract. The method first deploys a contract upgrade smart contract, and then deploys a smart contract to be upgraded including information of contract participants and information of a required minimum number of agreements on passing a proposal related to the contract. Then any of the blockchain nodes receives a contract upgrade proposal submitted by a user to the contract upgrade smart contract, the contract upgrade proposal carrying an address of the smart contract to be upgraded and binary information of a new contract. After the contract upgrade smart contract determines to pass the proposal, a proposing event is generated and then is forwarded to each user client participating in the contract. After the client receives the proposing event, the client receives user's vote and feeds it back to the contract upgrade smart contract.