# Patent

## Title
Method of generating a password protocol using elliptic polynomial cryptography

## Abstract

The method of generating password protocols based upon elliptic polynomial cryptography provides for the generation of password protocols based on the elliptic polynomial discrete logarithm problem. It is well known that an elliptic polynomial discrete logarithm problem is a computationally “difficult” or “hard” problem.

## Background
BACKGROUND OF THE INVENTION
1. Field of the Invention
The present invention relates to computerized cryptographic methods for communications in a computer network or electronic communications system, and particularly to a method of generating a password protocol using elliptic polynomial cryptography.
2. Description of the Related Art
In recent years, the Internet community has experienced explosive and exponential growth. Given the vast and increasing magnitude of this community, both in terms of the number of individual users and web sites, and the sharply reduced costs associated with electronically communicating information, such as e-mail messages and electronic files, between one user and another, as well as between any individual client computer and a web server, electronic communication, rather than more traditional postal mail, is rapidly becoming a medium of choice for communicating information. The Internet, however, is a publicly accessible network, and is thus not secure. The Internet has been, and increasingly continues to be, a target of a wide variety of attacks from various individuals and organizations intent on eavesdropping, intercepting and/or otherwise compromising or even corrupting message traffic flowing on the Internet, or further illicitly penetrating sites connected to the Internet.
Encryption by itself provides no guarantee that an enciphered message cannot or has not been compromised during transmission or storage by a third party. Encryption does not assure integrity due to the fact that an encrypted message could be intercepted and changed, even though it may be, in any instance, practically impossible, to cryptanalyze. In this regard, the third party could intercept, or otherwise improperly access, a ciphertext message, then substitute a predefined illicit ciphertext block(s), which that party, or someone else acting in concert with that party, has specifically devised for a corresponding block(s) in the message. The intruding party could thereafter transmit the resulting message with the substituted ciphertext block(s) to the destination, all without the knowledge of the eventual recipient of the message.
The field of detecting altered communication is not confined to Internet messages. With the burgeoning use of stand-alone personal computers, individuals or businesses often store confidential information within the computer, with a desire to safeguard that information from illicit access and alteration by third parties. Password controlled access, which is commonly used to restrict access to a given computer and/or a specific file stored thereon, provides a certain, but rather rudimentary, form of file protection. Once password protection is circumvented, a third party can access a stored file and then change it, with the owner of the file then being completely oblivious to any such change.
Methods of adapting discrete-logarithm based algorithms to the setting of elliptic polynomials are known. However, finding discrete logarithms in this kind of group is particularly difficult. Thus, elliptic polynomial-based crypto algorithms can be implemented using much smaller numbers than in a finite-field setting of comparable cryptographic strength. Therefore, the use of elliptic polynomial cryptography is an improvement over finite-field based public-key cryptography.
In practice, an elliptic curve group over a finite field F is formed by choosing a pair of a and b coefficients, which are elements within F. The group consists of a finite set of points P(x,y) which satisfy the elliptic curve equation F(x,y)=y2−x3−ax−b=0, together with a point at infinity, O. The coordinates of the point, x and y, are elements of F represented in N-bit strings. In the following, a point is either written as a capital letter (e.g., point P) or as a pair in terms of the affine coordinates; i.e. (x,y).
The elliptic curve cryptosystem relies upon the difficulty of the elliptic curve discrete logarithm problem (ECDLP) to provide its effectiveness as a cryptosystem. Using multiplicative notation, the problem can be described as: given points B and Q in the group, find a number k such that Bk=Q; where k is the discrete logarithm of Q to the base B. Using additive notation, the problem becomes: given two points B and Q in the group, find a number k such that kB=Q.
In an elliptic curve cryptosystem, the large integer k is kept private and is often referred to as the secret key. The point Q together with the base point B are made public and are referred to as the public key. The security of the system, thus, relies upon the difficulty of deriving the secret k, knowing the public points B and Q. The main factor which determines the security strength of such a system is the size of its underlying finite field. In a real cryptographic application, the underlying field is made so large that it is computationally infeasible to determine k in a straightforward way by computing all the multiples of B until Q is found.
At the heart of elliptic curve geometric arithmetic is scalar multiplication, which computes kB by adding together k copies of the point B. Scalar multiplication is performed through a combination of point-doubling and point-addition operations. The point-addition operations add two distinct points together and the point-doubling operations add two copies of a point together. To compute, for example, B=(2*(2*(2B)))+2B=Q, it would take three point-doublings and two point-additions.
Addition of two points on an elliptic curve is calculated as follows: when a straight line is drawn through the two points, the straight line intersects the elliptic curve at a third point. The point symmetric to this third intersecting point with respect to the x-axis is defined as a point resulting from the addition. Doubling a point on an elliptic curve is calculated as follows: when a tangent line is drawn at a point on an elliptic curve, the tangent line intersects the elliptic curve at another point. The point symmetric to this intersecting point with respect to the x-axis is defined as a point resulting from the doubling.
Table 1 illustrates the addition rules for adding two points (x1,y1) and (x2,y2); i.e., (x3,y3)=(x1,y1)+(x2,y2):







TABLE 1





Summary of Addition Rules: (x3, y3) = (x1, y1) + (x2, y2)
















General Equations
x3 = m2 − x2 − x1



y3 = m (x3 − x1) + y1


 


  Point Addition




  m
  =
  
    
      
        y
        2
      
      -
      
        y
        1
      
    
    
      
        x
        2
      
      -
      
        x
        1
      
    
  






 


  Point Doubling (x3, y3) = 2(x1, y1)




  m
  =
  
    
      
        3
        ⁢
        
          
        
        ⁢
        
          x
          1
          2
        
      
      -
      a
    
    
      2
      ⁢
      
        y
        1
      
    
  






 


(x2, y2) = −(x1, y1)
(x3, y3) = (x1, y1) + (−(x2, y2)) = O


(x2, y2) = O −(x1, y1)
(x3, y3) = (x1, y1) + O = (x1, y1) = (x1, −y1)









For elliptic curve encryption and decryption, given a message point (xm,ym), a base point (xB,yB), and a given key, k, the cipher point (xC,yC) is obtained using the equation (xC,yC)=(xm,ym)+k(xB,yB).
There are two basics steps in the computation of the above equations. The first step is to find the scalar multiplication of the base point with the key, k(xB,yB). The resulting point is then added to the message point, (xm,ym) to obtain the cipher point. At the receiver, the message point is recovered from the cipher point, which is usually transmitted, along with the shared key and the base point (xm,ym)=(xC,yC)−k(xB,yB).
As noted above, the x-coordinate, xm, is represented as an N-bit string. However, not all of the N-bits are used to carry information about the data of the secret message. Assuming that the number of bits of the x-coordinate, xm, that do not carry data is L, then the extra bits L are used to ensure that message data, when embedded into the x-coordinate, will lead to an xm value which satisfies the elliptic curve equation (1). Typically, if the first guess of xm is not on a curve, then the second or third try will be.
Thus, the number of bits used to carry the bits of the message data is (N−L). If the secret data is a K-bit string, then the number of elliptic curve points needed to encrypt the K-bit data is




  
    ⌈
    
      K
      
        N
        -
        L
      
    
    ⌉
  
  .




It is important to note that the y-coordinate, ym, of the message point carries no data bits.

An attack method, referred to as power analysis exists, in which the secret information is decrypted on the basis of leaked information. An attack method in which change in voltage is measured in cryptographic processing using secret information, such as DES (Data Encryption Standard) or the like, such that the process of the cryptographic processing is obtained, and the secret information is inferred on the basis of the obtained process is known.
As one of the measures against power analysis attack on elliptic curve cryptosystems, a method using randomized projective coordinates is known. This is a measure against an attack method of observing whether a specific value appears or not in scalar multiplication calculations, and inferring a scalar value from the observed result. By multiplication with a random value, the appearance of such a specific value is prevented from being inferred.
In the above-described elliptic curve cryptosystem, attack by power analysis, such as DPA or the like, was not taken into consideration. Therefore, in order to relieve an attack by power analysis, extra calculation has to be carried out using secret information in order to weaken the dependence of the process of the cryptographic processing and the secret information on each other. Thus, time required for the cryptographic processing increases so that cryptographic processing efficiency is lowered.
With the development of information communication networks, cryptographic techniques have been indispensable elements for the concealment or authentication of electronic information. Efficiency in terms of computation time is a necessary consideration, along with the security of the cryptographic techniques. The elliptic curve discrete logarithm problem is so difficult that elliptic curve cryptosystems can make key lengths shorter than that in Rivest-Shamir-Adleman (RSA) cryptosystems, basing their security on the difficulty of factorization into prime factors. Thus, the elliptic curve cryptosystems offer comparatively high-speed cryptographic processing with optimal security. However, the processing speed is not always high enough to satisfy smart cards, for example, which have restricted throughput or servers which have to carry out large volumes of cryptographic processing.
The pair of equations for m in Table 1 are referred to as “slope equations”. Computation of a slope equation in finite fields requires one finite field division. Alternatively, the slope computation can be computed using one finite field inversion and one finite field multiplication. Finite field division and finite field inversion are costly in terms of computational time because they require extensive CPU cycles for the manipulation of two elements of a finite field with a large order. Presently, it is commonly accepted that a point-doubling and a point-addition operation each require one inversion, two multiplications, a square, and several additions. At present, there are techniques to compute finite field division and finite field inversion, and techniques to trade time-intensive inversions for multiplications through performance of the operations in projective coordinates.
In cases where field inversions are significantly more time intensive than multiplication, it is efficient to utilize projective coordinates. An elliptic curve projective point (X, Y, Z) in conventional projective (or homogeneous) coordinates satisfies the homogeneous Weierstrass equation: {tilde over (F)}(X, Y, Z)=Y2Z−X3−aXZ2−bZ3=0, and, when z≠0, it corresponds to the affine point




  
    (
    
      x
      ,
      y
    
    )
  
  =
  
    
      (
      
        
          X
          Z
        
        ,
        
          Y
          Z
        
      
      )
    
    .
  




Other projective representations lead to more efficient implementations of the group operation, such as, for example, the Jacobian representations, where the triplets (X, Y, Z) correspond to the affine coordinates





  
    (
    
      x
      ,
      y
    
    )
  
  =
  
    (
    
      
        X
        
          Z
          2
        
      
      ,
      
        Y
        
          Z
          3
        
      
    
    )
  




whenever z≠0. This is equivalent to using a Jacobian elliptic curve equation that is of the form {tilde over (F)}(X, Y, Z)=Y2−X3−aXZ4−bZ6=0.

Another commonly used projection is the Chudnovsky-Jacobian coordinate projection. In general terms, the relationship between the affine coordinates and the projection coordinates can be written as




  
    (
    
      x
      ,
      y
    
    )
  
  =
  
    (
    
      
        X
        
          Z
          i
        
      
      ,
      
        Y
        
          Z
          j
        
      
    
    )
  




where the values of i and j depend on the choice of the projective coordinates. For example, for homogeneous coordinates, i=1 and j=1.

The use of projective coordinates circumvents the need for division in the computation of each point addition and point doubling during the calculation of scalar multiplication. Thus, finite field division can be avoided in the calculation of scalar multiplication,




  
    k
    (
    
      
        
          X
          B
        
        
          Z
          B
          i
        
      
      ,
      
        
          Y
          B
        
        
          Z
          B
          j
        
      
    
    )
  
  ,




when using projective coordinates.

The last addition for the computation of the cipher point,




  
    (
    
      
        
          X
          C
        
        
          Z
          C
          i
        
      
      ,
      
        
          Y
          C
        
        
          Z
          C
          j
        
      
    
    )
  
  ;




i.e., the addition of the two points





  
    
      (
      
        
          
            X
            m
          
          
            Z
            m
            i
          
        
        ,
        
          
            Y
            m
          
          
            Z
            m
            j
          
        
      
      )
    
    ⁢
    
      
    
    ⁢
    and
    ⁢
    
      
    
    ⁢
    
      k
      (
      
        
          
            X
            B
          
          
            Z
            B
            i
          
        
        ,
        
          
            Y
            B
          
          
            Z
            B
            j
          
        
      
      )
    
  
  ,




can also be carried out in the chosen projection coordinate:





  
    (
    
      
        
          X
          C
        
        
          Z
          C
          i
        
      
      ,
      
        
          Y
          C
        
        
          Z
          C
          j
        
      
    
    )
  
  =
  
    
      (
      
        
          
            X
            m
          
          
            Z
            m
            i
          
        
        ,
        
          
            Y
            
              m
              ⁢
              
                
              
              ⁢
              1
            
          
          
            Z
            m
            j
          
        
      
      )
    
    +
    
      
        (
        
          
            
              X
              B
            
            
              Z
              B
              i
            
          
          ,
          
            
              Y
              B
            
            
              Z
              B
              j
            
          
        
        )
      
      .
    
  




It should be noted that Zm=1.

However, one division (or one inversion and one multiplication) must still be carried out in order to calculate




  
    
      x
      C
    
    =
    
      
        X
        C
      
      
        Z
        C
        i
      
    
  
  ,




since only the affine x-coordinate of the cipher point, xC, is sent by the sender.

Thus, the encryption of (N−L) bits of the secret message using elliptic curve encryption requires at least one division when using projective coordinates. Similarly, the decryption of a single message encrypted using elliptic curve cryptography also requires at least one division when using projective coordinates.
Password protocols are used in applications where there is a need for a server to authenticate a remote user. Password protocols are different from asymmetric cryptography because password protocols are used for authentication and not for private communication. Password protocols are also different from public key cryptography, as password protocols do not necessarily need an independent certification of the server public key.
Public key-based password protocols have been proposed in which a remote user is authenticated by a human-memorized password. The server stores a file containing the plain passwords of users, or an image of the password, under a one-way function, along with other information that could help the authentication of the remote user.
In the password protocol, the user's password, which is a memorized quantity, is the only secret available to client software. It is also assumed that the network between the client and server is vulnerable to both eavesdropping and deliberate tampering by an enemy. Additionally, no trusted third party, such as a key server or arbitrator, can be used; i.e., only the original two parties can engage in the authentication protocol. Such protocols have a rather wide range of practical applications because they do not require any features beyond the memorized password, thus making them much easier to use, and less expensive to deploy, than either biometric: or token-based methods. One application is the handling of remote, password-protected computer access. It should be noted that most Internet protocols currently in use employ plaintext passwords for authentication.
One such protocol is the Secure Remote Password (SRP) Protocol, which is presently being considered as a possible standard for remote user access based on the password protocol. This password protocol also results in a shared secret key. The SRP authentication process is described below, from beginning to end, with Table 2 illustrating the notation used in the SRP authentication. It should be noted that the values n and g are well-known values, agreed on beforehand:







TABLE 2





Notation used in SRP
















n
A large prime number. All computations are performed modulo n.


g
A primitive root modulo n (often called a generator)


s
A random string used as the user's salt


P
The user's password


x
A private key derived from the password and salt


v
The host's password verifier


u
Random scrambling parameter, publicly revealed


a, b
Ephemeral private keys, generated randomly and not publicly



revealed


A, B
Corresponding public keys


H( )
One-way hash function


m, n
The two quantities (strings) m and n concatenated


K
Session key









As an example, to establish a password P with Steve, Carol picks a random salt s, and computes x=H(s, P) and v=gx. Steve then stores v and s as Carol's password verifier and salt. It should be noted that the computation of v is implicitly reduced modulo n. x is discarded because it is equivalent to the plaintext password P.
The AKE protocol also allows Steve to have a password z with a corresponding public key held by Carol; in SRP, z=0 so that it drops out of the equations. Since this private key is 0, the corresponding public key is 1. Consequently, instead of safeguarding its own password z, Steve needs only to keep Carol's verifier v secret to assure mutual authentication. This frees Carol from having to remember Steve's public key and simplifies the protocol.
To authenticate, Carol and Steve engage in the protocol given below with reference to Table 3 and the following steps: (1) Carol sends Steve her username, (e.g., “carol”); (2) Steve looks up Carol's password entry and fetches her password verifier v and her salt s—he then sends s to Carol—Carol computes her long-term private key x using s and her real password P; (3) Carol generates a random number a, 1<a<n, and computes her ephemeral public key A=ga, and sends it to Steve; (4) Steve generates his own random number b, 1<b<n, and computes his ephemeral public key B=v+gb, and then sends it back to Carol, along with the randomly generated parameter u; (5) Carol and Steve compute the common exponential value S=g(ab+bux) using the values available to each of them—If Carol's password P entered in step (2) matches the one she originally used to generate v, then both values of S will match; (6) both sides hash the exponential S into a cryptographically strong session key; (7) Carol sends Steve M[1] as evidence that she has the correct session key—Steve computes M[1] himself and verifies that it matches what Carol sent him; and (8) Steve sends Carol M[2] as evidence that he also has the correct session key—Carol also verifies M[2] herself, accepting only if it matches Steve's value.







TABLE 3







Steps in SRP











Carol

Steve














1.

C -->
(lookup s, v)


2.
x = H(s, P)
<-- s


3.
A = ga
A -->


4.

<-- B, u
B = v + gb


5.
S = (B − gx)(a+ux)

S = (A · vu)b


6.
K = H(S)

K = H(S)


7.
M[1] = H(A, B, K)
M[1] -->
(verify M[1])


8.
(verify M[2])
<-- M[2]
M[2] = H(A, M[1], K)









Both sides will agree on the session key S=g(ab+bux) if all steps are executed correctly. SRP also adds the two flows at the end to verify session key agreement using a one-way hash function. Once the protocol run completes successfully, both parties may use S to encrypt subsequent session traffic.
Thus, a method of generating a password protocol using elliptic polynomial cryptography solving the aforementioned problems is desired.
SUMMARY OF THE INVENTION
The method of generating a password protocol using elliptic polynomial cryptography allows for the generation of password protocols based on the elliptic polynomial discrete logarithm problem. It is well known that an elliptic polynomial discrete logarithm problem is a computationally “difficult” or “hard” problem. The method includes the following steps: (a) defining a maximum block size that can be embedded into (nx+1) x-coordinates and ny y-coordinates, wherein n is an integer, and setting the maximum block size to be (nx+ny+1)N bits, wherein N is an integer; and (b) a sending correspondent and a receiving correspondent agree upon the values of nx and ny, and further agree on a set of coefficients a1k,a2kl,a3k,c1lki,c2kl,c3kli,b1l,b2lk,b3lk,b4k & bc∈F, wherein F represents a finite field where the field's elements can be represented in N-bits, the sending and receiving correspondents further agreeing on a password that represents a shared secret key for communication, the sending and receiving correspondents further agreeing on a base point on an elliptic polynomial (x0,B,x1,B, . . . , xnx,B,y0,B,y1,B, . . . , yny,B)∈ECxn+ny+2, wherein ECnx+ny+2 represents the elliptic polynomial.
The sending correspondent then performs the following steps: (c) converting the password (or its image) by a selected one-way function into an equivalent scalar value kU; (d) computing a scalar multiplication of the scalar value kU with the base point (x0,B,x1,B, . . . , xnx,B,y0,B,y1,B, . . . , yny,B) as (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C)=kU(x0,B,x1,B, . . . , xnx,B,y0,B,y1,B, . . . , yny,B), wherein (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C) is a cipher point; and (e) sending appropriate bits of the x-coordinates and of the y-coordinates of the cipher point (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C) to the receiver (together with any other information needed to help recover the cipher point without sacrificing security).
The receiving correspondent then performs the following steps: (f) converting the password (or its image) by the selected one-way function into an equivalent scalar value kUS; (g) computing a scalar multiplication of the scalar value kUS with the base point (x0,B,x1,B, . . . , xnx,B,y0,B,y1,B, . . . , yny,B) as (x0,SC,x1,SC, . . . , xnx,SC,y0,SC,y1,SC, . . . , yny,SC)=kUS(x0,B,x1,B, . . . , xnx,B,y0,B,y1,B, . . . , yny,B); and comparing (x0,SC,x1,SC, . . . , xnx,SC,y0,SC,y1,SC, . . . , yny,SC) and (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C) and if (x0,SC,x1,SC, . . . , xnx,SC,y0,SC,y1,SC, . . . , yny,SC) is equal to (x0,C,x1,C, . . . , snx,C,y0,C,y1,C, . . . , yny,C) then authenticating the user, wherein if (x0,SC,x1,SC, . . . , xnx,SC,y0,SC,y1,SC, . . . , yny,SC) is not equal to (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C), then denying access.
These and other features of the present invention will become readily apparent upon further review of the following specification and drawings.



BRIEF DESCRIPTION OF THE DRAWINGS
The sole drawing FIGURE is a block diagram illustrating system components for implementing the method of generating a password protocol using elliptic polynomial cryptography according to the present invention.



DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENTS
The method of generating a password protocol using elliptic polynomial cryptography provides password protocol generation methods based on the elliptic polynomial discrete logarithm problem. It is well known that an elliptic polynomial discrete logarithm problem is a computationally “difficult” or “hard” problem.
The password protocols to be described below use elliptic polynomials in their generation, where different elliptic polynomials are used for different blocks of the same plaintext. Particularly, the password protocols use an elliptic polynomial with more than one independent x-coordinate. More specifically, a set of elliptic polynomial points are used which satisfy an elliptic polynomial equation with more than one independent x-coordinate which is defined over a finite field F having the following properties: One of the variables (the y-coordinate) has a maximum degree of two, and appears on its own in only one of the monomials; the other variables (the x-coordinates) have a maximum degree of three, and each must appear in at least one of the monomials with a degree of three; and all monomials which contain x-coordinates must have a total degree of three.
The group of points of the elliptic polynomial with the above form is defined over additions in the extended dimensional space, and, as will be described in detail below, the method makes use of elliptic polynomials where different elliptic polynomials are used for different blocks of the same plaintext.
The particular advantage of using elliptic polynomial cryptography with more than one x-coordinate is that additional x-coordinates are used to embed extra message data bits in a single elliptic point that satisfies the elliptic polynomial equation. Given that nx additional x-coordinates are used, with nx being greater than or equal to one, a resulting elliptic point has (nx+1) x-coordinates, where all coordinates are elements of the finite field F. The number of points which satisfy an elliptic polynomial equation with nx additional x-coordinates defined over F and which can be used in the corresponding cryptosystem is increased by a factor of (#F)nx, where # denotes the size of a field.
Through the use of this particular method, security is increased through the usage of different elliptic polynomials for different message blocks during the generation of a password protocol. Further, each elliptic polynomial used for each message block is selected at random, preferably using an initial value and a random number generator.
Given the form of the elliptic polynomial equation described above, the elliptic polynomial and its twist are isomorphic with respect to one another. The method uses an embedding technique, to be described in greater detail below, which allows the embedding of a bit string into the x-coordinates of an elliptic polynomial point in a deterministic and non-iterative manner when the elliptic polynomial has the above described form. This embedding method overcomes the disadvantage of the time overhead of the iterative embedding methods used in existing elliptic polynomial.
The difficulty of using conventional elliptic polynomial cryptography to develop password protocols typically lies in the iterative and non-deterministic method needed to embed a bit string into an elliptic polynomial point, which has the drawback of the number of iterations needed being different for different bit strings which are being embedded. As a consequence, different calculation times are required for different blocks of bit strings. Such a data-dependant generation time is not suitable for generating password protocols, which require data independent encryption time. Further, with regard to iterative and non-deterministic methods in conventional elliptic polynomial cryptography, given an elliptic polynomial defined over a finite field that needs N-bits for the representation of its elements, only ((nx+ny+1)N−L) bits of the message data bits can be embedded in any elliptic polynomial point.
The isomorphic relationship between an elliptic polynomial and its twist, which is obtained as a result of the given form of the elliptic polynomial equation, ensures that any bit string whose equivalent binary value is an element of the underlying finite field has a bijective relationship between the bit string and a point which is either on the elliptic polynomial or its twist. This bijective relationship allows for the development of the elliptic polynomial password protocols to be described below.
In the conventional approach to elliptic polynomial cryptography, the security of the resulting cryptosystem relies on breaking the elliptic polynomial discrete logarithm problem, which can be summarized as: given the points k(x0,B,x1,B, . . . , xnx,B,yB) and (x0,B,x1,B, . . . , xnx,B,yB), find the scalar k.
Further, projective coordinates are used at the sending and receiving entities in order to eliminate inversion or division during each point addition and doubling operation of the scalar multiplication. It should be noted that all of the elliptic polynomial cryptography-based password protocols disclosed herein are scalable.
In the following, with regard to elliptic polynomials, the “degree” of a variable ui is simply the exponent i. A polynomial is defined as the sum of several terms, which are herein referred to as “monomials”, and the total degree of a monomial uivjwk given by (i+j+k). Further, in the following, the symbol ∈ denotes set membership.
One form of the subject elliptic polynomial equation with more than one x-coordinate and one or more y-coordinates is defined as follows: the elliptic polynomial is a polynomial with more than two independent variables such that the maximum total degree of any monomial in the polynomial is three; at least two or more of the variables, termed the x-coordinates, have a maximum degree of three, and each must appear in at least one of the monomials with a degree of three; and at least one or more variables, termed the y-coordinates, have a maximum degree of two, and each must appear in at least one of the monomials with a degree of two.
Letting Snx represent the set of numbers from 0 to nx (i.e., Snx={0, . . . ,nx}), and letting Sny represents the set of numbers from 0 to ny (i.e., Sny={0, . . . ,ny}), and further setting (nx+ny)≧1, then, given a finite field, F, the following equation defined over F is one example of the polynomial described above:




  
    
      
        
          
            
              
                ∑
                
                  k
                  ∈
                  
                    
                  
                  ⁢
                  
                    S
                    ny
                  
                
              
              ⁢
              
                
                  a
                  
                    1
                    ⁢
                    k
                  
                
                ⁢
                
                  y
                  k
                  2
                
              
            
            +
            
              
                ∑
                
                  k
                  ,
                  
                    l
                    ∈
                    
                      
                    
                    ⁢
                    
                      S
                      ny
                    
                  
                  ,
                  
                    l
                    ≠
                    k
                  
                
              
              ⁢
              
                
                  a
                  
                    2
                    ⁢
                    kl
                  
                
                ⁢
                
                  y
                  k
                
                ⁢
                
                  y
                  l
                
              
            
            +
            
              
                ∑
                
                  k
                  ∈
                  
                    
                  
                  ⁢
                  
                    S
                    ny
                  
                
              
              ⁢
              
                
                  a
                  
                    3
                    ⁢
                    k
                  
                
                ⁢
                
                  y
                  k
                
              
            
            +
            
              
                ∑
                
                  k
                  ,
                  
                    l
                    ∈
                    
                      
                    
                    ⁢
                    
                      S
                      ny
                    
                  
                  ,
                  
                    i
                    ∈
                    
                      
                    
                    ⁢
                    
                      S
                      nx
                    
                  
                
              
              ⁢
              
                
                  c
                  
                    1
                    ⁢
                    kli
                  
                
                ⁢
                
                  y
                  k
                
                ⁢
                
                  y
                  l
                
                ⁢
                
                  x
                  i
                
              
            
            +
            
              
                ∑
                
                  
                    k
                    ∈
                    
                      
                    
                    ⁢
                    
                      S
                      ny
                    
                  
                  ,
                  
                    l
                    ∈
                    
                      
                    
                    ⁢
                    
                      S
                      nx
                    
                  
                
              
              ⁢
              
                
                  c
                  
                    2
                    ⁢
                    kl
                  
                
                ⁢
                
                  y
                  k
                
                ⁢
                
                  x
                  l
                
              
            
            +
            
              
                ∑
                
                  
                    k
                    ∈
                    
                      
                    
                    ⁢
                    
                      S
                      ny
                    
                  
                  ,
                  l
                  ,
                  
                    i
                    ∈
                    
                      
                    
                    ⁢
                    
                      S
                      nx
                    
                  
                
              
              ⁢
              
                
                  c
                  
                    3
                    ⁢
                    kli
                  
                
                ⁢
                
                  y
                  k
                
                ⁢
                
                  x
                  l
                
                ⁢
                
                  x
                  i
                
              
            
          
          =
          
            
              
                ∑
                
                  l
                  ∈
                  
                    
                  
                  ⁢
                  
                    S
                    nx
                  
                
              
              ⁢
              
                
                  b
                  
                    1
                    ⁢
                    l
                  
                
                ⁢
                
                  x
                  l
                  3
                
              
            
            +
            
              
                ∑
                
                  l
                  ,
                  
                    k
                    ∈
                    
                      
                    
                    ⁢
                    
                      S
                      nx
                    
                  
                  ,
                  
                    l
                    ≠
                    k
                  
                
              
              ⁢
              
                
                  b
                  
                    2
                    ⁢
                    lk
                  
                
                ⁢
                
                  x
                  l
                  2
                
                ⁢
                
                  x
                  k
                
              
            
            +
            
              
                ∑
                
                  l
                  ,
                  
                    k
                    ∈
                    
                      
                    
                    ⁢
                    
                      S
                      nx
                    
                  
                
              
              ⁢
              
                
                  b
                  
                    3
                    ⁢
                    lk
                  
                
                ⁢
                
                  x
                  l
                
                ⁢
                
                  x
                  k
                
              
            
            +
            
              
                ∑
                
                  k
                  ∈
                  
                    
                  
                  ⁢
                  
                    S
                    nx
                  
                
              
              ⁢
              
                
                  b
                  
                    4
                    ⁢
                    k
                  
                
                ⁢
                
                  x
                  k
                
              
            
            +
            
              b
              c
            
          
        
        ,
      
    
    
      
        (
        1
        )
      
    
  




where a1l,a2kl,a3k,c1lki,c2kl,c3kli,b1l,b2kl,b3lk,b4k & bc∈F.

Two possible examples of equation (1) are y02=x03+x13+x0x1 and y02+x0x1y0+y0=x03+x13+x02x1+x0x12+x0x1+x0+x1.
With regard to the use of the elliptic polynomial equation in the addition of points of an elliptic polynomial with more than one x-coordinate and one or more y-coordinates, we may examine specific coefficients a1k,a2kl,a3k,c1kli,c2kl,c3kli,b1l,b2lk,b3kl,b4k & bc∈F for F, wherein a set of points ECnx+ny+2 is defined as the (nx+ny+2)-tuple (x0,x1, . . . , xnx,y0,y1, . . . , yny), where xi,yk∈F, i∈Snx and k∈Sny. This set of points comprises solutions of F, although excluding the point (0,0, . . . , 0) and the point at infinity, (x0,I,x1,I, . . . , xnx,I,y0,I,y1,I, . . . , yny,I).
The rules for conventional elliptic polynomial point addition may be adopted to define an additive binary operation, “+”, over ECnx+ny+2, i.e., for all:

(x0,1,x1,1, . . . ,xnx,1,y0,1,y1,1, . . . ,yny,1)∈ECnx+ny+2 and

(x0,2,x1,2, . . . ,xnx,2,y0,2,y1,2, . . . ,yny,2)∈ECnx+ny+2,

the sum:

(x0,3,x1,3, . . . ,xnx,3,y0,3,y1,3, . . . ,yny,3)=(x0,1,x1,1, . . . ,xnx,1,y0,1,y1,1, . . . ,yny,1)+(x0,2,x1,2, . . . ,xnx,2,y0,2,y1,2, . . . ,yny,2)

is also:

(x0,3,x1,3, . . . ,xnx,3,y0,3,y1,3, . . . ,yny,3)∈ECnx+ny+2.

As will be described in greater detail below, (ECnx+ny+2, +) forms a pseudo-group (p-group) over addition that satisfies the following axioms:
(i) There exists a set (x0,I,x1,I, . . . , xnx,I,y0,I,y1,I, . . . , yny,I)∈ECnx+ny+2 such that:

(x0,x1, . . . ,xnx,y0,y1, . . . ,yny)+(x0,I,x1,I, . . . ,xnx,I,y0,I,y1,I, . . . ,yny,I)=(x0,x1, . . . ,xnx,y0,y1, . . . ,yny)

for all (x0,x1, . . . , xnx,y0,y1, . . . , yny)∈ECnx+ny+2;

(ii) for every set (x0,x1, . . . , xnx,y0,y1, . . . , yny)∈ECnx+ny+2, there exists an inverse set, −(x0,x1, . . . , xnx,y0,y1, . . . , yny)∈ECnx+ny+2, such that:

(x0,x1, . . . ,xnx,y0,y1, . . . ,yny)−(x0,x1, . . . ,xnx,y0,y1, . . . ,yny)=(x0,I,x1,I, . . . ,xnx,I,y0,I,y1,I, . . . ,yny,I);

(iii) the additive binary operation in (ECnx+ny+2, +) is commutative, and the p-group (ECnx+ny+2, +) forms a group over addition when:

(iv) the additive binary operation in (ECnx+ny+2, +) is associative.

Prior to a more detailed analysis of the above axioms, the concept of point equivalence must be further developed. Mappings can be used to indicate that an elliptic point represented using (nx+1) x-coordinates and (ny+1) y-coordinates, (x0,xx, . . . , xnx,y0,y1, . . . , yny), is equivalent to one or more elliptic points that satisfy the same elliptic polynomial equation, including the equivalence of an elliptic point to itself.
Points that are equivalent to one another can be substituted for each other at random, or according to certain rules during point addition and/or point doubling operations. For example, the addition of two points (x0,1,x1,1, . . . , xnx,1,y0,1,y1,1, . . . , yny,1) and (x0,2,x1,2, . . . , xnx,2,y0,2,y1,2, . . . , yny,2) is given by:

(x0,3,x1,3, . . . ,xnx,3,y0,3,y1,3, . . . ,yny,3)=(x0,1,x1,1, . . . ,xnx,1,y0,1,y1,1, . . . ,yny,1)+(x0,2,x1,2, . . . ,xnx,2,y0,2,y1,2, . . . ,yny,2).

If the point (x′′0,1,x′′1,1, . . . , x′′nx,1,y′′0,1,y′′1,1, . . . , y′′ny,1) is equivalent to the point (x0,1,x1,1, . . . , xnx,1,y0,1,y1,1, . . . , yny,1) then the former can be substituted for (x0,1,x1,1, . . . , xnx,1,y0,1,y1,1, . . . , yny,1) in the above equation in order to obtain:

(x0,3,x1,3, . . . ,xnx,3,y0,3,y1,3, . . . ,yny,3)=(x′′0,1,x′′1,1, . . . ,x′′nx,1,y′′0,1,y′′1,1, . . . ,y′′ny,1)+(x0,2,x1,2, . . . ,xnx,2,y0,2,y1,2, . . . ,yny,2).

Mappings that are used to define equivalences can be based on certain properties that exist in elliptic polynomial equations, such as symmetry between variables. As an example, we consider the point (x0,x1,y0) that satisfies the equation y02=x03+x13+x0x1. The equivalent of this point may be defined as (x1,x0,−y0).
With regard to the addition rules for (ECnx+ny+2, +), the addition operation of two points (x0,1,x1,1, . . . , xnx,1,y0,1,y1,1, . . . , yny,1)∈ECnx+ny+2 and (x0,2,x1,2, . . . , xnx,2,y0,2,y1,2, . . . , yny,2)∈ECnx+ny+2, otherwise expressed as:

(x0,3,x1,3, . . . ,xnx,3,y0,3,y1,3, . . . ,yny,3)=(x0,1,x1,1, . . . ,xnx,1,y0,1,y1,1, . . . ,yny,1)+(x0,2,x1,2, . . . ,xnx,2,y0,2,y1,2, . . . ,yny,2)

is calculated in the following manner: First, a straight line is drawn which passes through the two points to be added. The straight line intersects Enx+ny+2 at a third point, which we denote (x′0,3,x′1,3, . . . , x′nx,3,y′0,3,y′1,3, . . . , y′ny,3)∈ECnx+ny+2. The sum point is defined as (x0,3,x1,3, . . . , xnx,3,y0,3,y1,3, . . . , yny,3)=−(x′0,3,x′1,3, . . . , x′nx,3,y′0,3,y′1,3, . . . , y′ny,3).

From the above definition of the addition rule, addition over ECnx+ny+2 is commutative, that is:

(x0,1,x1,1, . . . ,xnx,1,y0,1,y1,1, . . . ,yny,1)+(x0,2,x1,2, . . . ,xnx,2,y0,2,y1,2, . . . ,yny,2)=(x0,2,x1,2, . . . ,xnx,2,y0,2,y1,2, . . . ,yny,2)+(x0,1,x1,1, . . . ,xnx,1,y0,1,y1,1, . . . ,yny,1)

for all (x0,1,x1,1, . . . , xnx,1,y0,1,y1,1, . . . , yny,1)ΕEXnx+ny+2 and for all (x0,2,x1,2, . . . , xnx,2,y0,2,y1,2, . . . , yny,2)∈ECnx+ny+2. This commutivity satisfies axiom (iii) above.

There are two primary cases that need to be considered for the computation of point addition for (ECnx+ny+2, +): (A) for at least one j∈Snx, xj,1≠xj,2; and (B) for all j∈Snx, xj,1=xj,2=xj,0. Case B includes three sub-cases:

    
    
        i. for all k∈Snyyk,1=yk,2, that is:

(x0,1,x1,1, . . . ,xnx,1,y0,1,y1,1, . . . ,yny,1)=(x0,2,x1,2, . . . ,xnx,2,y0,2,y1,2, . . . ,yny,2),

which corresponds to point doubling;

        ii. for k∈Sny & k≠0, yk,1=yk,2, and where y0,1 & y0,2 are the roots of the following quadratic equation in y0:
    
    






  
    
      
        
          a
          10
        
        ⁢
        
          y
          0
          2
        
      
      +
      
        
          ∑
          
            
              k
              ∈
              
                
              
              ⁢
              
                S
                ny
              
            
            ,
            
              k
              ≠
              0
            
          
        
        ⁢
        
          
            a
            
              1
              ⁢
              k
            
          
          ⁢
          
            y
            
              k
              ,
              1
            
            2
          
        
      
      +
      
        
          y
          0
        
        ⁢
        
          {
          
            
              
                ∑
                
                  
                    k
                    ∈
                    
                      
                    
                    ⁢
                    
                      S
                      ny
                    
                  
                  ,
                  
                    k
                    ≠
                    0
                  
                
              
              ⁢
              
                
                  a
                  
                    2
                    ⁢
                    k
                    ⁢
                    
                      
                    
                    ⁢
                    0
                  
                
                ⁢
                
                  y
                  
                    k
                    ,
                    1
                  
                
              
            
            +
            
              
                ∑
                
                  
                    l
                    ∈
                    
                      
                    
                    ⁢
                    
                      S
                      ny
                    
                  
                  ,
                  
                    l
                    ≠
                    0
                  
                
              
              ⁢
              
                
                  a
                  
                    20
                    ⁢
                    l
                  
                
                ⁢
                
                  y
                  
                    l
                    ,
                    1
                  
                
              
            
          
          }
        
      
      +
      
        
          ∑
          
            k
            ,
            
              l
              ∈
              
                
              
              ⁢
              
                S
                ny
              
            
            ,
            
              l
              ≠
              k
            
            ,
            
              
                
                  l
                  &
                
                ⁢
                k
              
              ≠
              0
            
          
        
        ⁢
        
          
            a
            
              2
              ⁢
              kl
            
          
          ⁢
          
            y
            
              k
              ,
              1
            
          
          ⁢
          
            y
            
              l
              ,
              1
            
          
        
      
      +
      
        
          a
          30
        
        ⁢
        
          y
          0
        
      
      +
      
        
          ∑
          
            
              k
              ∈
              
                
              
              ⁢
              
                S
                ny
              
            
            ,
            
              k
              ≠
              0
            
          
        
        ⁢
        
          
            a
            
              3
              ⁢
              k
            
          
          ⁢
          
            y
            
              k
              ,
              1
            
          
        
      
      +
      
        
          y
          0
          2
        
        ⁢
        
          
            ∑
            
              i
              ∈
              
                
              
              ⁢
              
                S
                nx
              
            
          
          ⁢
          
            
              c
              
                100
                ⁢
                i
              
            
            ⁢
            
              x
              
                i
                ,
                1
              
            
          
        
      
      +
      
        
          y
          0
        
        ⁢
        
          {
          
            
              
                ∑
                
                  
                    k
                    ∈
                    
                      
                    
                    ⁢
                    
                      S
                      ny
                    
                  
                  ,
                  
                    i
                    ∈
                    
                      
                    
                    ⁢
                    
                      S
                      nx
                    
                  
                
              
              ⁢
              
                
                  c
                  
                    1
                    ⁢
                    k
                    ⁢
                    
                      
                    
                    ⁢
                    0
                    ⁢
                    i
                  
                
                ⁢
                
                  y
                  
                    k
                    ,
                    1
                  
                
                ⁢
                
                  x
                  
                    i
                    ,
                    1
                  
                
              
            
            +
            
              
                ∑
                
                  
                    l
                    ∈
                    
                      
                    
                    ⁢
                    
                      S
                      ny
                    
                  
                  ,
                  
                    i
                    ∈
                    
                      
                    
                    ⁢
                    
                      S
                      nx
                    
                  
                
              
              ⁢
              
                
                  c
                  
                    10
                    ⁢
                    
                      
                    
                    ⁢
                    li
                  
                
                ⁢
                
                  y
                  
                    l
                    ,
                    1
                  
                
                ⁢
                
                  x
                  
                    i
                    ,
                    1
                  
                
              
            
          
          }
        
      
      +
      
        
          ∑
          
            k
            ,
            
              l
              ∈
              
                
              
              ⁢
              
                S
                ny
              
            
            ,
            
              
                
                  l
                  &
                
                ⁢
                k
              
              ≠
              0
            
            ,
            
              i
              ∈
              
                
              
              ⁢
              
                S
                nx
              
            
          
        
        ⁢
        
          
            c
            
              1
              ⁢
              
                
              
              ⁢
              kli
            
          
          ⁢
          
            y
            
              k
              ,
              1
            
          
          ⁢
          
            y
            
              l
              ,
              1
            
          
          ⁢
          
            x
            
              i
              ,
              1
            
          
        
      
      +
      
        
          y
          0
        
        ⁢
        
          
            ∑
            
              l
              ∈
              
                
              
              ⁢
              
                S
                nx
              
            
          
          ⁢
          
            
              c
              
                20
                ⁢
                
                  
                
                ⁢
                l
              
            
            ⁢
            
              x
              
                l
                ,
                1
              
            
          
        
      
      +
      
        
          ∑
          
            
              k
              ∈
              
                
              
              ⁢
              
                S
                ny
              
            
            ,
            
              k
              ≠
              0
            
            ,
            
              l
              ∈
              
                
              
              ⁢
              
                S
                nx
              
            
          
        
        ⁢
        
          
            c
            
              2
              ⁢
              
                
              
              ⁢
              kl
            
          
          ⁢
          
            y
            
              k
              ,
              1
            
          
          ⁢
          
            x
            
              l
              ,
              1
            
          
        
      
      +
      
        
          y
          0
        
        ⁢
        
          
            ∑
            
              l
              ,
              
                i
                ∈
                
                  
                
                ⁢
                
                  S
                  nx
                
              
            
          
          ⁢
          
            
              c
              
                30
                ⁢
                li
              
            
            ⁢
            
              x
              
                l
                ,
                1
              
            
            ⁢
            
              x
              
                i
                ,
                1
              
            
          
        
      
      +
      
        
          ∑
          
            
              k
              ∈
              
                
              
              ⁢
              
                S
                ny
              
            
            ,
            
              k
              ≠
              0
            
            ,
            l
            ,
            
              i
              ∈
              
                
              
              ⁢
              
                S
                nx
              
            
          
        
        ⁢
        
          
            c
            
              3
              ⁢
              kli
            
          
          ⁢
          
            y
            
              k
              ,
              1
            
          
          ⁢
          
            x
            
              l
              ,
              1
            
          
          ⁢
          
            x
            
              i
              ,
              1
            
          
        
      
    
    =
    
      
        
          ∑
          
            l
            ∈
            
              
            
            ⁢
            
              S
              nx
            
          
        
        ⁢
        
          
            b
            
              1
              ⁢
              l
            
          
          ⁢
          
            x
            
              l
              ,
              1
            
            3
          
        
      
      +
      
        
          ∑
          
            l
            ,
            
              k
              ∈
              
                
              
              ⁢
              
                S
                nx
              
            
            ,
            
              l
              ≠
              k
            
          
        
        ⁢
        
          
            b
            
              2
              ⁢
              
                
              
              ⁢
              lk
            
          
          ⁢
          
            x
            
              l
              ,
              1
            
            2
          
          ⁢
          
            x
            
              k
              ,
              1
            
          
        
      
      +
      
        
          ∑
          
            l
            ,
            
              k
              ∈
              
                
              
              ⁢
              
                S
                nx
              
            
          
        
        ⁢
        
          
            b
            
              3
              ⁢
              lk
            
          
          ⁢
          
            x
            
              l
              ,
              1
            
          
          ⁢
          
            x
            
              k
              ,
              1
            
          
        
      
      +
      
        
          ∑
          
            k
            ∈
            
              
            
            ⁢
            
              S
              nx
            
          
        
        ⁢
        
          
            b
            
              4
              ⁢
              k
            
          
          ⁢
          
            x
            
              k
              ,
              1
            
          
        
      
      +
      
        b
        c
      
    
  
  ,




which corresponds to point inverse; and

    
    
        iii. all other conditions except those in Cases B.i and B.ii. This case occurs only when ny is greater than or equal to one.
    
    


For Case A, for at least one j∈Snxxj,1≠xj,2, a straight line in (nx+ny+2)-dimensional space is defined by




  
    
      
        
          y
          k
        
        -
        
          y
          
            k
            ,
            1
          
        
      
      
        
          y
          
            k
            ,
            2
          
        
        -
        
          y
          
            k
            ,
            1
          
        
      
    
    =
    
      
        
          x
          j
        
        -
        
          x
          
            j
            ,
            1
          
        
      
      
        
          x
          
            j
            ,
            2
          
        
        -
        
          x
          
            j
            ,
            1
          
        
      
    
  
  ,




k∈Sny and j∈Snx and





  
    
      
        
          x
          i
        
        -
        
          x
          
            i
            ,
            1
          
        
      
      
        
          x
          
            i
            ,
            2
          
        
        -
        
          x
          
            i
            ,
            1
          
        
      
    
    =
    
      
        
          x
          j
        
        -
        
          x
          
            j
            ,
            1
          
        
      
      
        
          x
          
            j
            ,
            2
          
        
        -
        
          x
          
            j
            ,
            1
          
        
      
    
  
  ,




i≠j,i∈Snx.

For this case, yk=mykxj+cyk, where




  
    m
    yk
  
  =
  
    
      
        y
        
          k
          ,
          2
        
      
      -
      
        y
        
          k
          ,
          1
        
      
    
    
      
        x
        
          j
          ,
          2
        
      
      -
      
        x
        
          j
          ,
          1
        
      
    
  




and cyk=yk,1−xj,1myk. Further, xi=mxixj+cxi, where





  
    m
    xi
  
  =
  
    
      
        x
        
          i
          ,
          2
        
      
      -
      
        x
        
          i
          ,
          1
        
      
    
    
      
        x
        
          j
          ,
          2
        
      
      -
      
        x
        
          j
          ,
          1
        
      
    
  




and cxi=xi,1−xj,1mxi. Equation (1) can then be re-written as:





  
    
      
        
          ∑
          
            k
            ∈
            
              
            
            ⁢
            
              S
              ny
            
          
        
        ⁢
        
          
            a
            
              1
              ⁢
              k
            
          
          ⁢
          
            y
            k
            2
          
        
      
      +
      
        
          ∑
          
            k
            ,
            
              l
              ∈
              
                
              
              ⁢
              
                S
                ny
              
            
            ,
            
              l
              ≠
              k
            
          
        
        ⁢
        
          
            a
            
              2
              ⁢
              kl
            
          
          ⁢
          
            y
            k
          
          ⁢
          
            y
            l
          
        
      
      +
      
        
          ∑
          
            k
            ∈
            
              
            
            ⁢
            
              S
              ny
            
          
        
        ⁢
        
          
            a
            
              3
              ⁢
              k
            
          
          ⁢
          
            y
            k
          
        
      
      +
      
        
          x
          j
        
        ⁢
        
          
            ∑
            
              k
              ,
              
                l
                ∈
                
                  
                
                ⁢
                
                  S
                  ny
                
              
            
          
          ⁢
          
            
              c
              
                1
                ⁢
                
                  
                
                ⁢
                klj
              
            
            ⁢
            
              y
              k
            
            ⁢
            
              y
              l
            
          
        
      
      +
      
        
          ∑
          
            k
            ,
            
              l
              ∈
              
                
              
              ⁢
              
                S
                ny
              
            
            ,
            
              i
              ∈
              
                
              
              ⁢
              
                S
                nx
              
            
            ,
            
              i
              ≠
              j
            
          
        
        ⁢
        
          
            c
            
              1
              ⁢
              kli
            
          
          ⁢
          
            y
            k
          
          ⁢
          
            y
            l
          
          ⁢
          
            x
            i
          
        
      
      +
      
        
          x
          j
        
        ⁢
        
          
            ∑
            
              k
              ∈
              
                
              
              ⁢
              
                S
                ny
              
            
          
          ⁢
          
            
              c
              
                2
                ⁢
                kj
              
            
            ⁢
            
              y
              k
            
          
        
      
      +
      
        
          ∑
          
            
              k
              ∈
              
                
              
              ⁢
              
                S
                ny
              
            
            ,
            
              l
              ∈
              
                S
                nx
              
            
            ,
            
              l
              ≠
              j
            
          
        
        ⁢
        
          
            c
            
              2
              ⁢
              kl
            
          
          ⁢
          
            y
            k
          
          ⁢
          
            x
            l
          
        
      
      +
      
        
          x
          j
          2
        
        ⁢
        
          
            ∑
            
              k
              ∈
              
                
              
              ⁢
              
                S
                ny
              
            
          
          ⁢
          
            
              c
              
                3
                ⁢
                kjj
              
            
            ⁢
            
              y
              k
            
          
        
      
      +
      
        
          x
          j
        
        ⁢
        
          
            ∑
            
              
                k
                ∈
                
                  
                
                ⁢
                
                  S
                  ny
                
              
              ,
              
                l
                ∈
                
                  
                
                ⁢
                
                  S
                  nx
                
              
              ,
              
                l
                ≠
                j
              
            
          
          ⁢
          
            
              c
              
                3
                ⁢
                klj
              
            
            ⁢
            
              y
              k
            
            ⁢
            
              x
              l
            
          
        
      
      +
      
        
          x
          j
        
        ⁢
        
          
            ∑
            
              
                k
                ∈
                
                  
                
                ⁢
                
                  S
                  ny
                
              
              ,
              
                i
                ∈
                
                  
                
                ⁢
                
                  S
                  nx
                
              
              ,
              
                i
                ≠
                j
              
            
          
          ⁢
          
            
              c
              
                3
                ⁢
                kji
              
            
            ⁢
            
              y
              k
            
            ⁢
            
              x
              i
            
          
        
      
      +
      
        
          ∑
          
            
              k
              ∈
              
                
              
              ⁢
              
                S
                ny
              
            
            ,
            l
            ,
            
              i
              ∈
              
                
              
              ⁢
              
                S
                nx
              
            
            ,
            
              
                
                  l
                  &
                
                ⁢
                i
              
              ≠
              j
            
          
        
        ⁢
        
          
            c
            
              3
              ⁢
              kli
            
          
          ⁢
          
            y
            k
          
          ⁢
          
            x
            l
          
          ⁢
          
            x
            i
          
        
      
    
    =
    
      
        
          b
          
            1
            ⁢
            j
          
        
        ⁢
        
          x
          j
          3
        
      
      +
      
        
          ∑
          
            
              l
              ∈
              
                
              
              ⁢
              
                S
                nx
              
            
            ,
            
              l
              ≠
              j
            
          
        
        ⁢
        
          
            b
            
              1
              ⁢
              l
            
          
          ⁢
          
            x
            l
            3
          
        
      
      +
      
        
          x
          j
          2
        
        ⁢
        
          
            ∑
            
              
                k
                ∈
                
                  
                
                ⁢
                
                  S
                  nx
                
              
              ,
              
                k
                ≠
                j
              
            
          
          ⁢
          
            
              b
              
                2
                ⁢
                jk
              
            
            ⁢
            
              x
              k
            
          
        
      
      +
      
        
          x
          j
        
        ⁢
        
          
            ∑
            
              
                l
                ∈
                
                  
                
                ⁢
                
                  S
                  nx
                
              
              ,
              
                l
                ≠
                j
              
            
          
          ⁢
          
            
              b
              
                2
                ⁢
                lj
              
            
            ⁢
            
              x
              l
              2
            
          
        
      
      +
      
        
          ∑
          
            l
            ,
            
              k
              ∈
              
                
              
              ⁢
              
                S
                nx
              
            
            ,
            l
            ,
            
              k
              ≠
              j
            
            ,
            
              l
              ≠
              k
            
          
        
        ⁢
        
          
            b
            
              2
              ⁢
              lk
            
          
          ⁢
          
            x
            l
            2
          
          ⁢
          
            x
            k
          
        
      
      +
      
        
          b
          
            3
            ⁢
            jj
          
        
        ⁢
        
          x
          j
          2
        
      
      +
      
        
          x
          j
        
        ⁢
        
          
            ∑
            
              
                k
                ∈
                
                  
                
                ⁢
                
                  S
                  nx
                
              
              ,
              
                k
                ≠
                j
              
            
          
          ⁢
          
            
              b
              
                3
                ⁢
                jk
              
            
            ⁢
            
              x
              k
            
          
        
      
      +
      
        
          x
          j
        
        ⁢
        
          
            ∑
            
              
                l
                ∈
                
                  
                
                ⁢
                
                  S
                  nx
                
              
              ,
              
                l
                ≠
                j
              
            
          
          ⁢
          
            
              b
              
                3
                ⁢
                lj
              
            
            ⁢
            
              x
              l
            
          
        
      
      +
      
        
          ∑
          
            l
            ,
            
              k
              ∈
              
                
              
              ⁢
              
                S
                nx
              
            
            ,
            l
            ,
            
              k
              ≠
              j
            
          
        
        ⁢
        
          
            b
            
              3
              ⁢
              lk
            
          
          ⁢
          
            x
            l
          
          ⁢
          
            x
            k
          
        
      
      +
      
        
          b
          
            4
            ⁢
            j
          
        
        ⁢
        
          x
          j
        
      
      +
      
        
          ∑
          
            
              k
              ∈
              
                
              
              ⁢
              
                S
                nx
              
            
            ,
            
              k
              ≠
              j
            
          
        
        ⁢
        
          
            b
            
              4
              ⁢
              k
            
          
          ⁢
          
            x
            k
          
        
      
      +
      
        b
        c
      
    
  
  ,




and substitution of the above into the rewritten equation (1) for yk, k∈Sny and xi, i∈Snx & i≠j, results in:





  
    
      
        ∑
        
          k
          ∈
          
            
          
          ⁢
          
            S
            ny
          
        
      
      ⁢
      
        
          
            a
            
              1
              ⁢
              k
            
          
          ⁡
          
            (
            
              
                
                  m
                  yk
                
                ⁢
                
                  x
                  j
                
              
              +
              
                c
                jk
              
            
            )
          
        
        2
      
    
    +
    
      
        ∑
        
          k
          ,
          
            l
            ∈
            
              
            
            ⁢
            
              S
              ny
            
          
          ,
          
            l
            ≠
            k
          
        
      
      ⁢
      
        
          
            a
            
              2
              ⁢
              kl
            
          
          ⁡
          
            (
            
              
                
                  m
                  jk
                
                ⁢
                
                  x
                  j
                
              
              +
              
                c
                yk
              
            
            )
          
        
        ⁢
        
          (
          
            
              
                m
                yl
              
              ⁢
              
                x
                j
              
            
            +
            
              c
              yl
            
          
          )
        
      
    
    +
    
      
        ∑
        
          k
          ∈
          
            
          
          ⁢
          
            S
            ny
          
        
      
      ⁢
      
        
          a
          
            3
            ⁢
            k
          
        
        ⁡
        
          (
          
            
              
                m
                yk
              
              ⁢
              
                x
                j
              
            
            +
            
              c
              yk
            
          
          )
        
      
    
    +
    
      
        x
        j
      
      ⁢
      
        
          ∑
          
            k
            ,
            
              l
              ∈
              
                
              
              ⁢
              
                S
                ny
              
            
          
        
        ⁢
        
          
            
              c
              
                1
                ⁢
                klj
              
            
            ⁡
            
              (
              
                
                  
                    m
                    yk
                  
                  ⁢
                  
                    x
                    j
                  
                
                +
                
                  c
                  yk
                
              
              )
            
          
          ⁢
          
            (
            
              
                
                  m
                  yl
                
                ⁢
                
                  x
                  j
                
              
              +
              
                c
                yl
              
            
            )
          
        
      
    
    +
    
      
        ∑
        
          k
          ,
          
            l
            ∈
            
              
            
            ⁢
            
              S
              ny
            
          
          ,
          
            i
            ∈
            
              
            
            ⁢
            
              S
              nx
            
          
          ,
          
            i
            ≠
            j
          
        
      
      ⁢
      
        
          
            c
            
              1
              ⁢
              kli
            
          
          ⁡
          
            (
            
              
                
                  m
                  yk
                
                ⁢
                
                  x
                  j
                
              
              +
              
                c
                yk
              
            
            )
          
        
        ⁢
        
          (
          
            
              
                m
                yl
              
              ⁢
              
                x
                j
              
            
            +
            
              c
              yl
            
          
          )
        
        ⁢
        
          (
          
            
              
                m
                xi
              
              ⁢
              
                x
                j
              
            
            +
            
              c
              xi
            
          
          )
        
      
    
    +
    
      
        x
        j
      
      ⁢
      
        
          ∑
          
            k
            ∈
            
              
            
            ⁢
            
              S
              ny
            
          
        
        ⁢
        
          
            c
            
              2
              ⁢
              kj
            
          
          ⁡
          
            (
            
              
                
                  m
                  yk
                
                ⁢
                
                  x
                  j
                
              
              +
              
                c
                yk
              
            
            )
          
        
      
    
    +
    
      
        ∑
        
          
            k
            ∈
            
              
            
            ⁢
            
              S
              ny
            
          
          ,
          
            l
            ∈
            
              
            
            ⁢
            
              S
              nx
            
          
          ,
          
            l
            ≠
            j
          
        
      
      ⁢
      
        
          
            c
            
              2
              ⁢
              kl
            
          
          ⁡
          
            (
            
              
                
                  m
                  yk
                
                ⁢
                
                  x
                  j
                
              
              +
              
                c
                yk
              
            
            )
          
        
        ⁢
        
          (
          
            
              
                m
                xl
              
              ⁢
              
                x
                j
              
            
            +
            
              c
              xl
            
          
          )
        
      
    
    +
    
      
        x
        j
        2
      
      ⁢
      
        
          ∑
          
            k
            ∈
            
              
            
            ⁢
            
              S
              ny
            
          
        
        ⁢
        
          
            c
            
              3
              ⁢
              
                
              
              ⁢
              kjj
            
          
          ⁡
          
            (
            
              
                
                  m
                  yk
                
                ⁢
                
                  x
                  j
                
              
              +
              
                c
                yk
              
            
            )
          
        
      
    
    +
    
      
        x
        j
      
      ⁢
      
        
          ∑
          
            
              k
              ∈
              
                
              
              ⁢
              
                S
                ny
              
            
            ,
            
              l
              ∈
              
                
              
              ⁢
              
                S
                nx
              
            
            ,
            
              l
              ≠
              j
            
          
        
        ⁢
        
          
            
              c
              
                3
                ⁢
                klj
              
            
            ⁡
            
              (
              
                
                  
                    m
                    yk
                  
                  ⁢
                  
                    x
                    j
                  
                
                +
                
                  c
                  yk
                
              
              )
            
          
          ⁢
          
            (
            
              
                
                  m
                  xl
                
                ⁢
                
                  x
                  j
                
              
              +
              
                c
                xl
              
            
            )
          
        
      
    
    +
    
      
        x
        j
      
      ⁢
      
        
          ∑
          
            
              k
              ∈
              
                
              
              ⁢
              
                S
                ny
              
            
            ,
            
              i
              ∈
              
                
              
              ⁢
              
                S
                nx
              
            
            ,
            
              i
              ≠
              j
            
          
        
        ⁢
        
          
            
              c
              
                3
                ⁢
                kji
              
            
            ⁡
            
              (
              
                
                  
                    m
                    yk
                  
                  ⁢
                  
                    x
                    j
                  
                
                +
                
                  c
                  yk
                
              
              )
            
          
          ⁢
          
            (
            
              
                
                  m
                  xi
                
                ⁢
                
                  x
                  j
                
              
              +
              
                c
                xi
              
            
            )
          
        
      
    
    +
    
      
        ∑
        
          
            k
            ∈
            
              
            
            ⁢
            
              S
              ny
            
          
          ,
          l
          ,
          
            i
            ∈
            
              
            
            ⁢
            
              S
              nx
            
          
          ,
          
            
              
                l
                &
              
              ⁢
              i
            
            ≠
            j
          
        
      
      ⁢
      
        
          
            c
            
              3
              ⁢
              kli
            
          
          ⁡
          
            (
            
              
                
                  m
                  yk
                
                ⁢
                
                  x
                  j
                
              
              +
              
                c
                yk
              
            
            )
          
        
        ⁢
        
          (
          
            
              
                m
                xl
              
              ⁢
              
                x
                j
              
            
            +
            
              c
              xl
            
          
          )
        
        ⁢
        
          (
          
            
              
                m
                xi
              
              ⁢
              
                x
                j
              
            
            +
            
              c
              xi
            
          
          )
        
      
    
  
  =
  
    
      
        b
        
          1
          ⁢
          j
        
      
      ⁢
      
        x
        j
        3
      
    
    +
    
      
        ∑
        
          
            l
            ∈
            
              
            
            ⁢
            
              S
              nx
            
          
          ,
          
            l
            ≠
            j
          
        
      
      ⁢
      
        
          
            b
            
              1
              ⁢
              l
            
          
          ⁡
          
            (
            
              
                
                  m
                  xl
                
                ⁢
                
                  x
                  j
                
              
              +
              
                c
                l
              
            
            )
          
        
        3
      
    
    +
    
      
        x
        j
        2
      
      ⁢
      
        
          ∑
          
            
              k
              ∈
              
                
              
              ⁢
              
                S
                nx
              
            
            ,
            
              k
              ≠
              j
            
          
        
        ⁢
        
          
            b
            
              2
              ⁢
              jk
            
          
          ⁡
          
            (
            
              
                
                  m
                  xk
                
                ⁢
                
                  x
                  j
                
              
              +
              
                c
                xk
              
            
            )
          
        
      
    
    +
    
      
        x
        j
      
      ⁢
      
        
          ∑
          
            
              l
              ∈
              
                
              
              ⁢
              
                S
                nx
              
            
            ,
            
              l
              ≠
              j
            
          
        
        ⁢
        
          
            
              b
              
                2
                ⁢
                lj
              
            
            ⁡
            
              (
              
                
                  
                    m
                    xl
                  
                  ⁢
                  
                    x
                    j
                  
                
                +
                
                  c
                  xl
                
              
              )
            
          
          2
        
      
    
    +
    
      
        ∑
        
          l
          ,
          
            k
            ∈
            
              
            
            ⁢
            
              S
              nx
            
          
          ,
          
            
              
                l
                &
              
              ⁢
              k
            
            ≠
            j
          
          ,
          
            l
            ≠
            k
          
        
      
      ⁢
      
        
          
            
              b
              
                2
                ⁢
                lk
              
            
            ⁡
            
              (
              
                
                  
                    m
                    xl
                  
                  ⁢
                  
                    x
                    j
                  
                
                +
                
                  c
                  xl
                
              
              )
            
          
          2
        
        ⁢
        
          (
          
            
              
                m
                xk
              
              ⁢
              
                x
                j
              
            
            +
            
              c
              xk
            
          
          )
        
      
    
    +
    
      
        b
        
          3
          ⁢
          jj
        
      
      ⁢
      
        x
        j
        2
      
    
    +
    
      
        x
        j
      
      ⁢
      
        
          ∑
          
            
              k
              ∈
              
                
              
              ⁢
              
                S
                nx
              
            
            ,
            
              k
              ≠
              j
            
          
        
        ⁢
        
          
            b
            
              3
              ⁢
              jk
            
          
          ⁡
          
            (
            
              
                
                  m
                  xk
                
                ⁢
                
                  x
                  j
                
              
              +
              
                c
                xk
              
            
            )
          
        
      
    
    +
    
      
        x
        j
      
      ⁢
      
        
          ∑
          
            l
            ,
            
              k
              ∈
              
                
              
              ⁢
              
                S
                nx
              
            
            ,
            
              l
              ≠
              j
            
          
        
        ⁢
        
          
            b
            
              3
              ⁢
              lj
            
          
          ⁡
          
            (
            
              
                
                  m
                  xl
                
                ⁢
                
                  x
                  j
                
              
              +
              
                c
                xl
              
            
            )
          
        
      
    
    +
    
      
        ∑
        
          l
          ,
          
            k
            ∈
            
              
            
            ⁢
            
              S
              nx
            
          
          ,
          
            
              
                l
                &
              
              ⁢
              k
            
            ≠
            j
          
        
      
      ⁢
      
        
          
            b
            
              3
              ⁢
              lk
            
          
          ⁡
          
            (
            
              
                
                  m
                  xl
                
                ⁢
                
                  x
                  j
                
              
              +
              
                c
                xl
              
            
            )
          
        
        ⁢
        
          (
          
            
              
                m
                xk
              
              ⁢
              
                x
                j
              
            
            +
            
              c
              xk
            
          
          )
        
      
    
    +
    
      
        b
        
          4
          ⁢
          j
        
      
      ⁢
      
        x
        
          j
          +
        
      
      ⁢
      
        
          ∑
          
            
              k
              ∈
              
                
              
              ⁢
              
                S
                nx
              
            
            ,
            
              k
              ≠
              j
            
          
        
        ⁢
        
          
            a
            
              6
              ⁢
              
                
              
              ⁢
              k
            
          
          ⁡
          
            (
            
              
                
                  m
                  xk
                
                ⁢
                
                  x
                  j
                
              
              +
              
                c
                xk
              
            
            )
          
        
      
    
    +
    
      b
      c
    
  




Expanding the terms in the above equation leads to a cubic equation of the form xj, C3xj3+C2xj2+C1xj=0, where C3,C2,C1 & C0 are obtained from the above equation.
Assuming C3≠0, the above cubic equation in xj has three roots xj,1,xj,2, & x′j,3 and can be written as (xj−xj,1)(xj−xj,2)(xj−x′j,3)=0. Normalizing by the coefficient of x3 and equating the coefficients of x2 in the resulting equation with that in (xj−xj,1)(xj−xj,2)(xj−x′j,3)=0, one obtains a solution for x′j,3;




  
    
      
        
          x
          
            j
            ,
            3
          
          ′
        
        =
        
          
            
              -
              
                C
                2
              
            
            
              C
              3
            
          
          -
          
            x
            
              j
              ,
              1
            
          
          -
          
            
              x
              
                j
                ,
                2
              
            
            .
          
        
      
    
    
      
        (
        2
        )
      
    
  




The values of y′k,3,k∈Sny, and x′i,3, i∈Snx & i≠j, may be similarly obtained from equations for xj=x′j,3.

For cases where C3=0, C3xj3+C2xj2+C1xj+C0=0 becomes a quadratic equation. Such quadratic equations may be used in the definition of point equivalences.
With regard to Case B for all j∈Snx, xj,1=xj,2, the three sub-cases are considered below. In all cases, xj,0 is defined as xj,0=xj,1=xj,2, j∈Snx.
For Case B.i., all k∈Sny, yk,1=yk,2, which corresponds to point doubling. In this case, (x0,1,x1,1, . . . , xnx,1,y0,1,y1,1, . . . , yny,1)=(x0,2,x1,2, . . . , xnx,2,y0,2, . . . , yny,2). Letting:

(x0,o,x1,o, . . . ,xnx,o,y0,o,y1,o, . . . ,yny,o)=(x0,1,x1,1, . . . ,xnx,1,y0,1,y1,1, . . . ,yny,1)=(x0,2,x1,2, . . . ,xnx,2,y0,2,y1,2, . . . ,yny,2)

the sum is written as

(x0,3,x1,3, . . . ,xnx,3,y0,3,y1,3, . . . ,yny,3)=(x0,o,x1,o, . . . ,xnx,o,y0,o,y1,o, . . . ,yny,o)+(x0,o,x1,o, . . . ,xnx,o,y0,o,y1,o, . . . ,yny,o)  (3)

There are several ways of defining the addition in this case. Three possible rules are described below. Case B.i.1: Letting Snx,Lx denote a subset of Snx with Lx elements, i.e., Snx,Lx⊂Snx; letting Sny,Ly denote a subset of Sny with Ly elements and which does not include the element 0; i.e. Sny,Ly⊂Sny and 0∉Sny,Ly; setting the value of Lx and Ly as at least one, then the straight line in this case can be defined as a tangent to the point (x0,o,x1,o, . . . , xnx,o,y0,o,y1,o, . . . , yny,o) defined in a sub-dimensinal space with coordinates yn and xm with n∈Sny,Ly and m∈Sny,Lx.
In this case, the gradients myn and mxm of the straight line to be used in equation (2) are essentially the first derivatives of yn and xm, n∈Sny,Ly and m∈Snx,Lx, for F with respect to xj, j∈Snx,Lx, i.e.,




  
    m
    yn
  
  =
  
    
      
        
          d
          
            y
            n
          
        
        
          d
          
            x
            j
          
        
      
      ⁢
      
        
      
      ⁢
      and
      ⁢
      
        
      
      ⁢
      
        m
        xn
      
    
    =
    
      
        
          d
          
            x
            m
          
        
        
          d
          
            x
            j
          
        
      
      .
    
  




Using these derivatives for the values of the gradients,




  
    
      m
      yn
    
    =
    
      
        d
        
          y
          n
        
      
      
        d
        
          x
          j
        
      
    
  
  ,




where n∈Sny,Ly, and





  
    
      m
      xn
    
    =
    
      
        d
        
          x
          m
        
      
      
        d
        
          x
          j
        
      
    
  
  ,




where m∈Snx,Lx, in equation (2) and noting that it is assumed that





  
    
      
        d
        
          x
          m
        
      
      
        d
        
          x
          j
        
      
    
    =
    0
  
  ,




for m∈(Snx−Snx,Lx) and





  
    
      
        d
        
          y
          n
        
      
      
        d
        
          x
          j
        
      
    
    =
    0
  
  ,




for n∈(Sny−Sny,Lx), then a solution for x′j,3 may be obtained.

The values of y′n,3 for n∈Sny and x′m,3, for m∈Snx & m≠j, can further be obtained for xj=x′j,3. The choice of the xm-coordinates, m∈Snx,Lx, and yn-coordinates, n∈Sny,Ly, which can be used to compute the tangent of the straight line in this case may be chosen at random or according to a pre-defined rule. Further, a different choice of the xm-coordinates, m∈Snx,Ly, and yn-coordinates, n∈Sny,Ly, may be made when one needs to compute successive point doublings, such as that needed in scalar multiplication.
With regard to the next case, Case B.i.2, the second possible way of defining the addition of a point with itself is to apply a sequence of the point doublings according to the rule defined above in Case B.i.1, where the rule is applied with a different selection of the x-coordinate(s) and y-coordinates(s) in each step of this sequence.
In the third sub-case, Case B.i.3, a point is substituted with one of its equivalents. Letting (x0,oe,x1,oe, . . . , xnx,oe,y0,oe,y1,oe, . . . , yny,oe) represent the equivalent point of (x0,o,x1,o, . . . , xnx,o,y0,o,y1,o, . . . , yny,o), then equation (3) may be written as:

(x0,3,x1,3, . . . ,xnx,3,y0,3,y1,3, . . . ,yny,3)=(x0,o,x1,0, . . . ,xnx,o,y0,o,y1,o, . . . ,yny,o)+(x0,oe,x1,oe, . . . ,xnx,oe,y0,oe,y1,oe, . . . ,yny,oe)

With regard to Case B.ii, for k∈Sny & k≠0, yk,1=yk,2, and where y0,1 & y0,2 are the roots of the quadratic equation in y0, this case corresponds to generation of the point inverse.
Letting yk,1=yk,2=yk,o for k∈Sny & k≠0, then any two points, such as the point (x0,o,x1,o, . . . , xnx,o,y0,1,y1,o, . . . , yny,o)∈ECnx+ny+2 and the point (x0,o,x1,o, . . . , xnx,o,y0,2,y1,o, . . . , yny,o)∈ECnx+ny+2, are in the hyper-plane with xi=xi,o, i∈Snx and yk=yk,o, k∈Sny & k≠0. Thus, any straight line joining these two points such that (x0,o,x1,o, . . . , xnx,o,y0,1,y1,o, . . . , yny,o)≠(x0,o,x1,o, . . . , xnx,o,y0,2,y1,o, . . . , yny,o) is also in this hyper-plane.
Substituting the values of x0,o,x1,o, . . . , xnx,o,y1,o, . . . , & yny,o in an elliptic polynomial equation with multiple x-coordinates and multiple y-coordinates, a quadratic equation for y0 is obtained, as given above. Thus, y0 has only two solutions, y0,1 & y0,2.
Thus, a line joining points (x0,o,x1,o, . . . , xnx,o,y0,1,y1,o, . . . , yny,o)∈ECnx+ny+2 and (x0,o,x1,o, . . . , xnx,o,y0,2,y1,o, . . . , yny,o)∈ECnx+ny+2 does not intersect with ECnx+ny+2 at a third point.
A line that joins these two points is assumed to intersect with ECnx+ny+2 at infinity (x0,1,x1,1, . . . , xnx,1,y0,1,y1,1, . . . , yny,1)∈ECnx+ny+2. This point at infinity is used to define both the inverse of a point in ECnx+ny+2 and the identity point. According to the addition rule defined above, one can write:

(x0,x1, . . . ,xnx,y0,1,y1, . . . ,yny)+(x0,x1, . . . ,xnx,y0,2,y1, . . . ,yny)=(x0,1,x1,1, . . . ,xnx,1,y0,1,y1,1, . . . ,yny,1)  (4),

since the third point of intersection of such lines is assumed to be at infinity, (x0,1,x1,1, . . . , xnx,1,y0,1,y1,1, . . . , yny,1)∈ECnx+ny+2. Thus, this equation defines a unique inverse for any point (x0,x1, . . . , xnx,y0,y1, . . . , yny)∈ECnx+ny+2, namely:

−(x0,x1, . . . ,xnx,y0,1,y1, . . . ,yny)=(x0,x1, . . . ,xnx,y0,2,y1, . . . ,yny).

Thus, equation (4) can be written as:

(x0,x1, . . . ,xnx,y0,1,y1, . . . ,yny)−(x0,x1, . . . ,xnx,y0,1,y1, . . . ,yny)=(x0,1,x1,1, . . . ,xnx,1,y0,1,y1,1, . . . ,yny,1)  (5).

Further, a line joining the point at infinity (x0,1,x1,1, . . . ,xnx,1,y0,1,y1,1, . . . , yny,1)∈ECnx+ny+2 and a point (x0,x1, . . . , xnx,y0,1,y1, . . . , yny)∈ECnx+ny+2 will intersect with ECnx+ny+2 at (x0,x1, . . . , xnx,y0,2,y1, . . . , yny)∈ECnx+ny+2. Thus, from the addition rule defined above,

(x0,x1, . . . ,xnx,y0,y1,y2, . . . ,yny)+(x0,1,x1,1, . . . , xnx,1,y0,1,y1,1, . . . ,yny,1)=(x0,x1, . . . ,xnx,y0,y1, . . . ,yny)  (6).

Equation (5) satisfies axiom (ii) while equation (6) satisfies axiom (i), defined above.

Case B.iii applies for all other conditions except those in cases B.i and B.ii. This case occurs only when ny is greater than or equal to one. Given two points (x0,o,x1,o, . . . , xnx,o,y0,1,y1,1, . . . , yny,1)∈ECnx+ny+2 and (x0,o,x1,o, . . . , xnx,o,y0,2,y1,2, . . . , yny,2)∈ECnx+ny+2 that do not satisfy the conditions of cases B.i and B.ii above, the sum point is written as (x0,3,x1,3, . . . , xnx,3,y0,3,y1,3, . . . , yny,3)=(x0,o,x1,o, . . . , xnx,o,y0,1,y1,1, . . . , yny,1)+(x0,o,x1,o, . . . , xnx,o,y0,2,y1,2, . . . , yny,2).
There are several possible rules to find the sum point in this case. Three possible methods are given below:
1) Using three point doublings and one point addition,

(x0,3,x1,3, . . . ,xnx,3,y0,3,y1,3, . . . ,yny,3)=4(x0,o,x1,o, . . . ,xnx,o,y0,1,y1,1, . . . ,yny,1)−2(x0,o,x1,o, . . . ,xnx,o,y0,2,y1,2, . . . ,yny,2);

2) using one point doublings and three point additions,

(x0,3,x1,3, . . . ,xnx,3,y0,3,y1,3, . . . ,yny,3)=(2(x0,o,x1,o, . . . ,xnx,o,y0,1,y1,1, . . . ,yny,1)+(x0,o,x1,o, . . . ,xnx,o,y0,2,y1,2, . . . ,yny,2))−(x0,o,x1,o, . . . ,xnx,o,y0,1,y1,1, . . . ,yny,1); and

3) using point equivalence,

(x0,3,x1,3, . . . ,xnx,3,y0,3,y1,3, . . . ,yny,3)=(x0,o,x1,o, . . . ,xnx,o,y0,1,y1,1, . . . ,yny,1)+(x0,oe,x1,oe, . . . ,xnx,oe,y0,2e,y1,2e, . . . ,yny,2e),

where (x0,oe,x1,oe, . . . , xnx,oe,y0,2e,y1,2e, . . . , yny,2e) is assumed to be the equivalent point of (x0,o,x1,o, . . . , xnx,o,y0,2,y1,2, . . . , yny,2).

