class_t_f___verifier_impl.html

著名的密码库Crypto++的文档 C++语言的杰作。程序员必备。

<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="anchor" name="7c241a57d4fc44139867e3c7b576884e"></a><!-- doxytag: member="TF_VerifierImpl::RecoverablePartFirst" ref="7c241a57d4fc44139867e3c7b576884e" args="() const" -->
bool&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_t_f___signature_scheme_base.html#7c241a57d4fc44139867e3c7b576884e">RecoverablePartFirst</a> () const</td></tr>

<tr><td class="mdescLeft">&nbsp;</td><td class="mdescRight">whether you must input the recoverable part before the non-recoverable part during signing <br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="anchor" name="002461c71eaacb022a0d169975a6f752"></a><!-- doxytag: member="TF_VerifierImpl::Verify" ref="002461c71eaacb022a0d169975a6f752" args="(PK_MessageAccumulator *messageAccumulator) const " -->
virtual bool&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_p_k___verifier.html#002461c71eaacb022a0d169975a6f752">Verify</a> (<a class="el" href="class_p_k___message_accumulator.html">PK_MessageAccumulator</a> *messageAccumulator) const </td></tr>

<tr><td class="mdescLeft">&nbsp;</td><td class="mdescRight">check whether messageAccumulator contains a valid signature and message, and delete messageAccumulator (even in case of exception thrown) <br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="anchor" name="4640a967fd291f8be86c1b721dc73b2d"></a><!-- doxytag: member="TF_VerifierImpl::VerifyMessage" ref="4640a967fd291f8be86c1b721dc73b2d" args="(const byte *message, size_t messageLen, const byte *signature, size_t signatureLength) const " -->
virtual bool&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_p_k___verifier.html#4640a967fd291f8be86c1b721dc73b2d">VerifyMessage</a> (const byte *message, size_t messageLen, const byte *signature, size_t signatureLength) const </td></tr>

<tr><td class="mdescLeft">&nbsp;</td><td class="mdescRight">check whether input signature is a valid signature for input message <br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">virtual <a class="el" href="struct_decoding_result.html">DecodingResult</a>&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_p_k___verifier.html#25a928c76d7bc73e1a04d85266b46382">Recover</a> (byte *recoveredMessage, <a class="el" href="class_p_k___message_accumulator.html">PK_MessageAccumulator</a> *messageAccumulator) const </td></tr>

<tr><td class="mdescLeft">&nbsp;</td><td class="mdescRight">recover a message from its signature  <a href="#25a928c76d7bc73e1a04d85266b46382"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">virtual <a class="el" href="struct_decoding_result.html">DecodingResult</a>&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_p_k___verifier.html#05d969651d86a63d5002057113e0cab7">RecoverMessage</a> (byte *recoveredMessage, const byte *nonrecoverableMessage, size_t nonrecoverableMessageLength, const byte *signature, size_t signatureLength) const</td></tr>

<tr><td class="mdescLeft">&nbsp;</td><td class="mdescRight">recover a message from its signature  <a href="#05d969651d86a63d5002057113e0cab7"></a><br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="anchor" name="665909c10f27db81343a01c814488652"></a><!-- doxytag: member="TF_VerifierImpl::MaxSignatureLength" ref="665909c10f27db81343a01c814488652" args="(size_t recoverablePartLength=0) const" -->
virtual size_t&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_p_k___signature_scheme.html#665909c10f27db81343a01c814488652">MaxSignatureLength</a> (size_t recoverablePartLength=0) const</td></tr>

<tr><td class="mdescLeft">&nbsp;</td><td class="mdescRight">maximum signature length produced for a given length of recoverable message part <br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="anchor" name="8f62890f0485b9ca58528047871f8894"></a><!-- doxytag: member="TF_VerifierImpl::SignatureUpfront" ref="8f62890f0485b9ca58528047871f8894" args="() const" -->
virtual bool&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_p_k___signature_scheme.html#8f62890f0485b9ca58528047871f8894">SignatureUpfront</a> () const</td></tr>

