website/static/mpcdocs/structMTA__ZK__proof.html - incubator-milagro - Git at Google

 <!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.9.1"/>
 <meta name="viewport" content="width=device-width, initial-scale=1"/>
 <title>libmpc: MTA_ZK_proof Struct Reference</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>
 <script type="text/x-mathjax-config">
   MathJax.Hub.Config({
     extensions: ["tex2jax.js"],
     jax: ["input/TeX","output/HTML-CSS"],
 });
 </script>
 <script type="text/javascript" async="async" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.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">libmpc
    </div>
   </td>
  </tr>
  </tbody>
 </table>
 </div>
 <!-- end header part -->
 <!-- Generated by Doxygen 1.9.1 -->
 <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','.html');
 /* @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><!-- top -->
 <div class="header">
   <div class="summary">
 <a href="#pub-attribs">Data Fields</a>  </div>
   <div class="headertitle">
 <div class="title">MTA_ZK_proof Struct Reference</div>  </div>
 </div><!--header-->
 <div class="contents">

 <p>Range Proof for the Receiver ZKP.
 </p>

 <p><code>#include &lt;<a class="el" href="mta_8h_source.html">mta.h</a>&gt;</code></p>
 <table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-attribs"></a>
 Data Fields</h2></td></tr>
 <tr class="memitem:a34c86cae80dc0f8688cd1f7d5f1801ab"><td class="memItemLeft" align="right" valign="top">BIG_1024_58&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structMTA__ZK__proof.html#a34c86cae80dc0f8688cd1f7d5f1801ab">s</a> [FFLEN_2048]</td></tr>
 <tr class="separator:a34c86cae80dc0f8688cd1f7d5f1801ab"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a44224d752605c42e4ec583442eb6a61a"><td class="memItemLeft" align="right" valign="top">BIG_1024_58&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structMTA__ZK__proof.html#a44224d752605c42e4ec583442eb6a61a">s1</a> [FFLEN_2048]</td></tr>
 <tr class="separator:a44224d752605c42e4ec583442eb6a61a"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a4141b24bb3ad79318884ac0facb65800"><td class="memItemLeft" align="right" valign="top">BIG_1024_58&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structMTA__ZK__proof.html#a4141b24bb3ad79318884ac0facb65800">s2</a> [FFLEN_2048+HFLEN_2048]</td></tr>
 <tr class="separator:a4141b24bb3ad79318884ac0facb65800"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a2555d0e4789621eff8dc79cf96276860"><td class="memItemLeft" align="right" valign="top">BIG_1024_58&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structMTA__ZK__proof.html#a2555d0e4789621eff8dc79cf96276860">t1</a> [FFLEN_2048]</td></tr>
 <tr class="separator:a2555d0e4789621eff8dc79cf96276860"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:affd6b54dc1a58cdc23ac27746c5eb31b"><td class="memItemLeft" align="right" valign="top">BIG_1024_58&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structMTA__ZK__proof.html#affd6b54dc1a58cdc23ac27746c5eb31b">t2</a> [FFLEN_2048+HFLEN_2048]</td></tr>
 <tr class="separator:affd6b54dc1a58cdc23ac27746c5eb31b"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <h2 class="groupheader">Field Documentation</h2>
 <a id="a34c86cae80dc0f8688cd1f7d5f1801ab"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a34c86cae80dc0f8688cd1f7d5f1801ab">&#9670;&nbsp;</a></span>s</h2>

 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
           <td class="memname">BIG_1024_58 MTA_ZK_proof::s[FFLEN_2048]</td>
         </tr>
       </table>
 </div><div class="memdoc">
 <p>Proof of knowledge of the Paillier r value </p>

 </div>
 </div>
 <a id="a44224d752605c42e4ec583442eb6a61a"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a44224d752605c42e4ec583442eb6a61a">&#9670;&nbsp;</a></span>s1</h2>

 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
           <td class="memname">BIG_1024_58 MTA_ZK_proof::s1[FFLEN_2048]</td>
         </tr>
       </table>
 </div><div class="memdoc">
 <p>Proof of knowledge of x. It must be less than q^3 </p>

 </div>
 </div>
 <a id="a4141b24bb3ad79318884ac0facb65800"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a4141b24bb3ad79318884ac0facb65800">&#9670;&nbsp;</a></span>s2</h2>

 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
           <td class="memname">BIG_1024_58 MTA_ZK_proof::s2[FFLEN_2048+HFLEN_2048]</td>
         </tr>
       </table>
 </div><div class="memdoc">
 <p>Auxiliary proof of knowledge for x </p>

 </div>
 </div>
 <a id="a2555d0e4789621eff8dc79cf96276860"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a2555d0e4789621eff8dc79cf96276860">&#9670;&nbsp;</a></span>t1</h2>

 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
           <td class="memname">BIG_1024_58 MTA_ZK_proof::t1[FFLEN_2048]</td>
         </tr>
       </table>
 </div><div class="memdoc">
 <p>Proof of knowledge of y </p>

 </div>
 </div>
 <a id="affd6b54dc1a58cdc23ac27746c5eb31b"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#affd6b54dc1a58cdc23ac27746c5eb31b">&#9670;&nbsp;</a></span>t2</h2>

 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
           <td class="memname">BIG_1024_58 MTA_ZK_proof::t2[FFLEN_2048+HFLEN_2048]</td>
         </tr>
       </table>
 </div><div class="memdoc">
 <p>Auxiliary proof of knowledge for y </p>

 </div>
 </div>
 <hr/>The documentation for this struct was generated from the following file:<ul>
 <li><a class="el" href="mta_8h_source.html">mta.h</a></li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>
 Generated by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.1
 </small></address>
 </body>
 </html>
	<!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.9.1"/>
	<meta name="viewport" content="width=device-width, initial-scale=1"/>
	<title>libmpc: MTA_ZK_proof Struct Reference</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>
	<script type="text/x-mathjax-config">
	MathJax.Hub.Config({
	extensions: ["tex2jax.js"],
	jax: ["input/TeX","output/HTML-CSS"],
	});
	</script>
	<script type="text/javascript" async="async" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.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">libmpc
	</div>
	</td>
	</tr>
	</tbody>
	</table>
	</div>
	<!-- end header part -->
	<!-- Generated by Doxygen 1.9.1 -->
	<script type="text/javascript">
	/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&dn=gpl-2.0.txt GPL-v2 */
	var searchBox = new SearchBox("searchBox", "search",false,'Search','.html');
	/* @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&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><!-- top -->
	<div class="header">
	<div class="summary">
	<a href="#pub-attribs">Data Fields</a> </div>
	<div class="headertitle">
	<div class="title">MTA_ZK_proof Struct Reference</div> </div>
	</div><!--header-->
	<div class="contents">

	<p>Range Proof for the Receiver ZKP.
	</p>

	<p><code>#include <<a class="el" href="mta_8h_source.html">mta.h</a>></code></p>
	<table class="memberdecls">
	<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-attribs"></a>
	Data Fields</h2></td></tr>
	<tr class="memitem:a34c86cae80dc0f8688cd1f7d5f1801ab"><td class="memItemLeft" align="right" valign="top">BIG_1024_58 </td><td class="memItemRight" valign="bottom"><a class="el" href="structMTA__ZK__proof.html#a34c86cae80dc0f8688cd1f7d5f1801ab">s</a> [FFLEN_2048]</td></tr>
	<tr class="separator:a34c86cae80dc0f8688cd1f7d5f1801ab"><td class="memSeparator" colspan="2"> </td></tr>
	<tr class="memitem:a44224d752605c42e4ec583442eb6a61a"><td class="memItemLeft" align="right" valign="top">BIG_1024_58 </td><td class="memItemRight" valign="bottom"><a class="el" href="structMTA__ZK__proof.html#a44224d752605c42e4ec583442eb6a61a">s1</a> [FFLEN_2048]</td></tr>
	<tr class="separator:a44224d752605c42e4ec583442eb6a61a"><td class="memSeparator" colspan="2"> </td></tr>
	<tr class="memitem:a4141b24bb3ad79318884ac0facb65800"><td class="memItemLeft" align="right" valign="top">BIG_1024_58 </td><td class="memItemRight" valign="bottom"><a class="el" href="structMTA__ZK__proof.html#a4141b24bb3ad79318884ac0facb65800">s2</a> [FFLEN_2048+HFLEN_2048]</td></tr>
	<tr class="separator:a4141b24bb3ad79318884ac0facb65800"><td class="memSeparator" colspan="2"> </td></tr>
	<tr class="memitem:a2555d0e4789621eff8dc79cf96276860"><td class="memItemLeft" align="right" valign="top">BIG_1024_58 </td><td class="memItemRight" valign="bottom"><a class="el" href="structMTA__ZK__proof.html#a2555d0e4789621eff8dc79cf96276860">t1</a> [FFLEN_2048]</td></tr>
	<tr class="separator:a2555d0e4789621eff8dc79cf96276860"><td class="memSeparator" colspan="2"> </td></tr>
	<tr class="memitem:affd6b54dc1a58cdc23ac27746c5eb31b"><td class="memItemLeft" align="right" valign="top">BIG_1024_58 </td><td class="memItemRight" valign="bottom"><a class="el" href="structMTA__ZK__proof.html#affd6b54dc1a58cdc23ac27746c5eb31b">t2</a> [FFLEN_2048+HFLEN_2048]</td></tr>
	<tr class="separator:affd6b54dc1a58cdc23ac27746c5eb31b"><td class="memSeparator" colspan="2"> </td></tr>
	</table>
	<h2 class="groupheader">Field Documentation</h2>
	<a id="a34c86cae80dc0f8688cd1f7d5f1801ab"></a>
	<h2 class="memtitle"><span class="permalink"><a href="#a34c86cae80dc0f8688cd1f7d5f1801ab">◆ </a></span>s</h2>

	<div class="memitem">
	<div class="memproto">
	<table class="memname">
	<tr>
	<td class="memname">BIG_1024_58 MTA_ZK_proof::s[FFLEN_2048]</td>
	</tr>
	</table>
	</div><div class="memdoc">
	<p>Proof of knowledge of the Paillier r value </p>

	</div>
	</div>
	<a id="a44224d752605c42e4ec583442eb6a61a"></a>
	<h2 class="memtitle"><span class="permalink"><a href="#a44224d752605c42e4ec583442eb6a61a">◆ </a></span>s1</h2>

	<div class="memitem">
	<div class="memproto">
	<table class="memname">
	<tr>
	<td class="memname">BIG_1024_58 MTA_ZK_proof::s1[FFLEN_2048]</td>
	</tr>
	</table>
	</div><div class="memdoc">
	<p>Proof of knowledge of x. It must be less than q^3 </p>

	</div>
	</div>
	<a id="a4141b24bb3ad79318884ac0facb65800"></a>
	<h2 class="memtitle"><span class="permalink"><a href="#a4141b24bb3ad79318884ac0facb65800">◆ </a></span>s2</h2>

	<div class="memitem">
	<div class="memproto">
	<table class="memname">
	<tr>
	<td class="memname">BIG_1024_58 MTA_ZK_proof::s2[FFLEN_2048+HFLEN_2048]</td>
	</tr>
	</table>
	</div><div class="memdoc">
	<p>Auxiliary proof of knowledge for x </p>

	</div>
	</div>
	<a id="a2555d0e4789621eff8dc79cf96276860"></a>
	<h2 class="memtitle"><span class="permalink"><a href="#a2555d0e4789621eff8dc79cf96276860">◆ </a></span>t1</h2>

	<div class="memitem">
	<div class="memproto">
	<table class="memname">
	<tr>
	<td class="memname">BIG_1024_58 MTA_ZK_proof::t1[FFLEN_2048]</td>
	</tr>
	</table>
	</div><div class="memdoc">
	<p>Proof of knowledge of y </p>

	</div>
	</div>
	<a id="affd6b54dc1a58cdc23ac27746c5eb31b"></a>
	<h2 class="memtitle"><span class="permalink"><a href="#affd6b54dc1a58cdc23ac27746c5eb31b">◆ </a></span>t2</h2>

	<div class="memitem">
	<div class="memproto">
	<table class="memname">
	<tr>
	<td class="memname">BIG_1024_58 MTA_ZK_proof::t2[FFLEN_2048+HFLEN_2048]</td>
	</tr>
	</table>
	</div><div class="memdoc">
	<p>Auxiliary proof of knowledge for y </p>

	</div>
	</div>
	<hr/>The documentation for this struct was generated from the following file:<ul>
	<li><a class="el" href="mta_8h_source.html">mta.h</a></li>
	</ul>
	</div><!-- contents -->
	<!-- start footer part -->
	<hr class="footer"/><address class="footer"><small>
	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.1
	</small></address>
	</body>
	</html>