It should be noted that the above methods for defining the sum point are not the only ones that can be defined and are provided for exemplary purposes only. The choice of method used to obtain the sum point in this case should depend on the computation complexity of point addition and point doubling.
With regard to associativity, one way of proving associativity of (∈ECnx+ny+2, +) is as follows: Given particular elliptic polynomial equations (i.e., for particular coefficients a1l,a2kl,a3k,c1lki,c2kl,c3kli,b1l,b2lk,b3lk,b4k,bc∈F) defined over a finite field F, if it can be shown by computation that any point Q∈ECnx+ny+2 (and any of its equivalent points) can be uniquely written as kQP∈ECnx+ny+2, where P is the generator point of (ECnx+ny+2, +), then the corresponding ECnx+ny+2 groups based on such polynomials are associative. This is because any three points Q,R,S∈ECnx+ny+2 (or any of their equivalent points) can be written as kQP,kRP,kSP∈ECnx+ny+2, respectively, thus their sum (Q+R+S)=(kQP+kRP+kSP)=(kQ+kR+kS)P can be carried out in any order.
The following elliptic polynomial equation with nx=1 and ny=0 is used to show an example of the equations in Case A used in point addition: y02=x03+x13+x0x1. Choosing xj=x0, and substituting yk=mykxj+cyk from Case A above for y0, and the corresponding equation xi=mxixj+cxi for x1, one obtains (my0x0+cy0)2=x03+(mx1x0+cx1)3+x0(mx1x0+cx1).
Expanding this equation yields the equation my02x02+2my0cy0x0+cy02=x03+mx13x03+3mx12cx1x02+3mx1cx12x0+cx13+mx1x02+cx1x0, or (1+mx13)x03+(3mx12cx1+mx1−my02)x02+(3mx1cx12+cx1−2my0cy0)x0+cx13−cy02=0. From equation (2), the solution for x′0,3 in this case is obtained:




  
    x
    
      0
      ,
      3
    
    ′
  
  =
  
    
      
        -
        
          (
          
            
              3
              ⁢
              
                m
                
                  x
                  ⁢
                  
                    
                  
                  ⁢
                  1
                
                2
              
              ⁢
              
                c
                
                  x
                  ⁢
                  
                    
                  
                  ⁢
                  1
                
              
            
            +
            
              m
              
                x
                ⁢
                
                  
                
                ⁢
                1
              
            
            -
            
              m
              
                y
                ⁢
                
                  
                
                ⁢
                0
              
              2
            
          
          )
        
      
      
        (
        
          1
          +
          
            m
            
              x
              ⁢
              
                
              
              ⁢
              1
            
            3
          
        
        )
      
    
    -
    
      x
      
        j
        ,
        1
      
    
    -
    
      
        x
        
          j
          ,
          2
        
      
      .
    
  




Similarly, one can obtain the values of y′0,3 and x′1,3 for x0=x′0,3.

It should be noted that when mx1=−1, the coefficient of the cubic term in the above is zero; i.e. C3=0. In this case, the resulting quadratic equation can be used in the definition of point equivalences for the points that satisfy the elliptic polynomial equation.
Each of the equations for point addition and point doublings derived for cases A and B above require modular inversion or division. In cases where field inversions or divisions are significantly more expensive (in terms of computational time and energy) than multiplication, projective coordinates are used to remove the requirement for field inversion or division from these equations.
Several projective coordinates can be utilized. In the preferred embodiment, the Jacobean projective coordinate system is used. As an example, we examine:




  
    
      
        
          
            x
            i
          
          =
          
            
              
                
                  X
                  i
                
                
                  V
                  2
                
              
              ⁢
              
                
              
              ⁢
              for
              ⁢
              
                
              
              ⁢
              i
            
            ∈
            
              S
              nx
            
          
        
        ;
        and
        ;
      
    
    
      
        (
        7
        )
      
    
  
  
    
      and
    
    
      
        
      
    
  
  
    
      
        
          y
          k
        
        =
        
          
            
              
                Y
                k
              
              
                V
                3
              
            
            ⁢
            
              
            
            ⁢
            for
            ⁢
            
              
            
            ⁢
            k
          
          ∈
          
            
              S
              ny
            
            .
          
        
      
    
    
      
        (
        8
        )
      
    
  




Using Jacobian projection yields:




  
    
      
        
          
            
              ∑
              
                k
                ∈
                
                  S
                  ny
                
              
            
            ⁢
            
              
                a
                
                  1
                  ⁢
                  k
                
              
              ⁢
              
                
                  Y
                  k
                  2
                
                
                  V
                  6
                
              
            
          
          +
          
            
              ∑
              
                k
                ,
                
                  l
                  ∈
                  
                    S
                    ny
                  
                
                ,
                
                  l
                  ≠
                  k
                
              
            
            ⁢
            
              
                a
                
                  2
                  ⁢
                  
                    
                  
                  ⁢
                  kl
                
              
              ⁢
              
                
                  Y
                  k
                
                
                  V
                  3
                
              
              ⁢
              
                
                  Y
                  1
                
                
                  V
                  3
                
              
            
          
          +
          
            
              ∑
              
                k
                ∈
                
                  S
                  ny
                
              
            
            ⁢
            
              
                a
                
                  3
                  ⁢
                  k
                
              
              ⁢
              
                
                  Y
                  k
                
                
                  V
                  3
                
              
            
          
          +
          
            
              ∑
              
                k
                ,
                
                  l
                  ∈
                  
                    S
                    ny
                  
                
                ,
                
                  i
                  ∈
                  
                    S
                    nx
                  
                
              
            
            ⁢
            
              
                c
                
                  1
                  ⁢
                  kli
                
              
              ⁢
              
                
                  Y
                  k
                
                
                  V
                  3
                
              
              ⁢
              
                
                  Y
                  l
                
                
                  V
                  3
                
              
              ⁢
              
                
                  X
                  i
                
                
                  V
                  2
                
              
            
          
          +
          
            
              ∑
              
                
                  k
                  ∈
                  
                    S
                    ny
                  
                
                ,
                
                  l
                  ∈
                  
                    S
                    nx
                  
                
              
            
            ⁢
            
              
                c
                
                  2
                  ⁢
                  kl
                
              
              ⁢
              
                
                  Y
                  k
                
                
                  V
                  3
                
              
              ⁢
              
                
                  X
                  l
                
                
                  V
                  2
                
              
            
          
          +
          
            
              ∑
              
                
                  k
                  ∈
                  
                    S
                    ny
                  
                
                ,
                l
                ,
                
                  i
                  ∈
                  
                    S
                    nx
                  
                
              
            
            ⁢
            
              
                c
                
                  3
                  ⁢
                  kli
                
              
              ⁢
              
                
                  Y
                  k
                
                
                  V
                  3
                
              
              ⁢
              
                
                  X
                  l
                
                
                  V
                  2
                
              
              ⁢
              
                
                  X
                  i
                
                
                  V
                  2
                
              
            
          
        
        =
        
          
            
              ∑
              
                l
                ∈
                
                  S
                  nx
                
              
            
            ⁢
            
              
                b
                
                  1
                  ⁢
                  l
                
              
              ⁢
              
                
                  X
                  l
                  3
                
                
                  V
                  6
                
              
            
          
          +
          
            
              ∑
              
                l
                ,
                
                  k
                  ∈
                  
                    S
                    nx
                  
                
                ,
                
                  l
                  ≠
                  k
                
              
            
            ⁢
            
              
                b
                
                  2
                  ⁢
                  lk
                
              
              ⁢
              
                
                  X
                  1
                  2
                
                
                  V
                  4
                
              
              ⁢
              
                
                  X
                  k
                
                
                  V
                  2
                
              
            
          
          +
          
            
              ∑
              
                l
                ,
                
                  k
                  ∈
                  
                    S
                    nx
                  
                
              
            
            ⁢
            
              
                b
                
                  3
                  ⁢
                  lk
                
              
              ⁢
              
                
                  X
                  l
                
                
                  V
                  2
                
              
              ⁢
              
                
                  X
                  k
                
                
                  V
                  2
                
              
            
          
          +
          
            
              ∑
              
                k
                ∈
                
                  S
                  nx
                
              
            
            ⁢
            
              
                b
                
                  4
                  ⁢
                  k
                
              
              ⁢
              
                
                  X
                  k
                
                
                  V
                  2
                
              
            
          
          +
          
            b
            c
          
        
      
    
    
      
        (
        9
        )
      
    
  




which can be rewritten as:





  
    
      
        
          
            
              ∑
              
                k
                ∈
                
                  S
                  ny
                
              
            
            ⁢
            
              
                a
                
                  1
                  ⁢
                  k
                
              
              ⁢
              
                Y
                k
                2
              
              ⁢
              
                V
                2
              
            
          
          +
          
            
              ∑
              
                k
                ,
                
                  l
                  ∈
                  
                    S
                    ny
                  
                
                ,
                
                  l
                  ≠
                  k
                
              
            
            ⁢
            
              
                a
                
                  2
                  ⁢
                  kl
                
              
              ⁢
              
                Y
                k
              
              ⁢
              
                Y
                l
              
              ⁢
              
                V
                2
              
            
          
          +
          
            
              ∑
              
                k
                ∈
                
                  S
                  ny
                
              
            
            ⁢
            
              
                a
                
                  3
                  ⁢
                  k
                
              
              ⁢
              
                Y
                k
              
              ⁢
              
                V
                5
              
            
          
          +
          
            
              ∑
              
                k
                ,
                
                  l
                  ∈
                  
                    S
                    ny
                  
                
                ,
                
                  i
                  ∈
                  
                    S
                    nx
                  
                
              
            
            ⁢
            
              
                c
                
                  1
                  ⁢
                  kli
                
              
              ⁢
              
                Y
                k
              
              ⁢
              
                Y
                l
              
              ⁢
              
                X
                i
              
            
          
          +
          
            
              ∑
              
                
                  k
                  ∈
                  
                    S
                    ny
                  
                
                ,
                
                  l
                  ∈
                  
                    S
                    nx
                  
                
              
            
            ⁢
            
              
                c
                
                  2
                  ⁢
                  kl
                
              
              ⁢
              
                Y
                k
              
              ⁢
              
                X
                l
              
              ⁢
              
                V
                3
              
            
          
          +
          
            
              ∑
              
                
                  k
                  ∈
                  
                    S
                    ny
                  
                
                ,
                l
                ,
                
                  i
                  ∈
                  
                    S
                    nx
                  
                
              
            
            ⁢
            
              
                c
                
                  3
                  ⁢
                  kli
                
              
              ⁢
              
                Y
                k
              
              ⁢
              
                X
                l
              
              ⁢
              
                X
                i
              
              ⁢
              V
            
          
        
        =
        
          
            
              ∑
              
                l
                ∈
                
                  S
                  nx
                
              
            
            ⁢
            
              
                b
                
                  1
                  ⁢
                  l
                
              
              ⁢
              
                X
                l
                3
              
              ⁢
              
                V
                2
              
            
          
          +
          
            
              ∑
              
                l
                ,
                
                  k
                  ∈
                  
                    S
                    nx
                  
                
                ,
                
                  l
                  ≠
                  k
                
              
            
            ⁢
            
              
                b
                
                  2
                  ⁢
                  lk
                
              
              ⁢
              
                X
                l
                2
              
              ⁢
              
                X
                k
              
              ⁢
              
                V
                2
              
            
          
          +
          
            
              ∑
              
                l
                ,
                
                  k
                  ∈
                  
                    S
                    nx
                  
                
              
            
            ⁢
            
              
                b
                
                  3
                  ⁢
                  lk
                
              
              ⁢
              
                X
                l
              
              ⁢
              
                X
                k
              
              ⁢
              
                V
                4
              
            
          
          +
          
            
              ∑
              
                k
                ∈
                
                  S
                  nx
                
              
            
            ⁢
            
              
                b
                
                  4
                  ⁢
                  k
                
              
              ⁢
              
                X
                k
              
              ⁢
              
                V
                6
              
            
          
          +
          
            
              b
              c
            
            ⁢
            
              
                V
                8
              
              .
            
          
        
      
    
    
      
        (
        10
        )
      
    
  




In the following, the points (X0,X1, . . . , Xnx,Y0,Y1, . . . , Yny,V) are assumed to satisfy equation (10). When V≠0, the projected point (X0,X1, . . . , Xnx,Y0,Y1, . . . , Yny,V) corresponds to the point:




  
    
      (
      
        
          x
          0
        
        ,
        
          x
          1
        
        ,
        ...
        ⁢
        
          
        
        ,
        
          x
          nx
        
        ,
        
          y
          0
        
        ,
        
          y
          1
        
        ,
        ...
        ⁢
        
          
        
        ,
        
          y
          ny
        
      
      )
    
    =
    
      (
      
        
          
            X
            0
          
          
            V
            2
          
        
        ,
        
          
            X
            1
          
          
            V
            2
          
        
        ,
        ...
        ⁢
        
          
        
        ,
        
          
            X
            nx
          
          
            V
            2
          
        
        ,
        
          
            Y
            0
          
          
            V
            3
          
        
        ,
        
          
            Y
            1
          
          
            V
            3
          
        
        ,
        ...
        ⁢
        
          
        
        ,
        
          
            Y
            ny
          
          
            V
            3
          
        
      
      )
    
  
  ,




which satisfies equation (1).

Using Jacobean projective coordinates, equation (10) can be written as:




  
    
      
        
          (
          
            
              
                X
                
                  0
                  ,
                  3
                
              
              
                V
                3
                2
              
            
            ,
            
              
                X
                
                  1
                  ,
                  3
                
              
              
                V
                3
                2
              
            
            ,
            ...
            ⁢
            
              
            
            ,
            
              
                X
                
                  nx
                  ,
                  3
                
              
              
                V
                3
                2
              
            
            ,
            
              
                Y
                
                  0
                  ,
                  3
                
              
              
                V
                3
                3
              
            
            ,
            
              
                Y
                
                  1
                  ,
                  3
                
              
              
                V
                3
                3
              
            
            ,
            ...
            ⁢
            
              
            
            ,
            
              
                Y
                
                  ny
                  ,
                  3
                
              
              
                V
                3
                3
              
            
          
          )
        
        =
        
          
            (
            
              
                
                  X
                  
                    0
                    ,
                    1
                  
                
                
                  V
                  1
                  2
                
              
              ,
              
                
                  X
                  
                    1
                    ,
                    1
                  
                
                
                  V
                  1
                  2
                
              
              ,
              ...
              ⁢
              
                
              
              ,
              
                
                  X
                  
                    nx
                    ,
                    1
                  
                
                
                  V
                  1
                  2
                
              
              ,
              
                
                  Y
                  
                    0
                    ,
                    1
                  
                
                
                  V
                  1
                  3
                
              
              ,
              
                
                  Y
                  
                    1
                    ,
                    1
                  
                
                
                  V
                  1
                  3
                
              
              ,
              ...
              ⁢
              
                
              
              ,
              
                
                  Y
                  
                    ny
                    ,
                    1
                  
                
                
                  V
                  1
                  3
                
              
            
            )
          
          +
          
            
              (
              
                
                  
                    X
                    
                      0
                      ,
                      2
                    
                  
                  
                    V
                    2
                    2
                  
                
                ,
                
                  
                    X
                    
                      1
                      ,
                      2
                    
                  
                  
                    V
                    2
                    2
                  
                
                ,
                ...
                ⁢
                
                  
                
                ,
                
                  
                    X
                    
                      nx
                      ,
                      2
                    
                  
                  
                    V
                    2
                    2
                  
                
                ,
                
                  
                    Y
                    
                      0
                      ,
                      2
                    
                  
                  
                    V
                    2
                    3
                  
                
                ,
                
                  
                    Y
                    
                      1
                      ,
                      2
                    
                  
                  
                    V
                    2
                    3
                  
                
                ,
                ...
                ⁢
                
                  
                
                ,
                
                  
                    Y
                    
                      ny
                      ,
                      2
                    
                  
                  
                    V
                    2
                    3
                  
                
              
              )
            
            .
          
        
      
    
    
      
        (
        11
        )
      
    
  




By using Jacobian projective coordinates in the equations of Cases A and B above, and by an appropriate choice of the value of V3, it can be shown that point doubling and point addition can be computed without the need for field inversion or division.
In order to examine the embedding method, the twist of an elliptic polynomial equation needs to be defined. Given an elliptic polynomial with (nx+1) x-coordinates and (ny+1) y-coordinates of the form described above:




  
    
      
        
          
            
              y
              0
              2
            
            +
            
              
                ∑
                
                  k
                  ∈
                  
                    S
                    ny
                  
                
              
              ⁢
              
                
                  a
                  
                    1
                    ⁢
                    k
                  
                
                ⁢
                
                  y
                  k
                  2
                
              
            
            +
            
              
                ∑
                
                  k
                  ,
                  
                    l
                    ∈
                    
                      S
                      ny
                    
                  
                  ,
                  
                    l
                    ≠
                    k
                  
                
              
              ⁢
              
                
                  a
                  
                    2
                    ⁢
                    kl
                  
                
                ⁢
                
                  y
                  k
                
                ⁢
                
                  y
                  l
                
              
            
          
          =
          
            
              
                ∑
                
                  l
                  ∈
                  
                    S
                    nx
                  
                
                
                  
                
              
              ⁢
              
                
                  b
                  
                    1
                    ⁢
                    l
                  
                
                ⁢
                
                  x
                  l
                  3
                
              
            
            +
            
              
                ∑
                
                  l
                  ,
                  
                    k
                    ∈
                    
                      S
                      nx
                    
                  
                  ,
                  
                    l
                    ≠
                    k
                  
                
              
              ⁢
              
                
                  b
                  
                    2
                    ⁢
                    lk
                  
                
                ⁢
                
                  x
                  l
                  2
                
                ⁢
                
                  x
                  k
                
              
            
          
        
        ,
      
    
    
      
        (
        12
        )
      
    
  




where a1l,a2kl,b1l,b2lk∈F .

Given certain values for the x-coordinates x0,o,x1,o, . . . , xnx,o and y-coordinates y1,o, . . . , yny,o, respectively, that are elements of the finite field, F, these values are substituted into the elliptic polynomial equation (1) in order to obtain a quadratic equation in y0:




  
    y
    0
    2
  
  =
  
    
      
        -
        
          
            ∑
            
              k
              ∈
              
                S
                ny
              
            
          
          ⁢
          
            
              a
              
                1
                ⁢
                k
              
            
            ⁢
            
              y
              
                k
                ,
                o
              
              2
            
          
        
      
      -
      
        
          ∑
          
            k
            ,
            
              l
              ∈
              
                S
                ny
              
            
            ,
            
              l
              ≠
              k
            
          
        
        ⁢
        
          
            a
            
              2
              ⁢
              kl
            
          
          ⁢
          
            y
            
              k
              ,
              o
            
          
          ⁢
          
            y
            
              l
              ,
              o
            
          
        
      
      +
      
        
          ∑
          
            l
            ∈
            
              S
              nx
            
          
        
        ⁢
        
          
            b
            
              1
              ⁢
              l
            
          
          ⁢
          
            x
            
              l
              ,
              o
            
            3
          
        
      
      +
      
        
          ∑
          
            l
            ,
            
              k
              ∈
              
                S
                nx
              
            
            ,
            
              l
              ≠
              k
            
          
        
        ⁢
        
          
            b
            
              2
              ⁢
              lk
            
          
          ⁢
          
            x
            
              l
              ,
              o
            
            2
          
          ⁢
          
            x
            
              k
              ,
              o
            
          
        
      
    
    =
    
      T
      .
    
  




If a solution of the above quadratic equation (i.e., y02=T) is an element of the finite field F, the point (x0,o,x1,o, . . . , xnx,o,y0,y1,o, . . . , yny,o) is said to satisfy the given elliptic polynomial equation. If a solution of the above quadratic equation is not an element of the finite field F, the point (x0,o,x1,o, . . . , xnx,o,y0,y1,o, . . . , yny,o) is said to satisfy the twist of the given elliptic curve equation. The inventive embedding method is based on the isomorphic relationship between a curve and its twist as described in the following theorem:
An elliptic polynomial equation of the form given above is isomorphic to its twist if:

    
    
        1) there are mathematical mappings that can be defined on the values of x0,x1, . . . , xnx,y1, . . . , yny (i.e., φx(xi) and φy(yi)) such that any point (x0,x1, . . . , xnx,y0,y1, . . . , yny) that satisfies such an elliptic polynomial equation can be mapped into another point (φx(x0),φx(x1), . . . , φx(xxn),φy(y0),φy(y1), . . . , φy(yny)) that satisfies the twist of the same elliptic polynomial equation; and
        2) the mapping between the points (x0,x1, . . . , xnx,y0,y1, . . . , yny) and (φx(x0),φx(x1), . . . , φx(xxn),φy(y0),φy(y1), . . . , φy(yny)) is unique, i.e., a one-to-one correspondence.
    
    


The proof of this theorem is as follows. Re-writing equation (12) as:




  
    
      
        
          
            y
            0
            2
          
          =
          
            
              -
              
                
                  ∑
                  
                    k
                    ∈
                    
                      S
                      ny
                    
                  
                
                ⁢
                
                  
                    a
                    
                      1
                      ⁢
                      k
                    
                  
                  ⁢
                  
                    y
                    k
                    2
                  
                
              
            
            -
            
              
                ∑
                
                  k
                  ,
                  
                    l
                    ∈
                    
                      S
                      ny
                    
                  
                  ,
                  
                    l
                    ≠
                    k
                  
                
              
              ⁢
              
                
                  a
                  
                    2
                    ⁢
                    kl
                  
                
                ⁢
                
                  y
                  k
                
                ⁢
                
                  y
                  l
                
              
            
            +
            
              
                ∑
                
                  l
                  ∈
                  
                    S
                    nx
                  
                
              
              ⁢
              
                
                  b
                  
                    1
                    ⁢
                    l
                  
                
                ⁢
                
                  x
                  l
                  3
                
              
            
            +
            
              
                ∑
                
                  l
                  ,
                  
                    k
                    ∈
                    
                      S
                      nx
                    
                  
                  ,
                  
                    l
                    ≠
                    k
                  
                
              
              ⁢
              
                
                  b
                  
                    2
                    ⁢
                    lk
                  
                
                ⁢
                
                  x
                  l
                  2
                
                ⁢
                
                  x
                  k
                
              
            
          
        
        ,
      
    
    
      
        
          (
          13
          )
        
        ,
      
    
  




and letting the right-hand side of equation (13) be denoted as T, then:





  
    
      
        T
        =
        
          
            -
            
              
                ∑
                
                  k
                  ∈
                  
                    S
                    ny
                  
                
              
              ⁢
              
                
                  a
                  
                    1
                    ⁢
                    k
                  
                
                ⁢
                
                  y
                  k
                  2
                
              
            
          
          -
          
            
              ∑
              
                k
                ,
                
                  l
                  ∈
                  
                    S
                    ny
                  
                
                ,
                
                  l
                  ≠
                  k
                
              
            
            ⁢
            
              
                a
                
                  2
                  ⁢
                  kl
                
              
              ⁢
              
                y
                k
              
              ⁢
              
                y
                l
              
            
          
          +
          
            
              ∑
              
                l
                ∈
                
                  S
                  nx
                
              
            
            ⁢
            
              
                b
                
                  1
                  ⁢
                  l
                
              
              ⁢
              
                x
                l
                3
              
            
          
          +
          
            
              ∑
              
                l
                ,
                
                  k
                  ∈
                  
                    S
                    nx
                  
                
                ,
                
                  l
                  ≠
                  k
                
              
            
            ⁢
            
              
                b
                
                  2
                  ⁢
                  lk
                
              
              ⁢
              
                x
                l
                2
              
              ⁢
              
                
                  x
                  k
                
                .
              
            
          
        
      
    
    
      
        (
        14
        )
      
    
  




Thus, any value of x0,x1, . . . , xnx,y1, . . . , yny will lead to a value of T∈F(p). T could be quadratic residue or non-quadratic residue. If T is quadratic residue, then equation (14) is written as:




  
    
      
        
          T
          q
        
        =
        
          
            -
            
              
                ∑
                
                  k
                  ∈
                  
                    S
                    ny
                  
                
              
              ⁢
              
                
                  a
                  
                    1
                    ⁢
                    k
                  
                
                ⁢
                
                  y
                  
                    k
                    ,
                    q
                  
                  2
                
              
            
          
          -
          
            
              ∑
              
                k
                ,
                
                  l
                  ∈
                  
                    S
                    ny
                  
                
                ,
                
                  l
                  ≠
                  k
                
              
            
            ⁢
            
              
                a
                
                  2
                  ⁢
                  kl
                
              
              ⁢
              
                y
                
                  k
                  ,
                  q
                
              
              ⁢
              
                y
                
                  l
                  ,
                  q
                
              
            
          
          +
          
            
              ∑
              
                l
                ∈
                
                  S
                  nx
                
              
            
            ⁢
            
              
                b
                
                  1
                  ⁢
                  l
                
              
              ⁢
              
                x
                
                  l
                  ,
                  q
                
                3
              
            
          
          +
          
            
              ∑
              
                l
                ,
                
                  k
                  ∈
                  
                    S
                    nx
                  
                
                ,
                
                  l
                  ≠
                  k
                
              
            
            ⁢
            
              
                b
                
                  2
                  ⁢
                  lk
                
              
              ⁢
              
                x
                
                  l
                  ,
                  q
                
                2
              
              ⁢
              
                x
                
                  k
                  ,
                  q
                
              
            
          
        
      
    
    
      
        (
        15
        )
      
    
  




where x0,q,x1,q, . . . , xnx,q,y1,q, . . . , yny,q∈F denotes the values of x0,x1, . . . , xnx,y1, . . . , yny that result in a quadratic residue value of T, which is hereafter denoted as Tq.

If T is non-quadratic residue, then equation (14) is written as:




  
    
      
        
          T
          
            q
            _
          
        
        =
        
          
            -
            
              
                ∑
                
                  k
                  ∈
                  
                    S
                    ny
                  
                
              
              ⁢
              
                
                  a
                  
                    1
                    ⁢
                    k
                  
                
                ⁢
                
                  y
                  
                    k
                    ,
                    
                      q
                      _
                    
                  
                  2
                
              
            
          
          -
          
            
              ∑
              
                k
                ,
                
                  l
                  ∈
                  
                    S
                    ny
                  
                
                ,
                
                  l
                  ≠
                  k
                
              
            
            ⁢
            
              
                a
                
                  2
                  ⁢
                  kl
                
              
              ⁢
              
                y
                
                  k
                  ,
                  
                    q
                    ⇀
                  
                
              
              ⁢
              
                y
                
                  l
                  ,
                  
                    q
                    _
                  
                
              
            
          
          +
          
            
              ∑
              
                l
                ∈
                
                  S
                  nx
                
              
            
            ⁢
            
              
                b
                
                  1
                  ⁢
                  l
                
              
              ⁢
              
                x
                
                  l
                  ,
                  
                    q
                    _
                  
                
                3
              
            
          
          +
          
            
              ∑
              
                l
                ,
                
                  k
                  ∈
                  
                    S
                    nx
                  
                
                ,
                
                  l
                  ≠
                  k
                
              
            
            ⁢
            
              
                b
                
                  2
                  ⁢
                  lk
                
              
              ⁢
              
                x
                
                  l
                  ,
                  
                    q
                    _
                  
                
                2
              
              ⁢
              
                x
                
                  k
                  ,
                  
                    q
                    _
                  
                
              
            
          
        
      
    
    
      
        (
        16
        )
      
    
  




where x0, q,x1, q, . . . , xnx, q,y1, q, . . . , yny, q∈F denotes the values of x0,x1, . . . , xnx,y1, . . . , yny that result in a non-quadratic residue value of T, denoted as T q.

Letting g be any non-quadratic residue number in F (i.e., g∈F(p) & √{square root over (g)}∉F(p)), then multiplying equation (15) with g3 yields:




  
    
      
        g
        3
      
      ⁢
      
        T
        q
      
    
    =
    
      
        
          -
          
            g
            3
          
        
        ⁢
        
          
            ∑
            
              k
              ∈
              
                S
                ny
              
            
          
          ⁢
          
            
              a
              
                1
                ⁢
                k
              
            
            ⁢
            
              y
              
                k
                ,
                q
              
              2
            
          
        
      
      -
      
        
          g
          3
        
        ⁢
        
          
            ∑
            
              k
              ,
              
                l
                ∈
                
                  S
                  ny
                
              
              ,
              
                l
                ≠
                k
              
            
          
          ⁢
          
            
              a
              
                2
                ⁢
                kl
              
            
            ⁢
            
              y
              
                k
                ,
                q
              
            
            ⁢
            
              y
              
                l
                ,
                q
              
            
          
        
      
      +
      
        
          g
          3
        
        ⁢
        
          
            ∑
            
              l
              ∈
              
                S
                nx
              
            
          
          ⁢
          
            
              b
              
                1
                ⁢
                l
              
            
            ⁢
            
              x
              
                l
                ,
                q
              
              3
            
          
        
      
      +
      
        
          g
          3
        
        ⁢
        
          
            ∑
            
              l
              ,
              
                k
                ∈
                
                  S
                  nx
                
              
              ,
              
                l
                ≠
                k
              
            
          
          ⁢
          
            
              b
              
                2
                ⁢
                lk
              
            
            ⁢
            
              x
              
                l
                ,
                q
              
              2
            
            ⁢
            
              x
              
                k
                ,
                q
              
            
          
        
      
    
  
  ,




which can be re-written as:





  
    
      
        
          
            g
            3
          
          ⁢
          
            T
            q
          
        
        =
        
          
            -
            
              
                ∑
                
                  k
                  ∈
                  
                    S
                    ny
                  
                
              
              ⁢
              
                
                  
                    a
                    
                      1
                      ⁢
                      k
                    
                  
                  ⁡
                  
                    (
                    
                      
                        
                          g
                          3
                        
                      
                      ⁢
                      
                        y
                        
                          k
                          ,
                          q
                        
                      
                    
                    )
                  
                
                2
              
            
          
          -
          
            
              ∑
              
                k
                ,
                
                  l
                  ∈
                  
                    S
                    ny
                  
                
                ,
                
                  l
                  ≠
                  k
                
              
            
            ⁢
            
              
                a
                
                  2
                  ⁢
                  kl
                
              
              ⁢
              
                
                  g
                  3
                
                ⁡
                
                  (
                  
                    
                      
                        g
                        3
                      
                    
                    ⁢
                    
                      y
                      
                        k
                        ,
                        q
                      
                    
                  
                  )
                
              
              ⁢
              
                (
                
                  
                    
                      g
                      3
                    
                  
                  ⁢
                  
                    y
                    
                      l
                      ,
                      q
                    
                  
                
                )
              
            
          
          +
          
            
              ∑
              
                l
                ∈
                
                  S
                  nx
                
              
            
            ⁢
            
              
                
                  b
                  
                    1
                    ⁢
                    l
                  
                
                ⁡
                
                  (
                  
                    g
                    ⁢
                    
                      
                    
                    ⁢
                    
                      x
                      
                        l
                        ,
                        q
                      
                    
                  
                  )
                
              
              3
            
          
          +
          
            
              ∑
              
                l
                ,
                
                  k
                  ∈
                  
                    S
                    nx
                  
                
                ,
                
                  l
                  ≠
                  k
                
              
            
            ⁢
            
              
                
                  
                    b
                    
                      2
                      ⁢
                      lk
                    
                  
                  ⁡
                  
                    (
                    
                      g
                      ⁢
                      
                        
                      
                      ⁢
                      
                        x
                        
                          l
                          ,
                          q
                        
                      
                    
                    )
                  
                
                2
              
              ⁢
              
                
                  (
                  
                    g
                    ⁢
                    
                      
                    
                    ⁢
                    
                      x
                      
                        k
                        ,
                        q
                      
                    
                  
                  )
                
                .
              
            
          
        
      
    
    
      
        (
        17
        )
      
    
  




It should be noted that if g is non-quadratic residue, then g3 is also non-quadratic residue. Further, the result of multiplying a quadratic residue number by a non-quadratic residue number is a non-quadratic residue number. Thus, g3Tq is non-quadratic residue.
By comparing the terms of equations (16) and (17), we obtain the following mappings:

xi, q=gxi,q  (18);

yi, q=√{square root over (g3)}yi,q;  (19); and

T q=g3Tq  (20).

The mappings between the variables xi,q and xi, q in equation (18), yi,q and yi, q in equation (19), and Tq and T q in equation (20) are all bijective, i.e., there is a one-to-one correspondence from basic finite field arithmetic. As a consequence, the mappings between the (nx+ny+2)-tuple (x0,q,x1,q, . . . , xnx,q,Tq,y1,q, . . . , yny,q) and the (nx+ny+2)-tuple (x0, q,x1, q, . . . , xnx, q,T q,y1, q, . . . , yny, q) are also bijective.
Therefore, for every solution of equation (15), there is an isomorphic solution that satisfies equation (16), and since the mappings of the coordinates of one to the other are given in equations (18)-(20), these two solutions are isomorphic with respect to each other.
Since Tq is quadratic residue, this expression can be written as:

Tq=y02.  (21)

Thus, from equation (20), T q can be written as:

T q=g3y02  (22).