<tr><td class="mdescLeft">&nbsp;</td><td class="mdescRight">if this function returns true, during verification you must input the signature before the message, otherwise you can input it at anytime */ <br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="anchor" name="74b77db3086e07caf5506fda9ec204e7"></a><!-- doxytag: member="TF_VerifierImpl::AccessMaterial" ref="74b77db3086e07caf5506fda9ec204e7" args="()" -->
<a class="el" href="class_crypto_material.html">CryptoMaterial</a> &amp;&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_public_key_algorithm.html#74b77db3086e07caf5506fda9ec204e7">AccessMaterial</a> ()</td></tr>

<tr><td class="mdescLeft">&nbsp;</td><td class="mdescRight">returns a reference to the crypto material used by this object <br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="anchor" name="8c2bb02751348ff151ad9d4756cafd74"></a><!-- doxytag: member="TF_VerifierImpl::GetMaterial" ref="8c2bb02751348ff151ad9d4756cafd74" args="() const" -->
const <a class="el" href="class_crypto_material.html">CryptoMaterial</a> &amp;&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_public_key_algorithm.html#8c2bb02751348ff151ad9d4756cafd74">GetMaterial</a> () const</td></tr>

<tr><td class="mdescLeft">&nbsp;</td><td class="mdescRight">returns a const reference to the crypto material used by this object <br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="anchor" name="522dbfcd5c1a46bf1be301cec26d6534"></a><!-- doxytag: member="TF_VerifierImpl::BERDecode" ref="522dbfcd5c1a46bf1be301cec26d6534" args="(BufferedTransformation &amp;bt)" -->
void&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_asymmetric_algorithm.html#522dbfcd5c1a46bf1be301cec26d6534">BERDecode</a> (<a class="el" href="class_buffered_transformation.html">BufferedTransformation</a> &amp;bt)</td></tr>

<tr><td class="mdescLeft">&nbsp;</td><td class="mdescRight">for backwards compatibility, calls <a class="el" href="class_asymmetric_algorithm.html#d99d55413166b69a0a12e10d111926c8" title="returns a reference to the crypto material used by this object">AccessMaterial()</a>.Load(bt) <br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="anchor" name="2d704079890783422b0a44653480ab83"></a><!-- doxytag: member="TF_VerifierImpl::DEREncode" ref="2d704079890783422b0a44653480ab83" args="(BufferedTransformation &amp;bt) const " -->
void&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_asymmetric_algorithm.html#2d704079890783422b0a44653480ab83">DEREncode</a> (<a class="el" href="class_buffered_transformation.html">BufferedTransformation</a> &amp;bt) const </td></tr>

<tr><td class="mdescLeft">&nbsp;</td><td class="mdescRight">for backwards compatibility, calls <a class="el" href="class_asymmetric_algorithm.html#eafe2b12d8353b6c639be41b57ef25de" title="returns a const reference to the crypto material used by this object">GetMaterial()</a>.Save(bt) <br></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="anchor" name="d0016ba2d505c23aa85aad49e6c19bb7"></a><!-- doxytag: member="TF_VerifierImpl::Clone" ref="d0016ba2d505c23aa85aad49e6c19bb7" args="() const" -->
virtual <a class="el" href="class_clonable.html">Clonable</a> *&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_clonable.html#d0016ba2d505c23aa85aad49e6c19bb7">Clone</a> () const</td></tr>

<tr><td class="mdescLeft">&nbsp;</td><td class="mdescRight">this is not implemented by most classes yet <br></td></tr>
<tr><td colspan="2"><br><h2>Static Public Member Functions</h2></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="anchor" name="4d608152f1b6ef03772d9b9616d6ab86"></a><!-- doxytag: member="TF_VerifierImpl::StaticAlgorithmName" ref="4d608152f1b6ef03772d9b9616d6ab86" args="()" -->
static std::string __cdecl&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_algorithm_impl.html#4d608152f1b6ef03772d9b9616d6ab86">StaticAlgorithmName</a> ()</td></tr>

