Main Page   Class Hierarchy   Alphabetical List   Compound List   File List   Compound Members   File Members  

ecp.cpp

00001 // ecp.cpp - written and placed in the public domain by Wei Dai
00002 
00003 #include "pch.h"
00004 #include "ecp.h"
00005 #include "asn.h"
00006 #include "nbtheory.h"
00007 
00008 #include "algebra.cpp"
00009 #include "eprecomp.cpp"
00010 
00011 NAMESPACE_BEGIN(CryptoPP)
00012 
00013 ANONYMOUS_NAMESPACE_BEGIN
00014 static inline ECP::Point ToMontgomery(const MontgomeryRepresentation &mr, const ECP::Point &P)
00015 {
00016         return P.identity ? P : ECP::Point(mr.ConvertIn(P.x), mr.ConvertIn(P.y));
00017 }
00018 
00019 static inline ECP::Point FromMontgomery(const MontgomeryRepresentation &mr, const ECP::Point &P)
00020 {
00021         return P.identity ? P : ECP::Point(mr.ConvertOut(P.x), mr.ConvertOut(P.y));
00022 }
00023 NAMESPACE_END
00024 
00025 ECP::ECP(BufferedTransformation &bt)
00026         : m_fieldPtr(new Field(bt)), m_field(*m_fieldPtr)
00027 {
00028         BERSequenceDecoder seq(bt);
00029         m_field.BERDecodeElement(seq, m_a);
00030         m_field.BERDecodeElement(seq, m_b);
00031         // skip optional seed
00032         if (!seq.EndReached())
00033                 BERDecodeOctetString(seq, g_bitBucket);
00034         seq.MessageEnd();
00035 }
00036 
00037 void ECP::DEREncode(BufferedTransformation &bt) const
00038 {
00039         m_field.DEREncode(bt);
00040         DERSequenceEncoder seq(bt);
00041         m_field.DEREncodeElement(seq, m_a);
00042         m_field.DEREncodeElement(seq, m_b);
00043         seq.MessageEnd();
00044 }
00045 
00046 bool ECP::DecodePoint(ECP::Point &P, const byte *encodedPoint, unsigned int encodedPointLen) const
00047 {
00048         StringStore store(encodedPoint, encodedPointLen);
00049         return DecodePoint(P, store, encodedPointLen);
00050 }
00051 
00052 bool ECP::DecodePoint(ECP::Point &P, BufferedTransformation &bt, unsigned int encodedPointLen) const
00053 {
00054         byte type;
00055         if (encodedPointLen < 1 || !bt.Get(type))
00056                 return false;
00057 
00058         switch (type)
00059         {
00060         case 0:
00061                 P.identity = true;
00062                 return true;
00063         case 2:
00064         case 3:
00065         {
00066                 if (encodedPointLen != EncodedPointSize(true))
00067                         return false;
00068 
00069                 Integer p = FieldSize();
00070 
00071                 P.identity = false;
00072                 P.x.Decode(bt, m_field.MaxElementByteLength()); 
00073                 P.y = ((P.x*P.x+m_a)*P.x+m_b) % p;
00074 
00075                 if (Jacobi(P.y, p) !=1)
00076                         return false;
00077 
00078                 P.y = ModularSquareRoot(P.y, p);
00079 
00080                 if ((type & 1) != P.y.GetBit(0))
00081                         P.y = p-P.y;
00082 
00083                 return true;
00084         }
00085         case 4:
00086         {
00087                 if (encodedPointLen != EncodedPointSize(false))
00088                         return false;
00089 
00090                 unsigned int len = m_field.MaxElementByteLength();
00091                 P.identity = false;
00092                 P.x.Decode(bt, len);
00093                 P.y.Decode(bt, len);
00094                 return true;
00095         }
00096         default:
00097                 return false;
00098         }
00099 }
00100 
00101 void ECP::EncodePoint(byte *encodedPoint, const Point &P, bool compressed) const
00102 {
00103         if (P.identity)
00104                 memset(encodedPoint, 0, EncodedPointSize(compressed));
00105         else if (compressed)
00106         {
00107                 encodedPoint[0] = 2 + P.y.GetBit(0);
00108                 P.x.Encode(encodedPoint+1, m_field.MaxElementByteLength());
00109         }
00110         else
00111         {
00112                 unsigned int len = m_field.MaxElementByteLength();
00113                 encodedPoint[0] = 4;    // uncompressed
00114                 P.x.Encode(encodedPoint+1, len);
00115                 P.y.Encode(encodedPoint+1+len, len);
00116         }
00117 }
00118 
00119 ECP::Point ECP::BERDecodePoint(BufferedTransformation &bt) const
00120 {
00121         SecByteBlock str;
00122         BERDecodeOctetString(bt, str);
00123         Point P;
00124         if (!DecodePoint(P, str, str.size))
00125                 BERDecodeError();
00126         return P;
00127 }
00128 
00129 void ECP::DEREncodePoint(BufferedTransformation &bt, const Point &P, bool compressed) const
00130 {
00131         SecByteBlock str(EncodedPointSize(compressed));
00132         EncodePoint(str, P, compressed);
00133         DEREncodeOctetString(bt, str);
00134 }
00135 
00136 bool ECP::ValidateParameters(RandomNumberGenerator &rng) const
00137 {
00138         Integer p = FieldSize();
00139         return p.IsOdd() && VerifyPrime(rng, p)
00140                 && !m_a.IsNegative() && m_a<p && !m_b.IsNegative() && m_b<p
00141                 && ((4*m_a*m_a*m_a+27*m_b*m_b)%p).IsPositive();
00142 }
00143 
00144 bool ECP::VerifyPoint(const Point &P) const
00145 {
00146         const FieldElement &x = P.x, &y = P.y;
00147         Integer p = FieldSize();
00148         return P.identity ||
00149                 (!x.IsNegative() && x<p && !y.IsNegative() && y<p
00150                 && !(((x*x+m_a)*x+m_b-y*y)%p));
00151 }
00152 
00153 bool ECP::Equal(const Point &P, const Point &Q) const
00154 {
00155         if (P.identity && Q.identity)
00156                 return true;
00157 
00158         if (P.identity && !Q.identity)
00159                 return false;
00160 
00161         if (!P.identity && Q.identity)
00162                 return false;
00163 
00164         return (m_field.Equal(P.x,Q.x) && m_field.Equal(P.y,Q.y));
00165 }
00166 
00167 const ECP::Point& ECP::Inverse(const Point &P) const
00168 {
00169         if (P.identity)
00170                 return P;
00171         else
00172         {
00173                 m_R.identity = false;
00174                 m_R.x = P.x;
00175                 m_R.y = m_field.Inverse(P.y);
00176                 return m_R;
00177         }
00178 }
00179 
00180 const ECP::Point& ECP::Add(const Point &P, const Point &Q) const
00181 {
00182         if (P.identity) return Q;
00183         if (Q.identity) return P;
00184         if (m_field.Equal(P.x, Q.x))
00185                 return m_field.Equal(P.y, Q.y) ? Double(P) : Zero();
00186 
00187         FieldElement t = m_field.Subtract(Q.y, P.y);
00188         t = m_field.Divide(t, m_field.Subtract(Q.x, P.x));
00189         FieldElement x = m_field.Subtract(m_field.Subtract(m_field.Square(t), P.x), Q.x);
00190         m_R.y = m_field.Subtract(m_field.Multiply(t, m_field.Subtract(P.x, x)), P.y);
00191 
00192         m_R.x.swap(x);
00193         m_R.identity = false;
00194         return m_R;
00195 }
00196 
00197 const ECP::Point& ECP::Double(const Point &P) const
00198 {
00199         if (P.identity || P.y==m_field.Zero()) return Zero();
00200 
00201         FieldElement t = m_field.Square(P.x);
00202         t = m_field.Add(m_field.Add(m_field.Double(t), t), m_a);
00203         t = m_field.Divide(t, m_field.Double(P.y));
00204         FieldElement x = m_field.Subtract(m_field.Subtract(m_field.Square(t), P.x), P.x);
00205         m_R.y = m_field.Subtract(m_field.Multiply(t, m_field.Subtract(P.x, x)), P.y);
00206 
00207         m_R.x.swap(x);
00208         m_R.identity = false;
00209         return m_R;
00210 }
00211 
00212 template <class T, class Iterator> void ParallelInvert(const AbstractRing<T> &ring, Iterator begin, Iterator end)
00213 {
00214         unsigned int n = end-begin;
00215         if (n == 1)
00216                 *begin = ring.MultiplicativeInverse(*begin);
00217         else if (n > 1)
00218         {
00219                 std::vector<T> vec((n+1)/2);
00220                 unsigned int i;
00221                 Iterator it;
00222 
00223                 for (i=0, it=begin; i<n/2; i++, it+=2)
00224                         vec[i] = ring.Multiply(*it, *(it+1));
00225                 if (n%2 == 1)
00226                         vec[n/2] = *it;
00227 
00228                 ParallelInvert(ring, vec.begin(), vec.end());
00229 
00230                 for (i=0, it=begin; i<n/2; i++, it+=2)
00231                 {
00232                         if (!vec[i])
00233                         {
00234                                 *it = ring.MultiplicativeInverse(*it);
00235                                 *(it+1) = ring.MultiplicativeInverse(*(it+1));
00236                         }
00237                         else
00238                         {
00239                                 std::swap(*it, *(it+1));
00240                                 *it = ring.Multiply(*it, vec[i]);
00241                                 *(it+1) = ring.Multiply(*(it+1), vec[i]);
00242                         }
00243                 }
00244                 if (n%2 == 1)
00245                         *it = vec[n/2];
00246         }
00247 }
00248 
00249 struct ProjectivePoint
00250 {
00251         ProjectivePoint() {}
00252         ProjectivePoint(const Integer &x, const Integer &y, const Integer &z)
00253                 : x(x), y(y), z(z)      {}
00254 
00255         Integer x,y,z;
00256 };
00257 
00258 class ProjectiveDoubling
00259 {
00260 public:
00261         ProjectiveDoubling(const ModularArithmetic &mr, const Integer &m_a, const Integer &m_b, const ECPPoint &Q)
00262                 : mr(mr), firstDoubling(true), negated(false)
00263         {
00264                 if (Q.identity)
00265                 {
00266                         sixteenY4 = P.x = P.y = mr.One();
00267                         aZ4 = P.z = mr.Zero();
00268                 }
00269                 else
00270                 {
00271                         P.x = Q.x;
00272                         P.y = Q.y;
00273                         sixteenY4 = P.z = mr.One();
00274                         aZ4 = m_a;
00275                 }
00276         }
00277 
00278         void Double()
00279         {
00280                 twoY = mr.Double(P.y);
00281                 P.z = mr.Multiply(P.z, twoY);
00282                 fourY2 = mr.Square(twoY);
00283                 S = mr.Multiply(fourY2, P.x);
00284                 aZ4 = mr.Multiply(aZ4, sixteenY4);
00285                 M = mr.Square(P.x);
00286                 M = mr.Add(mr.Add(mr.Double(M), M), aZ4);
00287                 P.x = mr.Square(M);
00288                 mr.Reduce(P.x, S);
00289                 mr.Reduce(P.x, S);
00290                 mr.Reduce(S, P.x);
00291                 P.y = mr.Multiply(M, S);
00292                 sixteenY4 = mr.Square(fourY2);
00293                 mr.Reduce(P.y, mr.Half(sixteenY4));
00294         }
00295 
00296         const ModularArithmetic &mr;
00297         ProjectivePoint P;
00298         bool firstDoubling, negated;
00299         Integer sixteenY4, aZ4, twoY, fourY2, S, M;
00300 };
00301 
00302 struct ZIterator
00303 {
00304         ZIterator() {}
00305         ZIterator(std::vector<ProjectivePoint>::iterator it) : it(it) {}
00306         Integer& operator*() {return it->z;}
00307         int operator-(ZIterator it2) {return it-it2.it;}
00308         ZIterator operator+(int i) {return ZIterator(it+i);}
00309         ZIterator& operator+=(int i) {it+=i; return *this;}
00310         std::vector<ProjectivePoint>::iterator it;
00311 };
00312 
00313 ECP::Point ECP::ScalarMultiply(const Point &P, const Integer &k) const
00314 {
00315         Element result;
00316         if (k.BitCount() <= 5)
00317                 AbstractGroup<ECPPoint>::SimultaneousMultiply(&result, P, &k, 1);
00318         else
00319                 ECP::SimultaneousMultiply(&result, P, &k, 1);
00320         return result;
00321 }
00322 
00323 void ECP::SimultaneousMultiply(ECP::Point *results, const ECP::Point &P, const Integer *expBegin, unsigned int expCount) const
00324 {
00325         if (m_fieldPtr.get())
00326         {
00327                 MontgomeryRepresentation mr(m_field.GetModulus());
00328                 ECP ecpmr(mr, mr.ConvertIn(m_a), mr.ConvertIn(m_b));
00329                 ecpmr.SimultaneousMultiply(results, ToMontgomery(mr, P), expBegin, expCount);
00330                 for (unsigned int i=0; i<expCount; i++)
00331                         results[i] = FromMontgomery(mr, results[i]);
00332                 return;
00333         }
00334 
00335         ProjectiveDoubling rd(m_field, m_a, m_b, P);
00336         std::vector<ProjectivePoint> bases;
00337         std::vector<WindowSlider> exponents;
00338         exponents.reserve(expCount);
00339         std::vector<std::vector<unsigned int> > baseIndices(expCount);
00340         std::vector<std::vector<bool> > negateBase(expCount);
00341         std::vector<std::vector<unsigned int> > exponentWindows(expCount);
00342         unsigned int i;
00343 
00344         for (i=0; i<expCount; i++)
00345         {
00346                 assert(expBegin->NotNegative());
00347                 exponents.push_back(WindowSlider(*expBegin++, InversionIsFast(), 5));
00348                 exponents[i].FindNextWindow();
00349         }
00350 
00351         unsigned int expBitPosition = 0;
00352         bool notDone = true;
00353 
00354         while (notDone)
00355         {
00356                 notDone = false;
00357                 bool baseAdded = false;
00358                 for (i=0; i<expCount; i++)
00359                 {
00360                         if (!exponents[i].finished && expBitPosition == exponents[i].windowBegin)
00361                         {
00362                                 if (!baseAdded)
00363                                 {
00364                                         bases.push_back(rd.P);
00365                                         baseAdded =true;
00366                                 }
00367 
00368                                 exponentWindows[i].push_back(exponents[i].expWindow);
00369                                 baseIndices[i].push_back(bases.size()-1);
00370                                 negateBase[i].push_back(exponents[i].negateNext);
00371 
00372                                 exponents[i].FindNextWindow();
00373                         }
00374                         notDone = notDone || !exponents[i].finished;
00375                 }
00376 
00377                 if (notDone)
00378                 {
00379                         rd.Double();
00380                         expBitPosition++;
00381                 }
00382         }
00383 
00384         // convert from projective to affine coordinates
00385         ParallelInvert(m_field, ZIterator(bases.begin()), ZIterator(bases.end()));
00386         for (i=0; i<bases.size(); i++)
00387         {
00388                 if (bases[i].z.NotZero())
00389                 {
00390                         bases[i].y = m_field.Multiply(bases[i].y, bases[i].z);
00391                         bases[i].z = m_field.Square(bases[i].z);
00392                         bases[i].x = m_field.Multiply(bases[i].x, bases[i].z);
00393                         bases[i].y = m_field.Multiply(bases[i].y, bases[i].z);
00394                 }
00395         }
00396 
00397         std::vector<BaseAndExponent<Point, word> > finalCascade;
00398         for (i=0; i<expCount; i++)
00399         {
00400                 finalCascade.resize(baseIndices[i].size());
00401                 for (unsigned int j=0; j<baseIndices[i].size(); j++)
00402                 {
00403                         ProjectivePoint &base = bases[baseIndices[i][j]];
00404                         if (base.z.IsZero())
00405                                 finalCascade[j].base.identity = true;
00406                         else
00407                         {
00408                                 finalCascade[j].base.identity = false;
00409                                 finalCascade[j].base.x = base.x;
00410                                 if (negateBase[i][j])
00411                                         finalCascade[j].base.y = m_field.Inverse(base.y);
00412                                 else
00413                                         finalCascade[j].base.y = base.y;
00414                         }
00415                         finalCascade[j].exponent = exponentWindows[i][j];
00416                 }
00417                 results[i] = GeneralCascadeMultiplication(*this, finalCascade.begin(), finalCascade.end());
00418         }
00419 }
00420 
00421 ECP::Point ECP::CascadeScalarMultiply(const Point &P, const Integer &k1, const Point &Q, const Integer &k2) const
00422 {
00423         if (m_fieldPtr.get())
00424         {
00425                 MontgomeryRepresentation mr(m_field.GetModulus());
00426                 ECP ecpmr(mr, mr.ConvertIn(m_a), mr.ConvertIn(m_b));
00427                 return FromMontgomery(mr, ecpmr.CascadeScalarMultiply(ToMontgomery(mr, P), k1, ToMontgomery(mr, Q), k2));
00428         }
00429         else
00430                 return AbstractGroup<Point>::CascadeScalarMultiply(P, k1, Q, k2);
00431 }
00432 
00433 // ********************************************************
00434 
00435 EcPrecomputation<ECP>& EcPrecomputation<ECP>::operator=(const EcPrecomputation<ECP> &rhs)
00436 {
00437         m_mr = rhs.m_mr;
00438         m_ec.reset(new ECP(*m_mr, rhs.m_ec->GetA(), rhs.m_ec->GetB()));
00439         m_ep = rhs.m_ep;
00440         m_ep.m_group = m_ec.get();
00441         return *this;
00442 }
00443 
00444 void EcPrecomputation<ECP>::SetCurveAndBase(const ECP &ec, const ECP::Point &base)
00445 {
00446         m_mr.reset(new MontgomeryRepresentation(ec.GetField().GetModulus()));
00447         m_ec.reset(new ECP(*m_mr, m_mr->ConvertIn(ec.GetA()), m_mr->ConvertIn(ec.GetB())));
00448         m_ep.SetGroupAndBase(*m_ec, ToMontgomery(*m_mr, base));
00449 }
00450 
00451 void EcPrecomputation<ECP>::Precompute(unsigned int maxExpBits, unsigned int storage)
00452 {
00453         m_ep.Precompute(maxExpBits, storage);
00454 }
00455 
00456 void EcPrecomputation<ECP>::Load(BufferedTransformation &bt)
00457 {
00458         BERSequenceDecoder seq(bt);
00459         word32 version;
00460         BERDecodeUnsigned<word32>(seq, version, INTEGER, 1, 1);
00461         m_ep.m_exponentBase.BERDecode(seq);
00462         m_ep.m_windowSize = m_ep.m_exponentBase.BitCount() - 1;
00463         m_ep.m_bases.clear();
00464         while (!seq.EndReached())
00465                 m_ep.m_bases.push_back(m_ec->BERDecodePoint(seq));
00466         seq.MessageEnd();
00467 }
00468 
00469 void EcPrecomputation<ECP>::Save(BufferedTransformation &bt) const
00470 {
00471         DERSequenceEncoder seq(bt);
00472         DEREncodeUnsigned<word32>(seq, 1);      // version
00473         m_ep.m_exponentBase.DEREncode(seq);
00474         for (unsigned i=0; i<m_ep.m_bases.size(); i++)
00475                 m_ec->DEREncodePoint(seq, m_ep.m_bases[i]);
00476         seq.MessageEnd();
00477 }
00478 
00479 ECP::Point EcPrecomputation<ECP>::Multiply(const Integer &exponent) const
00480 {
00481         return FromMontgomery(*m_mr, m_ep.Exponentiate(exponent));
00482 }
00483 
00484 ECP::Point EcPrecomputation<ECP>::CascadeMultiply(const Integer &exponent, const EcPrecomputation<ECP> &pc2, const Integer &exponent2) const
00485 {
00486         return FromMontgomery(*m_mr, m_ep.CascadeExponentiate(exponent, pc2.m_ep, exponent2));
00487 }
00488 
00489 NAMESPACE_END

Generated at Mon Jan 15 01:16:31 2001 for Crypto++ by doxygen1.2.4 written by Dimitri van Heesch, © 1997-2000