Using equations (21) and (22), equations (15) and (16) can be written as:




  
    
      
        
          
            y
            0
            2
          
          =
          
            
              -
              
                
                  ∑
                  
                    k
                    ∈
                    
                      S
                      ny
                    
                  
                
                ⁢
                
                  
                    a
                    
                      1
                      ⁢
                      k
                    
                  
                  ⁢
                  
                    y
                    
                      k
                      ,
                      q
                    
                    2
                  
                
              
            
            -
            
              
                ∑
                
                  k
                  ,
                  
                    l
                    ∈
                    
                      S
                      ny
                    
                  
                  ,
                  
                    l
                    ≠
                    k
                  
                
              
              ⁢
              
                
                  a
                  
                    2
                    ⁢
                    kl
                  
                
                ⁢
                
                  y
                  
                    k
                    ,
                    q
                  
                
                ⁢
                
                  y
                  
                    l
                    ,
                    q
                  
                
              
            
            +
            
              
                ∑
                
                  l
                  ∈
                  
                    S
                    nx
                  
                
              
              ⁢
              
                
                  b
                  
                    1
                    ⁢
                    l
                  
                
                ⁢
                
                  x
                  
                    l
                    ,
                    q
                  
                  3
                
              
            
            +
            
              
                ∑
                
                  l
                  ,
                  
                    k
                    ∈
                    
                      S
                      nx
                    
                  
                  ,
                  
                    l
                    ≠
                    k
                  
                
              
              ⁢
              
                
                  b
                  
                    2
                    ⁢
                    lk
                  
                
                ⁢
                
                  x
                  
                    l
                    ,
                    q
                  
                  2
                
                ⁢
                
                  x
                  
                    k
                    ,
                    q
                  
                
              
            
          
        
        ;
      
    
    
      
        (
        23
        )
      
    
  
  
    
      
        
          
        
        ⁢
        and
      
    
    
      
        
      
    
  
  
    
      
        
          
            g
            3
          
          ⁢
          
            y
            0
            2
          
        
        =
        
          
            -
            
              
                ∑
                
                  k
                  ∈
                  
                    S
                    ny
                  
                
              
              ⁢
              
                
                  a
                  
                    1
                    ⁢
                    k
                  
                
                ⁢
                
                  y
                  
                    k
                    ,
                    
                      q
                      _
                    
                  
                  2
                
              
            
          
          -
          
            
              ∑
              
                k
                ,
                
                  l
                  ∈
                  
                    S
                    ny
                  
                
                ,
                
                  l
                  ≠
                  k
                
              
            
            ⁢
            
              
                a
                
                  2
                  ⁢
                  kl
                
              
              ⁢
              
                y
                
                  k
                  ,
                  
                    q
                    _
                  
                
              
              ⁢
              
                y
                
                  l
                  ,
                  
                    q
                    _
                  
                
              
            
          
          +
          
            
              ∑
              
                l
                ∈
                
                  S
                  nx
                
              
            
            ⁢
            
              
                b
                
                  1
                  ⁢
                  l
                
              
              ⁢
              
                x
                
                  l
                  ,
                  
                    q
                    _
                  
                
                3
              
            
          
          +
          
            
              ∑
              
                l
                ,
                
                  k
                  ∈
                  
                    S
                    nx
                  
                
                ,
                
                  l
                  ≠
                  k
                
              
            
            ⁢
            
              
                b
                
                  2
                  ⁢
                  lk
                
              
              ⁢
              
                x
                
                  l
                  ,
                  
                    q
                    _
                  
                
                2
              
              ⁢
              
                
                  x
                  
                    k
                    ,
                    
                      q
                      _
                    
                  
                
                .
              
            
          
        
      
    
    
      
        (
        24
        )
      
    
  




Since any solution of equation (15) has an isomorphic solution that satisfies equation (16), it follows that the solution of equation (23), denoted as (x0,q,x1,q, . . . , xnx,q,y0,y1,q, . . . , yny,q), has an isomorphic solution that satisfies equation (24), denoted as




  
    (
    
      
        g
        ⁢
        
          
        
        ⁢
        
          x
          
            0
            ,
            q
          
        
      
      ,
      
        g
        ⁢
        
          
        
        ⁢
        
          x
          
            1
            ,
            q
          
        
      
      ,
      ...
      ⁢
      
        
      
      ,
      
        g
        ⁢
        
          
        
        ⁢
        
          x
          
            
              n
              ⁢
              
                
              
              ⁢
              x
            
            ,
            q
          
        
      
      ,
      
        
          g
          
            3
            2
          
        
        ⁢
        
          y
          0
        
      
      ,
      
        
          g
          
            3
            2
          
        
        ⁢
        
          y
          
            1
            ,
            q
          
        
      
      ,
      ...
      ⁢
      
        
      
      ,
      
        
          g
          
            3
            2
          
        
        ⁢
        
          y
          
            
              n
              ⁢
              
                
              
              ⁢
              y
            
            ,
            q
          
        
      
    
    )
  
  .




The solutions of equation (23) form the points (x0,q,x1,q, . . . , xnx,q,y0,y1,q, . . . , yny,q) that satisfy an elliptic polynomial. Similarly, the solutions of equation (24) form the points




  (
  
    
      g
      ⁢
      
        
      
      ⁢
      
        x
        
          0
          ,
          q
        
      
    
    ,
    
      g
      ⁢
      
        
      
      ⁢
      
        x
        
          1
          ,
          q
        
      
    
    ,
    ...
    ⁢
    
      
    
    ,
    
      g
      ⁢
      
        
      
      ⁢
      
        x
        
          
            n
            ⁢
            
              
            
            ⁢
            x
          
          ,
          q
        
      
    
    ,
    
      
        g
        
          3
          2
        
      
      ⁢
      
        y
        0
      
    
    ,
    
      
        g
        
          3
          2
        
      
      ⁢
      
        y
        
          1
          ,
          q
        
      
    
    ,
    ...
    ⁢
    
      
    
    ,
    
      
        g
        
          3
          2
        
      
      ⁢
      
        y
        
          
            n
            ⁢
            
              
            
            ⁢
            y
          
          ,
          q
        
      
    
  
  )




that satisfy its twist. This proves the above theorem.

An example of a mapping of the solutions of equation (23) defined over F(p), where p=3 mod 4, to the solutions of its twist is implemented by using −xi for the x-coordinates and −yi2 for the y-coordinates.
The isomorphism between an elliptic polynomial and its twist, discussed above, is exploited for the embedding of the bit sting of a shared secret key into the appropriate x and y coordinates of an elliptic polynomial point without the need for an iterative search for a quadratic residue value of the corresponding y0-coordinate, which usually requires several iterations, where the number of iterations needed is different for different bit strings which are being embedded.
Assuming F=F(p) and that the secret key is an M-bit string such that (nx+ny+1)N>M>N−1, where N is the number of bits needed to represent the elements of F(p), then the secret key bit string is divided into (nx+ny+1) bit-strings kx,0,kx,1, . . . , kx,nx,ky,1, . . . , kk,ny. The value of the bit-strings kx,0,kx,1, . . . , kx,nx,ky,1, . . . , kk,ny must be less than p. In the preferred embodiment of embedding the (nx+ny+1) bit-strings kx,0,kx,1, . . . , kx,nx,ky,1, . . . , kk,ny, the embedding is as follows.
First, assign the value of the bit string of kx,0,kx,1, . . . , kx,nx to x0,k,x1,k, . . . , xnx,k. Next, assign the value of the bit string of ky,1, . . . , kk,ny to y1,k, . . . , kny,k. Then, compute:




  
    
      
        T
        =
        
          
            -
            
              
                ∑
                
                  i
                  ∈
                  
                    S
                    ny
                  
                
              
              ⁢
              
                
                  a
                  
                    1
                    ⁢
                    i
                  
                
                ⁢
                
                  y
                  
                    i
                    ,
                    k
                  
                  2
                
              
            
          
          -
          
            
              ∑
              
                i
                ,
                
                  l
                  ∈
                  
                    S
                    ny
                  
                
                ,
                
                  l
                  ≠
                  i
                
              
            
            ⁢
            
              
                a
                
                  2
                  ⁢
                  il
                
              
              ⁢
              
                y
                
                  i
                  ,
                  k
                
              
              ⁢
              
                y
                
                  l
                  ,
                  k
                
              
            
          
          +
          
            
              ∑
              
                l
                ∈
                
                  S
                  nx
                
              
            
            ⁢
            
              
                b
                
                  1
                  ⁢
                  l
                
              
              ⁢
              
                x
                
                  l
                  ,
                  k
                
                3
              
            
          
          +
          
            
              ∑
              
                l
                ,
                
                  i
                  ∈
                  
                    S
                    nx
                  
                
                ,
                
                  l
                  ≠
                  i
                
              
            
            ⁢
            
              
                b
                
                  2
                  ⁢
                  li
                
              
              ⁢
              
                x
                
                  l
                  ,
                  k
                
                2
              
              ⁢
              
                
                  x
                  
                    i
                    ,
                    k
                  
                
                .
              
            
          
        
      
    
    
      
        
      
    
  




Finally, use the Legendre test to see if T has a square root. If T has a square root, assign one of the roots to y0; otherwise, the x-coordinates and y-coordinates of the elliptic polynomial point with the embedded shared secret key bit string are given by gxi,k and





  
    
      g
      
        3
        2
      
    
    ⁢
    
      y
      
        i
        ,
        k
      
    
  
  ,




respectively, where g is non-quadratic residue in F.

It should be noted that p is usually predetermined prior to encryption, so that the value of g can also be predetermined. Further, the receiver can identify whether the point (x0,k,x1,k, . . . , kny,k,y0,k,y1,k, . . . , yny,k) or the point




  (
  
    
      g
      ⁢
      
        
      
      ⁢
      
        x
        
          0
          ,
          k
        
      
    
    ,
    
      g
      ⁢
      
        
      
      ⁢
      
        x
        
          1
          ,
          k
        
      
    
    ,
    ...
    ⁢
    
      
    
    ,
    
      g
      ⁢
      
        
      
      ⁢
      
        x
        
          
            n
            ⁢
            
              
            
            ⁢
            x
          
          ,
          k
        
      
    
    ,
    
      
        g
        
          3
          2
        
      
      ⁢
      
        y
        
          0
          ,
          k
        
      
    
    ,
    
      
        g
        
          3
          2
        
      
      ⁢
      
        y
        
          1
          ,
          k
        
      
    
    ,
    ...
    ⁢
    
      
    
    ,
    
      
        g
        
          3
          2
        
      
      ⁢
      
        y
        
          
            n
            ⁢
            
              
            
            ⁢
            y
          
          ,
          k
        
      
    
  
  )




is the elliptic polynomial point with the embedded secret key bit strings without any additional information. Additionally, any non-quadratic value in F(p) can be used for g. For efficiency, g is chosen to be −1 for p≡3 mod 4 and g is chosen to be 2 for p≡1 mod 4.

The same deterministic and non-iterative method described above can be used to embed a secret message bit string into an elliptic polynomial point in a deterministic and non-iterative manner. Assuming F=F(p) and that the message is an M-bit string such that (nx+ny+1)N>M>N−1, where N is the number of bits needed to represent the elements of F(p), then the message bit string is divided into (nx+ny+1) bit-strings mx,0,mx,1, . . . , mx,nx,my,1, . . . , mk,ny. The value of the bit-strings mx,0,mx,1, . . . , mx,nx,my,1, . . . , mk,ny must be less than p. As in the previous embodiment, the embedding of the (nx+ny+1) bit-strings mx,0,mx,1, . . . , mx,nx,my,1, . . . ,mk,ny can be accomplished out as follows.
First, assign the value of the bit string of mx,0,mx,1, . . . , mx,nx to x0,m,x1,m, . . . , xnx,m. Next, assign the value of the bit string of my,1, . . . , mk,ny to y1,m, . . . , yny,m. Then compute:




  T
  =
  
    
      -
      
        
          ∑
          
            i
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                y
              
            
          
        
        ⁢
        
          
            a
            
              1
              ⁢
              i
            
          
          ⁢
          
            y
            
              i
              ,
              m
            
            2
          
        
      
    
    -
    
      
        ∑
        
          i
          ,
          
            l
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                y
              
            
          
          ,
          
            l
            ≠
            i
          
        
      
      ⁢
      
        
          a
          
            2
            ⁢
            i
            ⁢
            
              
            
            ⁢
            l
          
        
        ⁢
        
          y
          
            i
            ,
            m
          
        
        ⁢
        
          y
          
            l
            ,
            m
          
        
      
    
    +
    
      
        ∑
        
          I
          ∈
          
            S
            
              n
              ⁢
              
                
              
              ⁢
              x
            
          
        
      
      ⁢
      
        
          b
          
            1
            ⁢
            l
          
        
        ⁢
        
          x
          
            l
            ,
            m
          
          3
        
      
    
    +
    
      
        ∑
        
          l
          ,
          
            i
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
          ,
          
            l
            ≠
            i
          
        
      
      ⁢
      
        
          b
          
            2
            ⁢
            l
            ⁢
            
              
            
            ⁢
            i
          
        
        ⁢
        
          x
          
            l
            ,
            m
          
          2
        
        ⁢
        
          
            x
            
              i
              ,
              m
            
          
          .
        
      
    
  




Finally, use the Legendre test to see if T has a square root. If T has a square root, then assign one of the roots to y0, otherwise the x-coordinates and y-coordinates of the elliptic polynomial point with the embedded shared secret key bit string are given by gxi,m and





  
    
      g
      
        3
        2
      
    
    ⁢
    
      y
      
        i
        ,
        m
      
    
  
  ,




respectively.

It should be noted that p is usually predetermined prior to encryption; thus, the value of g can also be predetermined. Further, when using the above method, the strings in mx,0,mx,1, . . . , mx,nx and my,1, . . . , mk,ny can be recovered directly from x0,m,x1,m, . . . , xnx,m and y1,m, . . . , yny,m, respectively. An extra bit is needed to identify whether (x0,m,x1,m, . . . , xnx,m,y0,m,y1,m, . . . , yny,m) or




  (
  
    
      g
      ⁢
      
        
      
      ⁢
      
        x
        
          0
          ,
          m
        
      
    
    ,
    
      g
      ⁢
      
        
      
      ⁢
      
        x
        
          1
          ,
          m
        
      
    
    ,
    ...
    ⁢
    
      
    
    ,
    
      g
      ⁢
      
        
      
      ⁢
      
        x
        
          
            n
            ⁢
            
              
            
            ⁢
            x
          
          ,
          m
        
      
    
    ,
    
      
        g
        
          3
          2
        
      
      ⁢
      
        y
        
          0
          ,
          m
        
      
    
    ,
    
      
        g
        
          3
          2
        
      
      ⁢
      
        y
        
          1
          ,
          m
        
      
    
    ,
    ...
    ⁢
    
      
    
    ,
    
      
        g
        
          3
          2
        
      
      ⁢
      
        y
        
          
            n
            ⁢
            
              
            
            ⁢
            y
          
          ,
          m
        
      
    
  
  )




is used at the sending correspondent. Additionally, any non-quadratic value in F(p) can be used for g. For efficiency, g is chosen to be −1 for p≡3 mod 4 and is chosen to be 2 for p≡1 mod 4. Further, at the receiver, the process is reversed. In the case of g=2, a division by two is carried out. It should noted that dividing xi,m by two is computed using one modulo addition, because:

(i) xi,m/2=((xi,m−(xi,m)mod 2)/2)+(xi,m)mod 2*(1/2)mod p;
(ii) (xi,m)mod 2 is the least significant bit of xi,m; and
(iii) (1/2)mod p=(p+1)/2.
In a first embodiment, the password protocol generation method includes the following steps: (a) defining a maximum block size that can be embedded into (nx+1) x-coordinates and ny y-coordinates, wherein nx and ny are integers, and setting the maximum block size to be (nx+ny+1)N bits, wherein N is an integer; (b) a sending correspondent and a receiving correspondent agree upon an elliptic polynomial ECnx+ny+2 by agreeing upon the values of nx and ny, and further agree on a set of coefficients a1k,a2kl,a3k,c1lki,c2kl,c3kli,b1l,b2lk,b3lk,b4k & bc∈F, wherein F represents a finite field where the field's elements can be represented in N-bits, the sending and receiving correspondents further agreeing on a base point on an elliptic polynomial (x0,B,x1,B, . . . , xnx,B,y0,B,y1,B, . . . , yny,B)∈ECxn+ny+2, wherein ECnx+ny+2 represents the elliptic polynomial, the sending and receiving correspondents further agreeing upon a method that converts a password into a bit string that has an equivalent scalar value, wherein the above shared information may be kept private or made public, and the sending and receiving correspondents then further agree on the password, which represents a shared secret key for communication.
The sending correspondent then performs the following steps: (c) converting the password into a bit string by the agreed method and defining an equivalent scalar value kU; (d) computing a scalar multiplication of the scalar value kU with the base point (x0,B,x1,N, . . . , xnx,B,y0,B,y1,B, . . . , yny,B) as (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C)=kU(x0,B,x1,B, . . . , xnx,B,y0,B,y1,B, . . . , yny,B), wherein (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C) is a cipher point; (e) sending appropriate bits of the x-coordinates and of the y-coordinates of the cipher point (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C) to the receiver (together with any other information needed to help recover the cipher point without sacrificing security).
The receiving correspondent then performs the following steps: (f) converting the password into a bit string by the agreed upon method and defining an equivalent scalar value kUS; (g) computing a scalar multiplication of the scalar value kUS with the base point (x0,B,x1,B, . . . , xnx,B,y0,B,y1,B, . . . , yny,B) as (x0,SC,x1,SC, . . . , xnx,SC,y0,SC,y1,SC, . . . , yny,SC)=kUS(x0,B,x1,B, . . . , xnx,B,y0,B,y1,B, . . . , yny,B); and (h) comparing (x0,SC,x1,SC, . . . , xnx,SC,y0,SC,y1,SC, . . . , yny,SC) and (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C) and if (x0,SC,x1,SC, . . . , xnx,SC,y0,SC,y1,SC, . . . , yny,SC) is equal to (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C) then authenticating the user, wherein if (x0,SC,x1,SC, . . . , xnx,SC,y0,SC,y1,SC, . . . , yny,SC) is not equal to (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C), then denying access.
In an alternative embodiment, the password protocol generation method includes the following steps: (a) defining a maximum block size that can be embedded into (nx+1) x-coordinates and ny y-coordinates, wherein nx and ny are integers, and setting the maximum block size to be (nx+ny+1)N bits, wherein N is an integer; (b) a sending correspondent and a receiving correspondent agree upon an elliptic polynomial ECnx+ny+2 by agreeing upon the values of nx and ny, and further agree on a set of coefficients a1k,a2kl,a3k,c1lki,c2kl,c3kli,b1l,b2lk,b3lk,b4k & bc∈F, wherein F represents a finite field where the field's elements can be represented in N-bits, the sending and receiving correspondents further agreeing on a base point on an elliptic polynomial (x0,B,x1,B, . . . , xnx,B,y0,B,y1,B, . . . , yny,B)∈ECxn+ny+2, wherein ECnx+ny+2 represents the elliptic polynomial, the sending and receiving correspondents further agreeing upon a method that converts a password into a bit string that has an equivalent scalar value, wherein the above shared information may be kept private or made public, and the sending and receiving correspondents then further agree on the password, which represents a shared secret key for communication.
The sending correspondent then performs the following steps: (c) converting the password into a secret bit string kp by the agreed upon method; (d) dividing the secret bit string kp into (nx+ny+2) binary sub-strings, kx,0,kx,1, . . . , kx,nx,ky,0,ky,1, . . . , ky,ny; (e) embedding the secret sub-string kx,0,kx,1, . . . , kx,nx,ky,1, . . . , ky,ny into the (nx+1) x-coordinates and the ny y-coordinates, wherein the resultant point satisfies the elliptic polynomial to obtain a password embedded point (x0,P,x1,P, . . . , xnx,P,y0,P,y1,P, . . . , yny,P), the password embedded point being an elliptic point; (f) computing a scalar multiplication of a scalar value ky,0 with the password embedded point (x0,P,x1,P, . . . , xnx,P,y0,P,y1,P, . . . , yny,P) as (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C)=(x0,P,x1,P, . . . , xnx,P,y0,P,y1,P, . . . , yny,P), wherein (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C) is a cipher point; and (g) sending appropriate bits of the x-coordinates and of the y-coordinates of the cipher point (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C) to the receiver (together with any other information needed to help recover the cipher point without sacrificing security).
The receiving correspondent then performs the following steps: (h) converting the password into a secret bit string kSp by the agreed upon method; (i) dividing the secret bit string kSp into (nx+ny+2) binary sub-strings, kSx,0,kSx,1, . . . , kSx,nx,kSy,0,kSy,1, . . . , kSy,ny; (j) embedding the secret sub-string kSx,0,kSx,1, . . . ,kSx,nx,kSy,0,kSy,1, . . . , kSy,ny into the (nx+1) x-coordinates and the ny y-coordinates, wherein the resultant point satisfies the elliptic polynomial to obtain a password embedded point (x0,SP,x1,SP, . . . , xnx,SP,y0,SP,y1,SP, . . . , yny,SP) the password embedded point being an elliptic polynomial point; (k) computing a scalar multiplication of a scalar value kSy,0 with the password embedded point (x0,SP,x1,SP, . . . , xnx,SP,y0,SP,y1,SP, . . . , yny,SP) as (x0,SC,x1,SC, . . . , xnx,SC,y0,SC,y1,SC, . . . , yny,SC)=kSy,0(x0,SP,x1,SP, . . . , xnx,SP,y0,SP,y1,SP, . . . , yny,SP) and (l) comparing (x0,SC,x1,SC, . . . , xnx,SC,y0,SC,y1,SC, . . . , yny,SC) and (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C), and if (x0,SC,x1,SC, . . . , xnx,SC,y0,SC,y1,SC, . . . , yny,SC) is equal to (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C), then authenticating the user, wherein if (x0,SC,x1,SC, . . . , xnx,SC,y0,SC,y1,SC, . . . , yny,SC) is not equal to (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C), then denying access.
In another alternative embodiment, the method includes the following steps: (a) defining a maximum block size that can be embedded into (nx+1) x-coordinates and ny y-coordinates, wherein nx and ny are integers, and setting the maximum block size to be (nx+ny+1)N bits, wherein N is an integer; (b) a sending correspondent and a receiving correspondent agree upon an elliptic polynomial ECnx+ny+2 by agreeing upon the values of nx and ny, and further agree on a set of coefficients a1k,a2kl,a3k,c1lki,c2kl,c3kli,b1l,b2lk,b3lk,b4k & bc∈F , wherein F represents a finite field where the field's elements can be represented in N-bits, the sending and receiving correspondents further agreeing on a base point on an elliptic polynomial (x0,B,x1,B, . . . , xnx,B,y0,B,y1,B, . . . , yy,B)∈ECxn+ny+2, wherein ECnx+ny+2 represents the elliptic polynomial, the sending and receiving correspondents further agreeing upon a method that converts a password into a bit string that has an equivalent scalar value, wherein the above shared information may be kept private or made public, and the sending and receiving correspondents then further agree on the password, which represents a shared secret key for communication.
The sending correspondent then performs the following steps: (c) converting the password into a secret bit string kU; (d) dividing the secret bit string kU into (nx+ny+3) binary sub-strings, kUx,0,kUx,1, . . . , kUx,nx,kUy,1, . . . , kUy,ny and kU1,kU2; (e) embedding the secret sub-string kUx,0,kUx,1, . . . , kUx,nx,kUy,1, . . . , kUy,ny into the (nx+1) x-coordinates and the ny y-coordinates, wherein the resultant point satisfies the elliptic polynomial to obtain a password embedded point (x0,U,x1,U, . . . , xnx,U,y0,U, . . . , yny,U), the password embedded point being an elliptic polynomial point; (f) computing a scalar multiplication of a scalar value kU1 with the base point, (x0,B,x1,B, . . . , xnx,B,y0,B,y1,B, . . . , yny,B) and the scalar value, kU2, with the user point, (x0,U,x1,U, . . . , xnx,U,y0,U,y1,U, . . . , yny,U), as