<tr><td colspan="2"><br><h2>Protected Types</h2></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="anchor" name="33e2d6c0fbb715a5255edd5e84a849fb"></a><!-- doxytag: member="TF_VerifierImpl::TrapdoorFunctionInterface" ref="33e2d6c0fbb715a5255edd5e84a849fb" args="" -->
typedef <a class="el" href="class_trapdoor_function.html">TrapdoorFunction</a>&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_t_f___base.html#33e2d6c0fbb715a5255edd5e84a849fb">TrapdoorFunctionInterface</a></td></tr>

<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="anchor" name="06b4d20aa32c616a1d0d2b8bee909436"></a><!-- doxytag: member="TF_VerifierImpl::MessageEncodingInterface" ref="06b4d20aa32c616a1d0d2b8bee909436" args="" -->
typedef <a class="el" href="class_p_k___signature_message_encoding_method.html">PK_SignatureMessageEncodingMethod</a>&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_t_f___base.html#06b4d20aa32c616a1d0d2b8bee909436">MessageEncodingInterface</a></td></tr>

<tr><td colspan="2"><br><h2>Protected Member Functions</h2></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="anchor" name="5b080803c6d7ac0b15a2a0681fe079f6"></a><!-- doxytag: member="TF_VerifierImpl::GetMessageEncodingInterface" ref="5b080803c6d7ac0b15a2a0681fe079f6" args="() const" -->
const <a class="el" href="class_p_k___signature_message_encoding_method.html">TF_VerifierBase::MessageEncodingInterface</a> &amp;&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_t_f___object_impl_base.html#5b080803c6d7ac0b15a2a0681fe079f6">GetMessageEncodingInterface</a> () const</td></tr>

<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="anchor" name="d002a63639d754a3c593a84313f9570c"></a><!-- doxytag: member="TF_VerifierImpl::GetTrapdoorFunctionBounds" ref="d002a63639d754a3c593a84313f9570c" args="() const" -->
const <a class="el" href="class_trapdoor_function_bounds.html">TrapdoorFunctionBounds</a> &amp;&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_t_f___object_impl_base.html#d002a63639d754a3c593a84313f9570c">GetTrapdoorFunctionBounds</a> () const</td></tr>

<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="anchor" name="bbdd57f1d500ceacf37cbbf92f2b8838"></a><!-- doxytag: member="TF_VerifierImpl::GetTrapdoorFunctionInterface" ref="bbdd57f1d500ceacf37cbbf92f2b8838" args="() const" -->
const <a class="el" href="class_trapdoor_function.html">TF_VerifierBase::TrapdoorFunctionInterface</a> &amp;&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_t_f___object_impl_base.html#bbdd57f1d500ceacf37cbbf92f2b8838">GetTrapdoorFunctionInterface</a> () const</td></tr>

<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="anchor" name="f75ba88e6b1362ae54884a5272a65aeb"></a><!-- doxytag: member="TF_VerifierImpl::GetHashIdentifier" ref="f75ba88e6b1362ae54884a5272a65aeb" args="() const" -->
<a class="el" href="pubkey_8h.html#ef874ed3f2d212ac4629255c8ef86dd0">HashIdentifier</a>&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_t_f___object_impl_base.html#f75ba88e6b1362ae54884a5272a65aeb">GetHashIdentifier</a> () const</td></tr>

<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="anchor" name="97acdc1ed83c0c038ba52477947c9f85"></a><!-- doxytag: member="TF_VerifierImpl::GetDigestSize" ref="97acdc1ed83c0c038ba52477947c9f85" args="() const" -->
size_t&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_t_f___object_impl_base.html#97acdc1ed83c0c038ba52477947c9f85">GetDigestSize</a> () const</td></tr>

