backup/C-Plus-Plus
1
0
Fork 0
mirror of https://github.com/TheAlgorithms/C-Plus-Plus.git synced 2026-05-11 11:07:27 +08:00
Code Issues Projects Releases Wiki Activity

Documentation for 53a6c16730

Browse Source
This commit is contained in:
github-actions
2022-01-16 16:05:19 +00:00
parent 778f1be9e5
commit 2cab28c905
3620 changed files with 52045 additions and 41188 deletions
Download Patch File Download Diff File Expand all files Collapse all files

174
df/d6b/namespaceciphers_1_1elliptic__curve__key__exchange.html
View File

@@ -3,7 +3,7 @@
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=11"/>
<meta name="generator" content="Doxygen 1.9.2"/>
<meta name="generator" content="Doxygen 1.9.3"/>
<meta name="viewport" content="width=device-width, initial-scale=1"/>
<title>Algorithms_in_C++: ciphers::elliptic_curve_key_exchange Namespace Reference</title>
<link href="../../tabs.css" rel="stylesheet" type="text/css"/>
@@ -30,8 +30,8 @@ MathJax.Hub.Config({
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
<tbody>
<tr style="height: 56px;">
<td id="projectalign" style="padding-left: 0.5em;">
<tr id="projectrow">
<td id="projectalign">
<div id="projectname">Algorithms_in_C++<span id="projectnumber">&#160;1.0.0</span>
</div>
<div id="projectbrief">Set of algorithms implemented in C++.</div>
@@ -41,7 +41,7 @@ MathJax.Hub.Config({
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.9.2 -->
<!-- Generated by Doxygen 1.9.3 -->
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&amp;dn=expat.txt MIT */
var searchBox = new SearchBox("searchBox", "../../search",'Search','.html');
@@ -200,48 +200,48 @@ Functions</h2></td></tr>
<p >value zero</p>
<p >slope when the line is tangent to curve. This operation is performed while doubling. Taking derivative of <code>y^2 = x^3 + ax + b</code> =&gt; <code>2y dy = (3 * x^2 + a)dx</code> =&gt; <code>(dy/dx) = (3x^2 + a)/(2y)</code></p>
<p >if y co-ordinate is zero, the slope is infinite, return inf. else calculate the slope (here % mod and store in lambda)</p>
<div class="fragment"><div class="line"><a id="l00111" name="l00111"></a><span class="lineno"> 111</span> {</div>
<div class="line"><a id="l00112" name="l00112"></a><span class="lineno"> 112</span> <a class="code hl_class" href="../../d1/d83/classuint256__t.html">uint256_t</a> lambda(0); <span class="comment">/// Slope</span></div>
<div class="line"><a id="l00113" name="l00113"></a><span class="lineno"> 113</span> <a class="code hl_class" href="../../d1/d83/classuint256__t.html">uint256_t</a> zero(0); <span class="comment">/// value zero</span></div>
<div class="line"><a id="l00114" name="l00114"></a><span class="lineno"> 114</span> lambda = zero = 0;</div>
<div class="line"><a id="l00115" name="l00115"></a><span class="lineno"> 115</span> <a class="code hl_class" href="../../d1/d83/classuint256__t.html">uint256_t</a> inf = ~zero;</div>
<div class="line"><a id="l00116" name="l00116"></a><span class="lineno"> 116</span> <span class="keywordflow">if</span> (a.x != b.x || a.y != b.y) {</div>
<div class="line"><a id="l00117" name="l00117"></a><span class="lineno"> 117</span> <span class="comment">// Slope being infinite.</span></div>
<div class="line"><a id="l00118" name="l00118"></a><span class="lineno"> 118</span> <span class="keywordflow">if</span> (b.x == a.x) {</div>
<div class="line"><a id="l00119" name="l00119"></a><span class="lineno"> 119</span> <span class="keywordflow">return</span> {inf, inf};</div>
<div class="line"><a id="l00120" name="l00120"></a><span class="lineno"> 120</span> }</div>
<div class="line"><a id="l00121" name="l00121"></a><span class="lineno"> 121</span> <a class="code hl_class" href="../../d1/d83/classuint256__t.html">uint256_t</a> num = (b.y - a.y + mod), den = (b.x - a.x + mod);</div>
<div class="line"><a id="l00122" name="l00122"></a><span class="lineno"> 122</span> lambda = (num * (<a class="code hl_function" href="../../df/d6b/namespaceciphers_1_1elliptic__curve__key__exchange.html#ac00616a4e40d3cd5cfb4da87d9ff9af0">exp</a>(den, mod - 2, mod))) % mod;</div>
<div class="line"><a id="l00123" name="l00123"></a><span class="lineno"> 123</span> } <span class="keywordflow">else</span> {<span class="comment"></span></div>
<div class="line"><a id="l00124" name="l00124"></a><span class="lineno"> 124</span><span class="comment"> /**</span></div>
<div class="line"><a id="l00125" name="l00125"></a><span class="lineno"> 125</span><span class="comment"> * slope when the line is tangent to curve. This operation is performed</span></div>
<div class="line"><a id="l00126" name="l00126"></a><span class="lineno"> 126</span><span class="comment"> * while doubling. Taking derivative of `y^2 = x^3 + ax + b`</span></div>
<div class="line"><a id="l00127" name="l00127"></a><span class="lineno"> 127</span><span class="comment"> * =&gt; `2y dy = (3 * x^2 + a)dx`</span></div>
<div class="line"><a id="l00128" name="l00128"></a><span class="lineno"> 128</span><span class="comment"> * =&gt; `(dy/dx) = (3x^2 + a)/(2y)`</span></div>
<div class="line"><a id="l00129" name="l00129"></a><span class="lineno"> 129</span><span class="comment"> */</span><span class="comment"></span></div>
<div class="line"><a id="l00130" name="l00130"></a><span class="lineno"> 130</span><span class="comment"> /**</span></div>
<div class="line"><a id="l00131" name="l00131"></a><span class="lineno"> 131</span><span class="comment"> * if y co-ordinate is zero, the slope is infinite, return inf.</span></div>
<div class="line"><a id="l00132" name="l00132"></a><span class="lineno"> 132</span><span class="comment"> * else calculate the slope (here % mod and store in lambda)</span></div>
<div class="line"><a id="l00133" name="l00133"></a><span class="lineno"> 133</span><span class="comment"> */</span></div>
<div class="line"><a id="l00134" name="l00134"></a><span class="lineno"> 134</span> <span class="keywordflow">if</span> (!a.y) {</div>
<div class="line"><a id="l00135" name="l00135"></a><span class="lineno"> 135</span> <span class="keywordflow">return</span> {inf, inf};</div>
<div class="line"><a id="l00136" name="l00136"></a><span class="lineno"> 136</span> }</div>
<div class="line"><a id="l00137" name="l00137"></a><span class="lineno"> 137</span> <a class="code hl_class" href="../../d1/d83/classuint256__t.html">uint256_t</a> axsq = ((a.x * a.x)) % mod;</div>
<div class="line"><a id="l00138" name="l00138"></a><span class="lineno"> 138</span> <span class="comment">// Mulitply by 3 adjustment</span></div>
<div class="line"><a id="l00139" name="l00139"></a><span class="lineno"> 139</span> axsq += (axsq &lt;&lt; 1);</div>
<div class="line"><a id="l00140" name="l00140"></a><span class="lineno"> 140</span> axsq %= mod;</div>
<div class="line"><a id="l00141" name="l00141"></a><span class="lineno"> 141</span> <span class="comment">// Mulitply by 2 adjustment</span></div>
<div class="line"><a id="l00142" name="l00142"></a><span class="lineno"> 142</span> <a class="code hl_class" href="../../d1/d83/classuint256__t.html">uint256_t</a> a_2 = (a.y &lt;&lt; 1);</div>
<div class="line"><a id="l00143" name="l00143"></a><span class="lineno"> 143</span> lambda =</div>
<div class="line"><a id="l00144" name="l00144"></a><span class="lineno"> 144</span> (((axsq + curve_a_coeff) % mod) * <a class="code hl_function" href="../../df/d6b/namespaceciphers_1_1elliptic__curve__key__exchange.html#ac00616a4e40d3cd5cfb4da87d9ff9af0">exp</a>(a_2, mod - 2, mod)) % mod;</div>
<div class="line"><a id="l00145" name="l00145"></a><span class="lineno"> 145</span> }</div>
<div class="line"><a id="l00146" name="l00146"></a><span class="lineno"> 146</span> <a class="code hl_struct" href="../../d8/dc8/struct_point.html">Point</a> c;</div>
<div class="line"><a id="l00147" name="l00147"></a><span class="lineno"> 147</span> <span class="comment">// new point: x = ((lambda^2) - x1 - x2)</span></div>
<div class="line"><a id="l00148" name="l00148"></a><span class="lineno"> 148</span> <span class="comment">// y = (lambda * (x1 - x)) - y1</span></div>
<div class="line"><a id="l00149" name="l00149"></a><span class="lineno"> 149</span> c.x = ((lambda * lambda) % mod + (mod &lt;&lt; 1) - a.x - b.x) % mod;</div>
<div class="line"><a id="l00150" name="l00150"></a><span class="lineno"> 150</span> c.<a class="code hl_variable" href="../../d8/dc8/struct_point.html#a2e1b5fb2b2a83571f5c0bc0f66a73cf7">y</a> = (((lambda * (a.x + mod - c.x)) % mod) + mod - a.y) % mod;</div>
<div class="line"><a id="l00151" name="l00151"></a><span class="lineno"> 151</span> <span class="keywordflow">return</span> c;</div>
<div class="line"><a id="l00152" name="l00152"></a><span class="lineno"> 152</span>}</div>
<div class="fragment"><div class="line"><span class="lineno"> 111</span> {</div>
<div class="line"><span class="lineno"> 112</span> <a class="code hl_class" href="../../d1/d83/classuint256__t.html">uint256_t</a> lambda(0); <span class="comment">/// Slope</span></div>
<div class="line"><span class="lineno"> 113</span> <a class="code hl_class" href="../../d1/d83/classuint256__t.html">uint256_t</a> zero(0); <span class="comment">/// value zero</span></div>
<div class="line"><span class="lineno"> 114</span> lambda = zero = 0;</div>
<div class="line"><span class="lineno"> 115</span> <a class="code hl_class" href="../../d1/d83/classuint256__t.html">uint256_t</a> inf = ~zero;</div>
<div class="line"><span class="lineno"> 116</span> <span class="keywordflow">if</span> (a.x != b.x || a.y != b.y) {</div>
<div class="line"><span class="lineno"> 117</span> <span class="comment">// Slope being infinite.</span></div>
<div class="line"><span class="lineno"> 118</span> <span class="keywordflow">if</span> (b.x == a.x) {</div>
<div class="line"><span class="lineno"> 119</span> <span class="keywordflow">return</span> {inf, inf};</div>
<div class="line"><span class="lineno"> 120</span> }</div>
<div class="line"><span class="lineno"> 121</span> <a class="code hl_class" href="../../d1/d83/classuint256__t.html">uint256_t</a> num = (b.y - a.y + mod), den = (b.x - a.x + mod);</div>
<div class="line"><span class="lineno"> 122</span> lambda = (num * (<a class="code hl_function" href="../../df/d6b/namespaceciphers_1_1elliptic__curve__key__exchange.html#ac00616a4e40d3cd5cfb4da87d9ff9af0">exp</a>(den, mod - 2, mod))) % mod;</div>
<div class="line"><span class="lineno"> 123</span> } <span class="keywordflow">else</span> {<span class="comment"></span></div>
<div class="line"><span class="lineno"> 124</span><span class="comment"> /**</span></div>
<div class="line"><span class="lineno"> 125</span><span class="comment"> * slope when the line is tangent to curve. This operation is performed</span></div>
<div class="line"><span class="lineno"> 126</span><span class="comment"> * while doubling. Taking derivative of `y^2 = x^3 + ax + b`</span></div>
<div class="line"><span class="lineno"> 127</span><span class="comment"> * =&gt; `2y dy = (3 * x^2 + a)dx`</span></div>
<div class="line"><span class="lineno"> 128</span><span class="comment"> * =&gt; `(dy/dx) = (3x^2 + a)/(2y)`</span></div>
<div class="line"><span class="lineno"> 129</span><span class="comment"> */</span><span class="comment"></span></div>
<div class="line"><span class="lineno"> 130</span><span class="comment"> /**</span></div>
<div class="line"><span class="lineno"> 131</span><span class="comment"> * if y co-ordinate is zero, the slope is infinite, return inf.</span></div>
<div class="line"><span class="lineno"> 132</span><span class="comment"> * else calculate the slope (here % mod and store in lambda)</span></div>
<div class="line"><span class="lineno"> 133</span><span class="comment"> */</span></div>
<div class="line"><span class="lineno"> 134</span> <span class="keywordflow">if</span> (!a.y) {</div>
<div class="line"><span class="lineno"> 135</span> <span class="keywordflow">return</span> {inf, inf};</div>
<div class="line"><span class="lineno"> 136</span> }</div>
<div class="line"><span class="lineno"> 137</span> <a class="code hl_class" href="../../d1/d83/classuint256__t.html">uint256_t</a> axsq = ((a.x * a.x)) % mod;</div>
<div class="line"><span class="lineno"> 138</span> <span class="comment">// Mulitply by 3 adjustment</span></div>
<div class="line"><span class="lineno"> 139</span> axsq += (axsq &lt;&lt; 1);</div>
<div class="line"><span class="lineno"> 140</span> axsq %= mod;</div>
<div class="line"><span class="lineno"> 141</span> <span class="comment">// Mulitply by 2 adjustment</span></div>
<div class="line"><span class="lineno"> 142</span> <a class="code hl_class" href="../../d1/d83/classuint256__t.html">uint256_t</a> a_2 = (a.y &lt;&lt; 1);</div>
<div class="line"><span class="lineno"> 143</span> lambda =</div>
<div class="line"><span class="lineno"> 144</span> (((axsq + curve_a_coeff) % mod) * <a class="code hl_function" href="../../df/d6b/namespaceciphers_1_1elliptic__curve__key__exchange.html#ac00616a4e40d3cd5cfb4da87d9ff9af0">exp</a>(a_2, mod - 2, mod)) % mod;</div>
<div class="line"><span class="lineno"> 145</span> }</div>
<div class="line"><span class="lineno"> 146</span> <a class="code hl_struct" href="../../d8/dc8/struct_point.html">Point</a> c;</div>
<div class="line"><span class="lineno"> 147</span> <span class="comment">// new point: x = ((lambda^2) - x1 - x2)</span></div>
<div class="line"><span class="lineno"> 148</span> <span class="comment">// y = (lambda * (x1 - x)) - y1</span></div>
<div class="line"><span class="lineno"> 149</span> c.x = ((lambda * lambda) % mod + (mod &lt;&lt; 1) - a.x - b.x) % mod;</div>
<div class="line"><span class="lineno"> 150</span> c.<a class="code hl_variable" href="../../d8/dc8/struct_point.html#a2e1b5fb2b2a83571f5c0bc0f66a73cf7">y</a> = (((lambda * (a.x + mod - c.x)) % mod) + mod - a.y) % mod;</div>
<div class="line"><span class="lineno"> 151</span> <span class="keywordflow">return</span> c;</div>
<div class="line"><span class="lineno"> 152</span>}</div>
<div class="ttc" id="aclassuint256__t_html"><div class="ttname"><a href="../../d1/d83/classuint256__t.html">uint256_t</a></div><div class="ttdoc">class for 256-bit unsigned integer</div><div class="ttdef"><b>Definition:</b> uint256_t.hpp:33</div></div>
<div class="ttc" id="anamespaceciphers_1_1elliptic__curve__key__exchange_html_ac00616a4e40d3cd5cfb4da87d9ff9af0"><div class="ttname"><a href="../../df/d6b/namespaceciphers_1_1elliptic__curve__key__exchange.html#ac00616a4e40d3cd5cfb4da87d9ff9af0">ciphers::elliptic_curve_key_exchange::exp</a></div><div class="ttdeci">uint256_t exp(uint256_t number, uint256_t power, const uint256_t &amp;mod)</div><div class="ttdoc">This function calculates number raised to exponent power under modulo mod using Modular Exponentiatio...</div><div class="ttdef"><b>Definition:</b> elliptic_curve_key_exchange.cpp:78</div></div>
<div class="ttc" id="astruct_point_html"><div class="ttname"><a href="../../d8/dc8/struct_point.html">Point</a></div><div class="ttdef"><b>Definition:</b> line_segment_intersection.cpp:12</div></div>
@@ -297,23 +297,23 @@ Here is the call graph for this function:</div>
</dd>
</dl>
<dl class="section return"><dt>Returns</dt><dd>number raised to power modulo mod </dd></dl>
<div class="fragment"><div class="line"><a id="l00078" name="l00078"></a><span class="lineno"> 78</span> {</div>
<div class="line"><a id="l00079" name="l00079"></a><span class="lineno"> 79</span> <span class="keywordflow">if</span> (!power) {</div>
<div class="line"><a id="l00080" name="l00080"></a><span class="lineno"> 80</span> <span class="keywordflow">return</span> <a class="code hl_class" href="../../d1/d83/classuint256__t.html">uint256_t</a>(1);</div>
<div class="line"><a id="l00081" name="l00081"></a><span class="lineno"> 81</span> }</div>
<div class="line"><a id="l00082" name="l00082"></a><span class="lineno"> 82</span> <a class="code hl_class" href="../../d1/d83/classuint256__t.html">uint256_t</a> <a class="code hl_function" href="../../d7/d35/matrix__exponentiation_8cpp.html#ad8389ed58fd0ec66df248014775ad1fa">ans</a>(1);</div>
<div class="line"><a id="l00083" name="l00083"></a><span class="lineno"> 83</span> number = number % mod;</div>
<div class="line"><a id="l00084" name="l00084"></a><span class="lineno"> 84</span> <span class="keywordflow">while</span> (power) {</div>
<div class="line"><a id="l00085" name="l00085"></a><span class="lineno"> 85</span> <span class="keywordflow">if</span> ((power &amp; 1)) {</div>
<div class="line"><a id="l00086" name="l00086"></a><span class="lineno"> 86</span> <a class="code hl_function" href="../../d7/d35/matrix__exponentiation_8cpp.html#ad8389ed58fd0ec66df248014775ad1fa">ans</a> = (<a class="code hl_function" href="../../d7/d35/matrix__exponentiation_8cpp.html#ad8389ed58fd0ec66df248014775ad1fa">ans</a> * number) % mod;</div>
<div class="line"><a id="l00087" name="l00087"></a><span class="lineno"> 87</span> }</div>
<div class="line"><a id="l00088" name="l00088"></a><span class="lineno"> 88</span> power &gt;&gt;= 1;</div>
<div class="line"><a id="l00089" name="l00089"></a><span class="lineno"> 89</span> <span class="keywordflow">if</span> (power) {</div>
<div class="line"><a id="l00090" name="l00090"></a><span class="lineno"> 90</span> number = (number * number) % mod;</div>
<div class="line"><a id="l00091" name="l00091"></a><span class="lineno"> 91</span> }</div>
<div class="line"><a id="l00092" name="l00092"></a><span class="lineno"> 92</span> }</div>
<div class="line"><a id="l00093" name="l00093"></a><span class="lineno"> 93</span> <span class="keywordflow">return</span> <a class="code hl_function" href="../../d7/d35/matrix__exponentiation_8cpp.html#ad8389ed58fd0ec66df248014775ad1fa">ans</a>;</div>
<div class="line"><a id="l00094" name="l00094"></a><span class="lineno"> 94</span>}</div>
<div class="fragment"><div class="line"><span class="lineno"> 78</span> {</div>
<div class="line"><span class="lineno"> 79</span> <span class="keywordflow">if</span> (!power) {</div>
<div class="line"><span class="lineno"> 80</span> <span class="keywordflow">return</span> <a class="code hl_class" href="../../d1/d83/classuint256__t.html">uint256_t</a>(1);</div>
<div class="line"><span class="lineno"> 81</span> }</div>
<div class="line"><span class="lineno"> 82</span> <a class="code hl_class" href="../../d1/d83/classuint256__t.html">uint256_t</a> <a class="code hl_function" href="../../d7/d35/matrix__exponentiation_8cpp.html#ad8389ed58fd0ec66df248014775ad1fa">ans</a>(1);</div>
<div class="line"><span class="lineno"> 83</span> number = number % mod;</div>
<div class="line"><span class="lineno"> 84</span> <span class="keywordflow">while</span> (power) {</div>
<div class="line"><span class="lineno"> 85</span> <span class="keywordflow">if</span> ((power &amp; 1)) {</div>
<div class="line"><span class="lineno"> 86</span> <a class="code hl_function" href="../../d7/d35/matrix__exponentiation_8cpp.html#ad8389ed58fd0ec66df248014775ad1fa">ans</a> = (<a class="code hl_function" href="../../d7/d35/matrix__exponentiation_8cpp.html#ad8389ed58fd0ec66df248014775ad1fa">ans</a> * number) % mod;</div>
<div class="line"><span class="lineno"> 87</span> }</div>
<div class="line"><span class="lineno"> 88</span> power &gt;&gt;= 1;</div>
<div class="line"><span class="lineno"> 89</span> <span class="keywordflow">if</span> (power) {</div>
<div class="line"><span class="lineno"> 90</span> number = (number * number) % mod;</div>
<div class="line"><span class="lineno"> 91</span> }</div>
<div class="line"><span class="lineno"> 92</span> }</div>
<div class="line"><span class="lineno"> 93</span> <span class="keywordflow">return</span> <a class="code hl_function" href="../../d7/d35/matrix__exponentiation_8cpp.html#ad8389ed58fd0ec66df248014775ad1fa">ans</a>;</div>
<div class="line"><span class="lineno"> 94</span>}</div>
<div class="ttc" id="amatrix__exponentiation_8cpp_html_ad8389ed58fd0ec66df248014775ad1fa"><div class="ttname"><a href="../../d7/d35/matrix__exponentiation_8cpp.html#ad8389ed58fd0ec66df248014775ad1fa">ans</a></div><div class="ttdeci">ll ans(ll n)</div><div class="ttdef"><b>Definition:</b> matrix_exponentiation.cpp:91</div></div>
</div><!-- fragment --><div class="dynheader">
Here is the call graph for this function:</div>
@@ -373,29 +373,29 @@ Here is the call graph for this function:</div>
</dd>
</dl>
<dl class="section return"><dt>Returns</dt><dd>the resultant point </dd></dl>
<div class="fragment"><div class="line"><a id="l00166" name="l00166"></a><span class="lineno"> 166</span> {</div>
<div class="line"><a id="l00167" name="l00167"></a><span class="lineno"> 167</span> <a class="code hl_struct" href="../../d6/d45/structciphers_1_1elliptic__curve__key__exchange_1_1_point.html">Point</a> N = a;</div>
<div class="line"><a id="l00168" name="l00168"></a><span class="lineno"> 168</span> N.x %= mod;</div>
<div class="line"><a id="l00169" name="l00169"></a><span class="lineno"> 169</span> N.y %= mod;</div>
<div class="line"><a id="l00170" name="l00170"></a><span class="lineno"> 170</span> <a class="code hl_class" href="../../d1/d83/classuint256__t.html">uint256_t</a> inf{};</div>
<div class="line"><a id="l00171" name="l00171"></a><span class="lineno"> 171</span> inf = <a class="code hl_class" href="../../d1/d83/classuint256__t.html">~uint256_t</a>(0);</div>
<div class="line"><a id="l00172" name="l00172"></a><span class="lineno"> 172</span> <a class="code hl_struct" href="../../d8/dc8/struct_point.html">Point</a> Q = {inf, inf};</div>
<div class="line"><a id="l00173" name="l00173"></a><span class="lineno"> 173</span> <span class="keywordflow">while</span> (p) {</div>
<div class="line"><a id="l00174" name="l00174"></a><span class="lineno"> 174</span> <span class="keywordflow">if</span> ((p &amp; 1)) {</div>
<div class="line"><a id="l00175" name="l00175"></a><span class="lineno"> 175</span> <span class="keywordflow">if</span> (Q.x == inf &amp;&amp; Q.<a class="code hl_variable" href="../../d8/dc8/struct_point.html#a2e1b5fb2b2a83571f5c0bc0f66a73cf7">y</a> == inf) {</div>
<div class="line"><a id="l00176" name="l00176"></a><span class="lineno"> 176</span> Q.x = N.x;</div>
<div class="line"><a id="l00177" name="l00177"></a><span class="lineno"> 177</span> Q.<a class="code hl_variable" href="../../d8/dc8/struct_point.html#a2e1b5fb2b2a83571f5c0bc0f66a73cf7">y</a> = N.y;</div>
<div class="line"><a id="l00178" name="l00178"></a><span class="lineno"> 178</span> } <span class="keywordflow">else</span> {</div>
<div class="line"><a id="l00179" name="l00179"></a><span class="lineno"> 179</span> Q = <a class="code hl_function" href="../../df/d6b/namespaceciphers_1_1elliptic__curve__key__exchange.html#acc5fe9c2032fb7582c38a20d1fa69bcf">addition</a>(Q, N, curve_a_coeff, mod);</div>
<div class="line"><a id="l00180" name="l00180"></a><span class="lineno"> 180</span> }</div>
<div class="line"><a id="l00181" name="l00181"></a><span class="lineno"> 181</span> }</div>
<div class="line"><a id="l00182" name="l00182"></a><span class="lineno"> 182</span> p &gt;&gt;= 1;</div>
<div class="line"><a id="l00183" name="l00183"></a><span class="lineno"> 183</span> <span class="keywordflow">if</span> (p) {</div>
<div class="line"><a id="l00184" name="l00184"></a><span class="lineno"> 184</span> <a class="code hl_variable" href="../../d6/d42/data__structures_2sparse__table_8cpp.html#a10f3ffb3f6f7e1b83d556b9c8de89a5d">N</a> = <a class="code hl_function" href="../../df/d6b/namespaceciphers_1_1elliptic__curve__key__exchange.html#acc5fe9c2032fb7582c38a20d1fa69bcf">addition</a>(N, N, curve_a_coeff, mod);</div>
<div class="line"><a id="l00185" name="l00185"></a><span class="lineno"> 185</span> }</div>
<div class="line"><a id="l00186" name="l00186"></a><span class="lineno"> 186</span> }</div>
<div class="line"><a id="l00187" name="l00187"></a><span class="lineno"> 187</span> <span class="keywordflow">return</span> Q;</div>
<div class="line"><a id="l00188" name="l00188"></a><span class="lineno"> 188</span>}</div>
<div class="fragment"><div class="line"><span class="lineno"> 166</span> {</div>
<div class="line"><span class="lineno"> 167</span> <a class="code hl_struct" href="../../d6/d45/structciphers_1_1elliptic__curve__key__exchange_1_1_point.html">Point</a> N = a;</div>
<div class="line"><span class="lineno"> 168</span> N.x %= mod;</div>
<div class="line"><span class="lineno"> 169</span> N.y %= mod;</div>
<div class="line"><span class="lineno"> 170</span> <a class="code hl_class" href="../../d1/d83/classuint256__t.html">uint256_t</a> inf{};</div>
<div class="line"><span class="lineno"> 171</span> inf = <a class="code hl_class" href="../../d1/d83/classuint256__t.html">~uint256_t</a>(0);</div>
<div class="line"><span class="lineno"> 172</span> <a class="code hl_struct" href="../../d8/dc8/struct_point.html">Point</a> Q = {inf, inf};</div>
<div class="line"><span class="lineno"> 173</span> <span class="keywordflow">while</span> (p) {</div>
<div class="line"><span class="lineno"> 174</span> <span class="keywordflow">if</span> ((p &amp; 1)) {</div>
<div class="line"><span class="lineno"> 175</span> <span class="keywordflow">if</span> (Q.x == inf &amp;&amp; Q.<a class="code hl_variable" href="../../d8/dc8/struct_point.html#a2e1b5fb2b2a83571f5c0bc0f66a73cf7">y</a> == inf) {</div>
<div class="line"><span class="lineno"> 176</span> Q.x = N.x;</div>
<div class="line"><span class="lineno"> 177</span> Q.<a class="code hl_variable" href="../../d8/dc8/struct_point.html#a2e1b5fb2b2a83571f5c0bc0f66a73cf7">y</a> = N.y;</div>
<div class="line"><span class="lineno"> 178</span> } <span class="keywordflow">else</span> {</div>
<div class="line"><span class="lineno"> 179</span> Q = <a class="code hl_function" href="../../df/d6b/namespaceciphers_1_1elliptic__curve__key__exchange.html#acc5fe9c2032fb7582c38a20d1fa69bcf">addition</a>(Q, N, curve_a_coeff, mod);</div>
<div class="line"><span class="lineno"> 180</span> }</div>
<div class="line"><span class="lineno"> 181</span> }</div>
<div class="line"><span class="lineno"> 182</span> p &gt;&gt;= 1;</div>
<div class="line"><span class="lineno"> 183</span> <span class="keywordflow">if</span> (p) {</div>
<div class="line"><span class="lineno"> 184</span> <a class="code hl_variable" href="../../d6/d42/data__structures_2sparse__table_8cpp.html#a10f3ffb3f6f7e1b83d556b9c8de89a5d">N</a> = <a class="code hl_function" href="../../df/d6b/namespaceciphers_1_1elliptic__curve__key__exchange.html#acc5fe9c2032fb7582c38a20d1fa69bcf">addition</a>(N, N, curve_a_coeff, mod);</div>
<div class="line"><span class="lineno"> 185</span> }</div>
<div class="line"><span class="lineno"> 186</span> }</div>
<div class="line"><span class="lineno"> 187</span> <span class="keywordflow">return</span> Q;</div>
<div class="line"><span class="lineno"> 188</span>}</div>
<div class="ttc" id="adata__structures_2sparse__table_8cpp_html_a10f3ffb3f6f7e1b83d556b9c8de89a5d"><div class="ttname"><a href="../../d6/d42/data__structures_2sparse__table_8cpp.html#a10f3ffb3f6f7e1b83d556b9c8de89a5d">data_structures::sparse_table::N</a></div><div class="ttdeci">constexpr uint32_t N</div><div class="ttdoc">A struct to represent sparse table for min() as their invariant function, for the given array A....</div><div class="ttdef"><b>Definition:</b> sparse_table.cpp:47</div></div>
<div class="ttc" id="anamespaceciphers_1_1elliptic__curve__key__exchange_html_acc5fe9c2032fb7582c38a20d1fa69bcf"><div class="ttname"><a href="../../df/d6b/namespaceciphers_1_1elliptic__curve__key__exchange.html#acc5fe9c2032fb7582c38a20d1fa69bcf">ciphers::elliptic_curve_key_exchange::addition</a></div><div class="ttdeci">Point addition(Point a, Point b, const uint256_t &amp;curve_a_coeff, uint256_t mod)</div><div class="ttdoc">Addition of points.</div><div class="ttdef"><b>Definition:</b> elliptic_curve_key_exchange.cpp:110</div></div>
<div class="ttc" id="astructciphers_1_1elliptic__curve__key__exchange_1_1_point_html"><div class="ttname"><a href="../../d6/d45/structciphers_1_1elliptic__curve__key__exchange_1_1_point.html">ciphers::elliptic_curve_key_exchange::Point</a></div><div class="ttdoc">Definition of struct Point.</div><div class="ttdef"><b>Definition:</b> elliptic_curve_key_exchange.cpp:46</div></div>
@@ -414,7 +414,7 @@ Here is the call graph for this function:</div>
<div id="nav-path" class="navpath"><!-- id is needed for treeview function! -->
<ul>
<li class="navelem"><a class="el" href="../../d6/d4e/namespaceciphers.html">ciphers</a></li><li class="navelem"><a class="el" href="../../df/d6b/namespaceciphers_1_1elliptic__curve__key__exchange.html">elliptic_curve_key_exchange</a></li>
<li class="footer">Generated by <a href="https://www.doxygen.org/index.html"><img class="footer" src="../../doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.2 </li>
<li class="footer">Generated by <a href="https://www.doxygen.org/index.html"><img class="footer" src="../../doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.3 </li>
</ul>
</div>
</body>