(x0,C,x1,C, . . . ,xnx,C,y0,C,y1,C, . . . ,yny,C)=kU1(x0,B,x1,B, . . . ,xnx,B,y0,B,y1,B, . . . ,yny,B)+kU2(x0,U,x1,U, . . . ,xnx,U,y0,U,y1,U, . . . ,yny,U)

wherein (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C) is a cipher point; and (g) sending appropriate bits of the x-coordinates and of the y-coordinates of the cipher point (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C) to the receiver.

The receiving correspondent then performs the following steps: (h) converting the password into a bit string kUS using the agreed upon method; (i) dividing the secret key string kSp into (nx+ny+3) binary sub-strings kUSx,0,kUSx,1, . . . , kUSx,nx,kUSy,1, . . . , kUSy,ny and kUS1,kUS2; (j) embedding the secret sub-string kUSx,0,kUSx,1, . . . , kUSx,nx,kUSy,1, . . . ,kUSy,ny into the (nx+1) x-coordinates and the ny y-coordinates, wherein the resultant point satisfies the elliptic polynomial to obtain a password embedded point (x0,US,x1,US, . . . , xnx,US,y0,US,y1,US, . . . , yny,US), the password embedded point being an elliptic polynomial point; (k) computing a scalar multiplication of the scalar value kUS1 with the base point (x0,B,x1,B, . . . , xnx,B,y0,B,y1,B, . . . , yny,B), and computing a scalar multiplication of the scalar value kUS2 with the user point (x0,US,x1,US, . . . , xnx,US,y0,US,y1,US, . . . , yny,US) to compute the point (x0,SC,x1,SC, . . . , xnx,SC,y0,SC,y1,SC, . . . , yny,SC) as

(x0,SC,x1,SC, . . . ,xnx,SC,y0,SC,y1,SC, . . . ,yny,SC)=kU1(x0,B,x1,B, . . . ,xnx,B,y0,B,y1,B, . . . ,yny,Bu)+; and

kU2(x0,US,x1,US, . . . ,xnx,US,y0,US,y1,US, . . . ,yny,US)

(l) comparing (x0,SC,x1,SC, . . . , xnx,SC,y0,SC,y1,SC, . . . , yny,SC) and (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C) and if (x0,SC,x1,SC, . . . , xnx,SC,y0,SC,y1,SC, . . . , yny,SC) is equal to (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C) then authenticating the user, wherein if (x0,SC,x1,SC, . . . , xnx,SC,y0,SC,y1,SC, . . . , yny,SC) is not equal to (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C) then denying access.

As noted above, the methods include data embedding. In order to embed a bit string onto an elliptic polynomial point, the following steps are performed:
(a) dividing a bit string into (nx+ny+1) bit strings kx,0,kx,1, . . . , kx,nx,ky,1, . . . , ky,ny;
(b) assigning the value of the bit strings of kx,0,kx,1, . . . , kx,nx as x0,k,x1,k, . . . , knx,k;
(c) assigning the value of the bit strings of ky,1, . . . , kk,ny as y1,k, . . . , yny,k;
(d) substituting the values of x0,k,x1,k, . . . , xnx,k and y1,k, . . . , yny,k in




  
    
      
        ∑
        
          k
          ∈
          
            S
            
              n
              ⁢
              
                
              
              ⁢
              y
            
          
        
      
      ⁢
      
        
          a
          
            1
            ⁢
            k
          
        
        ⁢
        
          y
          k
          2
        
      
    
    +
    
      
        ∑
        
          k
          ,
          
            l
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                y
              
            
          
          ,
          
            l
            ≠
            k
          
        
      
      ⁢
      
        
          a
          
            2
            ⁢
            k
            ⁢
            
              
            
            ⁢
            l
          
        
        ⁢
        
          y
          k
        
        ⁢
        
          y
          l
        
      
    
    +
    
      
        ∑
        
          k
          ∈
          
            S
            
              n
              ⁢
              
                
              
              ⁢
              y
            
          
        
      
      ⁢
      
        
          a
          
            3
            ⁢
            k
          
        
        ⁢
        
          y
          k
        
      
    
    +
    
      
        ∑
        
          k
          ,
          
            l
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                y
              
            
          
          ,
          
            i
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
        
      
      ⁢
      
        
          c
          
            1
            ⁢
            k
            ⁢
            
              
            
            ⁢
            l
            ⁢
            
              
            
            ⁢
            i
          
        
        ⁢
        
          y
          k
        
        ⁢
        
          y
          l
        
        ⁢
        
          x
          i
        
      
    
    +
    
      
        ∑
        
          
            k
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                y
              
            
          
          ,
          
            l
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
        
      
      ⁢
      
        
          c
          
            2
            ⁢
            k
            ⁢
            
              
            
            ⁢
            l
          
        
        ⁢
        
          y
          k
        
        ⁢
        
          x
          l
        
      
    
    +
    
      
        ∑
        
          
            k
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                y
              
            
          
          ,
          l
          ,
          
            i
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
        
      
      ⁢
      
        
          c
          
            3
            ⁢
            k
            ⁢
            
              
            
            ⁢
            l
            ⁢
            
              
            
            ⁢
            i
          
        
        ⁢
        
          y
          k
        
        ⁢
        
          x
          l
        
        ⁢
        
          x
          i
        
      
    
  
  =
  
    
      
        ∑
        
          l
          ∈
          
            S
            
              n
              ⁢
              
                
              
              ⁢
              x
            
          
        
      
      ⁢
      
        
          b
          
            1
            ⁢
            l
          
        
        ⁢
        
          x
          l
          3
        
      
    
    +
    
      
        ∑
        
          l
          ,
          
            k
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
          ,
          
            l
            ≠
            k
          
        
      
      ⁢
      
        
          b
          
            2
            ⁢
            l
            ⁢
            
              
            
            ⁢
            k
          
        
        ⁢
        
          x
          l
          2
        
        ⁢
        
          x
          k
        
      
    
    +
    
      
        ∑
        
          l
          ,
          
            k
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
        
      
      ⁢
      
        
          b
          
            3
            ⁢
            l
            ⁢
            
              
            
            ⁢
            k
          
        
        ⁢
        
          x
          l
        
        ⁢
        
          x
          k
        
      
    
    +
    
      
        ∑
        
          k
          ∈
          
            S
            
              n
              ⁢
              
                
              
              ⁢
              x
            
          
        
      
      ⁢
      
        
          b
          
            4
            ⁢
            k
          
        
        ⁢
        
          x
          k
        
      
    
    +
    
      b
      c
    
  




to form a quadratic equation for y0; and

(e) performing a Legendre test to see if the quadratic equation in y0 has a square root, and if the quadratic equation has a square root, then assigning one of the roots of y0, and if it does not have a square root, then substituting the values (gx0,k,gx1,k, . . . , gxnx,k) and g3/2y1,k, . . . , g3/2yny,k) in




  
    
      
        ∑
        
          k
          ∈
          
            S
            
              n
              ⁢
              
                
              
              ⁢
              y
            
          
        
      
      ⁢
      
        
          a
          
            1
            ⁢
            k
          
        
        ⁢
        
          y
          k
          2
        
      
    
    +
    
      
        ∑
        
          k
          ,
          
            l
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                y
              
            
          
          ,
          
            l
            ≠
            k
          
        
      
      ⁢
      
        
          a
          
            2
            ⁢
            k
            ⁢
            
              
            
            ⁢
            l
          
        
        ⁢
        
          y
          k
        
        ⁢
        
          y
          l
        
      
    
    +
    
      
        ∑
        
          k
          ∈
          
            S
            
              n
              ⁢
              
                
              
              ⁢
              y
            
          
        
      
      ⁢
      
        
          a
          
            3
            ⁢
            k
          
        
        ⁢
        
          y
          k
        
      
    
    +
    
      
        ∑
        
          k
          ,
          
            l
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                y
              
            
          
          ,
          
            i
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
        
      
      ⁢
      
        
          c
          
            1
            ⁢
            k
            ⁢
            
              
            
            ⁢
            l
            ⁢
            
              
            
            ⁢
            i
          
        
        ⁢
        
          y
          k
        
        ⁢
        
          y
          l
        
        ⁢
        
          x
          i
        
      
    
    +
    
      
        ∑
        
          
            k
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                y
              
            
          
          ,
          
            l
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
        
      
      ⁢
      
        
          c
          
            2
            ⁢
            k
            ⁢
            
              
            
            ⁢
            l
          
        
        ⁢
        
          y
          k
        
        ⁢
        
          x
          l
        
      
    
    +
    
      
        ∑
        
          
            k
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                y
              
            
          
          ,
          l
          ,
          
            i
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
        
      
      ⁢
      
        
          c
          
            3
            ⁢
            k
            ⁢
            
              
            
            ⁢
            l
            ⁢
            
              
            
            ⁢
            i
          
        
        ⁢
        
          y
          k
        
        ⁢
        
          x
          l
        
        ⁢
        
          x
          i
        
      
    
  
  =
  
    
      
        ∑
        
          l
          ∈
          
            S
            
              n
              ⁢
              
                
              
              ⁢
              x
            
          
        
      
      ⁢
      
        
          b
          
            1
            ⁢
            l
          
        
        ⁢
        
          x
          l
          3
        
      
    
    +
    
      
        ∑
        
          l
          ,
          
            k
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
          ,
          
            l
            ≠
            k
          
        
      
      ⁢
      
        
          b
          
            2
            ⁢
            l
            ⁢
            
              
            
            ⁢
            k
          
        
        ⁢
        
          x
          l
          2
        
        ⁢
        
          x
          k
        
      
    
    +
    
      
        ∑
        
          l
          ,
          
            k
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
        
      
      ⁢
      
        
          b
          
            3
            ⁢
            l
            ⁢
            
              
            
            ⁢
            k
          
        
        ⁢
        
          x
          l
        
        ⁢
        
          x
          k
        
      
    
    +
    
      
        ∑
        
          k
          ∈
          
            S
            
              n
              ⁢
              
                
              
              ⁢
              x
            
          
        
      
      ⁢
      
        
          b
          
            4
            ⁢
            k
          
        
        ⁢
        
          x
          k
        
      
    
    +
    
      b
      c
    
  




and solving for the resulting quadratic equation in y0, and assigning one of the roots to y0.