<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="anchor" name="2bf7feb3520b0cb95bc28173309d9d55"></a><!-- doxytag: member="TF_VerifierImpl::MessageRepresentativeLength" ref="2bf7feb3520b0cb95bc28173309d9d55" args="() const" -->
size_t&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_t_f___signature_scheme_base.html#2bf7feb3520b0cb95bc28173309d9d55">MessageRepresentativeLength</a> () const</td></tr>

<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="anchor" name="acc39dfaa15c562803f9517d5326bd70"></a><!-- doxytag: member="TF_VerifierImpl::MessageRepresentativeBitLength" ref="acc39dfaa15c562803f9517d5326bd70" args="() const" -->
size_t&nbsp;</td><td class="memItemRight" valign="bottom"><a class="el" href="class_t_f___signature_scheme_base.html#acc39dfaa15c562803f9517d5326bd70">MessageRepresentativeBitLength</a> () const</td></tr>

</table>
<hr><h2>Member Function Documentation</h2>
<a class="anchor" name="fff8535e4229e7e27e0824ce68e7e723"></a><!-- doxytag: member="TF_VerifierImpl::RecoverAndRestart" ref="fff8535e4229e7e27e0824ce68e7e723" args="(byte *recoveredMessage, PK_MessageAccumulator &amp;recoveryAccumulator) const" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="struct_decoding_result.html">DecodingResult</a> TF_VerifierBase::RecoverAndRestart           </td>
          <td>(</td>
          <td class="paramtype">byte *&nbsp;</td>
          <td class="paramname"> <em>recoveredMessage</em>, </td>
        </tr>
        <tr>
          <td class="paramkey"></td>
          <td></td>
          <td class="paramtype"><a class="el" href="class_p_k___message_accumulator.html">PK_MessageAccumulator</a> &amp;&nbsp;</td>
          <td class="paramname"> <em>messageAccumulator</em></td><td>&nbsp;</td>
        </tr>
        <tr>
          <td></td>
          <td>)</td>
          <td></td><td></td><td width="100%"> const<code> [virtual, inherited]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>
recover a message from its signature 
<p>
<dl class="pre" compact><dt><b>Precondition:</b></dt><dd>size of recoveredMessage == MaxRecoverableLengthFromSignatureLength(signatureLength) </dd></dl>

<p>
Implements <a class="el" href="class_p_k___verifier.html#6612ff44a274594890419ae75d260cce">PK_Verifier</a>.
<p>
Definition at line <a class="el" href="pubkey_8cpp-source.html#l00120">120</a> of file <a class="el" href="pubkey_8cpp-source.html">pubkey.cpp</a>.
<p>
References PK_MessageAccumulatorBase::AccessHash(), <a class="el" href="class_hash_transformation.html#41faf8b1293a6c72390cb0c8bd668097">HashTransformation::DigestSize()</a>, <a class="el" href="pubkey_8h-source.html#l00298">PK_MessageAccumulatorBase::m_empty</a>, <a class="el" href="pubkey_8h-source.html#l00296">PK_MessageAccumulatorBase::m_representative</a>, <a class="el" href="pubkey_8h-source.html#l00329">TF_SignatureSchemeBase&lt; PK_Verifier, TF_Base&lt; TrapdoorFunction, PK_SignatureMessageEncodingMethod &gt; &gt;::MessageRepresentativeBitLength()</a>, <a class="el" href="pubkey_8h-source.html#l00189">PK_SignatureMessageEncodingMethod::MinRepresentativeBitLength()</a>, and <a class="el" href="pubkey_8h-source.html#l00223">PK_SignatureMessageEncodingMethod::RecoverMessageFromRepresentative()</a>.
</div>
</div><p>
<a class="anchor" name="db5ef45069481de1ceca75a847aa37f4"></a><!-- doxytag: member="TF_VerifierImpl::IsProbabilistic" ref="db5ef45069481de1ceca75a847aa37f4" args="() const" -->
<div class="memitem">