<map id="proofs::MdocSignature&lt; LogicCircuit, Field, EC &gt;::Witness" name="proofs::MdocSignature&lt; LogicCircuit, Field, EC &gt;::Witness">
<area shape="rect" id="Node000001" title=" " alt="" coords="305,42,457,98"/>
<area shape="rect" id="Node000002" href="$structproofs_1_1_verify_circuit_1_1_witness.html" title=" " alt="" coords="24,6,167,62"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="182,42,305,58,304,63,182,47"/>
<area shape="rect" id="Node000003" title=" " alt="" coords="5,86,186,126"/>
<area shape="poly" id="edge2_Node000001_Node000003" title=" " alt="" coords="201,92,280,82,304,79,305,84,281,88,202,97"/>
</map>