The Legendre Symbol is used to test whether an element of F(p) has a square root or not, i.e., whether an element is quadratic residue or not. The Legendre Symbol and test are as follows. Given an element of a finite field F(p), such as d, the Legendre symbol is defined as (d/p). In order to test whether d is quadratic residue or not, the Legendre symbol, (d/p), is computed such that:




  
    (
    
      d
      p
    
    )
  
  =
  
    {
    
      
        
          
            +
            1
          
        
        
          
            if
            ⁢
            
              
            
            ⁢
            x
            ⁢
            
              
            
            ⁢
            is
            ⁢
            
              
            
            ⁢
            quadratic
            ⁢
            
              
            
            ⁢
            residue
          
        
      
      
        
          0
        
        
          
            
              if
              ⁢
              
                
              
              ⁢
              x
            
            =
            
              0
              ⁢
              mod
              ⁢
              
                
              
              ⁢
              
                F
                ⁡
                
                  (
                  p
                  )
                
              
            
          
        
      
      
        
          
            -
            1
          
        
        
          
            otherwise
            .
          
        
      
    
  




The security of ECnx+ny+2 cryptosystems is assessed by both the effect on the solution of the elliptic curve discrete logarithm problem (ECDLP); and power analysis attacks. It is well known that the elliptic curve discrete logarithm problem (ECDLP) is apparently intractable for non-singular elliptic curves. The ECDLP problem can be stated as follows: given an elliptic curve defined over F that need N-bit for the representation of its elements, an elliptic curve point (xp,yp)∈EC2 defined in affine coordinates, and a point (xQ,yQ)∈EC2 defined in affine coordinates, determine the integer k,0≦k≦#F, such that (xQ,yQ)=k(xp,yp) provided that such an integer exist. In what follows, it is assumed that such an integer exists. The apparent intractability of the elliptic curve discrete logarithm problem (ECDLP) is the basis of the security of ECnx+ny+2 cryptosystems. It is assumed that a selected elliptic polynomial equation with more than one x-coordinate and one or more y-coordinates for use in a ECnx+ny+2 cryptosystem has a surface or hyper-surface that is non-singular. A non-singular surface or hyper-surface is such that the partial first derivatives at any non-trivial point on the surface or hyper-surface are not all equal to zero.
The ECDLP in ECnx+ny+2 cryptosystems can be stated as follows: given a point (x0,p,x1,p, . . . , xnx,p,y0,p,y1,p, . . . , yny,p)∈ECnx+ny+2 and a point (x0,Q,x1,Q, . . . , xnx,Q,y0,Q,y1,Q, . . . , yny,Q)∈ECnx+ny+2, determine an integer k,0≦k≦#F such that (x0,Q,x1,Q, . . . , xnx,Q,y0,Q,y1,Q, . . . , yny,Q)=k(x0,p,x1,p, . . . , xnx,p,y0,p,y1,p, . . . , yny,p) provided that such an integer exist. The most well known attack used against the ECDLP is Pollard ρ-method, which has a complexity of O(√{square root over (πK)}/2), where K is the order of the underlying group and the complexity is measured in terms of an elliptic curve point addition.
In ECnx+ny+2 cryptosystems, the modified Pollard ρ-method can be formulated as follows: find two points

(x0,i,x1,i, . . . ,xnx,i,y0,i,y1,i, . . . ,yny,i)=Ai(x0,Q,x1,Q, . . . ,xnx,Q,y0,Q,y1,Q, . . . ,yny,Q)+Bi(x0,p,x1,p, . . . ,xnx,p,y0,p,y1,p, . . . ,yny,p)

and

(x0,j,x1,j, . . . ,xnx,j,y0,j,y1,j, . . . ,yny,j)=Aj(x0,Q,x1,Q, . . . ,xnx,Q,y0,Q,y1,Q, . . . ,yny,Q)+Bj(x0,p,x1,p, . . . ,xnx,p,y0,p,y1,p, . . . ,yny,p)

such that

(x0,i,x1,i, . . . ,xnx,i,y0,i,y1,i, . . . ,yny,i)=(x0,j,x1,j, . . . ,xnx,j,y0,j,y1,j, . . . ,yny,j)

and, hence,





  
    k
    =
    
      
        
          A
          i
        
        +
        
          A
          j
        
      
      
        
          B
          i
        
        +
        
          B
          j
        
      
    
  
  ,




and given that all the points are members of ECnx+ny+2. It is clear that the complexity of the Pollard ρ-method in ECnx+ny+2 cryptosystems defined over F is O(√{square root over (π(#ECnx+ny+2))}/2) and where #ECnx+ny+2 is proportional to #(F(p))nx+ny+1 and # denotes the order of a field or group.

Furthermore, the problem is even more difficult with secret key embedding since the point (x0,p,x1,p, . . . , xnx,p,y0,p,y1,p, . . . , yny,p) is blinded because of its dependence on a shared secret key. The attacker only has k(x0,p,x1,p, . . . , xnx,p,y0,p,y1,p, . . . , yny,p) from which to find k and (x0,p,x1,p, . . . , xnx,p,y0,p,y1,p, . . . , yny,p). Clearly this is an undetermined problem. Simple and differential power analysis can be used to attack ECnx+ny+2 cryptosystems in a similar manner in which they are used to attack elliptic curve cryptosystems. The countermeasures that are used against simple and differential power analysis for elliptic curve cryptosystems are also applicable for ECnx+ny+2 cryptosystems.
As an example, the randomized projective coordinate method can be applied in ECnx+ny+2 cryptosystems by randomizing the coordinates of the projective coordinates, that is

(X0,X1, . . . ,Xnx,Y0,Y1, . . . ,Yny,V)=(X0λ2,X1λ2, . . . ,Xnxλ2,Y0λ3,Y1λ3, . . . ,Ynyλ3,Vλ)

where λ is a random variable. In elliptic polynomial point addition and point doubling defined previously, they are defined over the entire dimensional space which contains all the (nx+1) x-coordinate and all the (ny+1) y-coordinates. The corresponding scalar multiplication which is implemented as a sequence of point additions and point doublings is therefore defined over the entire dimensional space which contains all the (nx+1) x-coordinate and all the (ny+1) y-coordinates. It is possible, however, to define scalar multiplication over a sub-dimensional space which does not contain all the (nx+1) x-coordinate and all the (ny+1) y-coordinates, but must contain at least one x-coordinate and one y-coordinate. In this case, the corresponding point addition and point doubling are defined in the sub-dimensional space. In this case, the variables that denote the other coordinates that are not contained in the selected sub-dimensional space are considered to be constants.

Furthermore, a sequence of scalar multiplications can also be defined over different sub-dimensional spaces that contains different groupings of the x-coordinate and y-coordinates with the condition that each sub-dimensional space contains at least one x-coordinate and one-y-coordinate.
It should be understood that the calculations may be performed by any suitable computer system, such as that diagrammatically shown in the sole drawing FIGURE. Data is entered into system 100 via any suitable type of user interface 116, and may be stored in memory 112, which may be any suitable type of computer readable and programmable memory. Calculations are performed by processor 114, which may be any suitable type of computer processor and may be displayed to the user on display 118, which may be any suitable type of computer display.
Processor 114 may be associated with, or incorporated into, any suitable type of computing device, for example, a personal computer or a programmable logic controller. The display 118, the processor 114, the memory 112 and any associated computer readable recording media are in communication with one another by any suitable type of data bus, as is well known in the art.
Examples of computer-readable recording media include a magnetic recording apparatus, an optical disk, a magneto-optical disk, and/or a semiconductor memory (for example, RAM, ROM, etc.). Examples of magnetic recording apparatus that may be used in addition to memory 112, or in place of memory 112, include a hard disk device (HDD), a flexible disk (FD), and a magnetic tape (MT). Examples of the optical disk include a DVD (Digital Versatile Disc), a DVD-RAM, a CD-ROM (Compact Disc-Read Only Memory), and a CD-R (Recordable)/RW.
It is to be understood that the present invention is not limited to the embodiments described above, but encompasses any and all embodiments within the scope of the following claims.

## Claims

1. A computerized method of generating a password protocol using elliptic polynomial cryptography, comprising the steps of:
(a) defining a maximum block size that can be embedded into (nx+1) x-coordinates and ny y-coordinates, wherein nx and ny are integers, and setting the maximum block size to be (nx+ny+1)N bits, wherein N is an integer;
(b) a sending correspondent and a receiving correspondent agree upon an elliptic polynomial ECnx+ny+2 by agreeing upon the values of nx and ny, and further agree on a set of coefficients a1k,a2kl,a3k,c1lki,c2kl,c3kli,b1l,b2lk,b3lk,b4k & bc∈F, wherein F represents a finite field where the field's elements can be represented in N-bits, the sending and receiving correspondents further agreeing on a base point on an elliptic polynomial (x0,B,x1,B, . . . , xnx,B,y0,B,y1,B, . . . , yny,B)∈ECxn+ny+2, wherein ECnx+ny+2 represents the elliptic polynomial, the sending and receiving correspondents further agreeing upon a method that converts a password into a bit string that has an equivalent scalar value, and the sending and receiving correspondents then further agree on the password, which represents a shared secret key for communication;
the sending correspondent then performs the following steps:
(c) converting the password into a bit string by the agreed method and defining an equivalent scalar value kU;
(d) computing a scalar multiplication of the scalar value kU with the base point (x0,B,x1,B, . . . , xnx,B,y0,B,y1,B, . . . , yny,B) as (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C)=kU(x0,B,x1,B, . . . , xnx,B,y0,B,y1,B, . . . , yny,B), wherein (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C) is a cipher point;
(e) sending appropriate bits of the x-coordinates and of the y-coordinates of the cipher point (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C) to the receiver;
the receiving correspondent then performs the following steps:
(f) converting the password into a bit string by the agreed upon method and defining an equivalent scalar value kUS;
(g) computing a scalar multiplication of the scalar value kUS with the base point (x0,B,x1,B, . . . , xnx,B,y0,B,y1,B, . . . , yny,B) as (x0,SC,x1,SC, . . . , xnx,SC,y0,SC,y1,SC, . . . , yny,SC)=kUS(x0,B,x1,B, . . . , xnx,B,y0,B,y1,B, . . . , yny,B); and
comparing (x0,SC,x1,SC, . . . , xnx,SC,y0,SC,y1,SC, . . . , yny,SC) and (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C) and if (x0,SC,x1,SC, . . . , xnx,SC,y0,SC,y1,SC, . . . , yny,SC) is equal to (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C) then authenticating the user, wherein if (x0,SC,x1,SC, . . . , xnx,SC,y0,SC,y1,SC, . . . , yny,SC) is not equal to (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C), then denying access.

2. A computerized method of generating a password protocol using elliptic polynomial cryptography, comprising the steps of:
(a) defining a maximum block size that can be embedded into (nx+1) x-coordinates and ny y-coordinates, wherein nx and ny are integers, and setting the maximum block size to be (nx+ny+1)N bits, wherein N is an integer;
(b) a sending correspondent and a receiving correspondent agree upon an elliptic polynomial ECnx+ny+2 by agreeing upon the values of nx and ny, and further agree on a set of coefficients a1k,a2kl,a3k,c1lki,c2kl, c3kli,b1l,b2lk,b3lk,b4k & bc∈F, wherein F represents a finite field where the field's elements can be represented in N-bits, the sending and receiving correspondents further agreeing on a base point on an elliptic polynomial (x0,B,x1,B, . . . , xnx,B,y0,B,y1,B, . . . , yny,B)∈ECxn+ny+2, wherein ECnx+ny+2 represents the elliptic polynomial, the sending and receiving correspondents further agreeing upon a method that converts a password into a bit string that has an equivalent scalar value, and the sending and receiving correspondents then further agree on the password, which represents a shared secret key for communication;
the sending correspondent then performs the following steps:
(c) converting the password into a secret bit string kp by the agreed upon method;
(d) dividing the secret bit string kp into (nx+ny+2) binary sub-strings, kx,0,kx,1, . . . , kx,nx,ky,0,ky,1, . . . , ky,ny;
(e) embedding the secret sub-string kx,0,kx,1, . . . , kx,nx,ky,1, . . . , ky,ny into the (nx+1) x-coordinates and the ny y-coordinates, wherein the resultant point satisfies the elliptic polynomial to obtain a password embedded point (x0,P,x1,P, . . . , xnx,P,y0,P,y1,P, . . . , yny,P), the password embedded point being an elliptic point;
(f) computing a scalar multiplication of a scalar value ky,0 with the password embedded point as (x0,P,x1,P, . . . , xnx,P,y0,P,y1,P, . . . , yny,P) as (x0,C,x1,C, . . . , xnx,C,y0,1,y1,C, . . . , yny,C)=ky,0(x0,P,x1,P, . . . , xnx,P,y0,P,y1,P, . . . , yny,P), wherein (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C) is a cipher point;
(g) sending appropriate bits of the x-coordinates and of the y-coordinates of the cipher point (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C) to the receiver;
the receiving correspondent then performs the following steps:
(h) converting the password into a secret bit string kSp by the agreed upon method;
(i) dividing the secret bit string kSp into (nx+ny+2) binary sub-strings, kSx,0,kSx,1, . . . , kSx,nx,kSy,0,kSy,1, . . . , kSy,ny;
(j) embedding the secret sub-string kSx,0, kSx,1, . . . , kSx,nx,kSy,0,kSy,1, . . . , kSy,ny into the (nx+1) x-coordinates and the ny y-coordinates, wherein the resultant point satisfies the elliptic polynomial to obtain a password embedded point (x0,SP,x1,SP, . . . , xnx,SP,y0,SP,y1,SP, . . . , yny,SP), the password embedded point being an elliptic polynomial point;
(k) computing a scalar multiplication of a scalar value kSy,0 with the password embedded point (x0,SP,x1,SP, . . . , xnx,SP,y0,SP,y1,SP, . . . , yny,SP) as (x0,SC,x1,SC, . . . , xnx,SC,y0,SC,y1,SC, . . . , yny,SC)=kSy,0(x0,SP,x1,SP, . . . , xnx,SP,y0,SP,y1,SP, . . . , yny,SP); and
(l) comparing (x0,SC,x1,SC, . . . , xnx,SC,y0,SC,y1,SC, . . . , yny,SC) and (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C) and if (x0,SC,x1,SC, . . . , xnx,SC,y0,SC,y1,SC, . . . , yny,SC) is equal to (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C) then authenticating the user, wherein if (x0,SC,x1,SC, . . . , xnx,SC,y0,SC,y1,SC, . . . , yny,SC) is not equal to (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C), then denying access.

3. The computerized method of generating a password protocol using elliptic polynomial cryptography as recited in claim 2, wherein the step of embedding includes the steps of:
(a) dividing a bit string into (nx+ny+1) bit strings kx,0,kx,1, . . . , kx,nx,ky,1, . . . , ky,ny;
(b) assigning the value of the bit strings of kx,0,kx,1, . . . , kx,nx as x0,k,x1,k, . . . , xnx,k;
(c) assigning the value of the bit strings of ky,1, . . . , kk,ny as y1,k, . . . , yny,k;
(d) substituting the values of x0,k,x1,k, . . . , knx,k and y1,k, . . . , yny,k in





  
    
      
        ∑
        
          k
          ∈
          
            S
            
              n
              ⁢
              
                
              
              ⁢
              y
            
          
        
      
      ⁢
      
        
          a
          
            1
            ⁢
            k
          
        
        ⁢
        
          y
          k
          2
        
      
    
    +
    
      
        ∑
        
          k
          ,
          
            l
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                y
              
            
          
          ,
          
            l
            ≠
            k
          
        
      
      ⁢
      
        
          a
          
            2
            ⁢
            k
            ⁢
            
              
            
            ⁢
            l
          
        
        ⁢
        
          y
          k
        
        ⁢
        
          y
          l
        
      
    
    +
    
      
        ∑
        
          k
          ∈
          
            S
            
              n
              ⁢
              
                
              
              ⁢
              y
            
          
        
      
      ⁢
      
        
          a
          
            3
            ⁢
            k
          
        
        ⁢
        
          y
          k
        
      
    
    +
    
      
        ∑
        
          k
          ,
          
            l
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                y
              
            
          
          ,
          
            i
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
        
      
      ⁢
      
        
          c
          
            1
            ⁢
            k
            ⁢
            
              
            
            ⁢
            l
            ⁢
            
              
            
            ⁢
            i
          
        
        ⁢
        
          y
          k
        
        ⁢
        
          y
          l
        
        ⁢
        
          x
          i
        
      
    
    +
    
      
        ∑
        
          
            k
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                y
              
            
          
          ,
          
            l
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
        
      
      ⁢
      
        
          c
          
            2
            ⁢
            k
            ⁢
            
              
            
            ⁢
            l
          
        
        ⁢
        
          y
          k
        
        ⁢
        
          x
          l
        
      
    
    +
    
      
        ∑
        
          
            k
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                y
              
            
          
          ,
          l
          ,
          
            i
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
        
      
      ⁢
      
        
          c
          
            3
            ⁢
            k
            ⁢
            
              
            
            ⁢
            l
            ⁢
            
              
            
            ⁢
            i
          
        
        ⁢
        
          y
          k
        
        ⁢
        
          x
          l
        
        ⁢
        
          x
          i
        
      
    
  
  =
  
    
      
        ∑
        
          l
          ∈
          
            S
            
              n
              ⁢
              
                
              
              ⁢
              x
            
          
        
      
      ⁢
      
        
          b
          
            1
            ⁢
            l
          
        
        ⁢
        
          x
          l
          3
        
      
    
    +
    
      
        ∑
        
          l
          ,
          
            k
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
          ,
          
            l
            ≠
            k
          
        
      
      ⁢
      
        
          b
          
            2
            ⁢
            l
            ⁢
            
              
            
            ⁢
            k
          
        
        ⁢
        
          x
          l
          2
        
        ⁢
        
          x
          k
        
      
    
    +
    
      
        ∑
        
          l
          ,
          
            k
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
        
      
      ⁢
      
        
          b
          
            3
            ⁢
            l
            ⁢
            
              
            
            ⁢
            k
          
        
        ⁢
        
          x
          l
        
        ⁢
        
          x
          k
        
      
    
    +
    
      
        ∑
        
          k
          ∈
          
            S
            
              n
              ⁢
              
                
              
              ⁢
              x
            
          
        
      
      ⁢
      
        
          b
          
            4
            ⁢
            k
          
        
        ⁢
        
          x
          k
        
      
    
    +
    
      b
      c
    
  



to form a quadratic equation for y0; and
(e) performing a Legendre test to see if the quadratic equation in y0 has a square root, and if the quadratic equation has a square root, then assigning one of the roots of y0, and if it does not have a square root, then substituting the values (gx0,k,gx1,k, . . . , gxnx,k) and (g3/2y1,k, . . . , g3/2yny,k) in





  
    
      
        ∑
        
          k
          ∈
          
            S
            
              n
              ⁢
              
                
              
              ⁢
              y
            
          
        
      
      ⁢
      
        
          a
          
            1
            ⁢
            k
          
        
        ⁢
        
          y
          k
          2
        
      
    
    +
    
      
        ∑
        
          k
          ,
          
            l
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                y
              
            
          
          ,
          
            l
            ≠
            k
          
        
      
      ⁢
      
        
          a
          
            2
            ⁢
            k
            ⁢
            
              
            
            ⁢
            l
          
        
        ⁢
        
          y
          k
        
        ⁢
        
          y
          l
        
      
    
    +
    
      
        ∑
        
          k
          ∈
          
            S
            
              n
              ⁢
              
                
              
              ⁢
              y
            
          
        
      
      ⁢
      
        
          a
          
            3
            ⁢
            k
          
        
        ⁢
        
          y
          k
        
      
    
    +
    
      
        ∑
        
          k
          ,
          
            l
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                y
              
            
          
          ,
          
            i
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
        
      
      ⁢
      
        
          c
          
            1
            ⁢
            k
            ⁢
            
              
            
            ⁢
            l
            ⁢
            
              
            
            ⁢
            i
          
        
        ⁢
        
          y
          k
        
        ⁢
        
          y
          l
        
        ⁢
        
          x
          i
        
      
    
    +
    
      
        ∑
        
          
            k
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                y
              
            
          
          ,
          
            l
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
        
      
      ⁢
      
        
          c
          
            2
            ⁢
            k
            ⁢
            
              
            
            ⁢
            l
          
        
        ⁢
        
          y
          k
        
        ⁢
        
          x
          l
        
      
    
    +
    
      
        ∑
        
          
            k
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                y
              
            
          
          ,
          l
          ,
          
            i
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
        
      
      ⁢
      
        
          c
          
            3
            ⁢
            k
            ⁢
            
              
            
            ⁢
            l
            ⁢
            
              
            
            ⁢
            i
          
        
        ⁢
        
          y
          k
        
        ⁢
        
          x
          l
        
        ⁢
        
          x
          i
        
      
    
  
  =
  
    
      
        ∑
        
          l
          ∈
          
            S
            
              n
              ⁢
              
                
              
              ⁢
              x
            
          
        
      
      ⁢
      
        
          b
          
            1
            ⁢
            l
          
        
        ⁢
        
          x
          l
          3
        
      
    
    +
    
      
        ∑
        
          l
          ,
          
            k
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
          ,
          
            l
            ≠
            k
          
        
      
      ⁢
      
        
          b
          
            2
            ⁢
            l
            ⁢
            
              
            
            ⁢
            k
          
        
        ⁢
        
          x
          l
          2
        
        ⁢
        
          x
          k
        
      
    
    +
    
      
        ∑
        
          l
          ,
          
            k
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
        
      
      ⁢
      
        
          b
          
            3
            ⁢
            l
            ⁢
            
              
            
            ⁢
            k
          
        
        ⁢
        
          x
          l
        
        ⁢
        
          x
          k
        
      
    
    +
    
      
        ∑
        
          k
          ∈
          
            S
            
              n
              ⁢
              
                
              
              ⁢
              x
            
          
        
      
      ⁢
      
        
          b
          
            4
            ⁢
            k
          
        
        ⁢
        
          x
          k
        
      
    
    +
    
      b
      c
    
  




and solving for the resulting quadratic equation in y0, and assigning one of the roots to y0.

4. A computerized method of generating a password protocol using elliptic polynomial cryptography, comprising the steps of:
(a) defining a maximum block size that can be embedded into (nx+1) x-coordinates and ny y-coordinates, wherein nx and ny are integers, and setting the maximum block size to be (nx+ny+1)N bits, wherein N is an integer;
(b) a sending correspondent and a receiving correspondent agree upon an elliptic polynomial ECnx+ny+2 by agreeing upon the values of nx and ny, and further agree on a set of coefficients a1k,a2kl,a3k,c1lki,c2kl,c3kli,b1l,b2lk,b3lk,b4k & bc∈F, wherein F represents a finite field where the field's elements can be represented in N-bits, the sending and receiving correspondents further agreeing on a base point on an elliptic polynomial (x0,b,x1,B, . . . , xnx,B,y0,B,y1,B, . . . , yny,B)∈ECxn+ny+2, wherein ECnx+ny+2 represents the elliptic polynomial, the sending and receiving correspondents further agreeing upon a method that converts a password into a bit string that has an equivalent scalar value, and the sending and receiving correspondents then further agree on the password, which represents a shared secret key for communication;
the sending correspondent then performs the following steps:
(c) converting the password into a secret bit string kU;
(d) dividing the secret bit string kU into (nx+ny+3) binary sub-strings, kUx,0,kUx,1, . . . , kUx,nx,kUy,1, . . . , kUy,ny and kU1,kU2;
(e) embedding the secret sub-string kUx,0,kUx,1, . . . , kUx,nx,kUy,1, . . . , kUy,ny into the (nx+1) x-coordinates and the ny y-coordinates, wherein the resultant point satisfies the elliptic polynomial to obtain a password embedded point (x0,U,x1,U, . . . , xnx,U,y0,U,y1,U, . . . , yny,U), the password embedded point being an elliptic polynomial point;
(f) computing a scalar multiplication of a scalar value kU1 with the base point, (x0,B,x1,B, . . . , xnx,B,y0,B,y1,B, . . . , yny,B), and the scalar value, kU2, with the user point, (x0,U,x1,U, . . . , xnx,U,y0,U,y1,U, . . . , yny,U), as


(x0,C,x1,C, . . . ,xnx,C,y0,C,y1,C, . . . ,yny,C)=kU1(x0,B,x1,B, . . . ,xnx,B,y0,B,y1,B, . . . ,yny,B)+kU2(x0,U,x1,U, . . . ,xnx,U,y0,U,y1,U, . . . ,yny,U)



wherein (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C) is a cipher point; and
(g) sending appropriate bits of the x-coordinates and of the y-coordinates of the cipher point (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C) to the receiver;
the receiving correspondent then performs the following steps:
(h) converting the password into a bit string kUS using the agreed upon method;
(i) dividing the secret key string kSp into (nx+ny+3) binary sub-strings kUSx,0,kUSx,1, . . . , kUSx,nx,kUSy,1, . . . , kUSy,ny and kUS1,kUS2;
(j) embedding the secret sub-string kUSx,0,kUSx,1, . . . , kUSx,nx,kUSy,1, . . . , kUSy,ny into the (nx+1) x-coordinates and the ny y-coordinates, wherein the resultant point satisfies the elliptic polynomial to obtain a password embedded point (x0,US,x1,US, . . . , xnx,US,y0,US,y1,US, . . . , yny,US), the password embedded point being an elliptic polynomial point;
(k) computing a scalar multiplication of the scalar value kUS1 with the base point (x0,B,x1,B, . . . , xnx,B,y0,B,y1,B, . . . , yny,B), and computing a scalar multiplication of the scalar value kUS2 with the user point (x0,US,x1,US, . . . , xnx,US,y0,US,y1,US, . . . , yny,US) to compute the point (x0,SC,x1,SC, . . . , xnx,SC,y0,SC,y1,SC, . . . , yny,SC) as


(x0,SC,x1,SC, . . . ,xnx,SC,y0,SC,y1,SC, . . . ,yny,SC)=kU1(x0,B,x1,B, . . . ,xnx,B,y0,B,y1,B, . . . ,yny,Bu)+; and



kU2(x0,US,x1,US, . . . ,xnx,US,y0,US,y1,US, . . . ,yny,US)


(l) comparing and (x0,SC,x1,SC, . . . , xnx,SC,y0,SC,y1,SC, . . . , yny,SC) and (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C) and if (x0,SC,x1,SC, . . . , xnx,SC,y0,SC,y1,SC, . . . , yny,SC) is equal to (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C) then authenticating the user, wherein if (x0,SC,x1,SC, . . . , xnx,SC,y0,SC,y1,SC, . . . , yny,SC) is not equal to (x0,C,x1,C, . . . , xnx,C,y0,C,y1,C, . . . , yny,C), then denying access.

5. The computerized method of generating a password protocol using elliptic polynomial cryptography as recited in claim 4, wherein the step of embedding includes the steps of:
(a) dividing a bit string into (nx+ny+1) bit strings kx,0,kx,1, . . . , kx,nx,ky,1, . . . , ky,ny;
(b) assigning the value of the bit strings of kx,0,kx,1, . . . , kx,nx as x0,k,x1,k, . . . , xnx,k;
(c) assigning the value of the bit strings of ky,1, . . . , kk,ny as y1,k, . . . , yny,k;
(d) substituting the values of x0,k,x1,k, . . . , xnx,k and y1,k, . . . , yny,k in





  
    
      
        ∑
        
          k
          ∈
          
            S
            
              n
              ⁢
              
                
              
              ⁢
              y
            
          
        
      
      ⁢
      
        
          a
          
            1
            ⁢
            k
          
        
        ⁢
        
          y
          k
          2
        
      
    
    +
    
      
        ∑
        
          k
          ,
          
            l
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                y
              
            
          
          ,
          
            l
            ≠
            k
          
        
      
      ⁢
      
        
          a
          
            2
            ⁢
            k
            ⁢
            
              
            
            ⁢
            l
          
        
        ⁢
        
          y
          k
        
        ⁢
        
          y
          l
        
      
    
    +
    
      
        ∑
        
          k
          ∈
          
            S
            
              n
              ⁢
              
                
              
              ⁢
              y
            
          
        
      
      ⁢
      
        
          a
          
            3
            ⁢
            k
          
        
        ⁢
        
          y
          k
        
      
    
    +
    
      
        ∑
        
          k
          ,
          
            l
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                y
              
            
          
          ,
          
            i
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
        
      
      ⁢
      
        
          c
          
            1
            ⁢
            k
            ⁢
            
              
            
            ⁢
            l
            ⁢
            
              
            
            ⁢
            i
          
        
        ⁢
        
          y
          k
        
        ⁢
        
          y
          l
        
        ⁢
        
          x
          i
        
      
    
    +
    
      
        ∑
        
          
            k
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                y
              
            
          
          ,
          
            l
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
        
      
      ⁢
      
        
          c
          
            2
            ⁢
            k
            ⁢
            
              
            
            ⁢
            l
          
        
        ⁢
        
          y
          k
        
        ⁢
        
          x
          l
        
      
    
    +
    
      
        ∑
        
          
            k
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                y
              
            
          
          ,
          l
          ,
          
            i
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
        
      
      ⁢
      
        
          c
          
            3
            ⁢
            k
            ⁢
            
              
            
            ⁢
            l
            ⁢
            
              
            
            ⁢
            i
          
        
        ⁢
        
          y
          k
        
        ⁢
        
          x
          l
        
        ⁢
        
          x
          i
        
      
    
  
  =
  
    
      
        ∑
        
          l
          ∈
          
            S
            
              n
              ⁢
              
                
              
              ⁢
              x
            
          
        
      
      ⁢
      
        
          b
          
            1
            ⁢
            l
          
        
        ⁢
        
          x
          l
          3
        
      
    
    +
    
      
        ∑
        
          l
          ,
          
            k
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
          ,
          
            l
            ≠
            k
          
        
      
      ⁢
      
        
          b
          
            2
            ⁢
            l
            ⁢
            
              
            
            ⁢
            k
          
        
        ⁢
        
          x
          l
          2
        
        ⁢
        
          x
          k
        
      
    
    +
    
      
        ∑
        
          l
          ,
          
            k
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
        
      
      ⁢
      
        
          b
          
            3
            ⁢
            l
            ⁢
            
              
            
            ⁢
            k
          
        
        ⁢
        
          x
          l
        
        ⁢
        
          x
          k
        
      
    
    +
    
      
        ∑
        
          k
          ∈
          
            S
            
              n
              ⁢
              
                
              
              ⁢
              x
            
          
        
      
      ⁢
      
        
          b
          
            4
            ⁢
            k
          
        
        ⁢
        
          x
          k
        
      
    
    +
    
      b
      c
    
  



to form a quadratic equation for y0; and
(e) performing a Legendre test to see if the quadratic equation in y0 has a square root, and if the quadratic equation has a square root, then assigning one of the roots of y0, and if it does not have a square root, then substituting the values (gx0,k,gx1,k, . . . , gxnx,k) and (g3/2y1,k, . . . , g3/2yny,k) in





  
    
      
        ∑
        
          k
          ∈
          
            S
            
              n
              ⁢
              
                
              
              ⁢
              y
            
          
        
      
      ⁢
      
        
          a
          
            1
            ⁢
            k
          
        
        ⁢
        
          y
          k
          2
        
      
    
    +
    
      
        ∑
        
          k
          ,
          
            l
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                y
              
            
          
          ,
          
            l
            ≠
            k
          
        
      
      ⁢
      
        
          a
          
            2
            ⁢
            k
            ⁢
            
              
            
            ⁢
            l
          
        
        ⁢
        
          y
          k
        
        ⁢
        
          y
          l
        
      
    
    +
    
      
        ∑
        
          k
          ∈
          
            S
            
              n
              ⁢
              
                
              
              ⁢
              y
            
          
        
      
      ⁢
      
        
          a
          
            3
            ⁢
            k
          
        
        ⁢
        
          y
          k
        
      
    
    +
    
      
        ∑
        
          k
          ,
          
            l
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                y
              
            
          
          ,
          
            i
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
        
      
      ⁢
      
        
          c
          
            1
            ⁢
            k
            ⁢
            
              
            
            ⁢
            l
            ⁢
            
              
            
            ⁢
            i
          
        
        ⁢
        
          y
          k
        
        ⁢
        
          y
          l
        
        ⁢
        
          x
          i
        
      
    
    +
    
      
        ∑
        
          
            k
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                y
              
            
          
          ,
          
            l
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
        
      
      ⁢
      
        
          c
          
            2
            ⁢
            k
            ⁢
            
              
            
            ⁢
            l
          
        
        ⁢
        
          y
          k
        
        ⁢
        
          x
          l
        
      
    
    +
    
      
        ∑
        
          
            k
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                y
              
            
          
          ,
          l
          ,
          
            i
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
        
      
      ⁢
      
        
          c
          
            3
            ⁢
            k
            ⁢
            
              
            
            ⁢
            l
            ⁢
            
              
            
            ⁢
            i
          
        
        ⁢
        
          y
          k
        
        ⁢
        
          x
          l
        
        ⁢
        
          x
          i
        
      
    
  
  =
  
    
      
        ∑
        
          l
          ∈
          
            S
            
              n
              ⁢
              
                
              
              ⁢
              x
            
          
        
      
      ⁢
      
        
          b
          
            1
            ⁢
            l
          
        
        ⁢
        
          x
          l
          3
        
      
    
    +
    
      
        ∑
        
          l
          ,
          
            k
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
          ,
          
            l
            ≠
            k
          
        
      
      ⁢
      
        
          b
          
            2
            ⁢
            l
            ⁢
            
              
            
            ⁢
            k
          
        
        ⁢
        
          x
          l
          2
        
        ⁢
        
          x
          k
        
      
    
    +
    
      
        ∑
        
          l
          ,
          
            k
            ∈
            
              S
              
                n
                ⁢
                
                  
                
                ⁢
                x
              
            
          
        
      
      ⁢
      
        
          b
          
            3
            ⁢
            l
            ⁢
            
              
            
            ⁢
            k
          
        
        ⁢
        
          x
          l
        
        ⁢
        
          x
          k
        
      
    
    +
    
      
        ∑
        
          k
          ∈
          
            S
            
              n
              ⁢
              
                
              
              ⁢
              x
            
          
        
      
      ⁢
      
        
          b
          
            4
            ⁢
            k
          
        
        ⁢
        
          x
          k
        
      
    
    +
    
      b
      c
    
  




and solving for the resulting quadratic equation in y0, and assigning one of the roots to y0.