📄 mqv_8h-source.html
字号:
<a name="l00064"></a><a class="code" href="class_m_q_v___domain.html#071369fe7462d070cbdf0521b8fb5edd">00064</a> <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> EphemeralPublicKeyLength()<span class="keyword"> const </span>{<span class="keywordflow">return</span> StaticPublicKeyLength();}<a name="l00065"></a>00065 <a name="l00066"></a><a class="code" href="class_m_q_v___domain.html#efc317e9012eea4b7f43b3a72398e34d">00066</a> <span class="keywordtype">void</span> GenerateEphemeralPrivateKey(<a class="code" href="class_random_number_generator.html" title="interface for random number generators">RandomNumberGenerator</a> &rng, byte *privateKey)<span class="keyword"> const</span><a name="l00067"></a>00067 <span class="keyword"> </span>{<a name="l00068"></a>00068 <span class="keyword">const</span> <a class="code" href="class_d_l___group_parameters.html" title="interface for DL group parameters">DL_GroupParameters<Element></a> &params = GetAbstractGroupParameters();<a name="l00069"></a>00069 <a class="code" href="class_integer.html" title="multiple precision integer and basic arithmetics">Integer</a> x(rng, <a class="code" href="class_integer.html#8c070592581bf6c2f928c72bfa1c1638" title="avoid calling constructors for these frequently used integers">Integer::One</a>(), params.<a class="code" href="class_d_l___group_parameters.html#926024f8e1673c9753048626f90b6529">GetMaxExponent</a>());<a name="l00070"></a>00070 x.Encode(privateKey, StaticPrivateKeyLength());<a name="l00071"></a>00071 Element y = params.<a class="code" href="class_d_l___group_parameters.html#a49341ced39e6ce13f00eae0c2faad87">ExponentiateBase</a>(x);<a name="l00072"></a>00072 params.<a class="code" href="class_d_l___group_parameters.html#71c6058bd5ddcd54bd36565b0ba0cae0">EncodeElement</a>(<span class="keyword">true</span>, y, privateKey+StaticPrivateKeyLength());<a name="l00073"></a>00073 }<a name="l00074"></a>00074 <a name="l00075"></a><a class="code" href="class_m_q_v___domain.html#2cc3ee07353b65ac5f353ef5cb7aad14">00075</a> <span class="keywordtype">void</span> GenerateEphemeralPublicKey(<a class="code" href="class_random_number_generator.html" title="interface for random number generators">RandomNumberGenerator</a> &rng, <span class="keyword">const</span> byte *privateKey, byte *publicKey)<span class="keyword"> const</span><a name="l00076"></a>00076 <span class="keyword"> </span>{<a name="l00077"></a>00077 memcpy(publicKey, privateKey+StaticPrivateKeyLength(), EphemeralPublicKeyLength());<a name="l00078"></a>00078 }<a name="l00079"></a>00079 <a name="l00080"></a><a class="code" href="class_m_q_v___domain.html#9a7642a35cdbaca0023629c0477aefc1">00080</a> <span class="keywordtype">bool</span> Agree(byte *agreedValue,<a name="l00081"></a>00081 <span class="keyword">const</span> byte *staticPrivateKey, <span class="keyword">const</span> byte *ephemeralPrivateKey, <a name="l00082"></a>00082 <span class="keyword">const</span> byte *staticOtherPublicKey, <span class="keyword">const</span> byte *ephemeralOtherPublicKey,<a name="l00083"></a>00083 <span class="keywordtype">bool</span> validateStaticOtherPublicKey=<span class="keyword">true</span>)<span class="keyword"> const</span><a name="l00084"></a>00084 <span class="keyword"> </span>{<a name="l00085"></a>00085 <span class="keywordflow">try</span><a name="l00086"></a>00086 {<a name="l00087"></a>00087 <span class="keyword">const</span> <a class="code" href="class_d_l___group_parameters.html" title="interface for DL group parameters">DL_GroupParameters<Element></a> &params = GetAbstractGroupParameters();<a name="l00088"></a>00088 Element WW = params.<a class="code" href="class_d_l___group_parameters.html#f3dc6d48394c356bb30dc72371aa02e7">DecodeElement</a>(staticOtherPublicKey, validateStaticOtherPublicKey);<a name="l00089"></a>00089 Element VV = params.<a class="code" href="class_d_l___group_parameters.html#f3dc6d48394c356bb30dc72371aa02e7">DecodeElement</a>(ephemeralOtherPublicKey, <span class="keyword">true</span>);<a name="l00090"></a>00090 <a name="l00091"></a>00091 <a class="code" href="class_integer.html" title="multiple precision integer and basic arithmetics">Integer</a> s(staticPrivateKey, StaticPrivateKeyLength());<a name="l00092"></a>00092 <a class="code" href="class_integer.html" title="multiple precision integer and basic arithmetics">Integer</a> u(ephemeralPrivateKey, StaticPrivateKeyLength());<a name="l00093"></a>00093 Element V = params.<a class="code" href="class_d_l___group_parameters.html#f3dc6d48394c356bb30dc72371aa02e7">DecodeElement</a>(ephemeralPrivateKey+StaticPrivateKeyLength(), <span class="keyword">false</span>);<a name="l00094"></a>00094 <a name="l00095"></a>00095 <span class="keyword">const</span> <a class="code" href="class_integer.html" title="multiple precision integer and basic arithmetics">Integer</a> &r = params.<a class="code" href="class_d_l___group_parameters.html#3555cec872358c0f314a375f56119c99">GetSubgroupOrder</a>();<a name="l00096"></a>00096 <a class="code" href="class_integer.html" title="multiple precision integer and basic arithmetics">Integer</a> h2 = <a class="code" href="class_integer.html#de53248f5dbb520273a70856b975417c" title="return the integer 2**e">Integer::Power2</a>((r.<a class="code" href="class_integer.html#867356d88074424328d0ebb9bea63254" title="number of significant bits = floor(log2(abs(*this))) + 1">BitCount</a>()+1)/2);<a name="l00097"></a>00097 <a class="code" href="class_integer.html" title="multiple precision integer and basic arithmetics">Integer</a> e = ((h2+params.<a class="code" href="class_d_l___group_parameters.html#fb36d983bb45fe3b8acb1767c0060700">ConvertElementToInteger</a>(V)%h2)*s+u) % r;<a name="l00098"></a>00098 <a class="code" href="class_integer.html" title="multiple precision integer and basic arithmetics">Integer</a> tt = h2 + params.<a class="code" href="class_d_l___group_parameters.html#fb36d983bb45fe3b8acb1767c0060700">ConvertElementToInteger</a>(VV) % h2;<a name="l00099"></a>00099 <a name="l00100"></a>00100 <span class="keywordflow">if</span> (COFACTOR_OPTION::ToEnum() == <a class="code" href="pubkey_8h.html#e4b59f7b9d3c7e03bb739f0584905ff169418ae10529f1fab66df8063ea9d286">NO_COFACTOR_MULTIPLICTION</a>)<a name="l00101"></a>00101 {<a name="l00102"></a>00102 Element P = params.<a class="code" href="class_d_l___group_parameters.html#0b49c5d4dbe0b8de7b967d5c6c78e712">ExponentiateElement</a>(WW, tt);<a name="l00103"></a>00103 P = m_groupParameters.MultiplyElements(P, VV);<a name="l00104"></a>00104 Element R[2];<a name="l00105"></a>00105 <span class="keyword">const</span> <a class="code" href="class_integer.html" title="multiple precision integer and basic arithmetics">Integer</a> e2[2] = {r, e};<a name="l00106"></a>00106 params.<a class="code" href="class_d_l___group_parameters.html#c11607926a66ce8ba8ae273a5b0464e7">SimultaneousExponentiate</a>(R, P, e2, 2);<a name="l00107"></a>00107 <span class="keywordflow">if</span> (!params.<a class="code" href="class_d_l___group_parameters.html#fb67ae388bba22447e45a74f87b2630b">IsIdentity</a>(R[0]) || params.<a class="code" href="class_d_l___group_parameters.html#fb67ae388bba22447e45a74f87b2630b">IsIdentity</a>(R[1]))<a name="l00108"></a>00108 <span class="keywordflow">return</span> <span class="keyword">false</span>;<a name="l00109"></a>00109 params.<a class="code" href="class_d_l___group_parameters.html#71c6058bd5ddcd54bd36565b0ba0cae0">EncodeElement</a>(<span class="keyword">false</span>, R[1], agreedValue);<a name="l00110"></a>00110 }<a name="l00111"></a>00111 <span class="keywordflow">else</span><a name="l00112"></a>00112 {<a name="l00113"></a>00113 <span class="keyword">const</span> <a class="code" href="class_integer.html" title="multiple precision integer and basic arithmetics">Integer</a> &k = params.<a class="code" href="class_d_l___group_parameters.html#1a7a2e50499872d2be408aa36621bf91">GetCofactor</a>();<a name="l00114"></a>00114 <span class="keywordflow">if</span> (COFACTOR_OPTION::ToEnum() == <a class="code" href="pubkey_8h.html#e4b59f7b9d3c7e03bb739f0584905ff1f008f1e77658d1f047d77a9524f68276">COMPATIBLE_COFACTOR_MULTIPLICTION</a>)<a name="l00115"></a>00115 e = <a class="code" href="class_modular_arithmetic.html" title="ring of congruence classes modulo n">ModularArithmetic</a>(r).<a class="code" href="class_integer.html#567c89aa176b354143c99d558d05a5fb" title="calculate r and q such that (a == d*q + r) && (0 <= r < abs(d))">Divide</a>(e, k);<a name="l00116"></a>00116 Element P = m_groupParameters.CascadeExponentiate(VV, k*e, WW, k*(e*tt%r));<a name="l00117"></a>00117 <span class="keywordflow">if</span> (params.<a class="code" href="class_d_l___group_parameters.html#fb67ae388bba22447e45a74f87b2630b">IsIdentity</a>(P))<a name="l00118"></a>00118 <span class="keywordflow">return</span> <span class="keyword">false</span>;<a name="l00119"></a>00119 params.<a class="code" href="class_d_l___group_parameters.html#71c6058bd5ddcd54bd36565b0ba0cae0">EncodeElement</a>(<span class="keyword">false</span>, P, agreedValue);<a name="l00120"></a>00120 }<a name="l00121"></a>00121 }<a name="l00122"></a>00122 <span class="keywordflow">catch</span> (<a class="code" href="class_d_l___bad_element.html" title="to be thrown by DecodeElement and AgreeWithStaticPrivateKey">DL_BadElement</a> &)<a name="l00123"></a>00123 {<a name="l00124"></a>00124 <span class="keywordflow">return</span> <span class="keyword">false</span>;<a name="l00125"></a>00125 }<a name="l00126"></a>00126 <span class="keywordflow">return</span> <span class="keyword">true</span>;<a name="l00127"></a>00127 }<a name="l00128"></a>00128 <a name="l00129"></a>00129 <span class="keyword">private</span>:<a name="l00130"></a>00130 <a class="code" href="class_d_l___group_parameters.html" title="interface for DL group parameters">DL_GroupParameters<Element></a> & AccessAbstractGroupParameters() {<span class="keywordflow">return</span> m_groupParameters;}<a name="l00131"></a>00131 <span class="keyword">const</span> <a class="code" href="class_d_l___group_parameters.html" title="interface for DL group parameters">DL_GroupParameters<Element></a> & GetAbstractGroupParameters()<span class="keyword"> const </span>{<span class="keywordflow">return</span> m_groupParameters;}<a name="l00132"></a>00132 <a name="l00133"></a>00133 GroupParameters m_groupParameters;<a name="l00134"></a>00134 };<a name="l00135"></a>00135 <span class="comment"></span><a name="l00136"></a>00136 <span class="comment">//! Menezes-Qu-Vanstone in GF(p) with key validation, AKA <a href="http://www.weidai.com/scan-mirror/ka.html#MQV">MQV</a></span><a name="l00137"></a><a class="code" href="mqv_8h.html#55efec2ab777263bc0d165afa0c3fe3b">00137</a> <span class="comment"></span><span class="keyword">typedef</span> <a class="code" href="class_m_q_v___domain.html" title="_">MQV_Domain<DL_GroupParameters_GFP_DefaultSafePrime></a> <a class="code" href="class_m_q_v___domain.html" title="_">MQV</a>;<a name="l00138"></a>00138 <a name="l00139"></a>00139 NAMESPACE_END<a name="l00140"></a>00140 <a name="l00141"></a>00141 <span class="preprocessor">#endif</span></pre></div><hr size="1"><address style="text-align: right;"><small>Generated on Fri Jun 1 11:11:22 2007 for Crypto++ by <a href="http://www.doxygen.org/index.html"><img src="doxygen.png" alt="doxygen" align="middle" border="0"></a> 1.5.2 </small></address></body></html>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -