<map id="proofs::ProverLayers&lt; Field &gt;" name="proofs::ProverLayers&lt; Field &gt;">
<area shape="rect" id="Node000001" title=" " alt="" coords="104,5,246,46"/>
<area shape="rect" id="Node000002" href="$classproofs_1_1_prover.html" title=" " alt="" coords="5,102,161,127"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="145,59,97,103,94,99,141,55"/>
<area shape="rect" id="Node000003" href="$classproofs_1_1_zk_prover.html" title=" " alt="" coords="185,94,349,135"/>
<area shape="poly" id="edge2_Node000001_Node000003" title=" " alt="" coords="209,55,248,92,244,96,205,59"/>
</map>
