This commit is contained in:
str4d 2022-02-17 22:47:56 +00:00
parent 31a55863b7
commit 1c415db8d8
3 changed files with 2953 additions and 2973 deletions

File diff suppressed because it is too large Load Diff

Before

Width:  |  Height:  |  Size: 193 KiB

After

Width:  |  Height:  |  Size: 190 KiB

View File

@ -5,18 +5,18 @@
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
-->
<!-- Pages: 1 -->
<svg width="1653pt" height="1099pt"
viewBox="0.00 0.00 1653.00 1098.50" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 1094.5)">
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-1094.5 1649,-1094.5 1649,4 -4,4"/>
<svg width="1653pt" height="1136pt"
viewBox="0.00 0.00 1653.00 1135.50" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 1131.5)">
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-1131.5 1649,-1131.5 1649,4 -4,4"/>
<!-- zcash/halo2#426 -->
<g id="node1" class="node open">
<title>zcash/halo2#426</title>
<g id="a_node1"><a xlink:href="https://github.com/zcash/halo2/issues/426" xlink:title="zcash/halo2#426&#10;Publish `halo2_proofs&#10;0.1.0`" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" points="438.5,-173.5 265.5,-173.5 265.5,-120.5 438.5,-120.5 438.5,-173.5"/>
<text text-anchor="middle" x="352" y="-158.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#426</text>
<text text-anchor="middle" x="352" y="-143.3" font-family="Times,serif" font-size="14.00" fill="#000000">Publish `halo2_proofs</text>
<text text-anchor="middle" x="352" y="-128.3" font-family="Times,serif" font-size="14.00" fill="#000000">0.1.0`</text>
<polygon fill="#c2e0c6" stroke="#000000" points="438.5,-210.5 265.5,-210.5 265.5,-157.5 438.5,-157.5 438.5,-210.5"/>
<text text-anchor="middle" x="352" y="-195.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#426</text>
<text text-anchor="middle" x="352" y="-180.3" font-family="Times,serif" font-size="14.00" fill="#000000">Publish `halo2_proofs</text>
<text text-anchor="middle" x="352" y="-165.3" font-family="Times,serif" font-size="14.00" fill="#000000">0.1.0`</text>
</a>
</g>
</g>
@ -24,45 +24,45 @@
<g id="node2" class="node open">
<title>zcash/halo2#460</title>
<g id="a_node2"><a xlink:href="https://github.com/zcash/halo2/issues/460" xlink:title="zcash/halo2#460&#10;Publish `halo2_gadgets&#10;v0.1.0`" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" points="676,-251.5 491,-251.5 491,-198.5 676,-198.5 676,-251.5"/>
<text text-anchor="middle" x="583.5" y="-236.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#460</text>
<text text-anchor="middle" x="583.5" y="-221.3" font-family="Times,serif" font-size="14.00" fill="#000000">Publish `halo2_gadgets</text>
<text text-anchor="middle" x="583.5" y="-206.3" font-family="Times,serif" font-size="14.00" fill="#000000">v0.1.0`</text>
<polygon fill="#c2e0c6" stroke="#000000" points="676,-288.5 491,-288.5 491,-235.5 676,-235.5 676,-288.5"/>
<text text-anchor="middle" x="583.5" y="-273.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#460</text>
<text text-anchor="middle" x="583.5" y="-258.3" font-family="Times,serif" font-size="14.00" fill="#000000">Publish `halo2_gadgets</text>
<text text-anchor="middle" x="583.5" y="-243.3" font-family="Times,serif" font-size="14.00" fill="#000000">v0.1.0`</text>
</a>
</g>
</g>
<!-- zcash/halo2#426&#45;&gt;zcash/halo2#460 -->
<g id="edge1" class="edge">
<title>zcash/halo2#426&#45;&gt;zcash/halo2#460</title>
<path fill="none" stroke="#000000" d="M430.7,-173.52C451.39,-180.49 473.84,-188.05 495,-195.18"/>
<polygon fill="#000000" stroke="#000000" points="494.0359,-198.5484 504.63,-198.42 496.2682,-191.9138 494.0359,-198.5484"/>
<path fill="none" stroke="#000000" d="M430.7,-210.52C451.39,-217.49 473.84,-225.05 495,-232.18"/>
<polygon fill="#000000" stroke="#000000" points="494.0359,-235.5484 504.63,-235.42 496.2682,-228.9138 494.0359,-235.5484"/>
</g>
<!-- zcash/halo2#380 -->
<g id="node3" class="node open">
<title>zcash/halo2#380</title>
<g id="a_node3"><a xlink:href="https://github.com/zcash/halo2/pull/380" xlink:title="zcash/halo2#380&#10;[book] Fix errors and&#10;typos" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" points="667.5,-173.5 499.5,-173.5 499.5,-169.5 495.5,-169.5 495.5,-165.5 499.5,-165.5 499.5,-128.5 495.5,-128.5 495.5,-124.5 499.5,-124.5 499.5,-120.5 667.5,-120.5 667.5,-173.5"/>
<polyline fill="none" stroke="#000000" points="499.5,-169.5 503.5,-169.5 503.5,-165.5 499.5,-165.5 "/>
<polyline fill="none" stroke="#000000" points="499.5,-128.5 503.5,-128.5 503.5,-124.5 499.5,-124.5 "/>
<text text-anchor="middle" x="583.5" y="-158.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#380</text>
<text text-anchor="middle" x="583.5" y="-143.3" font-family="Times,serif" font-size="14.00" fill="#000000">[book] Fix errors and</text>
<text text-anchor="middle" x="583.5" y="-128.3" font-family="Times,serif" font-size="14.00" fill="#000000">typos</text>
<polygon fill="#c2e0c6" stroke="#000000" points="667.5,-210.5 499.5,-210.5 499.5,-206.5 495.5,-206.5 495.5,-202.5 499.5,-202.5 499.5,-165.5 495.5,-165.5 495.5,-161.5 499.5,-161.5 499.5,-157.5 667.5,-157.5 667.5,-210.5"/>
<polyline fill="none" stroke="#000000" points="499.5,-206.5 503.5,-206.5 503.5,-202.5 499.5,-202.5 "/>
<polyline fill="none" stroke="#000000" points="499.5,-165.5 503.5,-165.5 503.5,-161.5 499.5,-161.5 "/>
<text text-anchor="middle" x="583.5" y="-195.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#380</text>
<text text-anchor="middle" x="583.5" y="-180.3" font-family="Times,serif" font-size="14.00" fill="#000000">[book] Fix errors and</text>
<text text-anchor="middle" x="583.5" y="-165.3" font-family="Times,serif" font-size="14.00" fill="#000000">typos</text>
</a>
</g>
</g>
<!-- zcash/halo2#426&#45;&gt;zcash/halo2#380 -->
<g id="edge2" class="edge">
<title>zcash/halo2#426&#45;&gt;zcash/halo2#380</title>
<path fill="none" stroke="#000000" d="M438.53,-147C455.02,-147 472.35,-147 489.06,-147"/>
<polygon fill="#000000" stroke="#000000" points="489.38,-150.5001 499.38,-147 489.38,-143.5001 489.38,-150.5001"/>
<path fill="none" stroke="#000000" d="M438.53,-184C455.02,-184 472.35,-184 489.06,-184"/>
<polygon fill="#000000" stroke="#000000" points="489.38,-187.5001 499.38,-184 489.38,-180.5001 489.38,-187.5001"/>
</g>
<!-- zcash/pasta_curves#22 -->
<g id="node4" class="node open">
<title>zcash/pasta_curves#22</title>
<g id="a_node4"><a xlink:href="https://github.com/zcash/pasta_curves/issues/22" xlink:title="zcash/pasta_curves#22&#10;Add `ec&#45;gpu` support" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="202.5,-365 16.5,-365 16.5,-327 202.5,-327 202.5,-365"/>
<text text-anchor="middle" x="109.5" y="-349.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/pasta_curves#22</text>
<text text-anchor="middle" x="109.5" y="-334.8" font-family="Times,serif" font-size="14.00" fill="#000000">Add `ec&#45;gpu` support</text>
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="202.5,-436 16.5,-436 16.5,-398 202.5,-398 202.5,-436"/>
<text text-anchor="middle" x="109.5" y="-420.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/pasta_curves#22</text>
<text text-anchor="middle" x="109.5" y="-405.8" font-family="Times,serif" font-size="14.00" fill="#000000">Add `ec&#45;gpu` support</text>
</a>
</g>
</g>
@ -70,26 +70,26 @@
<g id="node5" class="node open">
<title>zcash/halo2#379</title>
<g id="a_node5"><a xlink:href="https://github.com/zcash/halo2/issues/379" xlink:title="zcash/halo2#379&#10;Add `ec&#45;gpu` support" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" points="438.5,-365 265.5,-365 265.5,-327 438.5,-327 438.5,-365"/>
<text text-anchor="middle" x="352" y="-349.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#379</text>
<text text-anchor="middle" x="352" y="-334.8" font-family="Times,serif" font-size="14.00" fill="#000000">Add `ec&#45;gpu` support</text>
<polygon fill="#c2e0c6" stroke="#000000" points="438.5,-436 265.5,-436 265.5,-398 438.5,-398 438.5,-436"/>
<text text-anchor="middle" x="352" y="-420.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#379</text>
<text text-anchor="middle" x="352" y="-405.8" font-family="Times,serif" font-size="14.00" fill="#000000">Add `ec&#45;gpu` support</text>
</a>
</g>
</g>
<!-- zcash/pasta_curves#22&#45;&gt;zcash/halo2#379 -->
<g id="edge3" class="edge">
<title>zcash/pasta_curves#22&#45;&gt;zcash/halo2#379</title>
<path fill="none" stroke="#000000" d="M202.56,-346C219.76,-346 237.75,-346 255.06,-346"/>
<polygon fill="#000000" stroke="#000000" points="255.16,-349.5001 265.16,-346 255.16,-342.5001 255.16,-349.5001"/>
<path fill="none" stroke="#000000" d="M202.56,-417C219.76,-417 237.75,-417 255.06,-417"/>
<polygon fill="#000000" stroke="#000000" points="255.16,-420.5001 265.16,-417 255.16,-413.5001 255.16,-420.5001"/>
</g>
<!-- zcash/halo2#75 -->
<g id="node6" class="node open">
<title>zcash/halo2#75</title>
<g id="a_node6"><a xlink:href="https://github.com/zcash/halo2/issues/75" xlink:title="zcash/halo2#75&#10;Implement support for&#10;recursion" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" points="1402.5,-546.5 1223.5,-546.5 1223.5,-493.5 1402.5,-493.5 1402.5,-546.5"/>
<text text-anchor="middle" x="1313" y="-531.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#75</text>
<text text-anchor="middle" x="1313" y="-516.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement support for</text>
<text text-anchor="middle" x="1313" y="-501.3" font-family="Times,serif" font-size="14.00" fill="#000000">recursion</text>
<polygon fill="#c2e0c6" stroke="#000000" points="1402.5,-600.5 1223.5,-600.5 1223.5,-547.5 1402.5,-547.5 1402.5,-600.5"/>
<text text-anchor="middle" x="1313" y="-585.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#75</text>
<text text-anchor="middle" x="1313" y="-570.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement support for</text>
<text text-anchor="middle" x="1313" y="-555.3" font-family="Times,serif" font-size="14.00" fill="#000000">recursion</text>
</a>
</g>
</g>
@ -97,31 +97,31 @@
<g id="node7" class="node open">
<title>zcash/halo2#494</title>
<g id="a_node7"><a xlink:href="https://github.com/zcash/halo2/issues/494" xlink:title="zcash/halo2#494&#10;Consider adding an API&#10;that enables application&#10;circuits to be built&#10;across both fields" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" points="1645,-561.5 1456,-561.5 1456,-478.5 1645,-478.5 1645,-561.5"/>
<text text-anchor="middle" x="1550.5" y="-546.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#494</text>
<text text-anchor="middle" x="1550.5" y="-531.3" font-family="Times,serif" font-size="14.00" fill="#000000">Consider adding an API</text>
<text text-anchor="middle" x="1550.5" y="-516.3" font-family="Times,serif" font-size="14.00" fill="#000000">that enables application</text>
<text text-anchor="middle" x="1550.5" y="-501.3" font-family="Times,serif" font-size="14.00" fill="#000000">circuits to be built</text>
<text text-anchor="middle" x="1550.5" y="-486.3" font-family="Times,serif" font-size="14.00" fill="#000000">across both fields</text>
<polygon fill="#c2e0c6" stroke="#000000" points="1645,-615.5 1456,-615.5 1456,-532.5 1645,-532.5 1645,-615.5"/>
<text text-anchor="middle" x="1550.5" y="-600.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#494</text>
<text text-anchor="middle" x="1550.5" y="-585.3" font-family="Times,serif" font-size="14.00" fill="#000000">Consider adding an API</text>
<text text-anchor="middle" x="1550.5" y="-570.3" font-family="Times,serif" font-size="14.00" fill="#000000">that enables application</text>
<text text-anchor="middle" x="1550.5" y="-555.3" font-family="Times,serif" font-size="14.00" fill="#000000">circuits to be built</text>
<text text-anchor="middle" x="1550.5" y="-540.3" font-family="Times,serif" font-size="14.00" fill="#000000">across both fields</text>
</a>
</g>
</g>
<!-- zcash/halo2#75&#45;&gt;zcash/halo2#494 -->
<g id="edge4" class="edge">
<title>zcash/halo2#75&#45;&gt;zcash/halo2#494</title>
<path fill="none" stroke="#000000" d="M1402.8,-520C1416.7,-520 1431.3,-520 1445.5,-520"/>
<polygon fill="#000000" stroke="#000000" points="1445.8,-523.5001 1455.8,-520 1445.8,-516.5001 1445.8,-523.5001"/>
<path fill="none" stroke="#000000" d="M1402.8,-574C1416.7,-574 1431.3,-574 1445.5,-574"/>
<polygon fill="#000000" stroke="#000000" points="1445.8,-577.5001 1455.8,-574 1445.8,-570.5001 1445.8,-577.5001"/>
</g>
<!-- zcash/halo2#79 -->
<g id="node8" class="node open">
<title>zcash/halo2#79</title>
<g id="a_node8"><a xlink:href="https://github.com/zcash/halo2/issues/79" xlink:title="zcash/halo2#79&#10;Migrate Rescue and&#10;Poseidon gadgets to&#10;algebraic hash&#10;abstraction" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" points="1145.5,-828.5 984.5,-828.5 984.5,-745.5 1145.5,-745.5 1145.5,-828.5"/>
<text text-anchor="middle" x="1065" y="-813.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#79</text>
<text text-anchor="middle" x="1065" y="-798.3" font-family="Times,serif" font-size="14.00" fill="#000000">Migrate Rescue and</text>
<text text-anchor="middle" x="1065" y="-783.3" font-family="Times,serif" font-size="14.00" fill="#000000">Poseidon gadgets to</text>
<text text-anchor="middle" x="1065" y="-768.3" font-family="Times,serif" font-size="14.00" fill="#000000">algebraic hash</text>
<text text-anchor="middle" x="1065" y="-753.3" font-family="Times,serif" font-size="14.00" fill="#000000">abstraction</text>
<polygon fill="#c2e0c6" stroke="#000000" points="1145.5,-882.5 984.5,-882.5 984.5,-799.5 1145.5,-799.5 1145.5,-882.5"/>
<text text-anchor="middle" x="1065" y="-867.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#79</text>
<text text-anchor="middle" x="1065" y="-852.3" font-family="Times,serif" font-size="14.00" fill="#000000">Migrate Rescue and</text>
<text text-anchor="middle" x="1065" y="-837.3" font-family="Times,serif" font-size="14.00" fill="#000000">Poseidon gadgets to</text>
<text text-anchor="middle" x="1065" y="-822.3" font-family="Times,serif" font-size="14.00" fill="#000000">algebraic hash</text>
<text text-anchor="middle" x="1065" y="-807.3" font-family="Times,serif" font-size="14.00" fill="#000000">abstraction</text>
</a>
</g>
</g>
@ -129,52 +129,52 @@
<g id="node9" class="node open">
<title>zcash/halo2#78</title>
<g id="a_node9"><a xlink:href="https://github.com/zcash/halo2/issues/78" xlink:title="zcash/halo2#78&#10;Implement algebraic hash&#10;/ random oracle&#10;abstraction gadget" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="923,-821 719,-821 719,-753 923,-753 923,-821"/>
<text text-anchor="middle" x="821" y="-805.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#78</text>
<text text-anchor="middle" x="821" y="-790.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement algebraic hash</text>
<text text-anchor="middle" x="821" y="-775.8" font-family="Times,serif" font-size="14.00" fill="#000000">/ random oracle</text>
<text text-anchor="middle" x="821" y="-760.8" font-family="Times,serif" font-size="14.00" fill="#000000">abstraction gadget</text>
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="923,-875 719,-875 719,-807 923,-807 923,-875"/>
<text text-anchor="middle" x="821" y="-859.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#78</text>
<text text-anchor="middle" x="821" y="-844.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement algebraic hash</text>
<text text-anchor="middle" x="821" y="-829.8" font-family="Times,serif" font-size="14.00" fill="#000000">/ random oracle</text>
<text text-anchor="middle" x="821" y="-814.8" font-family="Times,serif" font-size="14.00" fill="#000000">abstraction gadget</text>
</a>
</g>
</g>
<!-- zcash/halo2#78&#45;&gt;zcash/halo2#79 -->
<g id="edge5" class="edge">
<title>zcash/halo2#78&#45;&gt;zcash/halo2#79</title>
<path fill="none" stroke="#000000" d="M923.06,-787C940.04,-787 957.55,-787 974.23,-787"/>
<polygon fill="#000000" stroke="#000000" points="974.49,-790.5001 984.49,-787 974.49,-783.5001 974.49,-790.5001"/>
<path fill="none" stroke="#000000" d="M923.06,-841C940.04,-841 957.55,-841 974.23,-841"/>
<polygon fill="#000000" stroke="#000000" points="974.49,-844.5001 984.49,-841 974.49,-837.5001 974.49,-844.5001"/>
</g>
<!-- zcash/halo2#250 -->
<g id="node10" class="node open">
<title>zcash/halo2#250</title>
<g id="a_node10"><a xlink:href="https://github.com/zcash/halo2/issues/250" xlink:title="zcash/halo2#250&#10;Implement the logic for&#10;the IVC verifier circuit" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" points="1158,-608.5 972,-608.5 972,-555.5 1158,-555.5 1158,-608.5"/>
<text text-anchor="middle" x="1065" y="-593.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#250</text>
<text text-anchor="middle" x="1065" y="-578.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement the logic for</text>
<text text-anchor="middle" x="1065" y="-563.3" font-family="Times,serif" font-size="14.00" fill="#000000">the IVC verifier circuit</text>
<polygon fill="#c2e0c6" stroke="#000000" points="1158,-662.5 972,-662.5 972,-609.5 1158,-609.5 1158,-662.5"/>
<text text-anchor="middle" x="1065" y="-647.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#250</text>
<text text-anchor="middle" x="1065" y="-632.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement the logic for</text>
<text text-anchor="middle" x="1065" y="-617.3" font-family="Times,serif" font-size="14.00" fill="#000000">the IVC verifier circuit</text>
</a>
</g>
</g>
<!-- zcash/halo2#78&#45;&gt;zcash/halo2#250 -->
<g id="edge6" class="edge">
<title>zcash/halo2#78&#45;&gt;zcash/halo2#250</title>
<path fill="none" stroke="#000000" d="M910.1,-752.99C914.93,-750.17 919.6,-747.17 924,-744 973.13,-708.55 1016.7,-652.85 1042,-616.87"/>
<polygon fill="#000000" stroke="#000000" points="1044.8952,-618.8368 1047.7,-608.62 1039.1361,-614.8578 1044.8952,-618.8368"/>
<path fill="none" stroke="#000000" d="M910.1,-806.99C914.93,-804.17 919.6,-801.17 924,-798 973.13,-762.55 1016.7,-706.85 1042,-670.87"/>
<polygon fill="#000000" stroke="#000000" points="1044.8952,-672.8368 1047.7,-662.62 1039.1361,-668.8578 1044.8952,-672.8368"/>
</g>
<!-- zcash/halo2#250&#45;&gt;zcash/halo2#75 -->
<g id="edge7" class="edge">
<title>zcash/halo2#250&#45;&gt;zcash/halo2#75</title>
<path fill="none" stroke="#000000" d="M1158.1,-558.74C1176.1,-554.22 1195.1,-549.47 1213.4,-544.91"/>
<polygon fill="#000000" stroke="#000000" points="1214.256,-548.3038 1223.1,-542.47 1212.5483,-541.5153 1214.256,-548.3038"/>
<path fill="none" stroke="#000000" d="M1158.1,-612.74C1176.1,-608.22 1195.1,-603.47 1213.4,-598.91"/>
<polygon fill="#000000" stroke="#000000" points="1214.256,-602.3038 1223.1,-596.47 1212.5483,-595.5153 1214.256,-602.3038"/>
</g>
<!-- zcash/halo2#57 -->
<g id="node11" class="node open">
<title>zcash/halo2#57</title>
<g id="a_node11"><a xlink:href="https://github.com/zcash/halo2/issues/57" xlink:title="zcash/halo2#57&#10;Remove unused&#10;fixed_values from&#10;ProvingKey" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="181,-562 38,-562 38,-494 181,-494 181,-562"/>
<text text-anchor="middle" x="109.5" y="-546.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#57</text>
<text text-anchor="middle" x="109.5" y="-531.8" font-family="Times,serif" font-size="14.00" fill="#000000">Remove unused</text>
<text text-anchor="middle" x="109.5" y="-516.8" font-family="Times,serif" font-size="14.00" fill="#000000">fixed_values from</text>
<text text-anchor="middle" x="109.5" y="-501.8" font-family="Times,serif" font-size="14.00" fill="#000000">ProvingKey</text>
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="181,-599 38,-599 38,-531 181,-531 181,-599"/>
<text text-anchor="middle" x="109.5" y="-583.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#57</text>
<text text-anchor="middle" x="109.5" y="-568.8" font-family="Times,serif" font-size="14.00" fill="#000000">Remove unused</text>
<text text-anchor="middle" x="109.5" y="-553.8" font-family="Times,serif" font-size="14.00" fill="#000000">fixed_values from</text>
<text text-anchor="middle" x="109.5" y="-538.8" font-family="Times,serif" font-size="14.00" fill="#000000">ProvingKey</text>
</a>
</g>
</g>
@ -182,27 +182,27 @@
<g id="node12" class="node open">
<title>zcash/halo2#443</title>
<g id="a_node12"><a xlink:href="https://github.com/zcash/halo2/issues/443" xlink:title="zcash/halo2#443&#10;implement `read` &amp;&#10;`write` for `halo2::plonk&#10;::ProvingKey`" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" points="449,-562 255,-562 255,-494 449,-494 449,-562"/>
<text text-anchor="middle" x="352" y="-546.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#443</text>
<text text-anchor="middle" x="352" y="-531.8" font-family="Times,serif" font-size="14.00" fill="#000000">implement `read` &amp;</text>
<text text-anchor="middle" x="352" y="-516.8" font-family="Times,serif" font-size="14.00" fill="#000000">`write` for `halo2::plonk</text>
<text text-anchor="middle" x="352" y="-501.8" font-family="Times,serif" font-size="14.00" fill="#000000">::ProvingKey`</text>
<polygon fill="#c2e0c6" stroke="#000000" points="449,-599 255,-599 255,-531 449,-531 449,-599"/>
<text text-anchor="middle" x="352" y="-583.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#443</text>
<text text-anchor="middle" x="352" y="-568.8" font-family="Times,serif" font-size="14.00" fill="#000000">implement `read` &amp;</text>
<text text-anchor="middle" x="352" y="-553.8" font-family="Times,serif" font-size="14.00" fill="#000000">`write` for `halo2::plonk</text>
<text text-anchor="middle" x="352" y="-538.8" font-family="Times,serif" font-size="14.00" fill="#000000">::ProvingKey`</text>
</a>
</g>
</g>
<!-- zcash/halo2#57&#45;&gt;zcash/halo2#443 -->
<g id="edge8" class="edge">
<title>zcash/halo2#57&#45;&gt;zcash/halo2#443</title>
<path fill="none" stroke="#000000" d="M181.27,-528C201.17,-528 223.21,-528 244.66,-528"/>
<polygon fill="#000000" stroke="#000000" points="244.79,-531.5001 254.79,-528 244.79,-524.5001 244.79,-531.5001"/>
<path fill="none" stroke="#000000" d="M181.27,-565C201.17,-565 223.21,-565 244.66,-565"/>
<polygon fill="#000000" stroke="#000000" points="244.79,-568.5001 254.79,-565 244.79,-561.5001 244.79,-568.5001"/>
</g>
<!-- zcash/halo2#482 -->
<g id="node13" class="node open">
<title>zcash/halo2#482</title>
<g id="a_node13"><a xlink:href="https://github.com/zcash/halo2/issues/482" xlink:title="zcash/halo2#482&#10;Raise MSRV to 1.56.1" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="196,-618 23,-618 23,-580 196,-580 196,-618"/>
<text text-anchor="middle" x="109.5" y="-602.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#482</text>
<text text-anchor="middle" x="109.5" y="-587.8" font-family="Times,serif" font-size="14.00" fill="#000000">Raise MSRV to 1.56.1</text>
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="196,-655 23,-655 23,-617 196,-617 196,-655"/>
<text text-anchor="middle" x="109.5" y="-639.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#482</text>
<text text-anchor="middle" x="109.5" y="-624.8" font-family="Times,serif" font-size="14.00" fill="#000000">Raise MSRV to 1.56.1</text>
</a>
</g>
</g>
@ -210,29 +210,29 @@
<g id="node14" class="node open">
<title>zcash/halo2#483</title>
<g id="a_node14"><a xlink:href="https://github.com/zcash/halo2/issues/483" xlink:title="zcash/halo2#483&#10;Refactor variable&#45;base&#10;scalar mul to distinguish&#10;the &quot;base field element&quot;&#10;case" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="449,-274.5 255,-274.5 255,-191.5 449,-191.5 449,-274.5"/>
<text text-anchor="middle" x="352" y="-259.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#483</text>
<text text-anchor="middle" x="352" y="-244.3" font-family="Times,serif" font-size="14.00" fill="#000000">Refactor variable&#45;base</text>
<text text-anchor="middle" x="352" y="-229.3" font-family="Times,serif" font-size="14.00" fill="#000000">scalar mul to distinguish</text>
<text text-anchor="middle" x="352" y="-214.3" font-family="Times,serif" font-size="14.00" fill="#000000">the &quot;base field element&quot;</text>
<text text-anchor="middle" x="352" y="-199.3" font-family="Times,serif" font-size="14.00" fill="#000000">case</text>
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="449,-311.5 255,-311.5 255,-228.5 449,-228.5 449,-311.5"/>
<text text-anchor="middle" x="352" y="-296.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#483</text>
<text text-anchor="middle" x="352" y="-281.3" font-family="Times,serif" font-size="14.00" fill="#000000">Refactor variable&#45;base</text>
<text text-anchor="middle" x="352" y="-266.3" font-family="Times,serif" font-size="14.00" fill="#000000">scalar mul to distinguish</text>
<text text-anchor="middle" x="352" y="-251.3" font-family="Times,serif" font-size="14.00" fill="#000000">the &quot;base field element&quot;</text>
<text text-anchor="middle" x="352" y="-236.3" font-family="Times,serif" font-size="14.00" fill="#000000">case</text>
</a>
</g>
</g>
<!-- zcash/halo2#483&#45;&gt;zcash/halo2#460 -->
<g id="edge9" class="edge">
<title>zcash/halo2#483&#45;&gt;zcash/halo2#460</title>
<path fill="none" stroke="#000000" d="M449.17,-229.64C459.47,-229.29 469.97,-228.92 480.34,-228.56"/>
<polygon fill="#000000" stroke="#000000" points="480.7745,-232.0474 490.65,-228.21 480.537,-225.0514 480.7745,-232.0474"/>
<path fill="none" stroke="#000000" d="M449.17,-266.64C459.47,-266.29 469.97,-265.92 480.34,-265.56"/>
<polygon fill="#000000" stroke="#000000" points="480.7745,-269.0474 490.65,-265.21 480.537,-262.0514 480.7745,-269.0474"/>
</g>
<!-- zcash/halo2#420 -->
<g id="node15" class="node open">
<title>zcash/halo2#420</title>
<g id="a_node15"><a xlink:href="https://github.com/zcash/halo2/issues/420" xlink:title="zcash/halo2#420&#10;CI: Measure memory&#45;usage&#10;benchmarks" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="217,-689.5 2,-689.5 2,-636.5 217,-636.5 217,-689.5"/>
<text text-anchor="middle" x="109.5" y="-674.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#420</text>
<text text-anchor="middle" x="109.5" y="-659.3" font-family="Times,serif" font-size="14.00" fill="#000000">CI: Measure memory&#45;usage</text>
<text text-anchor="middle" x="109.5" y="-644.3" font-family="Times,serif" font-size="14.00" fill="#000000">benchmarks</text>
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="217,-726.5 2,-726.5 2,-673.5 217,-673.5 217,-726.5"/>
<text text-anchor="middle" x="109.5" y="-711.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#420</text>
<text text-anchor="middle" x="109.5" y="-696.3" font-family="Times,serif" font-size="14.00" fill="#000000">CI: Measure memory&#45;usage</text>
<text text-anchor="middle" x="109.5" y="-681.3" font-family="Times,serif" font-size="14.00" fill="#000000">benchmarks</text>
</a>
</g>
</g>
@ -240,46 +240,46 @@
<g id="node16" class="node open">
<title>zcash/halo2#418</title>
<g id="a_node16"><a xlink:href="https://github.com/zcash/halo2/issues/418" xlink:title="zcash/halo2#418&#10;[memory optimization]&#10;lookup prover memory&#10;analysis" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" points="441.5,-697 262.5,-697 262.5,-629 441.5,-629 441.5,-697"/>
<text text-anchor="middle" x="352" y="-681.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#418</text>
<text text-anchor="middle" x="352" y="-666.8" font-family="Times,serif" font-size="14.00" fill="#000000">[memory optimization]</text>
<text text-anchor="middle" x="352" y="-651.8" font-family="Times,serif" font-size="14.00" fill="#000000">lookup prover memory</text>
<text text-anchor="middle" x="352" y="-636.8" font-family="Times,serif" font-size="14.00" fill="#000000">analysis</text>
<polygon fill="#c2e0c6" stroke="#000000" points="441.5,-734 262.5,-734 262.5,-666 441.5,-666 441.5,-734"/>
<text text-anchor="middle" x="352" y="-718.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#418</text>
<text text-anchor="middle" x="352" y="-703.8" font-family="Times,serif" font-size="14.00" fill="#000000">[memory optimization]</text>
<text text-anchor="middle" x="352" y="-688.8" font-family="Times,serif" font-size="14.00" fill="#000000">lookup prover memory</text>
<text text-anchor="middle" x="352" y="-673.8" font-family="Times,serif" font-size="14.00" fill="#000000">analysis</text>
</a>
</g>
</g>
<!-- zcash/halo2#420&#45;&gt;zcash/halo2#418 -->
<g id="edge10" class="edge">
<title>zcash/halo2#420&#45;&gt;zcash/halo2#418</title>
<path fill="none" stroke="#000000" d="M217.28,-663C228.92,-663 240.73,-663 252.27,-663"/>
<polygon fill="#000000" stroke="#000000" points="252.33,-666.5001 262.33,-663 252.33,-659.5001 252.33,-666.5001"/>
<path fill="none" stroke="#000000" d="M217.28,-700C228.92,-700 240.73,-700 252.27,-700"/>
<polygon fill="#000000" stroke="#000000" points="252.33,-703.5001 262.33,-700 252.33,-696.5001 252.33,-703.5001"/>
</g>
<!-- zcash/halo2#425 -->
<g id="node17" class="node open">
<title>zcash/halo2#425</title>
<g id="a_node17"><a xlink:href="https://github.com/zcash/halo2/issues/425" xlink:title="zcash/halo2#425&#10;Make `Assigned&lt;F: Field&gt;`&#10;easier to use" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="219,-297.5 0,-297.5 0,-244.5 219,-244.5 219,-297.5"/>
<text text-anchor="middle" x="109.5" y="-282.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#425</text>
<text text-anchor="middle" x="109.5" y="-267.3" font-family="Times,serif" font-size="14.00" fill="#000000">Make `Assigned&lt;F: Field&gt;`</text>
<text text-anchor="middle" x="109.5" y="-252.3" font-family="Times,serif" font-size="14.00" fill="#000000">easier to use</text>
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="219,-368.5 0,-368.5 0,-315.5 219,-315.5 219,-368.5"/>
<text text-anchor="middle" x="109.5" y="-353.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#425</text>
<text text-anchor="middle" x="109.5" y="-338.3" font-family="Times,serif" font-size="14.00" fill="#000000">Make `Assigned&lt;F: Field&gt;`</text>
<text text-anchor="middle" x="109.5" y="-323.3" font-family="Times,serif" font-size="14.00" fill="#000000">easier to use</text>
</a>
</g>
</g>
<!-- zcash/halo2#425&#45;&gt;zcash/halo2#426 -->
<g id="edge11" class="edge">
<title>zcash/halo2#425&#45;&gt;zcash/halo2#426</title>
<path fill="none" stroke="#000000" d="M204.44,-244.37C209.55,-241.55 214.45,-238.43 219,-235 241.74,-217.86 232.51,-199.46 255,-182 256.36,-180.94 257.76,-179.92 259.18,-178.92"/>
<polygon fill="#000000" stroke="#000000" points="261.0994,-181.8471 267.65,-173.52 257.3363,-175.9446 261.0994,-181.8471"/>
<path fill="none" stroke="#000000" d="M206.86,-315.44C211.18,-312.61 215.26,-309.47 219,-306 249.67,-277.54 224.74,-247.9 255,-219 255.81,-218.23 256.64,-217.47 257.48,-216.73"/>
<polygon fill="#000000" stroke="#000000" points="259.743,-219.4042 265.5,-210.51 255.453,-213.8728 259.743,-219.4042"/>
</g>
<!-- zcash/halo2#427 -->
<g id="node18" class="node open">
<title>zcash/halo2#427</title>
<g id="a_node18"><a xlink:href="https://github.com/zcash/halo2/issues/427" xlink:title="zcash/halo2#427&#10;Use smaller extended&#10;domains where possible&#10;during proving" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="203.5,-776 15.5,-776 15.5,-708 203.5,-708 203.5,-776"/>
<text text-anchor="middle" x="109.5" y="-760.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#427</text>
<text text-anchor="middle" x="109.5" y="-745.8" font-family="Times,serif" font-size="14.00" fill="#000000">Use smaller extended</text>
<text text-anchor="middle" x="109.5" y="-730.8" font-family="Times,serif" font-size="14.00" fill="#000000">domains where possible</text>
<text text-anchor="middle" x="109.5" y="-715.8" font-family="Times,serif" font-size="14.00" fill="#000000">during proving</text>
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="203.5,-813 15.5,-813 15.5,-745 203.5,-745 203.5,-813"/>
<text text-anchor="middle" x="109.5" y="-797.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#427</text>
<text text-anchor="middle" x="109.5" y="-782.8" font-family="Times,serif" font-size="14.00" fill="#000000">Use smaller extended</text>
<text text-anchor="middle" x="109.5" y="-767.8" font-family="Times,serif" font-size="14.00" fill="#000000">domains where possible</text>
<text text-anchor="middle" x="109.5" y="-752.8" font-family="Times,serif" font-size="14.00" fill="#000000">during proving</text>
</a>
</g>
</g>
@ -287,10 +287,10 @@
<g id="node19" class="node open">
<title>zcash/halo2#456</title>
<g id="a_node19"><a xlink:href="https://github.com/zcash/halo2/issues/456" xlink:title="zcash/halo2#456&#10;Benchmark `sha256`&#10;gadget." target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="194.5,-847.5 24.5,-847.5 24.5,-794.5 194.5,-794.5 194.5,-847.5"/>
<text text-anchor="middle" x="109.5" y="-832.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#456</text>
<text text-anchor="middle" x="109.5" y="-817.3" font-family="Times,serif" font-size="14.00" fill="#000000">Benchmark `sha256`</text>
<text text-anchor="middle" x="109.5" y="-802.3" font-family="Times,serif" font-size="14.00" fill="#000000">gadget.</text>
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="194.5,-884.5 24.5,-884.5 24.5,-831.5 194.5,-831.5 194.5,-884.5"/>
<text text-anchor="middle" x="109.5" y="-869.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#456</text>
<text text-anchor="middle" x="109.5" y="-854.3" font-family="Times,serif" font-size="14.00" fill="#000000">Benchmark `sha256`</text>
<text text-anchor="middle" x="109.5" y="-839.3" font-family="Times,serif" font-size="14.00" fill="#000000">gadget.</text>
</a>
</g>
</g>
@ -298,10 +298,10 @@
<g id="node20" class="node open">
<title>zcash/halo2#455</title>
<g id="a_node20"><a xlink:href="https://github.com/zcash/halo2/issues/455" xlink:title="zcash/halo2#455&#10;[Book] add description of&#10;Poseidon gadget and chip" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="209.5,-918.5 9.5,-918.5 9.5,-865.5 209.5,-865.5 209.5,-918.5"/>
<text text-anchor="middle" x="109.5" y="-903.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#455</text>
<text text-anchor="middle" x="109.5" y="-888.3" font-family="Times,serif" font-size="14.00" fill="#000000">[Book] add description of</text>
<text text-anchor="middle" x="109.5" y="-873.3" font-family="Times,serif" font-size="14.00" fill="#000000">Poseidon gadget and chip</text>
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="209.5,-955.5 9.5,-955.5 9.5,-902.5 209.5,-902.5 209.5,-955.5"/>
<text text-anchor="middle" x="109.5" y="-940.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#455</text>
<text text-anchor="middle" x="109.5" y="-925.3" font-family="Times,serif" font-size="14.00" fill="#000000">[Book] add description of</text>
<text text-anchor="middle" x="109.5" y="-910.3" font-family="Times,serif" font-size="14.00" fill="#000000">Poseidon gadget and chip</text>
</a>
</g>
</g>
@ -309,81 +309,81 @@
<g id="node21" class="node open">
<title>zcash/halo2#251</title>
<g id="a_node21"><a xlink:href="https://github.com/zcash/halo2/issues/251" xlink:title="zcash/halo2#251&#10;Implement user&#45;facing API&#10;for recursive proving of&#10;IVC" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" points="1170,-491 960,-491 960,-423 1170,-423 1170,-491"/>
<text text-anchor="middle" x="1065" y="-475.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#251</text>
<text text-anchor="middle" x="1065" y="-460.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement user&#45;facing API</text>
<text text-anchor="middle" x="1065" y="-445.8" font-family="Times,serif" font-size="14.00" fill="#000000">for recursive proving of</text>
<text text-anchor="middle" x="1065" y="-430.8" font-family="Times,serif" font-size="14.00" fill="#000000">IVC</text>
<polygon fill="#c2e0c6" stroke="#000000" points="1170,-545 960,-545 960,-477 1170,-477 1170,-545"/>
<text text-anchor="middle" x="1065" y="-529.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#251</text>
<text text-anchor="middle" x="1065" y="-514.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement user&#45;facing API</text>
<text text-anchor="middle" x="1065" y="-499.8" font-family="Times,serif" font-size="14.00" fill="#000000">for recursive proving of</text>
<text text-anchor="middle" x="1065" y="-484.8" font-family="Times,serif" font-size="14.00" fill="#000000">IVC</text>
</a>
</g>
</g>
<!-- zcash/halo2#251&#45;&gt;zcash/halo2#75 -->
<g id="edge12" class="edge">
<title>zcash/halo2#251&#45;&gt;zcash/halo2#75</title>
<path fill="none" stroke="#000000" d="M1170.2,-483.72C1184.5,-487.37 1199.3,-491.11 1213.5,-494.73"/>
<polygon fill="#000000" stroke="#000000" points="1212.746,-498.1496 1223.3,-497.22 1214.4699,-491.3651 1212.746,-498.1496"/>
<path fill="none" stroke="#000000" d="M1170.2,-537.72C1184.5,-541.37 1199.3,-545.11 1213.5,-548.73"/>
<polygon fill="#000000" stroke="#000000" points="1212.746,-552.1496 1223.3,-551.22 1214.4699,-545.3651 1212.746,-552.1496"/>
</g>
<!-- zcash/halo2#437 -->
<g id="node22" class="node open">
<title>zcash/halo2#437</title>
<g id="a_node22"><a xlink:href="https://github.com/zcash/halo2/issues/437" xlink:title="zcash/halo2#437&#10;Amend user&#45;facing API to&#10;work for both IVC and PCD" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" points="1420,-452.5 1206,-452.5 1206,-399.5 1420,-399.5 1420,-452.5"/>
<text text-anchor="middle" x="1313" y="-437.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#437</text>
<text text-anchor="middle" x="1313" y="-422.3" font-family="Times,serif" font-size="14.00" fill="#000000">Amend user&#45;facing API to</text>
<text text-anchor="middle" x="1313" y="-407.3" font-family="Times,serif" font-size="14.00" fill="#000000">work for both IVC and PCD</text>
<polygon fill="#c2e0c6" stroke="#000000" points="1420,-506.5 1206,-506.5 1206,-453.5 1420,-453.5 1420,-506.5"/>
<text text-anchor="middle" x="1313" y="-491.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#437</text>
<text text-anchor="middle" x="1313" y="-476.3" font-family="Times,serif" font-size="14.00" fill="#000000">Amend user&#45;facing API to</text>
<text text-anchor="middle" x="1313" y="-461.3" font-family="Times,serif" font-size="14.00" fill="#000000">work for both IVC and PCD</text>
</a>
</g>
</g>
<!-- zcash/halo2#251&#45;&gt;zcash/halo2#437 -->
<g id="edge13" class="edge">
<title>zcash/halo2#251&#45;&gt;zcash/halo2#437</title>
<path fill="none" stroke="#000000" d="M1170.2,-443.85C1178.6,-442.8 1187.2,-441.73 1195.7,-440.66"/>
<polygon fill="#000000" stroke="#000000" points="1196.2114,-444.1234 1205.7,-439.41 1195.3431,-437.1775 1196.2114,-444.1234"/>
<path fill="none" stroke="#000000" d="M1170.2,-497.85C1178.6,-496.8 1187.2,-495.73 1195.7,-494.66"/>
<polygon fill="#000000" stroke="#000000" points="1196.2114,-498.1234 1205.7,-493.41 1195.3431,-491.1775 1196.2114,-498.1234"/>
</g>
<!-- zcash/halo2#436 -->
<g id="node23" class="node open">
<title>zcash/halo2#436</title>
<g id="a_node23"><a xlink:href="https://github.com/zcash/halo2/issues/436" xlink:title="zcash/halo2#436&#10;Implement mock&#10;verification circuit for&#10;PCD" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" points="671,-393 496,-393 496,-325 671,-325 671,-393"/>
<text text-anchor="middle" x="583.5" y="-377.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#436</text>
<text text-anchor="middle" x="583.5" y="-362.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement mock</text>
<text text-anchor="middle" x="583.5" y="-347.8" font-family="Times,serif" font-size="14.00" fill="#000000">verification circuit for</text>
<text text-anchor="middle" x="583.5" y="-332.8" font-family="Times,serif" font-size="14.00" fill="#000000">PCD</text>
<polygon fill="#c2e0c6" stroke="#000000" points="671,-447 496,-447 496,-379 671,-379 671,-447"/>
<text text-anchor="middle" x="583.5" y="-431.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#436</text>
<text text-anchor="middle" x="583.5" y="-416.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement mock</text>
<text text-anchor="middle" x="583.5" y="-401.8" font-family="Times,serif" font-size="14.00" fill="#000000">verification circuit for</text>
<text text-anchor="middle" x="583.5" y="-386.8" font-family="Times,serif" font-size="14.00" fill="#000000">PCD</text>
</a>
</g>
</g>
<!-- zcash/halo2#436&#45;&gt;zcash/halo2#437 -->
<g id="edge14" class="edge">
<title>zcash/halo2#436&#45;&gt;zcash/halo2#437</title>
<path fill="none" stroke="#000000" d="M671.36,-369.87C686.89,-371.67 702.91,-373.46 718,-375 764.08,-379.71 1035.8,-402.7 1195.6,-416.15"/>
<polygon fill="#000000" stroke="#000000" points="1195.743,-419.6741 1206,-417.02 1196.3266,-412.6985 1195.743,-419.6741"/>
<path fill="none" stroke="#000000" d="M671.36,-423.87C686.89,-425.67 702.91,-427.46 718,-429 764.08,-433.71 1035.8,-456.7 1195.6,-470.15"/>
<polygon fill="#000000" stroke="#000000" points="1195.743,-473.6741 1206,-471.02 1196.3266,-466.6985 1195.743,-473.6741"/>
</g>
<!-- zcash/halo2#438 -->
<g id="node24" class="node open">
<title>zcash/halo2#438</title>
<g id="a_node24"><a xlink:href="https://github.com/zcash/halo2/issues/438" xlink:title="zcash/halo2#438&#10;Implement the logic for&#10;the PCD verifier circuit" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" points="914,-366.5 728,-366.5 728,-313.5 914,-313.5 914,-366.5"/>
<text text-anchor="middle" x="821" y="-351.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#438</text>
<text text-anchor="middle" x="821" y="-336.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement the logic for</text>
<text text-anchor="middle" x="821" y="-321.3" font-family="Times,serif" font-size="14.00" fill="#000000">the PCD verifier circuit</text>
<polygon fill="#c2e0c6" stroke="#000000" points="914,-420.5 728,-420.5 728,-367.5 914,-367.5 914,-420.5"/>
<text text-anchor="middle" x="821" y="-405.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#438</text>
<text text-anchor="middle" x="821" y="-390.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement the logic for</text>
<text text-anchor="middle" x="821" y="-375.3" font-family="Times,serif" font-size="14.00" fill="#000000">the PCD verifier circuit</text>
</a>
</g>
</g>
<!-- zcash/halo2#436&#45;&gt;zcash/halo2#438 -->
<g id="edge15" class="edge">
<title>zcash/halo2#436&#45;&gt;zcash/halo2#438</title>
<path fill="none" stroke="#000000" d="M671.26,-351.98C686.33,-350.77 702.11,-349.51 717.54,-348.28"/>
<polygon fill="#000000" stroke="#000000" points="717.9325,-351.7598 727.62,-347.47 717.3718,-344.7823 717.9325,-351.7598"/>
<path fill="none" stroke="#000000" d="M671.26,-405.98C686.33,-404.77 702.11,-403.51 717.54,-402.28"/>
<polygon fill="#000000" stroke="#000000" points="717.9325,-405.7598 727.62,-401.47 717.3718,-398.7823 717.9325,-405.7598"/>
</g>
<!-- zcash/halo2#435 -->
<g id="node25" class="node open">
<title>zcash/halo2#435</title>
<g id="a_node25"><a xlink:href="https://github.com/zcash/halo2/issues/435" xlink:title="zcash/halo2#435&#10;Implement mock&#10;verification circuit for&#10;IVC" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" points="671,-551 496,-551 496,-483 671,-483 671,-551"/>
<text text-anchor="middle" x="583.5" y="-535.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#435</text>
<text text-anchor="middle" x="583.5" y="-520.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement mock</text>
<text text-anchor="middle" x="583.5" y="-505.8" font-family="Times,serif" font-size="14.00" fill="#000000">verification circuit for</text>
<text text-anchor="middle" x="583.5" y="-490.8" font-family="Times,serif" font-size="14.00" fill="#000000">IVC</text>
<polygon fill="#c2e0c6" stroke="#000000" points="671,-605 496,-605 496,-537 671,-537 671,-605"/>
<text text-anchor="middle" x="583.5" y="-589.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#435</text>
<text text-anchor="middle" x="583.5" y="-574.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement mock</text>
<text text-anchor="middle" x="583.5" y="-559.8" font-family="Times,serif" font-size="14.00" fill="#000000">verification circuit for</text>
<text text-anchor="middle" x="583.5" y="-544.8" font-family="Times,serif" font-size="14.00" fill="#000000">IVC</text>
</a>
</g>
</g>
@ -391,146 +391,163 @@
<g id="node26" class="node open">
<title>zcash/halo2#247</title>
<g id="a_node26"><a xlink:href="https://github.com/zcash/halo2/issues/247" xlink:title="zcash/halo2#247&#10;Implement underlying&#10;scaffolding for creating&#10;the IVC proof cycle" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" points="913.5,-491 728.5,-491 728.5,-423 913.5,-423 913.5,-491"/>
<text text-anchor="middle" x="821" y="-475.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#247</text>
<text text-anchor="middle" x="821" y="-460.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement underlying</text>
<text text-anchor="middle" x="821" y="-445.8" font-family="Times,serif" font-size="14.00" fill="#000000">scaffolding for creating</text>
<text text-anchor="middle" x="821" y="-430.8" font-family="Times,serif" font-size="14.00" fill="#000000">the IVC proof cycle</text>
<polygon fill="#c2e0c6" stroke="#000000" points="913.5,-545 728.5,-545 728.5,-477 913.5,-477 913.5,-545"/>
<text text-anchor="middle" x="821" y="-529.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#247</text>
<text text-anchor="middle" x="821" y="-514.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement underlying</text>
<text text-anchor="middle" x="821" y="-499.8" font-family="Times,serif" font-size="14.00" fill="#000000">scaffolding for creating</text>
<text text-anchor="middle" x="821" y="-484.8" font-family="Times,serif" font-size="14.00" fill="#000000">the IVC proof cycle</text>
</a>
</g>
</g>
<!-- zcash/halo2#435&#45;&gt;zcash/halo2#247 -->
<g id="edge16" class="edge">
<title>zcash/halo2#435&#45;&gt;zcash/halo2#247</title>
<path fill="none" stroke="#000000" d="M671.26,-494.83C686.69,-490.93 702.87,-486.84 718.66,-482.86"/>
<polygon fill="#000000" stroke="#000000" points="719.5843,-486.2365 728.42,-480.39 717.8669,-479.4504 719.5843,-486.2365"/>
<path fill="none" stroke="#000000" d="M671.26,-548.83C686.69,-544.93 702.87,-540.84 718.66,-536.86"/>
<polygon fill="#000000" stroke="#000000" points="719.5843,-540.2365 728.42,-534.39 717.8669,-533.4504 719.5843,-540.2365"/>
</g>
<!-- zcash/halo2#247&#45;&gt;zcash/halo2#250 -->
<g id="edge17" class="edge">
<title>zcash/halo2#247&#45;&gt;zcash/halo2#250</title>
<path fill="none" stroke="#000000" d="M905.17,-491.06C911.59,-493.99 917.93,-496.98 924,-500 954.53,-515.17 987.53,-534.21 1013.9,-550.12"/>
<polygon fill="#000000" stroke="#000000" points="1012.2316,-553.2012 1022.6,-555.38 1015.8533,-547.211 1012.2316,-553.2012"/>
<path fill="none" stroke="#000000" d="M905.17,-545.06C911.59,-547.99 917.93,-550.98 924,-554 954.53,-569.17 987.53,-588.21 1013.9,-604.12"/>
<polygon fill="#000000" stroke="#000000" points="1012.2316,-607.2012 1022.6,-609.38 1015.8533,-601.211 1012.2316,-607.2012"/>
</g>
<!-- zcash/halo2#247&#45;&gt;zcash/halo2#251 -->
<g id="edge18" class="edge">
<title>zcash/halo2#247&#45;&gt;zcash/halo2#251</title>
<path fill="none" stroke="#000000" d="M913.59,-457C925.39,-457 937.58,-457 949.68,-457"/>
<polygon fill="#000000" stroke="#000000" points="949.81,-460.5001 959.81,-457 949.81,-453.5001 949.81,-460.5001"/>
<path fill="none" stroke="#000000" d="M913.59,-511C925.39,-511 937.58,-511 949.68,-511"/>
<polygon fill="#000000" stroke="#000000" points="949.81,-514.5001 959.81,-511 949.81,-507.5001 949.81,-514.5001"/>
</g>
<!-- zcash/halo2#246 -->
<g id="node27" class="node open">
<title>zcash/halo2#246</title>
<g id="a_node27"><a xlink:href="https://github.com/zcash/halo2/issues/246" xlink:title="zcash/halo2#246&#10;Create recursive proof&#10;structures" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" points="441.5,-475.5 262.5,-475.5 262.5,-422.5 441.5,-422.5 441.5,-475.5"/>
<text text-anchor="middle" x="352" y="-460.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#246</text>
<text text-anchor="middle" x="352" y="-445.3" font-family="Times,serif" font-size="14.00" fill="#000000">Create recursive proof</text>
<text text-anchor="middle" x="352" y="-430.3" font-family="Times,serif" font-size="14.00" fill="#000000">structures</text>
<polygon fill="#c2e0c6" stroke="#000000" points="441.5,-512.5 262.5,-512.5 262.5,-459.5 441.5,-459.5 441.5,-512.5"/>
<text text-anchor="middle" x="352" y="-497.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#246</text>
<text text-anchor="middle" x="352" y="-482.3" font-family="Times,serif" font-size="14.00" fill="#000000">Create recursive proof</text>
<text text-anchor="middle" x="352" y="-467.3" font-family="Times,serif" font-size="14.00" fill="#000000">structures</text>
</a>
</g>
</g>
<!-- zcash/halo2#246&#45;&gt;zcash/halo2#436 -->
<g id="edge19" class="edge">
<title>zcash/halo2#246&#45;&gt;zcash/halo2#436</title>
<path fill="none" stroke="#000000" d="M420.21,-422.48C440.98,-414.41 464.22,-405.37 486.52,-396.7"/>
<polygon fill="#000000" stroke="#000000" points="487.9443,-399.9016 496,-393.02 485.4111,-393.376 487.9443,-399.9016"/>
<path fill="none" stroke="#000000" d="M436.23,-459.44C452.44,-454.33 469.55,-448.93 486.13,-443.7"/>
<polygon fill="#000000" stroke="#000000" points="487.3403,-446.9885 495.83,-440.65 485.2406,-440.3108 487.3403,-446.9885"/>
</g>
<!-- zcash/halo2#246&#45;&gt;zcash/halo2#435 -->
<g id="edge20" class="edge">
<title>zcash/halo2#246&#45;&gt;zcash/halo2#435</title>
<path fill="none" stroke="#000000" d="M441.5,-475.29C456.12,-479.58 471.32,-484.05 486.11,-488.39"/>
<polygon fill="#000000" stroke="#000000" points="485.1786,-491.7643 495.76,-491.23 487.155,-485.049 485.1786,-491.7643"/>
<path fill="none" stroke="#000000" d="M424.3,-512.54C443.97,-519.77 465.6,-527.71 486.41,-535.35"/>
<polygon fill="#000000" stroke="#000000" points="485.3065,-538.6733 495.9,-538.84 487.7226,-532.1035 485.3065,-538.6733"/>
</g>
<!-- zcash/halo2#439 -->
<g id="node28" class="node open">
<title>zcash/halo2#439</title>
<g id="a_node28"><a xlink:href="https://github.com/zcash/halo2/issues/439" xlink:title="zcash/halo2#439&#10;Support split&#10;accumulation in Halo 2" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="201,-475.5 18,-475.5 18,-422.5 201,-422.5 201,-475.5"/>
<text text-anchor="middle" x="109.5" y="-460.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#439</text>
<text text-anchor="middle" x="109.5" y="-445.3" font-family="Times,serif" font-size="14.00" fill="#000000">Support split</text>
<text text-anchor="middle" x="109.5" y="-430.3" font-family="Times,serif" font-size="14.00" fill="#000000">accumulation in Halo 2</text>
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="201,-512.5 18,-512.5 18,-459.5 201,-459.5 201,-512.5"/>
<text text-anchor="middle" x="109.5" y="-497.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#439</text>
<text text-anchor="middle" x="109.5" y="-482.3" font-family="Times,serif" font-size="14.00" fill="#000000">Support split</text>
<text text-anchor="middle" x="109.5" y="-467.3" font-family="Times,serif" font-size="14.00" fill="#000000">accumulation in Halo 2</text>
</a>
</g>
</g>
<!-- zcash/halo2#439&#45;&gt;zcash/halo2#246 -->
<g id="edge21" class="edge">
<title>zcash/halo2#439&#45;&gt;zcash/halo2#246</title>
<path fill="none" stroke="#000000" d="M201.18,-449C217.73,-449 235.06,-449 251.84,-449"/>
<polygon fill="#000000" stroke="#000000" points="252.2,-452.5001 262.2,-449 252.2,-445.5001 252.2,-452.5001"/>
<path fill="none" stroke="#000000" d="M201.18,-486C217.73,-486 235.06,-486 251.84,-486"/>
<polygon fill="#000000" stroke="#000000" points="252.2,-489.5001 262.2,-486 252.2,-482.5001 252.2,-489.5001"/>
</g>
<!-- zcash/halo2#359 -->
<g id="node29" class="node open">
<title>zcash/halo2#359</title>
<g id="a_node29"><a xlink:href="https://github.com/zcash/halo2/issues/359" xlink:title="zcash/halo2#359&#10;Set up `BaseTranscript`,&#10;`ScalarTranscript`" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="682,-464.5 485,-464.5 485,-411.5 682,-411.5 682,-464.5"/>
<text text-anchor="middle" x="583.5" y="-449.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#359</text>
<text text-anchor="middle" x="583.5" y="-434.3" font-family="Times,serif" font-size="14.00" fill="#000000">Set up `BaseTranscript`,</text>
<text text-anchor="middle" x="583.5" y="-419.3" font-family="Times,serif" font-size="14.00" fill="#000000">`ScalarTranscript`</text>
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="682,-518.5 485,-518.5 485,-465.5 682,-465.5 682,-518.5"/>
<text text-anchor="middle" x="583.5" y="-503.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#359</text>
<text text-anchor="middle" x="583.5" y="-488.3" font-family="Times,serif" font-size="14.00" fill="#000000">Set up `BaseTranscript`,</text>
<text text-anchor="middle" x="583.5" y="-473.3" font-family="Times,serif" font-size="14.00" fill="#000000">`ScalarTranscript`</text>
</a>
</g>
</g>
<!-- zcash/halo2#359&#45;&gt;zcash/halo2#247 -->
<g id="edge22" class="edge">
<title>zcash/halo2#359&#45;&gt;zcash/halo2#247</title>
<path fill="none" stroke="#000000" d="M682.16,-445.89C694.11,-446.85 706.33,-447.83 718.34,-448.79"/>
<polygon fill="#000000" stroke="#000000" points="718.1131,-452.2829 728.36,-449.59 718.6703,-445.3051 718.1131,-452.2829"/>
<path fill="none" stroke="#000000" d="M682.16,-499.89C694.11,-500.85 706.33,-501.83 718.34,-502.79"/>
<polygon fill="#000000" stroke="#000000" points="718.1131,-506.2829 728.36,-503.59 718.6703,-499.3051 718.1131,-506.2829"/>
</g>
<!-- zcash/halo2#249 -->
<g id="node30" class="node committed">
<title>zcash/halo2#249</title>
<g id="a_node30"><a xlink:href="https://github.com/zcash/halo2/issues/249" xlink:title="zcash/halo2#249&#10;Implement recursion&#10;circuit logic for&#10;handling public inputs" target="_blank">
<polygon fill="#a6cfff" stroke="#000000" stroke-width="2" points="909.5,-735 732.5,-735 732.5,-667 909.5,-667 909.5,-735"/>
<text text-anchor="middle" x="821" y="-719.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#249</text>
<text text-anchor="middle" x="821" y="-704.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement recursion</text>
<text text-anchor="middle" x="821" y="-689.8" font-family="Times,serif" font-size="14.00" fill="#000000">circuit logic for</text>
<text text-anchor="middle" x="821" y="-674.8" font-family="Times,serif" font-size="14.00" fill="#000000">handling public inputs</text>
<polygon fill="#a6cfff" stroke="#000000" stroke-width="2" points="909.5,-789 732.5,-789 732.5,-721 909.5,-721 909.5,-789"/>
<text text-anchor="middle" x="821" y="-773.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#249</text>
<text text-anchor="middle" x="821" y="-758.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement recursion</text>
<text text-anchor="middle" x="821" y="-743.8" font-family="Times,serif" font-size="14.00" fill="#000000">circuit logic for</text>
<text text-anchor="middle" x="821" y="-728.8" font-family="Times,serif" font-size="14.00" fill="#000000">handling public inputs</text>
</a>
</g>
</g>
<!-- zcash/halo2#249&#45;&gt;zcash/halo2#250 -->
<g id="edge23" class="edge">
<title>zcash/halo2#249&#45;&gt;zcash/halo2#250</title>
<path fill="none" stroke="#000000" d="M904.51,-666.96C911.14,-664.01 917.7,-661 924,-658 952.74,-644.3 983.98,-627.65 1009.7,-613.43"/>
<polygon fill="#000000" stroke="#000000" points="1011.5416,-616.4112 1018.6,-608.51 1008.1549,-610.285 1011.5416,-616.4112"/>
<path fill="none" stroke="#000000" d="M904.51,-720.96C911.14,-718.01 917.7,-715 924,-712 952.74,-698.3 983.98,-681.65 1009.7,-667.43"/>
<polygon fill="#000000" stroke="#000000" points="1011.5416,-670.4112 1018.6,-662.51 1008.1549,-664.285 1011.5416,-670.4112"/>
</g>
<!-- zcash/halo2#449 -->
<g id="node31" class="node open">
<title>zcash/halo2#449</title>
<g id="a_node31"><a xlink:href="https://github.com/zcash/halo2/issues/449" xlink:title="zcash/halo2#449&#10;`VerifyingKey`&#10;serialization is not&#10;round&#45;trip compatible" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="196,-226 23,-226 23,-158 196,-158 196,-226"/>
<text text-anchor="middle" x="109.5" y="-210.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#449</text>
<text text-anchor="middle" x="109.5" y="-195.8" font-family="Times,serif" font-size="14.00" fill="#000000">`VerifyingKey`</text>
<text text-anchor="middle" x="109.5" y="-180.8" font-family="Times,serif" font-size="14.00" fill="#000000">serialization is not</text>
<text text-anchor="middle" x="109.5" y="-165.8" font-family="Times,serif" font-size="14.00" fill="#000000">round&#45;trip compatible</text>
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="196,-297 23,-297 23,-229 196,-229 196,-297"/>
<text text-anchor="middle" x="109.5" y="-281.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#449</text>
<text text-anchor="middle" x="109.5" y="-266.8" font-family="Times,serif" font-size="14.00" fill="#000000">`VerifyingKey`</text>
<text text-anchor="middle" x="109.5" y="-251.8" font-family="Times,serif" font-size="14.00" fill="#000000">serialization is not</text>
<text text-anchor="middle" x="109.5" y="-236.8" font-family="Times,serif" font-size="14.00" fill="#000000">round&#45;trip compatible</text>
</a>
</g>
</g>
<!-- zcash/halo2#449&#45;&gt;zcash/halo2#426 -->
<g id="edge24" class="edge">
<title>zcash/halo2#449&#45;&gt;zcash/halo2#426</title>
<path fill="none" stroke="#000000" d="M196.02,-175.94C215.22,-172.38 235.69,-168.58 255.27,-164.95"/>
<polygon fill="#000000" stroke="#000000" points="255.9043,-168.3921 265.1,-163.13 254.6299,-161.5091 255.9043,-168.3921"/>
<path fill="none" stroke="#000000" d="M196.02,-234.81C217.02,-227.97 239.53,-220.64 260.74,-213.73"/>
<polygon fill="#000000" stroke="#000000" points="261.9557,-217.0151 270.38,-210.59 259.7877,-210.3593 261.9557,-217.0151"/>
</g>
<!-- zcash/halo2#398 -->
<g id="node32" class="node committed">
<title>zcash/halo2#398</title>
<g id="a_node32"><a xlink:href="https://github.com/zcash/halo2/issues/398" xlink:title="zcash/halo2#398&#10;[MockProver] Testing is&#10;slower after #389" target="_blank">
<polygon fill="#a6cfff" stroke="#000000" stroke-width="2" points="204,-139.5 15,-139.5 15,-86.5 204,-86.5 204,-139.5"/>
<text text-anchor="middle" x="109.5" y="-124.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#398</text>
<text text-anchor="middle" x="109.5" y="-109.3" font-family="Times,serif" font-size="14.00" fill="#000000">[MockProver] Testing is</text>
<text text-anchor="middle" x="109.5" y="-94.3" font-family="Times,serif" font-size="14.00" fill="#000000">slower after #389</text>
<polygon fill="#a6cfff" stroke="#000000" stroke-width="2" points="204,-210.5 15,-210.5 15,-157.5 204,-157.5 204,-210.5"/>
<text text-anchor="middle" x="109.5" y="-195.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#398</text>
<text text-anchor="middle" x="109.5" y="-180.3" font-family="Times,serif" font-size="14.00" fill="#000000">[MockProver] Testing is</text>
<text text-anchor="middle" x="109.5" y="-165.3" font-family="Times,serif" font-size="14.00" fill="#000000">slower after #389</text>
</a>
</g>
</g>
<!-- zcash/halo2#398&#45;&gt;zcash/halo2#426 -->
<g id="edge25" class="edge">
<title>zcash/halo2#398&#45;&gt;zcash/halo2#426</title>
<path fill="none" stroke="#000000" d="M204.3,-126.29C220.91,-128.62 238.22,-131.05 254.89,-133.38"/>
<polygon fill="#000000" stroke="#000000" points="254.7894,-136.9003 265.18,-134.83 255.7662,-129.9688 254.7894,-136.9003"/>
<path fill="none" stroke="#000000" d="M204.3,-184C220.91,-184 238.22,-184 254.89,-184"/>
<polygon fill="#000000" stroke="#000000" points="255.18,-187.5001 265.18,-184 255.18,-180.5001 255.18,-187.5001"/>
</g>
<!-- zcash/halo2#506 -->
<g id="node33" class="node open">
<title>zcash/halo2#506</title>
<g id="a_node33"><a xlink:href="https://github.com/zcash/halo2/issues/506" xlink:title="zcash/halo2#506&#10;Docs not rendering on&#10;docs.rs" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="197.5,-139.5 21.5,-139.5 21.5,-86.5 197.5,-86.5 197.5,-139.5"/>
<text text-anchor="middle" x="109.5" y="-124.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#506</text>
<text text-anchor="middle" x="109.5" y="-109.3" font-family="Times,serif" font-size="14.00" fill="#000000">Docs not rendering on</text>
<text text-anchor="middle" x="109.5" y="-94.3" font-family="Times,serif" font-size="14.00" fill="#000000">docs.rs</text>
</a>
</g>
</g>
<!-- zcash/halo2#506&#45;&gt;zcash/halo2#426 -->
<g id="edge26" class="edge">
<title>zcash/halo2#506&#45;&gt;zcash/halo2#426</title>
<path fill="none" stroke="#000000" d="M197.73,-138.83C216.62,-144.36 236.66,-150.23 255.82,-155.84"/>
<polygon fill="#000000" stroke="#000000" points="254.8694,-159.2085 265.45,-158.66 256.8367,-152.4907 254.8694,-159.2085"/>
</g>
<!-- zcash/halo2#480 -->
<g id="node33" class="node open">
<g id="node34" class="node open">
<title>zcash/halo2#480</title>
<g id="a_node33"><a xlink:href="https://github.com/zcash/halo2/pull/480" xlink:title="zcash/halo2#480&#10;Add `MockProver::assert_s&#10;atisfied` with pretty&#45;&#10;printed failures" target="_blank">
<g id="a_node34"><a xlink:href="https://github.com/zcash/halo2/pull/480" xlink:title="zcash/halo2#480&#10;Add `MockProver::assert_s&#10;atisfied` with pretty&#45;&#10;printed failures" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="216,-68 3,-68 3,-64 -1,-64 -1,-60 3,-60 3,-8 -1,-8 -1,-4 3,-4 3,0 216,0 216,-68"/>
<polyline fill="none" stroke="#000000" stroke-width="2" points="3,-64 7,-64 7,-60 3,-60 "/>
<polyline fill="none" stroke="#000000" stroke-width="2" points="3,-8 7,-8 7,-4 3,-4 "/>
@ -542,69 +559,69 @@
</g>
</g>
<!-- zcash/halo2#480&#45;&gt;zcash/halo2#426 -->
<g id="edge26" class="edge">
<g id="edge27" class="edge">
<title>zcash/halo2#480&#45;&gt;zcash/halo2#426</title>
<path fill="none" stroke="#000000" d="M198.59,-68.031C205.54,-70.974 212.41,-73.982 219,-77 244.55,-88.698 272.15,-102.94 295.54,-115.52"/>
<polygon fill="#000000" stroke="#000000" points="294.1589,-118.7521 304.62,-120.43 297.4885,-112.5947 294.1589,-118.7521"/>
<path fill="none" stroke="#000000" d="M202.17,-68.036C207.95,-70.881 213.61,-73.873 219,-77 254.77,-97.76 291.07,-127.69 316.69,-150.61"/>
<polygon fill="#000000" stroke="#000000" points="314.5202,-153.3671 324.28,-157.49 319.2215,-148.1807 314.5202,-153.3671"/>
</g>
<!-- zcash/halo2#248 -->
<g id="node34" class="node open">
<g id="node35" class="node open">
<title>zcash/halo2#248</title>
<g id="a_node34"><a xlink:href="https://github.com/zcash/halo2/issues/248" xlink:title="zcash/halo2#248&#10;Implement endoscaling in&#10;the circuit" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="922.5,-648.5 719.5,-648.5 719.5,-595.5 922.5,-595.5 922.5,-648.5"/>
<text text-anchor="middle" x="821" y="-633.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#248</text>
<text text-anchor="middle" x="821" y="-618.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement endoscaling in</text>
<text text-anchor="middle" x="821" y="-603.3" font-family="Times,serif" font-size="14.00" fill="#000000">the circuit</text>
<g id="a_node35"><a xlink:href="https://github.com/zcash/halo2/issues/248" xlink:title="zcash/halo2#248&#10;Implement endoscaling in&#10;the circuit" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="922.5,-702.5 719.5,-702.5 719.5,-649.5 922.5,-649.5 922.5,-702.5"/>
<text text-anchor="middle" x="821" y="-687.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#248</text>
<text text-anchor="middle" x="821" y="-672.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement endoscaling in</text>
<text text-anchor="middle" x="821" y="-657.3" font-family="Times,serif" font-size="14.00" fill="#000000">the circuit</text>
</a>
</g>
</g>
<!-- zcash/halo2#248&#45;&gt;zcash/halo2#250 -->
<g id="edge27" class="edge">
<g id="edge28" class="edge">
<title>zcash/halo2#248&#45;&gt;zcash/halo2#250</title>
<path fill="none" stroke="#000000" d="M922.71,-605.33C935.51,-603.23 948.61,-601.08 961.43,-598.98"/>
<polygon fill="#000000" stroke="#000000" points="962.341,-602.3773 971.64,-597.3 961.2044,-595.4701 962.341,-602.3773"/>
<path fill="none" stroke="#000000" d="M922.71,-659.33C935.51,-657.23 948.61,-655.08 961.43,-652.98"/>
<polygon fill="#000000" stroke="#000000" points="962.341,-656.3773 971.64,-651.3 961.2044,-649.4701 962.341,-656.3773"/>
</g>
<!-- zcash/halo2#245 -->
<g id="node35" class="node open">
<g id="node36" class="node open">
<title>zcash/halo2#245</title>
<g id="a_node35"><a xlink:href="https://github.com/zcash/halo2/issues/245" xlink:title="zcash/halo2#245&#10;Remove the need to&#10;multiply by powers of x^n&#10;in verifier" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="924,-577 718,-577 718,-509 924,-509 924,-577"/>
<text text-anchor="middle" x="821" y="-561.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#245</text>
<text text-anchor="middle" x="821" y="-546.8" font-family="Times,serif" font-size="14.00" fill="#000000">Remove the need to</text>
<text text-anchor="middle" x="821" y="-531.8" font-family="Times,serif" font-size="14.00" fill="#000000">multiply by powers of x^n</text>
<text text-anchor="middle" x="821" y="-516.8" font-family="Times,serif" font-size="14.00" fill="#000000">in verifier</text>
<g id="a_node36"><a xlink:href="https://github.com/zcash/halo2/issues/245" xlink:title="zcash/halo2#245&#10;Remove the need to&#10;multiply by powers of x^n&#10;in verifier" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="924,-631 718,-631 718,-563 924,-563 924,-631"/>
<text text-anchor="middle" x="821" y="-615.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#245</text>
<text text-anchor="middle" x="821" y="-600.8" font-family="Times,serif" font-size="14.00" fill="#000000">Remove the need to</text>
<text text-anchor="middle" x="821" y="-585.8" font-family="Times,serif" font-size="14.00" fill="#000000">multiply by powers of x^n</text>
<text text-anchor="middle" x="821" y="-570.8" font-family="Times,serif" font-size="14.00" fill="#000000">in verifier</text>
</a>
</g>
</g>
<!-- zcash/halo2#245&#45;&gt;zcash/halo2#250 -->
<g id="edge28" class="edge">
<g id="edge29" class="edge">
<title>zcash/halo2#245&#45;&gt;zcash/halo2#250</title>
<path fill="none" stroke="#000000" d="M924.12,-559.48C936.65,-561.48 949.44,-563.53 961.96,-565.53"/>
<polygon fill="#000000" stroke="#000000" points="961.5036,-569.0014 971.93,-567.12 962.606,-562.0887 961.5036,-569.0014"/>
<path fill="none" stroke="#000000" d="M924.12,-613.48C936.65,-615.48 949.44,-617.53 961.96,-619.53"/>
<polygon fill="#000000" stroke="#000000" points="961.5036,-623.0014 971.93,-621.12 962.606,-616.0887 961.5036,-623.0014"/>
</g>
<!-- zcash/halo2#312 -->
<g id="node36" class="node open">
<g id="node37" class="node open">
<title>zcash/halo2#312</title>
<g id="a_node36"><a xlink:href="https://github.com/zcash/halo2/issues/312" xlink:title="zcash/halo2#312&#10;[Book] Document gadget&#10;API" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="207,-989.5 12,-989.5 12,-936.5 207,-936.5 207,-989.5"/>
<text text-anchor="middle" x="109.5" y="-974.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#312</text>
<text text-anchor="middle" x="109.5" y="-959.3" font-family="Times,serif" font-size="14.00" fill="#000000">[Book] Document gadget</text>
<text text-anchor="middle" x="109.5" y="-944.3" font-family="Times,serif" font-size="14.00" fill="#000000">API</text>
<g id="a_node37"><a xlink:href="https://github.com/zcash/halo2/issues/312" xlink:title="zcash/halo2#312&#10;[Book] Document gadget&#10;API" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="207,-1026.5 12,-1026.5 12,-973.5 207,-973.5 207,-1026.5"/>
<text text-anchor="middle" x="109.5" y="-1011.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#312</text>
<text text-anchor="middle" x="109.5" y="-996.3" font-family="Times,serif" font-size="14.00" fill="#000000">[Book] Document gadget</text>
<text text-anchor="middle" x="109.5" y="-981.3" font-family="Times,serif" font-size="14.00" fill="#000000">API</text>
</a>
</g>
</g>
<!-- zcash/pasta_curves#23 -->
<g id="node37" class="node open">
<g id="node38" class="node open">
<title>zcash/pasta_curves#23</title>
<g id="a_node37"><a xlink:href="https://github.com/zcash/pasta_curves/pull/23" xlink:title="zcash/pasta_curves#23&#10;Ensure that GitHub&#39;s&#10;&quot;View license&quot; link&#10;points to complete&#10;license information" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="202.5,-1090.5 16.5,-1090.5 16.5,-1086.5 12.5,-1086.5 12.5,-1082.5 16.5,-1082.5 16.5,-1015.5 12.5,-1015.5 12.5,-1011.5 16.5,-1011.5 16.5,-1007.5 202.5,-1007.5 202.5,-1090.5"/>
<polyline fill="none" stroke="#000000" stroke-width="2" points="16.5,-1086.5 20.5,-1086.5 20.5,-1082.5 16.5,-1082.5 "/>
<polyline fill="none" stroke="#000000" stroke-width="2" points="16.5,-1015.5 20.5,-1015.5 20.5,-1011.5 16.5,-1011.5 "/>
<text text-anchor="middle" x="109.5" y="-1075.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/pasta_curves#23</text>
<text text-anchor="middle" x="109.5" y="-1060.3" font-family="Times,serif" font-size="14.00" fill="#000000">Ensure that GitHub&#39;s</text>
<text text-anchor="middle" x="109.5" y="-1045.3" font-family="Times,serif" font-size="14.00" fill="#000000">&quot;View license&quot; link</text>
<text text-anchor="middle" x="109.5" y="-1030.3" font-family="Times,serif" font-size="14.00" fill="#000000">points to complete</text>
<text text-anchor="middle" x="109.5" y="-1015.3" font-family="Times,serif" font-size="14.00" fill="#000000">license information</text>
<g id="a_node38"><a xlink:href="https://github.com/zcash/pasta_curves/pull/23" xlink:title="zcash/pasta_curves#23&#10;Ensure that GitHub&#39;s&#10;&quot;View license&quot; link&#10;points to complete&#10;license information" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="202.5,-1127.5 16.5,-1127.5 16.5,-1123.5 12.5,-1123.5 12.5,-1119.5 16.5,-1119.5 16.5,-1052.5 12.5,-1052.5 12.5,-1048.5 16.5,-1048.5 16.5,-1044.5 202.5,-1044.5 202.5,-1127.5"/>
<polyline fill="none" stroke="#000000" stroke-width="2" points="16.5,-1123.5 20.5,-1123.5 20.5,-1119.5 16.5,-1119.5 "/>
<polyline fill="none" stroke="#000000" stroke-width="2" points="16.5,-1052.5 20.5,-1052.5 20.5,-1048.5 16.5,-1048.5 "/>
<text text-anchor="middle" x="109.5" y="-1112.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/pasta_curves#23</text>
<text text-anchor="middle" x="109.5" y="-1097.3" font-family="Times,serif" font-size="14.00" fill="#000000">Ensure that GitHub&#39;s</text>
<text text-anchor="middle" x="109.5" y="-1082.3" font-family="Times,serif" font-size="14.00" fill="#000000">&quot;View license&quot; link</text>
<text text-anchor="middle" x="109.5" y="-1067.3" font-family="Times,serif" font-size="14.00" fill="#000000">points to complete</text>
<text text-anchor="middle" x="109.5" y="-1052.3" font-family="Times,serif" font-size="14.00" fill="#000000">license information</text>
</a>
</g>
</g>

Before

Width:  |  Height:  |  Size: 43 KiB

After

Width:  |  Height:  |  Size: 44 KiB

File diff suppressed because it is too large Load Diff

Before

Width:  |  Height:  |  Size: 138 KiB

After

Width:  |  Height:  |  Size: 138 KiB