Abstract:
A hypersphere-based multivariabie public key signature/verification system, includes signature and verification modules, wherein the signature module comprises a processor, an affine transformation inversion part I, a trap door part and an affine transformation inversion part II. Corresponding operations are sequentially executed on a message, one or more groups of solutions are produced after the processing of the trapdoor part, a group of solutions are randomly selected, then a signature is continuously produced by the various parts, and finally the signature, together with the message, is transmitted to the processor. The verification module comprises a processor and a public key transformation part, wherein the processor transmits a signature to the public key transformation part to execute an operation, and then judges whether the obtained data is equal to a message in a memory or not if so, the signature is valid, otherwise the signature is invalid.

Description:
FIELD 
       [0001]    The present disclosure relates generally to the field of information security, and more particularly, to a system and method for multivariate public key signature/verification based on hypersphere. 
       BACKGROUND 
       [0002]    In today&#39;s technology-driven society, with the rapid development and wide-ranging application of the computer&#39;s computing power and the network communication technology, especially the popularity of the Internet, human society has already stepped into the information age, and the development of the information technology is changing the traditional modes of business operation, production and life. With the advent of the information age, people want rapid and long-distance trades via digital communication networks. In such digital information world, traditional handwritten signatures and signature stamps have become difficult to work effectively, so there is an urgent need for digital signature method which provides functionality similar to the handwritten signature and signature stamp. Especially in recent years, the digital cryptography has grown greatly. There may be no internationalization of E-commerce and safe and reliable operations of the corporate infrastructure without using this technology. The digital signature can ensure the accuracy of the identity of the e-mail sender and the identity of the signer of the contract document as effective and authentic in the traditional handwritten signatures. 
         [0003]    At present, the security of the digital signature technology relies largely on the intractability of the large integer factorization and discrete logarithm problem, such as RSA or ECC. However, such traditional digital signature technology has been under great threat since it was proposed that the method for factoring large integer and the method for solving discrete logarithm can be implemented in a quantum computer, which affects all professions and trades. Therefore, people began to find a signature scheme which can protect against quantum computer attacks to meet the requirements of the information security, and such scheme is called as post quantum signature scheme, and multivariate public key signature is one of them. 
         [0004]    The multivariate public key signature plays an important role in the quantum signature scheme. The existing multivariable schemes are almost always insecure because of the quadratic equation in a random design having no threshold, and therefore are not available for signature and verification. For a mathematical structure generated by a corresponding center map, the center map of the mathematical structure is generally derivable (that is, the center map is not hidden), such that there is a structural problem in many multivariate signature schemes in addition to the MQ problem, and many schemes such as S flash have been completely broken. A common technique in the current multivariate signature schemes is “Large Field Technology” which maps the public key to a large field K and performs isomorphism using vectors (that is, the isomorphism is required). This approach is a double-edged sword, because the structure of K makes decryption easier, but such a structure is easy for attackers to exploit. In addition, the popular multivariate public key signature schemes include UOV and Rainbow. The signature process of the former requires only to solve a system of linear equations, so the signature is very fast. However, because of mixing the Oil variables (the number of which corresponds to the digits of the message) and the Vinegar variables in the polynomial of the private key map during the process of constructing the center map, the number of variables of the entire public key map corresponding to the private key map is very large, and the length of the public key is very long, which is disadvantage to practical application. The latter is substantially a UOV scheme with a multi-layered structure, so it is inevitable to have defects of UOV. 
       SUMMARY 
       [0005]    The main object of the present disclosure is to provide a system for multivariate public key signature/verification based on hypersphere in order to address the deficiencies and inadequacies in the art. 
         [0006]    Another object of the present disclosure is to provide a method for multivariate public key signature/verification based on hypersphere. 
         [0007]    The object of the invention is achieved by the following technical solution. 
         [0008]    A system for multivariate public key signature/verification based on hypersphere includes: 
         [0009]    a signature module, configured to sign a message to be signed, including a processor, a first affine transformation inversion component, a trapdoor component and a second affine transformation inversion component ;  wherein the trapdoor component includes a linear equations construction component and a linear equations solution component, the processor is adapted to store the message to be signed and transmit the message to be signed to the first affine transformation inversion component, the first affine transformation inversion component is adapted to perform affine transformation inversion on the message, the trapdoor component is adapted to receive the message processed by the first affine transformation inversion component from the first affine transformation inversion component, the linear equations construction component and the linear equations solution component in the trapdoor component are adapted to perform operations of constructing a system of linear equations and solving the system of linear equations about the processed message respectively, to obtain a solution set forming by one group or multiple groups of solutions from the operation of solving the system of linear equations, the second affine transformation inversion component is adapted to receive any one group of solutions selected from the solution set and perform affine transformation inversion on the group of solutions to generate a required signature, and the processor is also adapted to send the message and the signature to an end user; and 
         [0010]    a verification module, configured to receive a message and a signature of the message sent from other users, and verify the validity of the signature, including a processor and a public key transformation component, wherein the processor is adapted to store the message and the signature of the message and transmit the signature to the public key transformation component, the public key transformation component is adapted to substitute the signature into each of multivariate polynomials of a public key map, the processor is also adapted to receive data calculated by the public key transformation component and determine whether the data is equal to the message stored in the processor: if the data is equal to the message, the processor outputs “1” to the end user, indicating that the signature is valid; otherwise, the processor outputs “0” to the end user, indicating that the signature is invalid. 
         [0011]    The system for multivariate public key signature/verification based on hypersphere further includes a selector coupled to the processor, wherein, when the selector is in an open state, the signature module is operatable, and when the selector is in a close state, the verification module is operatable. In a general signature/verification system, a first user may sign a message to be signed with the signature module to form a signature, and the signature and the original message may be transmitted to a second user, the second user may verify the validity of the signature with the verification module, the process of the signature and the process of the verification make a whole process of the signature/verification system, and vice versa, that is, the second user may sign a message to be signed with the signature module to form a signature, and the signature and the original message may be transmitted to the first user, the first user may verify the validity of the signature with the verification module. Therefore both of two different and separate devices (signature module and verification module) are required for one user, then they can meet the demands, which is inconvenient for users. The system for multivariate public key signature/verification based on hypersphere is very convenient by including the selector with which only one device is required for one user that the user can select the device to perform signature or verification as needed. 
         [0012]    The processor includes a scheduler coupled to the selector, wherein the scheduler is configured to identify and manage the open state and close state of the selector, and to control and manage data stored in the processor to be scheduled to a corresponding component for a corresponding operation. 
         [0013]    The processor further includes a memory configured to implement data storage of the processor. 
         [0014]    The other object of the invention is achieved by the following technical solution, 
         [0015]    A method for multivariate public key signature/verification based on hypersphere includes the following steps: 
         [0016]    signature process: 
         [0017]    step A, receiving, by a processor, a message to be signed, storing the message and transmitting the message to a first affine transformation inversion component for performing affine transformation inversion on the message; 
         [0018]    step B, transmitting the message processed by the first affine transformation inversion component to a trapdoor component, and performing operations of constructing a system of linear equations and solving the system of linear equations about the processed message respectively by a linear equations construction component and a linear equations solution component in the trapdoor component, to obtain a solution set forming by one group or multiple groups of solutions from the operation of solving the system of linear equations; 
         [0019]    step C, selecting any one group of solutions from the solution set and transmitting the group of solutions to the second affine transformation inversion component for performing affine transformation inversion on the group of solutions; and 
         [0020]    step D, using the result finally obtained in the step C as a signature of the message, transmitting the message and the signature to an end user by the processor; and 
         [0021]    verification process: 
         [0022]    step E, receiving, by the processor, the message and the signature of the message, storing the message and the signature, and transmitting the signature to a public key transformation component; and 
         [0023]    step F, substituting, by the public key transformation component, the signature into each of multivariate polynomials of a public key map, returning data calculated by the public key transformation component to the processor, and determining whether the data is equal to the message stored in the processor by the processor: if the data is equal to the message, the processor outputs “1” to the end user, indicating that the signature is valid; otherwise, the processor outputs “0” to the end user, indicating that the signature is invalid. 
         [0024]    Specifically, the signature process includes: 
         [0025]    step A, receiving, by a processor, a message to be signed (y 1 ′, . . . , y n ′)∈F n , storing the message (y 1 ′, . . . , y n ′)∈F n  and transmitting the message (y 1 ′, . . . , y n ′)∈F n  to a first affine transformation inversion component for performing affine transformation inversion on the message ( y   1 ′, . . . ,  y   n ′)=T −1 (y 1 ′, . . . , y n ′); 
         [0026]    step B, transmitting the message processed by the first affine transformation inversion component ( y   1 ′, . . . ,  y   n ′) to a trapdoor component, and performing operations of constructing a system of linear equations and solving the system of linear equations about the processed message respectively by a linear equations construction component and a linear equations solution component in the trapdoor component, that is, the linear equations construction component simultaneously using in groups of data (c i,1 , c i,2 , . . . , c i,n ) and (         , . . . ,          ) pre-allocated by a scheduler in the trapdoor component to construct a first system of equations as below: 
         [0000]    
       
         
           
             
               
                 
                   { 
                   
                     
                       
                         
                           
                             
                               
                                 
                                   ( 
                                   
                                     - 
                                     
                                       c 
                                       
                                         1 
                                         , 
                                         1 
                                       
                                     
                                   
                                   ) 
                                 
                                 2 
                               
                               + 
                               … 
                               + 
                               
                                 
                                   ( 
                                   
                                     - 
                                     
                                       c 
                                       
                                         1 
                                         , 
                                         n 
                                       
                                     
                                   
                                   ) 
                                 
                                 2 
                               
                             
                             = 
                           
                         
                       
                       
                         
                           … 
                         
                       
                       
                         
                           
                             
                               
                                 
                                   ( 
                                   
                                     - 
                                     
                                       c 
                                       
                                         m 
                                         , 
                                         1 
                                       
                                     
                                   
                                   ) 
                                 
                                 2 
                               
                               + 
                               … 
                               + 
                               
                                 
                                   ( 
                                   
                                     - 
                                     
                                       c 
                                       
                                         m 
                                         , 
                                         n 
                                       
                                     
                                   
                                   ) 
                                 
                                 2 
                               
                             
                             = 
                           
                         
                       
                     
                     , 
                   
                 
               
               
                 
                     
                 
               
             
           
         
       
     
         [0027]    Extending the first system of equations to a second system of equations: 
         [0000]    
       
         
           
             
               
                 
                   { 
                   
                     
                       
                         
                           
                             ( 
                             
                               
                                 2 
                               
                               - 
                               
                                 2 
                                  
                                 
                                     
                                 
                                  
                                 
                                   c 
                                   
                                     1 
                                     , 
                                     1 
                                   
                                 
                                  
                               
                               + 
                               
                                 c 
                                 
                                   1 
                                   , 
                                   1 
                                 
                                 2 
                               
                             
                             ) 
                           
                           + 
                           … 
                           + 
                           
                             ( 
                             
                               
                                 2 
                               
                               - 
                               
                                 2 
                                  
                                 
                                     
                                 
                                  
                                 
                                   c 
                                   
                                     1 
                                     , 
                                     n 
                                   
                                 
                                  
                               
                             
                           
                         
                       
                     
                     
                       
                         … 
                       
                     
                     
                       
                         
                           
                             
                               ( 
                               
                                 
                                   2 
                                 
                                 - 
                                 
                                   2 
                                    
                                   
                                       
                                   
                                    
                                   
                                     c 
                                     
                                       m 
                                       , 
                                       1 
                                     
                                   
                                    
                                 
                                 + 
                                 
                                   c 
                                   
                                     m 
                                     , 
                                     1 
                                   
                                   2 
                                 
                               
                               ) 
                             
                             + 
                             … 
                             + 
                             
                               ( 
                               
                                 
                                   2 
                                 
                                 - 
                                 
                                   2 
                                    
                                   
                                       
                                   
                                    
                                   
                                     c 
                                     
                                       m 
                                       , 
                                       n 
                                     
                                   
                                    
                                 
                                 + 
                                 
                                   c 
                                   
                                     m 
                                     , 
                                     n 
                                   
                                   2 
                                 
                               
                               ) 
                             
                           
                           = 
                         
                       
                     
                   
                 
               
               
                 
                     
                 
               
             
           
         
       
     
         [0028]    subtracting the second system of equations from the first system of equations to have a third system of equations: 
         [0000]    
       
         
           
             { 
             
               
                 
                   
                     
                       
                         
                           ( 
                           
                             
                               2 
                                
                               
                                 c 
                                 
                                   2 
                                   , 
                                   1 
                                 
                               
                             
                             - 
                             
                               2 
                                
                               
                                 c 
                                 
                                   1 
                                   , 
                                   1 
                                 
                               
                             
                           
                           ) 
                         
                          
                       
                       + 
                       … 
                       + 
                       
                         
                           ( 
                           
                             
                               2 
                                
                               
                                 c 
                                 
                                   2 
                                   , 
                                   n 
                                 
                               
                             
                             - 
                             
                               2 
                                
                               
                                 c 
                                 
                                   1 
                                   , 
                                   n 
                                 
                               
                             
                           
                           ) 
                         
                          
                       
                     
                   
                 
                 
                   
                     
                       
                         ( 
                         
                           
                             c 
                             
                               1 
                               , 
                               n 
                             
                             2 
                           
                           - 
                           
                             c 
                             
                               2 
                               , 
                               n 
                             
                             2 
                           
                         
                         ) 
                       
                       = 
                       
                         - 
                       
                     
                   
                 
                 
                   
                     … 
                   
                 
                 
                   
                     
                       
                         
                           ( 
                           
                             
                               2 
                                
                               
                                 c 
                                 
                                   m 
                                   , 
                                   1 
                                 
                               
                             
                             - 
                             
                               2 
                                
                               
                                 c 
                                 
                                   
                                     m 
                                     - 
                                     1 
                                   
                                   , 
                                   1 
                                 
                               
                             
                           
                           ) 
                         
                          
                       
                       + 
                       … 
                       + 
                       
                         
                           ( 
                           
                             
                               2 
                                
                               
                                 c 
                                 
                                   m 
                                   , 
                                   n 
                                 
                               
                             
                             - 
                             
                               2 
                                
                               
                                 c 
                                 
                                   
                                     m 
                                     - 
                                     1 
                                   
                                   , 
                                   n 
                                 
                               
                             
                           
                           ) 
                         
                          
                       
                     
                   
                 
                 
                   
                     
                       
                         ( 
                         
                           
                             c 
                             
                               
                                 m 
                                 - 
                                 1 
                               
                               , 
                               n 
                             
                             2 
                           
                           - 
                           
                             c 
                             
                               m 
                               , 
                               n 
                             
                             2 
                           
                         
                         ) 
                       
                       = 
                       
                         - 
                       
                     
                   
                 
               
               , 
                 
             
           
         
       
     
         [0029]    and converting the third system of equations into a matrix form to have a fourth system of equations: 
         [0000]    
       
         
           
             
               
                 [ 
                 
                   
                     
                       
                         
                           ( 
                           
                             
                               2 
                                
                               
                                 c 
                                 
                                   2 
                                   , 
                                   1 
                                 
                               
                             
                             - 
                             
                               2 
                                
                               
                                 c 
                                 
                                   1 
                                   , 
                                   1 
                                 
                               
                             
                           
                           ) 
                         
                          
                         
                             
                         
                          
                         … 
                          
                         
                             
                         
                          
                         
                           ( 
                           
                             
                               2 
                                
                               
                                 c 
                                 
                                   2 
                                   , 
                                   n 
                                 
                               
                             
                             - 
                             
                               2 
                                
                               
                                 c 
                                 
                                   1 
                                   , 
                                   n 
                                 
                               
                             
                           
                           ) 
                         
                       
                     
                   
                   
                     
                       … 
                     
                   
                   
                     
                       
                         
                           ( 
                           
                             
                               2 
                                
                               
                                 c 
                                 
                                   m 
                                   , 
                                   1 
                                 
                               
                             
                             - 
                             
                               2 
                                
                               
                                 c 
                                 
                                   
                                     m 
                                     - 
                                     1 
                                   
                                   , 
                                   1 
                                 
                               
                             
                           
                           ) 
                         
                          
                         
                             
                         
                          
                         … 
                          
                         
                             
                         
                          
                         
                           ( 
                           
                             
                               2 
                                
                               
                                 c 
                                 
                                   m 
                                   , 
                                   n 
                                 
                               
                             
                             - 
                             
                               2 
                                
                               
                                 c 
                                 
                                   
                                     m 
                                     - 
                                     1 
                                   
                                   , 
                                   n 
                                 
                               
                             
                           
                           ) 
                         
                       
                     
                   
                 
                 ] 
               
                
               
                 [ 
                 
                   
                     
                       
                   
                   
                     
                       … 
                     
                   
                   
                     
                       
                   
                 
                 ] 
               
             
             = 
             
                 
               
                 
                   [ 
                   
                     
                       
                         
                           
                             ( 
                             
                               - 
                             
                             ) 
                           
                           + 
                           
                             
                               ∑ 
                               
                                 j 
                                 = 
                                 1 
                               
                               n 
                             
                              
                             
                               ( 
                               
                                 
                                   c 
                                   
                                     2 
                                     , 
                                     j 
                                   
                                   2 
                                 
                                 - 
                                 
                                   c 
                                   
                                     1 
                                     , 
                                     j 
                                   
                                   2 
                                 
                               
                               ) 
                             
                           
                         
                       
                     
                     
                       
                         … 
                       
                     
                     
                       
                         
                           
                             ( 
                             
                               - 
                             
                             ) 
                           
                           + 
                           
                             
                               ∑ 
                               
                                 j 
                                 = 
                                 1 
                               
                               n 
                             
                              
                             
                               ( 
                               
                                 
                                   c 
                                   
                                     m 
                                     , 
                                     j 
                                   
                                   2 
                                 
                                 - 
                                 
                                   c 
                                   
                                     
                                       m 
                                       - 
                                       1 
                                     
                                     , 
                                     j 
                                   
                                   2 
                                 
                               
                               ) 
                             
                           
                         
                       
                     
                   
                   ] 
                 
                 , 
               
             
           
         
       
     
         [0030]    wherein the fourth system of equations is the system of linear equations about (         , . . . ,          ) constructed by the linear equations construction component; and solving, by the linear equations solution component, the fourth system of equations with a Gaussian elimination method to have one group or multiple groups of solutions, wherein the number of group is set as d, and the solution set forming by the one group or multiple groups of solutions is denoted by (         , . . . ,          ),(1≦i≦d); 
         [0031]    step C, selecting any one group of solutions ( x   1 , . . . ,  x   n ) from the solution set and transmitting the group of solutions to the second affine transformation inversion component for performing affine transformation inversion on the group of solutions (x 1 ′, . . . , x n ′)=S −1 ( x   1 , . . . ,  x   n ); and 
         [0032]    step D, using the result (x 1 ′, . . . , x n ′) finally obtained in the step C as a signature of the message, transmitting the message (y 1 ′, . . . , y n ′) and the signature (x 1 ′, . . . , x n ′) to an end user by the processor. 
         [0033]    Specifically, the verification process includes: 
         [0034]    step E, receiving, by the processor, the message (y 1 ′, . . . , y n ′) and the signature (x 1 ′, . . . , x n ′) of the message, storing the message (y 1 ′, . . . , y n ′) and the signature (x 1 ′, . . . , x n ′), and transmitting the signature (x 1 ′, . . . , x n ′) to a public key transformation component; and 
         [0035]    step F, substituting, by the public key transformation component, the signature (x 1 ′, . . . , x n ′) into each of multivariate polynomials of a public key map P(x 1 , . . . x n ), that is, calculating p 1 (x 1 ′, . . . , x n ′), . . . , p n (x 1 ′, . . . , x n ′) respectively to have results respectively denoted by y 1 ″, . . . , y n ″, transmitting y 1 ″, . . . , y n ″ to the processor by the public key transformation component, and determining whether y 1 ″, . . . . , y n ″ is equal to the message (y 1 ′, . . . , y n ′) stored in the processor by the processor: if the data is equal to the message, the processor outputs “1” to the end user, indicating that the signature is valid; otherwise, the processor outputs “0” to the end user, indicating that the signature is invalid. 
         [0036]    Before the signature process, the method for multivariate public key signature/verification further includes the following step: making the signature module be operatable when a selector coupled to the processor is in an open state; and 
         [0037]    before the verification process, the method further includes the following step: making the verification module be operatable when a selector coupled to the processor is in a close state. 
         [0038]    The processor includes a scheduler coupled to the selector, wherein the scheduler is configured to identify and manage the open state and close state of the selector, and to control and manage data stored in the processor to be scheduled to a corresponding component for a corresponding operation. 
         [0039]    The processor further includes a memory configured to implement data storage of the processor. 
         [0040]    Compared with the prior art, the present disclosure has the following advantages and beneficial effects. 
         [0041]    1. “Large field technology” is not used here to avoid using an isomorphism component to perform vector isomorphism, while it facilities the signature. For the “large field technology”, it maps the public key to a large field K and performs isomorphism using a vector (that is, the isomorphism is required). This approach is a double-edged sword, because the structure of K makes decryption easier, but such a structure is easy for attackers to exploit. The solution presented here completely excludes this technology, while the signature process of the solution presented here does not become complex by lacking the isomorphism technology. 
         [0042]    2. The designed center map is completely hidden by N groups of “sphere centers” as private keys, such that even if a attacker knows the structure of the system, he or she cannot get any beneficial assistance. For the design of the center map, in random n-demission “sphere centers” are set as hidden parameters (private keys). For the signature, the geometric meaning of the signature is how to find out points on the hypersphere meeting the conditions on the basis of knowing the sphere center and distance, so that the geometric meaning of the signature verification is in “squares of distance”. 
         [0043]    3. The signature process only needs to solve one system of linear equations that the operating speed is very fast. At present, many signature schemes, such as Sfia.sh scheme in the multivariate schemes and almost all traditional FCC and RSA signature algorithms, require to perform complex mathematical operations such as magnitude calculation or scalar multiplication, so the signature process may be slow. For the signature scheme presented here, the signature process only needs to solve the system of linear equations set, and the Gaussian elimination method used here is significantly lower in operation complexity than the most existing schemes. 
         [0044]    4. The length of the public key has advantages over some technologies in the prior art. For some existing multivariate signature schemes, such as UOV and Rainbow, mixing the Oil variables (the number of which corresponds to the digits of the message) and the Vinegar variables in the polynomial of the private key map during the process of constructing the center map, the number of variables of the entire public key map corresponding to the private key map is very large, and the length of the public key is very long. The scheme presented here only needs to embed the message into the center map, so that it has advantages over the exiting schemes for the length of the public key. 
     
    
     
       BRIEF DESCRIPTION OF THE DRAWINGS 
         [0045]      FIG. 1  is a structure diagram illuminating a system for multivariate public key signature/verification based on hypersphere according to one embodiment of the present disclosure. 
       
    
    
     DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENTS 
       [0046]    As shown in  FIG. 1 , a system for multivariate public key signature/verification based on hypersphere, including: 
         [0047]    A. a selector coupled to the processor, wherein, when the selector is in an open state, the signature module is operatable, and when the selector is in a close state, the verification module is operatable; 
         [0048]    B. a signature module, configured to sign a message to be signed, including a processor, a first affine transformation inversion component, a trapdoor component and a second affine transformation inversion component, wherein the trapdoor component includes a linear equations construction component and a linear equations solution component, the processor is adapted to store the message to be signed and transmit the message to be signed to the first affine transformation inversion component, the first affine transformation inversion component is adapted to perform affine transformation inversion on the message, the trapdoor component is adapted to receive the message processed by the first affine transformation inversion component from the first affine transformation inversion component, the linear equations construction component and the linear equations solution component in the trapdoor component are adapted to perform operations of constructing a system of linear equations and solving the system of linear equations about the processed message respectively, to obtain a solution set forming by one group or multiple groups of solutions from the operation of solving the system of linear equations, the second affine transformation inversion component is adapted to receive any one group of solutions selected from the solution set and perform affine transformation inversion on the group of solutions to generate a required signature, and the processor is also adapted to send the message and the signature to an end user; and 
         [0049]    C. a verification module, configured to receive a message and a signature of the message sent from other users, and verify the validity of the signature, including a processor and a public key transformation component, wherein the processor is adapted to store the message and the signature of the message and transmit the signature to the public key transformation component, the public key transformation component is adapted to substitute the signature into each of multivariate polynomials of a public key map, the processor is also adapted to receive data calculated by the public key transformation component and determine whether the data is equal to the message stored in the processor: if the data is equal to the message, the processor outputs “1” to the end user, indicating that the signature is valid; otherwise, the processor outputs “0” to the end user, indicating that the signature is invalid. 
         [0050]    Before using the system for multivariate public key signature/verification based on hypersphere for the first time, the system is required to be initialized as below 
         [0051]    1. Arithmetic operations of all components of the system are based on a finite field F of cardinality q, where q is an odd prime number; 
         [0052]    2. Let the number of equations of the multivariate public key cryptosystem be in and the number of variates be n; 
         [0053]    3. In the first affine transformation inversion component, let T( y   1 , . . . ,  y   m ′)=(y 1 , . . . , y m ) be a randomly selected invertible affine transformation from F m  to F m , similarly, in the second affine transformation inversion component, let S(x 1 , . . . , x n )=( x   1 , . . . ,  x   n ) be a randomly selected invertible affine transformation from F n  to F n ; 
         [0054]    4. In the trapdoor component, the system randomly selects In groups of sphere centers (c i,1 , c i,2 , . . . , c i,n ), where c i,j ∈f q ,1≦i≦m, 1≦j≦n; 
         [0055]    5. In the public key transformation component, initialize the center map F=(f 1 , . . . , f m ), that is, mf i s form the center map. Let f i =(x 1 −c i,1 ) 2 +(x 2 −c i,2 ) 2 + . . . +(x n −c i,n ) 2 , 1≦i≦m, where (c i,1 , c i,2 . . . , c i,n ) are m groups of sphere centers randomly selected by the system in the trapdoor component. Let P=T·F·S(x 1 , . . . , x n ) which is the corresponding public key map. 
         [0056]    6. The above data about mapping is stored in the memory after the system is initialized, and in work process of the system, the data is controlled by the scheduler and scheduled to a corresponding component for corresponding operation. 
         [0057]    A method for multivariate public key signature/verification based on hypersphere includes the following steps: 
         [0058]    (1) signature process: 
         [0059]    a. when the selector is in the open state, the signature module of the system running, the selector being coupled to the scheduler of the processor, and after receiving a message to be signed (y 1 ′, . . . , y n ′)∈F n , storing the message (y 1 ′, . . . , x n ′)∈F n  and transmitting the message (y 1 ′, . . . , y n ′)∈F n  to the first affine transformation inversion component for performing affine transformation inversion on the message ( y   1 , . . . ,  y   n )=T −1 (y 1 ′, . . . , y n ′); 
         [0060]    b. transmitting the message processed by the first affine transformation inversion component ( y   1 , . . . ,  y   n ) to a trapdoor component, and performing operations of constructing a system of linear equations and solving the system of linear equations about the processed message respectively by a linear equations construction component and a linear equations solution component in the trapdoor component, that is, the linear equations construction component simultaneously using m groups of data (c i,1 , c i,2 , . . . , c i,n ) and (         , . . . ,          ) pre-allocated by a scheduler in the trapdoor component to construct a first system of equations (1) as below: 
         [0000]    
       
         
           
             
               
                 
                   { 
                   
                     
                       
                         
                           
                             
                               
                                 
                                   ( 
                                   
                                     - 
                                     
                                       c 
                                       
                                         1 
                                         , 
                                         1 
                                       
                                     
                                   
                                   ) 
                                 
                                 2 
                               
                               + 
                               … 
                               + 
                               
                                 
                                   ( 
                                   
                                     - 
                                     
                                       c 
                                       
                                         1 
                                         , 
                                         n 
                                       
                                     
                                   
                                   ) 
                                 
                                 2 
                               
                             
                             = 
                           
                         
                       
                       
                         
                           … 
                         
                       
                       
                         
                           
                             
                               
                                 
                                   ( 
                                   
                                     - 
                                     
                                       c 
                                       
                                         m 
                                         , 
                                         1 
                                       
                                     
                                   
                                   ) 
                                 
                                 2 
                               
                               + 
                               … 
                               + 
                               
                                 
                                   ( 
                                   
                                     - 
                                     
                                       c 
                                       
                                         m 
                                         , 
                                         n 
                                       
                                     
                                   
                                   ) 
                                 
                                 2 
                               
                             
                             = 
                           
                         
                       
                     
                     , 
                   
                 
               
               
                 
                   ( 
                   1 
                   ) 
                 
               
             
           
         
       
     
         [0061]    Extending the first system of equations (1) to a second system of equations (2): 
         [0000]    
       
         
           
             
               
                 
                   { 
                   
                     
                       
                         
                           
                             
                               
                                 ( 
                                 
                                   
                                     2 
                                   
                                   - 
                                   
                                     2 
                                      
                                     
                                       c 
                                       
                                         1 
                                         , 
                                         1 
                                       
                                     
                                      
                                   
                                   + 
                                   
                                     c 
                                     
                                       1 
                                       , 
                                       1 
                                     
                                     2 
                                   
                                 
                                 ) 
                               
                               + 
                               … 
                               + 
                               
                                 ( 
                                 
                                   
                                     2 
                                   
                                   - 
                                   
                                     2 
                                      
                                     
                                       c 
                                       
                                         1 
                                         , 
                                         n 
                                       
                                     
                                      
                                   
                                   + 
                                   
                                     c 
                                     
                                       1 
                                       , 
                                       n 
                                     
                                     2 
                                   
                                 
                                 ) 
                               
                             
                             = 
                           
                         
                       
                       
                         
                           … 
                         
                       
                       
                         
                           
                             
                               
                                 ( 
                                 
                                   
                                     2 
                                   
                                   - 
                                   
                                     2 
                                      
                                     
                                       c 
                                       
                                         m 
                                         , 
                                         1 
                                       
                                     
                                      
                                   
                                   + 
                                   
                                     c 
                                     
                                       m 
                                       , 
                                       1 
                                     
                                     2 
                                   
                                 
                                 ) 
                               
                               + 
                               … 
                               + 
                               
                                 ( 
                                 
                                   
                                     2 
                                   
                                   - 
                                   
                                     2 
                                      
                                     
                                       c 
                                       
                                         m 
                                         , 
                                         n 
                                       
                                     
                                      
                                   
                                   + 
                                   
                                     c 
                                     
                                       m 
                                       , 
                                       n 
                                     
                                     2 
                                   
                                 
                                 ) 
                               
                             
                             = 
                           
                         
                       
                     
                     , 
                   
                 
               
               
                 
                   ( 
                   2 
                   ) 
                 
               
             
           
         
       
     
         [0062]    For the second system of equations, subtracting the second equation from the first equation, . . . , and subtracting the m−1 equation from the in equation to have a third system of equations (3): 
         [0000]    
       
         
           
             
               
                 
                   { 
                   
                     
                       
                         
                           
                             
                               
                                 ( 
                                 
                                   
                                     2 
                                      
                                     
                                       c 
                                       
                                         2 
                                         , 
                                         1 
                                       
                                     
                                   
                                   - 
                                   
                                     2 
                                      
                                     
                                       c 
                                       
                                         1 
                                         , 
                                         1 
                                       
                                     
                                   
                                 
                                 ) 
                               
                                
                             
                             + 
                             … 
                             + 
                             
                               
                                 ( 
                                 
                                   
                                     2 
                                      
                                     
                                       c 
                                       
                                         2 
                                         , 
                                         n 
                                       
                                     
                                   
                                   - 
                                   
                                     2 
                                      
                                     
                                       c 
                                       
                                         1 
                                         , 
                                         n 
                                       
                                     
                                   
                                 
                                 ) 
                               
                                
                             
                           
                         
                       
                       
                         
                           
                             
                               ( 
                               
                                 
                                   c 
                                   
                                     1 
                                     , 
                                     1 
                                   
                                   2 
                                 
                                 - 
                                 
                                   c 
                                   
                                     2 
                                     , 
                                     1 
                                   
                                   2 
                                 
                               
                               ) 
                             
                             + 
                             … 
                             + 
                           
                         
                       
                       
                         
                           
                             
                               ( 
                               
                                 
                                   c 
                                   
                                     1 
                                     , 
                                     n 
                                   
                                   2 
                                 
                                 - 
                                 
                                   c 
                                   
                                     2 
                                     , 
                                     n 
                                   
                                   2 
                                 
                               
                               ) 
                             
                             = 
                             
                               - 
                             
                           
                         
                       
                       
                         
                           … 
                         
                       
                       
                         
                           
                             
                               
                                 ( 
                                 
                                   
                                     2 
                                      
                                     
                                       c 
                                       
                                         m 
                                         , 
                                         1 
                                       
                                     
                                   
                                   - 
                                   
                                     2 
                                      
                                     
                                       c 
                                       
                                         
                                           m 
                                           - 
                                           1 
                                         
                                         , 
                                         1 
                                       
                                     
                                   
                                 
                                 ) 
                               
                                
                             
                             + 
                             … 
                             + 
                             
                               
                                 ( 
                                 
                                   
                                     2 
                                      
                                     
                                       c 
                                       
                                         m 
                                         , 
                                         n 
                                       
                                     
                                   
                                   - 
                                   
                                     2 
                                      
                                     
                                       c 
                                       
                                         
                                           m 
                                           - 
                                           1 
                                         
                                         , 
                                         n 
                                       
                                     
                                   
                                 
                                 ) 
                               
                                
                             
                           
                         
                       
                       
                         
                           
                             
                               ( 
                               
                                 
                                   c 
                                   
                                     
                                       m 
                                       - 
                                       1 
                                     
                                     , 
                                     1 
                                   
                                   2 
                                 
                                 - 
                                 
                                   c 
                                   
                                     m 
                                     , 
                                     1 
                                   
                                   2 
                                 
                               
                               ) 
                             
                             + 
                             … 
                             + 
                           
                         
                       
                       
                         
                           
                             
                               ( 
                               
                                 
                                   c 
                                   
                                     
                                       m 
                                       - 
                                       1 
                                     
                                     , 
                                     n 
                                   
                                   2 
                                 
                                 - 
                                 
                                   c 
                                   
                                     m 
                                     , 
                                     n 
                                   
                                   2 
                                 
                               
                               ) 
                             
                             = 
                             
                               - 
                             
                           
                         
                       
                     
                     , 
                     
                         
                         
                     
                   
                 
               
               
                 
                   ( 
                   3 
                   ) 
                 
               
             
           
         
       
     
         [0063]    and converting the third system of equations (3) into a matrix form to have a fourth system of equations (4): 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       [ 
                       
                         
                           
                             
                               
                                 ( 
                                 
                                   
                                     2 
                                      
                                     
                                       c 
                                       
                                         2 
                                         , 
                                         1 
                                       
                                     
                                   
                                   - 
                                   
                                     2 
                                      
                                     
                                       c 
                                       
                                         1 
                                         , 
                                         1 
                                       
                                     
                                   
                                 
                                 ) 
                               
                                
                               
                                   
                               
                                
                               … 
                                
                               
                                   
                               
                                
                               
                                 ( 
                                 
                                   
                                     2 
                                      
                                     
                                       c 
                                       
                                         2 
                                         , 
                                         n 
                                       
                                     
                                   
                                   - 
                                   
                                     2 
                                      
                                     
                                       c 
                                       
                                         1 
                                         , 
                                         n 
                                       
                                     
                                   
                                 
                                 ) 
                               
                             
                           
                         
                         
                           
                             … 
                           
                         
                         
                           
                             
                               
                                 ( 
                                 
                                   
                                     2 
                                      
                                     
                                       c 
                                       
                                         m 
                                         , 
                                         1 
                                       
                                     
                                   
                                   - 
                                   
                                     2 
                                      
                                     
                                       c 
                                       
                                         
                                           m 
                                           - 
                                           1 
                                         
                                         , 
                                         1 
                                       
                                     
                                   
                                 
                                 ) 
                               
                                
                               
                                   
                               
                                
                               … 
                                
                               
                                   
                               
                                
                               
                                 ( 
                                 
                                   
                                     2 
                                      
                                     
                                       c 
                                       
                                         m 
                                         , 
                                         n 
                                       
                                     
                                   
                                   - 
                                   
                                     2 
                                      
                                     
                                       c 
                                       
                                         
                                           m 
                                           - 
                                           1 
                                         
                                         , 
                                         n 
                                       
                                     
                                   
                                 
                                 ) 
                               
                             
                           
                         
                       
                       ] 
                     
                      
                     
                       [ 
                       
                         
                           
                                   
                         
                         
                           
                             … 
                           
                         
                         
                           
                                   
                         
                       
                       ] 
                     
                   
                   = 
                   
                       
                     
                       
                         [ 
                         
                           
                             
                               
                                 
                                   ( 
                                   
                                     - 
                                   
                                   ) 
                                 
                                 + 
                                 
                                   
                                     ∑ 
                                     
                                       j 
                                       = 
                                       1 
                                     
                                     n 
                                   
                                    
                                   
                                     ( 
                                     
                                       
                                         c 
                                         
                                           2 
                                           , 
                                           j 
                                         
                                         2 
                                       
                                       - 
                                       
                                         c 
                                         
                                           1 
                                           , 
                                           j 
                                         
                                         2 
                                       
                                     
                                     ) 
                                   
                                 
                               
                             
                           
                           
                             
                               … 
                             
                           
                           
                             
                               
                                 
                                   ( 
                                   
                                     - 
                                   
                                   ) 
                                 
                                 + 
                                 
                                   
                                     ∑ 
                                     
                                       j 
                                       = 
                                       1 
                                     
                                     n 
                                   
                                    
                                   
                                     ( 
                                     
                                       
                                         c 
                                         
                                           m 
                                           , 
                                           j 
                                         
                                         2 
                                       
                                       - 
                                       
                                         c 
                                         
                                           
                                             m 
                                             - 
                                             1 
                                           
                                           , 
                                           j 
                                         
                                         2 
                                       
                                     
                                     ) 
                                   
                                 
                               
                             
                           
                         
                         ] 
                       
                       , 
                     
                   
                 
               
               
                 
                   ( 
                   4 
                   ) 
                 
               
             
           
         
       
     
         [0064]    wherein the fourth system of equations (4) is the system of linear equations about (         , . . . ,          ) constructed by the linear equations construction component; and solving, by the linear equations solution component, the fourth system of equations (4) with a Gaussian elimination method to have one group or multiple groups of solutions, wherein the number of group is set as d, and the solution set forming by the one group or multiple groups of solutions is denoted by (         , . . . ,          ), (1≦i≦d); 
         [0065]    c. selecting any one group of solutions ( x   1 , . . . ,  x   n ) from the solution set and transmitting the group of solutions to the second affine transformation inversion component for performing affine transformation inversion on the group of solutions (x 1 ′, . . . , x n ′)=S −1 ( x   1 , . . . ,  x   n ); and 
         [0066]    d. using the result (x 1 ′, . . . , x n ′) finally obtained in the step C as a signature of the message, transmitting the message (y 1 ′, . . . , y n ′) and the signature (x 1 ′, . . . , x n ′) to an end user by the processor. 
         [0067]    (2) Verification Process: 
         [0068]    a. when the selector is in the close state, the verification module of the system running, the selector being coupled to the scheduler of the processor, and receiving, by the processor, the message (y 1 ′, . . . , y n ′) and the signature (x 1 ′, . . . , x n ′) of the message, storing the message (y 1 ′, . . . , y n ′) and the signature (x 1 ′, . . . , x n ′), and transmitting the signature (x 1 ′, . . . , x n ′) to a public key transformation component; and 
         [0069]    b. substituting, by the public key transformation component, the signature (x 1 ′, . . . , x n ′) into each of multivariate polynomials of a public key map P(x 1 , . . . , x n ) that is, calculating p 1 (x 1 ′, . . . , x n ′), . . . , p n (x 1 ′, . . . , x n ′) respectively to have results respectively denoted by y 1 ″, . . . , y n ″, transmitting y 1 ″, . . . , y n ″ to the processor by the public key transformation component, and determining whether y 1 ″, . . . , y n ″ is equal to the message (y 1 ′, . . . , y n ′) stored in the processor by the processor: if the data is equal to the message, the processor outputs “1” to the end user, indicating that the signature is valid; otherwise, the processor outputs “0” to the end user, indicating that the signature is invalid. 
         [0070]    The initialization of the system will be further described in detail with a specific embodiment. 
         [0071]    1. Arithmetic operations of all components are based on a finite field F of cardinality q=3, where the base field F includes three elements which are {0,1,2} and the addition and multiplication defined in the field are integer addition and multiplication followed by a mod 3 operation; 
         [0072]    2. The number of equations of the multivariate public key cryptosystem is in  3  and the number of variates is n=3; 
         [0073]    3. In the first affine transformation inversion component, initialize 
         [0000]    
       
         
           
             
               
                 T 
                  
                 
                   ( 
                   
                     
                       
                         y 
                         1 
                       
                       _ 
                     
                     , 
                     
                       
                         y 
                         2 
                       
                       _ 
                     
                     , 
                     
                       
                         y 
                         3 
                       
                       _ 
                     
                   
                   ) 
                 
               
               = 
               
                 [ 
                 
                   
                     
                       
                         
                           2 
                            
                           
                             
                               y 
                               1 
                             
                             _ 
                           
                         
                         + 
                         
                           2 
                            
                           
                             
                               y 
                               2 
                             
                             _ 
                           
                         
                         + 
                         
                           2 
                            
                           
                             
                               y 
                               3 
                             
                             _ 
                           
                         
                       
                     
                   
                   
                     
                       
                         
                           
                             y 
                             1 
                           
                           _ 
                         
                         + 
                         
                           2 
                            
                           
                             
                               y 
                               2 
                             
                             _ 
                           
                         
                         + 
                         
                           
                             y 
                             3 
                           
                           _ 
                         
                       
                     
                   
                   
                     
                       
                         2 
                          
                         
                           
                             y 
                             3 
                           
                           _ 
                         
                       
                     
                   
                 
                 ] 
               
             
             , 
           
         
       
     
         [0000]    and in the second affine transformation inversion component, initialize 
         [0000]    
       
         
           
             
               
                 S 
                  
                 
                   ( 
                   
                     
                       x 
                       1 
                     
                     , 
                     
                       x 
                       2 
                     
                     , 
                     
                       x 
                       3 
                     
                   
                   ) 
                 
               
               = 
               
                 [ 
                 
                   
                     
                       
                         x 
                         3 
                       
                     
                   
                   
                     
                       
                         
                           2 
                            
                           
                             x 
                             1 
                           
                         
                         + 
                         
                           x 
                           2 
                         
                       
                     
                   
                   
                     
                       
                         
                           x 
                           1 
                         
                         + 
                         
                           2 
                            
                           
                             x 
                             3 
                           
                         
                       
                     
                   
                 
                 ] 
               
             
             ; 
           
         
       
     
         [0074]    4. In the trapdoor component, randomly select three groups of “sphere centers”: (2,0,2), (0,2,2), (0,0,1); 
         [0075]    5. In the public key transformation component, firstly build center map F: 
         [0000]        f   1 (   x     1   ,  x     2   ,  x     3 )=(   x     1 −2) 2 +(   x     2 −0) 2 +(   x     3 −2) 2 ,
 
         [0000]        f   2 (   x     1   ,  x     2   ,  x     3 )=(   x     1 −0) 2 +(   x     2 −2) 2 +(   x     3 −2) 2 , and
 
         [0000]        f   3 (   x     1   ,  x     2   ,  x     3 )=(   x     1 −0) 2 +(   x     2 −0) 2 +(   x     3 −1) 2 .
 
         [0076]    Use P=T·F·S(x 1 , . . . , x n ) to have the public key transformation P: 
         [0000]        p   1 ( x   1   , x   2   , x   3 )= x   2 +1, 
         [0000]        p   2 ( x   1   , x   2   , x   3 )=2 x   1   2   +x   1   x   2   +x   1   x   3   +x   2   2   +x   2 +2 x   3   2   +x   3 +1, and 
         [0000]        p   3 ( x   1   , x   2   , x   3 )= x   1   2 +2 x   1   x   2 +2 x   1   x   3 +2 x   1 +2 x   2   2   +x   3   2   +x   3 +2. 
         [0077]    After initialization, the system can be used normally. 
         [0078]    The signature and verification for the message for instance (2,0,0) will be described in detail in the following. 
         [0079]    Signature Process: 
         [0080]    1. The selector is in the open state. 
         [0081]    2. For the message (2, 0, 0) to be signed, the input end may transmit it to the processor which may store the message in the memory, and the processor may transmit the message to the first affine transformation inversion component. 
         [0082]    3. After receiving the data (2,0,0) , the first affine transformation inversion component may interact with the processor, call programs and calculate T −1 (2,0,0)=(2,2,0), and transmit the result to the trapdoor component 
         [0083]    4. After receiving the data (2,2,0), the trapdoor component may interact with the processor, call the linear equations construction component which may use the three groups of sphere centers (2,0,2), (0,2,2), (0,0,1) and (2,2,0) pre-allocated by a scheduler in the trapdoor component to construct a system of equations i.e., 
         [0000]    
       
         
           
             { 
             
               
                 
                   
                     
                       
                         
                           f 
                           1 
                         
                          
                         
                           ( 
                           
                             , 
                             , 
                           
                           ) 
                         
                       
                       = 
                       
                         
                           
                             
                               ( 
                               
                                 - 
                                 2 
                               
                               ) 
                             
                             2 
                           
                           + 
                           
                             
                               ( 
                               
                                 - 
                                 0 
                               
                               ) 
                             
                             2 
                           
                           + 
                           
                             
                               ( 
                               
                                 - 
                                 2 
                               
                               ) 
                             
                             2 
                           
                         
                         = 
                         2 
                       
                     
                   
                 
                 
                   
                     
                       
                         
                           f 
                           2 
                         
                          
                         
                           ( 
                           
                             , 
                             , 
                           
                           ) 
                         
                       
                       = 
                       
                         
                           
                             
                               ( 
                               
                                 - 
                                 0 
                               
                               ) 
                             
                             2 
                           
                           + 
                           
                             
                               ( 
                               
                                 - 
                                 2 
                               
                               ) 
                             
                             2 
                           
                           + 
                           
                             
                               ( 
                               
                                 - 
                                 2 
                               
                               ) 
                             
                             2 
                           
                         
                         = 
                         2 
                       
                     
                   
                 
                 
                   
                     
                       
                         
                           f 
                           3 
                         
                          
                         
                           ( 
                           
                             , 
                             , 
                           
                           ) 
                         
                       
                       = 
                       
                         
                           
                             
                               ( 
                               
                                 - 
                                 0 
                               
                               ) 
                             
                             2 
                           
                           + 
                           
                             
                               ( 
                               
                                 - 
                                 0 
                               
                               ) 
                             
                             2 
                           
                           + 
                           
                             
                               ( 
                               
                                 - 
                                 1 
                               
                               ) 
                             
                             2 
                           
                         
                         = 
                         0 
                       
                     
                   
                 
               
               . 
             
           
         
       
     
         [0000]    Expand the above three equations to have: 
         [0000]    
       
         
           
             { 
             
               
                 
                   
                     
                       
                         
                           2 
                         
                         - 
                         
                           4 
                            
                         
                         + 
                         4 
                         + 
                         + 
                         
                           2 
                         
                         - 
                         
                           4 
                            
                         
                         + 
                         4 
                       
                       = 
                       2 
                     
                   
                 
                 
                   
                     
                       + 
                       
                         2 
                       
                       - 
                       
                         4 
                          
                       
                       + 
                       4 
                       + 
                       
                         ( 
                         
                           
                             
                               2 
                             
                             - 
                             
                               4 
                                
                             
                             + 
                             4 
                           
                           = 
                           2 
                         
                       
                     
                   
                 
                 
                   
                     
                       
                         
                           2 
                         
                         + 
                         
                           2 
                         
                         + 
                         
                           2 
                         
                         - 
                         
                           2 
                            
                         
                         + 
                         1 
                       
                       = 
                       0 
                     
                   
                 
               
               , 
             
           
         
       
     
         [0084]    subtrac the second equation from the first equation, and subtract the third equation from the second equation to have: 
         [0000]    
       
         
           
             { 
             
               
                 
                   
                     
                       
                         - 
                       
                       = 
                       0 
                     
                   
                 
                 
                   
                     
                       
                         
                           2 
                            
                         
                         + 
                       
                       = 
                       1 
                     
                   
                 
               
               . 
             
           
         
       
     
         [0085]    The above equations are the system of linear equations constructed by the linear equations construction component. Then the trapdoor component may call the linear equations solution component to solve the system of linear equations about unknown variables to have three groups of solutions (2,2,0), (0,0,1), (1,1,2). Finally the trapdoor component may transmit one group of solutions (1,1,2) to the second affine transformation inversion component. 
         [0086]    5. After receiving the group of solutions (1,1,2), the second affine transformation inversion component may interact with the processor, run programs and calculate S −1 (1,1,2), to have the result (0,1,1), and return the result to the memory. 
         [0087]    6. The processor treats (0,1,1) as the signature of the message (2,0,0), and output the “message-signature pair” (0,1,1)∥(2,0,0) to the user (or the device). With this, the signature process is finished. 
         [0088]    Verification Process: 
         [0089]    1. The selector is in the close state. 
         [0090]    2. For the “message-signature pair” (0,1,1)∥(2,0,0) to be verified, the input end may transmit it to the processor, the processor may store the “message-signature pair” in the memory, next, and the processor may transmit the message (0,1,1) to the public key transformation component. 
         [0091]    3. After receiving the message (0,1,1), the public key transformation component may interact with the processor, call the function P to calculate (p 1 (0, 1, 1), p 2 (0,1,1), p 3 (0,1,1), get the result res=(2,0,0), and return the result res=(2,0,0) to the memory. 
         [0092]    4. The processor may verify whether res =(2,0,0) is equal to the message (2,0,0) in the “message-signature pair”. They are obviously equal here, so the processor may output “1” to the end user or device, to indicate that the signature is valid. 
         [0093]    The above embodiments are simple embodiments of the present disclosure, but the implement of the present disclosure is not limited by the above embodiments. The recommended system parameters of the present disclosure include q=31, n=34, and m=25 wherein the security level is up to 2 80 . Alternative embodiments will become apparent to those skilled in the art to which the present disclosure pertains without departing from its spirit and scope.