<map id="proofs::JWT&lt; LogicCircuit, Field, EC, SHABlocks &gt;::Witness" name="proofs::JWT&lt; LogicCircuit, Field, EC, SHABlocks &gt;::Witness">
<area shape="rect" id="Node000001" title=" " alt="" coords="350,49,528,105"/>
<area shape="rect" id="Node000002" href="$structproofs_1_1_verify_circuit_1_1_witness.html" title=" " alt="" coords="54,5,197,61"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="212,43,350,62,349,67,212,48"/>
<area shape="rect" id="Node000003" title=" " alt="" coords="5,84,246,155"/>
<area shape="poly" id="edge2_Node000001_Node000003" title=" " alt="" coords="261,99,349,87,350,92,261,104"/>
</map>
