blob: bdaeff71665a33020f2266f2403cde28f215d28e [file] [log] [blame]
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<meta name="generator" content="Doxygen 1.8.15"/>
<meta name="viewport" content="width=device-width, initial-scale=1"/>
<title>AMCL: fp_BN254.h Source File</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
<script type="text/javascript" src="search/search.js"></script>
<link href="doxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
<tbody>
<tr style="height: 56px;">
<td id="projectalign" style="padding-left: 0.5em;">
<div id="projectname">AMCL
</div>
</td>
</tr>
</tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.8.15 -->
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
var searchBox = new SearchBox("searchBox", "search",false,'Search');
/* @license-end */
</script>
<script type="text/javascript" src="menudata.js"></script>
<script type="text/javascript" src="menu.js"></script>
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
$(function() {
initMenu('',true,false,'search.php','Search');
$(document).ready(function() { init_search(); });
});
/* @license-end */</script>
<div id="main-nav"></div>
<!-- window showing the filter options -->
<div id="MSearchSelectWindow"
onmouseover="return searchBox.OnSearchSelectShow()"
onmouseout="return searchBox.OnSearchSelectHide()"
onkeydown="return searchBox.OnSearchSelectKey(event)">
</div>
<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<iframe src="javascript:void(0)" frameborder="0"
name="MSearchResults" id="MSearchResults">
</iframe>
</div>
<div id="nav-path" class="navpath">
<ul>
<li class="navelem"><a class="el" href="dir_df7310d1a865926cc859bcfb1880083f.html">include</a></li> </ul>
</div>
</div><!-- top -->
<div class="header">
<div class="headertitle">
<div class="title">fp_BN254.h</div> </div>
</div><!--header-->
<div class="contents">
<a href="fp__BN254_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno"> 1</span>&#160;<span class="comment">/*</span></div><div class="line"><a name="l00002"></a><span class="lineno"> 2</span>&#160;<span class="comment"> Licensed to the Apache Software Foundation (ASF) under one</span></div><div class="line"><a name="l00003"></a><span class="lineno"> 3</span>&#160;<span class="comment"> or more contributor license agreements. See the NOTICE file</span></div><div class="line"><a name="l00004"></a><span class="lineno"> 4</span>&#160;<span class="comment"> distributed with this work for additional information</span></div><div class="line"><a name="l00005"></a><span class="lineno"> 5</span>&#160;<span class="comment"> regarding copyright ownership. The ASF licenses this file</span></div><div class="line"><a name="l00006"></a><span class="lineno"> 6</span>&#160;<span class="comment"> to you under the Apache License, Version 2.0 (the</span></div><div class="line"><a name="l00007"></a><span class="lineno"> 7</span>&#160;<span class="comment"> &quot;License&quot;); you may not use this file except in compliance</span></div><div class="line"><a name="l00008"></a><span class="lineno"> 8</span>&#160;<span class="comment"> with the License. You may obtain a copy of the License at</span></div><div class="line"><a name="l00009"></a><span class="lineno"> 9</span>&#160;<span class="comment"></span></div><div class="line"><a name="l00010"></a><span class="lineno"> 10</span>&#160;<span class="comment"> http://www.apache.org/licenses/LICENSE-2.0</span></div><div class="line"><a name="l00011"></a><span class="lineno"> 11</span>&#160;<span class="comment"></span></div><div class="line"><a name="l00012"></a><span class="lineno"> 12</span>&#160;<span class="comment"> Unless required by applicable law or agreed to in writing,</span></div><div class="line"><a name="l00013"></a><span class="lineno"> 13</span>&#160;<span class="comment"> software distributed under the License is distributed on an</span></div><div class="line"><a name="l00014"></a><span class="lineno"> 14</span>&#160;<span class="comment"> &quot;AS IS&quot; BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY</span></div><div class="line"><a name="l00015"></a><span class="lineno"> 15</span>&#160;<span class="comment"> KIND, either express or implied. See the License for the</span></div><div class="line"><a name="l00016"></a><span class="lineno"> 16</span>&#160;<span class="comment"> specific language governing permissions and limitations</span></div><div class="line"><a name="l00017"></a><span class="lineno"> 17</span>&#160;<span class="comment"> under the License.</span></div><div class="line"><a name="l00018"></a><span class="lineno"> 18</span>&#160;<span class="comment">*/</span></div><div class="line"><a name="l00019"></a><span class="lineno"> 19</span>&#160;</div><div class="line"><a name="l00027"></a><span class="lineno"> 27</span>&#160;<span class="preprocessor">#ifndef FP_BN254_H</span></div><div class="line"><a name="l00028"></a><span class="lineno"> 28</span>&#160;<span class="preprocessor">#define FP_BN254_H</span></div><div class="line"><a name="l00029"></a><span class="lineno"> 29</span>&#160;</div><div class="line"><a name="l00030"></a><span class="lineno"> 30</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="big__256__56_8h.html">big_256_56.h</a>&quot;</span></div><div class="line"><a name="l00031"></a><span class="lineno"> 31</span>&#160;<span class="preprocessor">#include &quot;config_field_BN254.h&quot;</span></div><div class="line"><a name="l00032"></a><span class="lineno"> 32</span>&#160;</div><div class="line"><a name="l00033"></a><span class="lineno"> 33</span>&#160;</div><div class="line"><a name="l00038"></a><span class="lineno"><a class="line" href="structFP__BN254.html"> 38</a></span>&#160;<span class="keyword">typedef</span> <span class="keyword">struct</span></div><div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160;{</div><div class="line"><a name="l00040"></a><span class="lineno"><a class="line" href="structFP__BN254.html#a129ff2f489c492d0ee022189155c0532"> 40</a></span>&#160; <a class="code" href="big__256__56_8h.html#abea3e70a8a87f28329ed8e48af7bb244">BIG_256_56</a> <a class="code" href="structFP__BN254.html#a129ff2f489c492d0ee022189155c0532">g</a>; </div><div class="line"><a name="l00041"></a><span class="lineno"><a class="line" href="structFP__BN254.html#a257a9b6c0574931c530ca3a6ff6b7dce"> 41</a></span>&#160; <a class="code" href="arch_8h.html#af31fcb3b74c4bcf6507f62d801277492">sign32</a> <a class="code" href="structFP__BN254.html#a257a9b6c0574931c530ca3a6ff6b7dce">XES</a>; </div><div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160;} <a class="code" href="structFP__BN254.html">FP_BN254</a>;</div><div class="line"><a name="l00043"></a><span class="lineno"> 43</span>&#160;</div><div class="line"><a name="l00044"></a><span class="lineno"> 44</span>&#160;</div><div class="line"><a name="l00045"></a><span class="lineno"> 45</span>&#160;<span class="comment">/* Field Params - see rom.c */</span></div><div class="line"><a name="l00046"></a><span class="lineno"> 46</span>&#160;<span class="keyword">extern</span> <span class="keyword">const</span> <a class="code" href="big__256__56_8h.html#abea3e70a8a87f28329ed8e48af7bb244">BIG_256_56</a> <a class="code" href="fp__BN254_8h.html#a57cd93681eb36ae0ead921a1175f8eae">Modulus_BN254</a>; </div><div class="line"><a name="l00047"></a><span class="lineno"> 47</span>&#160;<span class="keyword">extern</span> <span class="keyword">const</span> <a class="code" href="big__256__56_8h.html#abea3e70a8a87f28329ed8e48af7bb244">BIG_256_56</a> <a class="code" href="fp__BN254_8h.html#a6724ba752782195d1c2094448d84a0a2">R2modp_BN254</a>; </div><div class="line"><a name="l00048"></a><span class="lineno"> 48</span>&#160;<span class="keyword">extern</span> <span class="keyword">const</span> <a class="code" href="arch_8h.html#a0dd4b8ab353c587b22c6acb0809323aa">chunk</a> <a class="code" href="fp__BN254_8h.html#a831f5859c3bda417b9d90cfb700a65e0">MConst_BN254</a>; </div><div class="line"><a name="l00051"></a><span class="lineno"><a class="line" href="fp__BN254_8h.html#a3f3e492eaf57a968aa6233410c262fe8"> 51</a></span>&#160;<span class="preprocessor">#define MODBITS_BN254 MBITS_BN254 </span></div><div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="fp__BN254_8h.html#a9fdd19163fc9231212ebf9afa9a22793"> 52</a></span>&#160;<span class="preprocessor">#define TBITS_BN254 (MBITS_BN254%BASEBITS_256_56) </span></div><div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="fp__BN254_8h.html#ab21f7d8c697c60a7d00888963e2ff3cb"> 53</a></span>&#160;<span class="preprocessor">#define TMASK_BN254 (((chunk)1&lt;&lt;TBITS_BN254)-1) </span></div><div class="line"><a name="l00054"></a><span class="lineno"><a class="line" href="fp__BN254_8h.html#a22540457c1bcce596f902e3bf3c738ea"> 54</a></span>&#160;<span class="preprocessor">#define FEXCESS_BN254 (((sign32)1&lt;&lt;MAXXES_BN254)-1) </span></div><div class="line"><a name="l00055"></a><span class="lineno"><a class="line" href="fp__BN254_8h.html#a237041adecb729b288aa6a243c4a0cac"> 55</a></span>&#160;<span class="preprocessor">#define OMASK_BN254 (-((chunk)(1)&lt;&lt;TBITS_BN254)) </span></div><div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160;<span class="preprocessor">//#define FUSED_MODMUL</span></div><div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160;<span class="comment">//#define DEBUG_REDUCE</span></div><div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160;</div><div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160;<span class="comment">/* FP prototypes */</span></div><div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160;</div><div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="fp__BN254_8h.html#ae22f0d358cc5707ae7deb3f763ad2581">FP_BN254_iszilch</a>(<a class="code" href="structFP__BN254.html">FP_BN254</a> *x);</div><div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160;</div><div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160;</div><div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="fp__BN254_8h.html#a420bf442f094f392e2c0116f3eef8c69">FP_BN254_zero</a>(<a class="code" href="structFP__BN254.html">FP_BN254</a> *x);</div><div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160;</div><div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="fp__BN254_8h.html#ab6f5e846f1186dbff86ee5b5714454ea">FP_BN254_copy</a>(<a class="code" href="structFP__BN254.html">FP_BN254</a> *y,<a class="code" href="structFP__BN254.html">FP_BN254</a> *x);</div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160;</div><div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="fp__BN254_8h.html#ab6de42f0e349c8cd0799cf1348f5fe5c">FP_BN254_rcopy</a>(<a class="code" href="structFP__BN254.html">FP_BN254</a> *y,<span class="keyword">const</span> <a class="code" href="big__256__56_8h.html#abea3e70a8a87f28329ed8e48af7bb244">BIG_256_56</a> x);</div><div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160;</div><div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160;</div><div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="fp__BN254_8h.html#a3904fffa0cc33cbcbe810a7ee4d26edd">FP_BN254_equals</a>(<a class="code" href="structFP__BN254.html">FP_BN254</a> *x,<a class="code" href="structFP__BN254.html">FP_BN254</a> *y);</div><div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160;</div><div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160;</div><div class="line"><a name="l00107"></a><span class="lineno"> 107</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="fp__BN254_8h.html#adecb221f91cbcaf83f4960aa9c665d04">FP_BN254_cswap</a>(<a class="code" href="structFP__BN254.html">FP_BN254</a> *x,<a class="code" href="structFP__BN254.html">FP_BN254</a> *y,<span class="keywordtype">int</span> s);</div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="fp__BN254_8h.html#aa63afef46ecfae45ea5dc3b9e3b2b493">FP_BN254_cmove</a>(<a class="code" href="structFP__BN254.html">FP_BN254</a> *x,<a class="code" href="structFP__BN254.html">FP_BN254</a> *y,<span class="keywordtype">int</span> s);</div><div class="line"><a name="l00121"></a><span class="lineno"> 121</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="fp__BN254_8h.html#a7f89f76c387a056ef079e8d8e9342a6a">FP_BN254_nres</a>(<a class="code" href="structFP__BN254.html">FP_BN254</a> *y,<a class="code" href="big__256__56_8h.html#abea3e70a8a87f28329ed8e48af7bb244">BIG_256_56</a> x);</div><div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="fp__BN254_8h.html#aeaca7086053f84d1a9acd1a61fa26e01">FP_BN254_redc</a>(<a class="code" href="big__256__56_8h.html#abea3e70a8a87f28329ed8e48af7bb244">BIG_256_56</a> x,<a class="code" href="structFP__BN254.html">FP_BN254</a> *y);</div><div class="line"><a name="l00132"></a><span class="lineno"> 132</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="fp__BN254_8h.html#a4fc9de4de22d4acf65f327e073ff6868">FP_BN254_one</a>(<a class="code" href="structFP__BN254.html">FP_BN254</a> *x);</div><div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="fp__BN254_8h.html#a32878ff78f9a1ead1d2ff46daa0f9ecd">FP_BN254_mod</a>(<a class="code" href="big__256__56_8h.html#abea3e70a8a87f28329ed8e48af7bb244">BIG_256_56</a> r,<a class="code" href="big__256__56_8h.html#a6183570cd770f0ce6be0d94a42ee465a">DBIG_256_56</a> d);</div><div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160;</div><div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160;<span class="preprocessor">#ifdef FUSED_MODMUL</span></div><div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> FP_BN254_modmul(<a class="code" href="big__256__56_8h.html#abea3e70a8a87f28329ed8e48af7bb244">BIG_256_56</a>,<a class="code" href="big__256__56_8h.html#abea3e70a8a87f28329ed8e48af7bb244">BIG_256_56</a>,<a class="code" href="big__256__56_8h.html#abea3e70a8a87f28329ed8e48af7bb244">BIG_256_56</a>);</div><div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160;</div><div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="fp__BN254_8h.html#a40c78f68890810b3c3db61bd9a99b059">FP_BN254_mul</a>(<a class="code" href="structFP__BN254.html">FP_BN254</a> *x,<a class="code" href="structFP__BN254.html">FP_BN254</a> *y,<a class="code" href="structFP__BN254.html">FP_BN254</a> *z);</div><div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="fp__BN254_8h.html#a2be5d0f0882d62c0ec8ffc3a0f3572b9">FP_BN254_imul</a>(<a class="code" href="structFP__BN254.html">FP_BN254</a> *x,<a class="code" href="structFP__BN254.html">FP_BN254</a> *y,<span class="keywordtype">int</span> i);</div><div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="fp__BN254_8h.html#a1383bb84c66c6e42510769d70b26c684">FP_BN254_sqr</a>(<a class="code" href="structFP__BN254.html">FP_BN254</a> *x,<a class="code" href="structFP__BN254.html">FP_BN254</a> *y);</div><div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="fp__BN254_8h.html#a528588da12fe13fe2a25262aa33f47e2">FP_BN254_add</a>(<a class="code" href="structFP__BN254.html">FP_BN254</a> *x,<a class="code" href="structFP__BN254.html">FP_BN254</a> *y,<a class="code" href="structFP__BN254.html">FP_BN254</a> *z);</div><div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="fp__BN254_8h.html#a94ea2f736ecbfa16a1ddf209bd9945eb">FP_BN254_sub</a>(<a class="code" href="structFP__BN254.html">FP_BN254</a> *x,<a class="code" href="structFP__BN254.html">FP_BN254</a> *y,<a class="code" href="structFP__BN254.html">FP_BN254</a> *z);</div><div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="fp__BN254_8h.html#a47dff95c17d1e5085b01e441ee552677">FP_BN254_div2</a>(<a class="code" href="structFP__BN254.html">FP_BN254</a> *x,<a class="code" href="structFP__BN254.html">FP_BN254</a> *y);</div><div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="fp__BN254_8h.html#abebd25f8fdaa6f0ce0d888d861611edd">FP_BN254_pow</a>(<a class="code" href="structFP__BN254.html">FP_BN254</a> *x,<a class="code" href="structFP__BN254.html">FP_BN254</a> *y,<a class="code" href="big__256__56_8h.html#abea3e70a8a87f28329ed8e48af7bb244">BIG_256_56</a> z);</div><div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="fp__BN254_8h.html#a3cdc08067b27c99e0743a9b0f337c6d4">FP_BN254_sqrt</a>(<a class="code" href="structFP__BN254.html">FP_BN254</a> *x,<a class="code" href="structFP__BN254.html">FP_BN254</a> *y);</div><div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="fp__BN254_8h.html#a10b9010a7c55e787034848a4790a299a">FP_BN254_neg</a>(<a class="code" href="structFP__BN254.html">FP_BN254</a> *x,<a class="code" href="structFP__BN254.html">FP_BN254</a> *y);</div><div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="fp__BN254_8h.html#a5ab5327eacae16f90875c2c587c6270c">FP_BN254_output</a>(<a class="code" href="structFP__BN254.html">FP_BN254</a> *x);</div><div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="fp__BN254_8h.html#ac5f3440e0a9dcc9a6e7766f13ca443ef">FP_BN254_rawoutput</a>(<a class="code" href="structFP__BN254.html">FP_BN254</a> *x);</div><div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="fp__BN254_8h.html#a2816ef0b657315f32274266f02defea9">FP_BN254_reduce</a>(<a class="code" href="structFP__BN254.html">FP_BN254</a> *x);</div><div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="fp__BN254_8h.html#a67c9ec28bfd03f040f0aeeacb89472fb">FP_BN254_norm</a>(<a class="code" href="structFP__BN254.html">FP_BN254</a> *x);</div><div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code" href="fp__BN254_8h.html#ab0933cb4f43dd767eed7f9ef4667d36c">FP_BN254_qr</a>(<a class="code" href="structFP__BN254.html">FP_BN254</a> *x);</div><div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160;<span class="keyword">extern</span> <span class="keywordtype">void</span> <a class="code" href="fp__BN254_8h.html#a5905490a4fd2992b024807607af6e917">FP_BN254_inv</a>(<a class="code" href="structFP__BN254.html">FP_BN254</a> *x,<a class="code" href="structFP__BN254.html">FP_BN254</a> *y);</div><div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160;</div><div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160;</div><div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160;</div><div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160;</div><div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160;<span class="preprocessor">#endif</span></div><div class="ttc" id="fp__BN254_8h_html_adecb221f91cbcaf83f4960aa9c665d04"><div class="ttname"><a href="fp__BN254_8h.html#adecb221f91cbcaf83f4960aa9c665d04">FP_BN254_cswap</a></div><div class="ttdeci">void FP_BN254_cswap(FP_BN254 *x, FP_BN254 *y, int s)</div><div class="ttdoc">Conditional constant time swap of two FP numbers.</div><div class="ttdef"><b>Definition:</b> fp_BN254.c:230</div></div>
<div class="ttc" id="fp__BN254_8h_html_a67c9ec28bfd03f040f0aeeacb89472fb"><div class="ttname"><a href="fp__BN254_8h.html#a67c9ec28bfd03f040f0aeeacb89472fb">FP_BN254_norm</a></div><div class="ttdeci">void FP_BN254_norm(FP_BN254 *x)</div><div class="ttdoc">normalizes FP</div><div class="ttdef"><b>Definition:</b> fp_BN254.c:484</div></div>
<div class="ttc" id="fp__BN254_8h_html_ab6f5e846f1186dbff86ee5b5714454ea"><div class="ttname"><a href="fp__BN254_8h.html#ab6f5e846f1186dbff86ee5b5714454ea">FP_BN254_copy</a></div><div class="ttdeci">void FP_BN254_copy(FP_BN254 *y, FP_BN254 *x)</div><div class="ttdoc">Copy an FP.</div><div class="ttdef"><b>Definition:</b> fp_BN254.c:216</div></div>
<div class="ttc" id="fp__BN254_8h_html_a94ea2f736ecbfa16a1ddf209bd9945eb"><div class="ttname"><a href="fp__BN254_8h.html#a94ea2f736ecbfa16a1ddf209bd9945eb">FP_BN254_sub</a></div><div class="ttdeci">void FP_BN254_sub(FP_BN254 *x, FP_BN254 *y, FP_BN254 *z)</div><div class="ttdoc">Modular subtraction of two FPs, mod Modulus.</div><div class="ttdef"><b>Definition:</b> fp_BN254.c:400</div></div>
<div class="ttc" id="fp__BN254_8h_html_a420bf442f094f392e2c0116f3eef8c69"><div class="ttname"><a href="fp__BN254_8h.html#a420bf442f094f392e2c0116f3eef8c69">FP_BN254_zero</a></div><div class="ttdeci">void FP_BN254_zero(FP_BN254 *x)</div><div class="ttdoc">Set FP to zero.</div><div class="ttdef"><b>Definition:</b> fp_BN254.c:251</div></div>
<div class="ttc" id="fp__BN254_8h_html_a5905490a4fd2992b024807607af6e917"><div class="ttname"><a href="fp__BN254_8h.html#a5905490a4fd2992b024807607af6e917">FP_BN254_inv</a></div><div class="ttdeci">void FP_BN254_inv(FP_BN254 *x, FP_BN254 *y)</div><div class="ttdoc">Modular inverse of a an FP, mod Modulus.</div><div class="ttdef"><b>Definition:</b> fp_BN254.c:648</div></div>
<div class="ttc" id="fp__BN254_8h_html_a5ab5327eacae16f90875c2c587c6270c"><div class="ttname"><a href="fp__BN254_8h.html#a5ab5327eacae16f90875c2c587c6270c">FP_BN254_output</a></div><div class="ttdeci">void FP_BN254_output(FP_BN254 *x)</div><div class="ttdoc">Outputs an FP number to the console.</div><div class="ttdef"><b>Definition:</b> fp_BN254.c:270</div></div>
<div class="ttc" id="fp__BN254_8h_html_a40c78f68890810b3c3db61bd9a99b059"><div class="ttname"><a href="fp__BN254_8h.html#a40c78f68890810b3c3db61bd9a99b059">FP_BN254_mul</a></div><div class="ttdeci">void FP_BN254_mul(FP_BN254 *x, FP_BN254 *y, FP_BN254 *z)</div><div class="ttdoc">Fast Modular multiplication of two FPs, mod Modulus.</div><div class="ttdef"><b>Definition:</b> fp_BN254.c:297</div></div>
<div class="ttc" id="structFP__BN254_html"><div class="ttname"><a href="structFP__BN254.html">FP_BN254</a></div><div class="ttdoc">FP Structure - quadratic extension field.</div><div class="ttdef"><b>Definition:</b> fp_BN254.h:38</div></div>
<div class="ttc" id="fp__BN254_8h_html_a3904fffa0cc33cbcbe810a7ee4d26edd"><div class="ttname"><a href="fp__BN254_8h.html#a3904fffa0cc33cbcbe810a7ee4d26edd">FP_BN254_equals</a></div><div class="ttdeci">int FP_BN254_equals(FP_BN254 *x, FP_BN254 *y)</div><div class="ttdoc">Compares two FPs.</div><div class="ttdef"><b>Definition:</b> fp_BN254.c:257</div></div>
<div class="ttc" id="big__256__56_8h_html_a6183570cd770f0ce6be0d94a42ee465a"><div class="ttname"><a href="big__256__56_8h.html#a6183570cd770f0ce6be0d94a42ee465a">DBIG_256_56</a></div><div class="ttdeci">chunk DBIG_256_56[DNLEN_256_56]</div><div class="ttdef"><b>Definition:</b> big_256_56.h:59</div></div>
<div class="ttc" id="fp__BN254_8h_html_a2be5d0f0882d62c0ec8ffc3a0f3572b9"><div class="ttname"><a href="fp__BN254_8h.html#a2be5d0f0882d62c0ec8ffc3a0f3572b9">FP_BN254_imul</a></div><div class="ttdeci">void FP_BN254_imul(FP_BN254 *x, FP_BN254 *y, int i)</div><div class="ttdoc">Fast Modular multiplication of an FP, by a small integer, mod Modulus.</div><div class="ttdef"><b>Definition:</b> fp_BN254.c:321</div></div>
<div class="ttc" id="fp__BN254_8h_html_a1383bb84c66c6e42510769d70b26c684"><div class="ttname"><a href="fp__BN254_8h.html#a1383bb84c66c6e42510769d70b26c684">FP_BN254_sqr</a></div><div class="ttdeci">void FP_BN254_sqr(FP_BN254 *x, FP_BN254 *y)</div><div class="ttdoc">Fast Modular squaring of an FP, mod Modulus.</div><div class="ttdef"><b>Definition:</b> fp_BN254.c:366</div></div>
<div class="ttc" id="fp__BN254_8h_html_ae22f0d358cc5707ae7deb3f763ad2581"><div class="ttname"><a href="fp__BN254_8h.html#ae22f0d358cc5707ae7deb3f763ad2581">FP_BN254_iszilch</a></div><div class="ttdeci">int FP_BN254_iszilch(FP_BN254 *x)</div><div class="ttdoc">Tests for FP equal to zero mod Modulus.</div><div class="ttdef"><b>Definition:</b> fp_BN254.c:207</div></div>
<div class="ttc" id="fp__BN254_8h_html_a528588da12fe13fe2a25262aa33f47e2"><div class="ttname"><a href="fp__BN254_8h.html#a528588da12fe13fe2a25262aa33f47e2">FP_BN254_add</a></div><div class="ttdeci">void FP_BN254_add(FP_BN254 *x, FP_BN254 *y, FP_BN254 *z)</div><div class="ttdoc">Modular addition of two FPs, mod Modulus.</div><div class="ttdef"><b>Definition:</b> fp_BN254.c:385</div></div>
<div class="ttc" id="fp__BN254_8h_html_a10b9010a7c55e787034848a4790a299a"><div class="ttname"><a href="fp__BN254_8h.html#a10b9010a7c55e787034848a4790a299a">FP_BN254_neg</a></div><div class="ttdeci">void FP_BN254_neg(FP_BN254 *x, FP_BN254 *y)</div><div class="ttdoc">Modular negation of a an FP, mod Modulus.</div><div class="ttdef"><b>Definition:</b> fp_BN254.c:491</div></div>
<div class="ttc" id="fp__BN254_8h_html_a2816ef0b657315f32274266f02defea9"><div class="ttname"><a href="fp__BN254_8h.html#a2816ef0b657315f32274266f02defea9">FP_BN254_reduce</a></div><div class="ttdeci">void FP_BN254_reduce(FP_BN254 *x)</div><div class="ttdoc">Reduces possibly unreduced FP mod Modulus.</div><div class="ttdef"><b>Definition:</b> fp_BN254.c:449</div></div>
<div class="ttc" id="fp__BN254_8h_html_a57cd93681eb36ae0ead921a1175f8eae"><div class="ttname"><a href="fp__BN254_8h.html#a57cd93681eb36ae0ead921a1175f8eae">Modulus_BN254</a></div><div class="ttdeci">const BIG_256_56 Modulus_BN254</div></div>
<div class="ttc" id="fp__BN254_8h_html_a7f89f76c387a056ef079e8d8e9342a6a"><div class="ttname"><a href="fp__BN254_8h.html#a7f89f76c387a056ef079e8d8e9342a6a">FP_BN254_nres</a></div><div class="ttdeci">void FP_BN254_nres(FP_BN254 *y, BIG_256_56 x)</div><div class="ttdoc">Converts from BIG integer to residue form mod Modulus.</div><div class="ttdef"><b>Definition:</b> fp_BN254.c:90</div></div>
<div class="ttc" id="fp__BN254_8h_html_a32878ff78f9a1ead1d2ff46daa0f9ecd"><div class="ttname"><a href="fp__BN254_8h.html#a32878ff78f9a1ead1d2ff46daa0f9ecd">FP_BN254_mod</a></div><div class="ttdeci">void FP_BN254_mod(BIG_256_56 r, DBIG_256_56 d)</div><div class="ttdoc">Reduces DBIG to BIG exploiting special form of the modulus.</div><div class="ttdef"><b>Definition:</b> fp_BN254.c:103</div></div>
<div class="ttc" id="fp__BN254_8h_html_ac5f3440e0a9dcc9a6e7766f13ca443ef"><div class="ttname"><a href="fp__BN254_8h.html#ac5f3440e0a9dcc9a6e7766f13ca443ef">FP_BN254_rawoutput</a></div><div class="ttdeci">void FP_BN254_rawoutput(FP_BN254 *x)</div><div class="ttdoc">Outputs an FP number to the console, in raw form.</div><div class="ttdef"><b>Definition:</b> fp_BN254.c:277</div></div>
<div class="ttc" id="fp__BN254_8h_html_a831f5859c3bda417b9d90cfb700a65e0"><div class="ttname"><a href="fp__BN254_8h.html#a831f5859c3bda417b9d90cfb700a65e0">MConst_BN254</a></div><div class="ttdeci">const chunk MConst_BN254</div></div>
<div class="ttc" id="big__256__56_8h_html"><div class="ttname"><a href="big__256__56_8h.html">big_256_56.h</a></div><div class="ttdoc">BIG Header File.</div></div>
<div class="ttc" id="fp__BN254_8h_html_a6724ba752782195d1c2094448d84a0a2"><div class="ttname"><a href="fp__BN254_8h.html#a6724ba752782195d1c2094448d84a0a2">R2modp_BN254</a></div><div class="ttdeci">const BIG_256_56 R2modp_BN254</div></div>
<div class="ttc" id="fp__BN254_8h_html_a47dff95c17d1e5085b01e441ee552677"><div class="ttname"><a href="fp__BN254_8h.html#a47dff95c17d1e5085b01e441ee552677">FP_BN254_div2</a></div><div class="ttdeci">void FP_BN254_div2(FP_BN254 *x, FP_BN254 *y)</div><div class="ttdoc">Modular division by 2 of an FP, mod Modulus.</div><div class="ttdef"><b>Definition:</b> fp_BN254.c:515</div></div>
<div class="ttc" id="structFP__BN254_html_a129ff2f489c492d0ee022189155c0532"><div class="ttname"><a href="structFP__BN254.html#a129ff2f489c492d0ee022189155c0532">FP_BN254::g</a></div><div class="ttdeci">BIG_256_56 g</div><div class="ttdef"><b>Definition:</b> fp_BN254.h:40</div></div>
<div class="ttc" id="structFP__BN254_html_a257a9b6c0574931c530ca3a6ff6b7dce"><div class="ttname"><a href="structFP__BN254.html#a257a9b6c0574931c530ca3a6ff6b7dce">FP_BN254::XES</a></div><div class="ttdeci">sign32 XES</div><div class="ttdef"><b>Definition:</b> fp_BN254.h:41</div></div>
<div class="ttc" id="arch_8h_html_af31fcb3b74c4bcf6507f62d801277492"><div class="ttname"><a href="arch_8h.html#af31fcb3b74c4bcf6507f62d801277492">sign32</a></div><div class="ttdeci">#define sign32</div><div class="ttdef"><b>Definition:</b> arch.h:62</div></div>
<div class="ttc" id="fp__BN254_8h_html_a3cdc08067b27c99e0743a9b0f337c6d4"><div class="ttname"><a href="fp__BN254_8h.html#a3cdc08067b27c99e0743a9b0f337c6d4">FP_BN254_sqrt</a></div><div class="ttdeci">void FP_BN254_sqrt(FP_BN254 *x, FP_BN254 *y)</div><div class="ttdoc">Fast Modular square root of a an FP, mod Modulus.</div><div class="ttdef"><b>Definition:</b> fp_BN254.c:747</div></div>
<div class="ttc" id="fp__BN254_8h_html_ab6de42f0e349c8cd0799cf1348f5fe5c"><div class="ttname"><a href="fp__BN254_8h.html#ab6de42f0e349c8cd0799cf1348f5fe5c">FP_BN254_rcopy</a></div><div class="ttdeci">void FP_BN254_rcopy(FP_BN254 *y, const BIG_256_56 x)</div><div class="ttdoc">Copy from ROM to an FP.</div><div class="ttdef"><b>Definition:</b> fp_BN254.c:222</div></div>
<div class="ttc" id="big__256__56_8h_html_abea3e70a8a87f28329ed8e48af7bb244"><div class="ttname"><a href="big__256__56_8h.html#abea3e70a8a87f28329ed8e48af7bb244">BIG_256_56</a></div><div class="ttdeci">chunk BIG_256_56[NLEN_256_56]</div><div class="ttdef"><b>Definition:</b> big_256_56.h:58</div></div>
<div class="ttc" id="fp__BN254_8h_html_ab0933cb4f43dd767eed7f9ef4667d36c"><div class="ttname"><a href="fp__BN254_8h.html#ab0933cb4f43dd767eed7f9ef4667d36c">FP_BN254_qr</a></div><div class="ttdeci">int FP_BN254_qr(FP_BN254 *x)</div><div class="ttdoc">Tests for FP a quadratic residue mod Modulus.</div><div class="ttdef"><b>Definition:</b> fp_BN254.c:731</div></div>
<div class="ttc" id="arch_8h_html_a0dd4b8ab353c587b22c6acb0809323aa"><div class="ttname"><a href="arch_8h.html#a0dd4b8ab353c587b22c6acb0809323aa">chunk</a></div><div class="ttdeci">#define chunk</div><div class="ttdef"><b>Definition:</b> arch.h:109</div></div>
<div class="ttc" id="fp__BN254_8h_html_aeaca7086053f84d1a9acd1a61fa26e01"><div class="ttname"><a href="fp__BN254_8h.html#aeaca7086053f84d1a9acd1a61fa26e01">FP_BN254_redc</a></div><div class="ttdeci">void FP_BN254_redc(BIG_256_56 x, FP_BN254 *y)</div><div class="ttdoc">Converts from residue form back to BIG integer form.</div><div class="ttdef"><b>Definition:</b> fp_BN254.c:97</div></div>
<div class="ttc" id="fp__BN254_8h_html_a4fc9de4de22d4acf65f327e073ff6868"><div class="ttname"><a href="fp__BN254_8h.html#a4fc9de4de22d4acf65f327e073ff6868">FP_BN254_one</a></div><div class="ttdeci">void FP_BN254_one(FP_BN254 *x)</div><div class="ttdoc">Sets FP to representation of unity in residue form.</div><div class="ttdef"><b>Definition:</b> fp_BN254.c:723</div></div>
<div class="ttc" id="fp__BN254_8h_html_abebd25f8fdaa6f0ce0d888d861611edd"><div class="ttname"><a href="fp__BN254_8h.html#abebd25f8fdaa6f0ce0d888d861611edd">FP_BN254_pow</a></div><div class="ttdeci">void FP_BN254_pow(FP_BN254 *x, FP_BN254 *y, BIG_256_56 z)</div><div class="ttdoc">Fast Modular exponentiation of an FP, to the power of a BIG, mod Modulus.</div></div>
<div class="ttc" id="fp__BN254_8h_html_aa63afef46ecfae45ea5dc3b9e3b2b493"><div class="ttname"><a href="fp__BN254_8h.html#aa63afef46ecfae45ea5dc3b9e3b2b493">FP_BN254_cmove</a></div><div class="ttdeci">void FP_BN254_cmove(FP_BN254 *x, FP_BN254 *y, int s)</div><div class="ttdoc">Conditional copy of FP number.</div><div class="ttdef"><b>Definition:</b> fp_BN254.c:243</div></div>
</div><!-- fragment --></div><!-- contents -->
<!-- start footer part -->
<hr class="footer"/><address class="footer"><small>
Generated by &#160;<a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/>
</a> 1.8.15
</small></address>
</body>
</html>