This commit is contained in:
str4d 2022-02-15 22:45:50 +00:00
parent 44f845a61b
commit 0aa38b0b6f
4 changed files with 2645 additions and 2593 deletions

File diff suppressed because it is too large Load Diff

Before

Width:  |  Height:  |  Size: 193 KiB

After

Width:  |  Height:  |  Size: 194 KiB

View File

@ -5,18 +5,18 @@
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
-->
<!-- Pages: 1 -->
<svg width="1653pt" height="1148pt"
viewBox="0.00 0.00 1653.00 1147.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 1143.5)">
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-1143.5 1649,-1143.5 1649,4 -4,4"/>
<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"/>
<!-- 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,-212.5 265.5,-212.5 265.5,-159.5 438.5,-159.5 438.5,-212.5"/>
<text text-anchor="middle" x="352" y="-197.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#426</text>
<text text-anchor="middle" x="352" y="-182.3" font-family="Times,serif" font-size="14.00" fill="#000000">Publish `halo2_proofs</text>
<text text-anchor="middle" x="352" y="-167.3" font-family="Times,serif" font-size="14.00" fill="#000000">0.1.0`</text>
<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>
</a>
</g>
</g>
@ -24,280 +24,240 @@
<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,-298.5 491,-298.5 491,-245.5 676,-245.5 676,-298.5"/>
<text text-anchor="middle" x="583.5" y="-283.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#460</text>
<text text-anchor="middle" x="583.5" y="-268.3" font-family="Times,serif" font-size="14.00" fill="#000000">Publish `halo2_gadgets</text>
<text text-anchor="middle" x="583.5" y="-253.3" font-family="Times,serif" font-size="14.00" fill="#000000">v0.1.0`</text>
<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>
</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="M425.93,-212.53C433.72,-215.37 441.53,-218.24 449,-221 467.05,-227.68 486.42,-234.96 504.68,-241.87"/>
<polygon fill="#000000" stroke="#000000" points="503.5287,-245.1766 514.12,-245.45 506.0109,-238.6314 503.5287,-245.1766"/>
<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"/>
</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,-212.5 499.5,-212.5 499.5,-208.5 495.5,-208.5 495.5,-204.5 499.5,-204.5 499.5,-167.5 495.5,-167.5 495.5,-163.5 499.5,-163.5 499.5,-159.5 667.5,-159.5 667.5,-212.5"/>
<polyline fill="none" stroke="#000000" points="499.5,-208.5 503.5,-208.5 503.5,-204.5 499.5,-204.5 "/>
<polyline fill="none" stroke="#000000" points="499.5,-167.5 503.5,-167.5 503.5,-163.5 499.5,-163.5 "/>
<text text-anchor="middle" x="583.5" y="-197.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#380</text>
<text text-anchor="middle" x="583.5" y="-182.3" font-family="Times,serif" font-size="14.00" fill="#000000">[book] Fix errors and</text>
<text text-anchor="middle" x="583.5" y="-167.3" font-family="Times,serif" font-size="14.00" fill="#000000">typos</text>
<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>
</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,-186C455.02,-186 472.35,-186 489.06,-186"/>
<polygon fill="#000000" stroke="#000000" points="489.38,-189.5001 499.38,-186 489.38,-182.5001 489.38,-189.5001"/>
</g>
<!-- zcash/halo2#404 -->
<g id="node4" class="node open">
<title>zcash/halo2#404</title>
<g id="a_node4"><a xlink:href="https://github.com/zcash/halo2/issues/404" xlink:title="zcash/halo2#404&#10;Publish `halo2_proofs&#10;0.1.0&#45;beta.2`" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="196,-379.5 23,-379.5 23,-326.5 196,-326.5 196,-379.5"/>
<text text-anchor="middle" x="109.5" y="-364.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#404</text>
<text text-anchor="middle" x="109.5" y="-349.3" font-family="Times,serif" font-size="14.00" fill="#000000">Publish `halo2_proofs</text>
<text text-anchor="middle" x="109.5" y="-334.3" font-family="Times,serif" font-size="14.00" fill="#000000">0.1.0&#45;beta.2`</text>
</a>
</g>
</g>
<!-- zcash/halo2#404&#45;&gt;zcash/halo2#426 -->
<g id="edge3" class="edge">
<title>zcash/halo2#404&#45;&gt;zcash/halo2#426</title>
<path fill="none" stroke="#000000" d="M191.17,-326.49C201.34,-320.83 210.97,-314.06 219,-306 247.94,-276.92 225.21,-249.21 255,-221 255.81,-220.23 256.64,-219.48 257.49,-218.74"/>
<polygon fill="#000000" stroke="#000000" points="259.7415,-221.4238 265.53,-212.55 255.4711,-215.8772 259.7415,-221.4238"/>
</g>
<!-- zcash/halo2#458 -->
<g id="node5" class="node open">
<title>zcash/halo2#458</title>
<g id="a_node5"><a xlink:href="https://github.com/zcash/halo2/issues/458" xlink:title="zcash/halo2#458&#10;Publish `halo2_gadgets&#10;v0.1.0&#45;beta.1`" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" points="444.5,-384.5 259.5,-384.5 259.5,-331.5 444.5,-331.5 444.5,-384.5"/>
<text text-anchor="middle" x="352" y="-369.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#458</text>
<text text-anchor="middle" x="352" y="-354.3" font-family="Times,serif" font-size="14.00" fill="#000000">Publish `halo2_gadgets</text>
<text text-anchor="middle" x="352" y="-339.3" font-family="Times,serif" font-size="14.00" fill="#000000">v0.1.0&#45;beta.1`</text>
</a>
</g>
</g>
<!-- zcash/halo2#404&#45;&gt;zcash/halo2#458 -->
<g id="edge4" class="edge">
<title>zcash/halo2#404&#45;&gt;zcash/halo2#458</title>
<path fill="none" stroke="#000000" d="M196.02,-354.78C213.19,-355.14 231.37,-355.51 249.03,-355.88"/>
<polygon fill="#000000" stroke="#000000" points="249.2808,-359.3857 259.35,-356.09 249.4233,-352.3872 249.2808,-359.3857"/>
</g>
<!-- zcash/halo2#458&#45;&gt;zcash/halo2#460 -->
<g id="edge5" class="edge">
<title>zcash/halo2#458&#45;&gt;zcash/halo2#460</title>
<path fill="none" stroke="#000000" d="M423.52,-331.46C432.1,-328.28 440.75,-325.06 449,-322 466.24,-315.6 484.72,-308.73 502.3,-302.19"/>
<polygon fill="#000000" stroke="#000000" points="503.8056,-305.3644 511.96,-298.6 501.3671,-298.8029 503.8056,-305.3644"/>
<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"/>
</g>
<!-- zcash/pasta_curves#22 -->
<g id="node6" class="node open">
<g id="node4" class="node open">
<title>zcash/pasta_curves#22</title>
<g id="a_node6"><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,-447 16.5,-447 16.5,-409 202.5,-409 202.5,-447"/>
<text text-anchor="middle" x="109.5" y="-431.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/pasta_curves#22</text>
<text text-anchor="middle" x="109.5" y="-416.8" font-family="Times,serif" font-size="14.00" fill="#000000">Add `ec&#45;gpu` support</text>
<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>
</a>
</g>
</g>
<!-- zcash/halo2#379 -->
<g id="node7" class="node open">
<g id="node5" class="node open">
<title>zcash/halo2#379</title>
<g id="a_node7"><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,-447 265.5,-447 265.5,-409 438.5,-409 438.5,-447"/>
<text text-anchor="middle" x="352" y="-431.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#379</text>
<text text-anchor="middle" x="352" y="-416.8" font-family="Times,serif" font-size="14.00" fill="#000000">Add `ec&#45;gpu` support</text>
<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>
</a>
</g>
</g>
<!-- zcash/pasta_curves#22&#45;&gt;zcash/halo2#379 -->
<g id="edge6" class="edge">
<g id="edge3" class="edge">
<title>zcash/pasta_curves#22&#45;&gt;zcash/halo2#379</title>
<path fill="none" stroke="#000000" d="M202.56,-428C219.76,-428 237.75,-428 255.06,-428"/>
<polygon fill="#000000" stroke="#000000" points="255.16,-431.5001 265.16,-428 255.16,-424.5001 255.16,-431.5001"/>
<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"/>
</g>
<!-- zcash/halo2#75 -->
<g id="node8" class="node open">
<g id="node6" class="node open">
<title>zcash/halo2#75</title>
<g id="a_node8"><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,-614.5 1223.5,-614.5 1223.5,-561.5 1402.5,-561.5 1402.5,-614.5"/>
<text text-anchor="middle" x="1313" y="-599.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#75</text>
<text text-anchor="middle" x="1313" y="-584.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement support for</text>
<text text-anchor="middle" x="1313" y="-569.3" font-family="Times,serif" font-size="14.00" fill="#000000">recursion</text>
<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>
</a>
</g>
</g>
<!-- zcash/halo2#494 -->
<g id="node9" class="node open">
<g id="node7" class="node open">
<title>zcash/halo2#494</title>
<g id="a_node9"><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,-629.5 1456,-629.5 1456,-546.5 1645,-546.5 1645,-629.5"/>
<text text-anchor="middle" x="1550.5" y="-614.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#494</text>
<text text-anchor="middle" x="1550.5" y="-599.3" font-family="Times,serif" font-size="14.00" fill="#000000">Consider adding an API</text>
<text text-anchor="middle" x="1550.5" y="-584.3" font-family="Times,serif" font-size="14.00" fill="#000000">that enables application</text>
<text text-anchor="middle" x="1550.5" y="-569.3" font-family="Times,serif" font-size="14.00" fill="#000000">circuits to be built</text>
<text text-anchor="middle" x="1550.5" y="-554.3" font-family="Times,serif" font-size="14.00" fill="#000000">across both fields</text>
<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>
</a>
</g>
</g>
<!-- zcash/halo2#75&#45;&gt;zcash/halo2#494 -->
<g id="edge7" class="edge">
<g id="edge4" class="edge">
<title>zcash/halo2#75&#45;&gt;zcash/halo2#494</title>
<path fill="none" stroke="#000000" d="M1402.8,-588C1416.7,-588 1431.3,-588 1445.5,-588"/>
<polygon fill="#000000" stroke="#000000" points="1445.8,-591.5001 1455.8,-588 1445.8,-584.5001 1445.8,-591.5001"/>
<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"/>
</g>
<!-- zcash/halo2#79 -->
<g id="node10" class="node open">
<g id="node8" class="node open">
<title>zcash/halo2#79</title>
<g id="a_node10"><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,-896.5 984.5,-896.5 984.5,-813.5 1145.5,-813.5 1145.5,-896.5"/>
<text text-anchor="middle" x="1065" y="-881.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#79</text>
<text text-anchor="middle" x="1065" y="-866.3" font-family="Times,serif" font-size="14.00" fill="#000000">Migrate Rescue and</text>
<text text-anchor="middle" x="1065" y="-851.3" font-family="Times,serif" font-size="14.00" fill="#000000">Poseidon gadgets to</text>
<text text-anchor="middle" x="1065" y="-836.3" font-family="Times,serif" font-size="14.00" fill="#000000">algebraic hash</text>
<text text-anchor="middle" x="1065" y="-821.3" font-family="Times,serif" font-size="14.00" fill="#000000">abstraction</text>
<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>
</a>
</g>
</g>
<!-- zcash/halo2#78 -->
<g id="node11" class="node open">
<g id="node9" class="node open">
<title>zcash/halo2#78</title>
<g id="a_node11"><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,-889 719,-889 719,-821 923,-821 923,-889"/>
<text text-anchor="middle" x="821" y="-873.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#78</text>
<text text-anchor="middle" x="821" y="-858.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement algebraic hash</text>
<text text-anchor="middle" x="821" y="-843.8" font-family="Times,serif" font-size="14.00" fill="#000000">/ random oracle</text>
<text text-anchor="middle" x="821" y="-828.8" font-family="Times,serif" font-size="14.00" fill="#000000">abstraction gadget</text>
<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>
</a>
</g>
</g>
<!-- zcash/halo2#78&#45;&gt;zcash/halo2#79 -->
<g id="edge8" class="edge">
<g id="edge5" class="edge">
<title>zcash/halo2#78&#45;&gt;zcash/halo2#79</title>
<path fill="none" stroke="#000000" d="M923.06,-855C940.04,-855 957.55,-855 974.23,-855"/>
<polygon fill="#000000" stroke="#000000" points="974.49,-858.5001 984.49,-855 974.49,-851.5001 974.49,-858.5001"/>
<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"/>
</g>
<!-- zcash/halo2#250 -->
<g id="node12" class="node open">
<g id="node10" class="node open">
<title>zcash/halo2#250</title>
<g id="a_node12"><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,-676.5 972,-676.5 972,-623.5 1158,-623.5 1158,-676.5"/>
<text text-anchor="middle" x="1065" y="-661.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#250</text>
<text text-anchor="middle" x="1065" y="-646.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement the logic for</text>
<text text-anchor="middle" x="1065" y="-631.3" font-family="Times,serif" font-size="14.00" fill="#000000">the IVC verifier circuit</text>
<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>
</a>
</g>
</g>
<!-- zcash/halo2#78&#45;&gt;zcash/halo2#250 -->
<g id="edge9" class="edge">
<g id="edge6" class="edge">
<title>zcash/halo2#78&#45;&gt;zcash/halo2#250</title>
<path fill="none" stroke="#000000" d="M910.1,-820.99C914.93,-818.17 919.6,-815.17 924,-812 973.13,-776.55 1016.7,-720.85 1042,-684.87"/>
<polygon fill="#000000" stroke="#000000" points="1044.8952,-686.8368 1047.7,-676.62 1039.1361,-682.8578 1044.8952,-686.8368"/>
<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"/>
</g>
<!-- zcash/halo2#250&#45;&gt;zcash/halo2#75 -->
<g id="edge10" class="edge">
<g id="edge7" class="edge">
<title>zcash/halo2#250&#45;&gt;zcash/halo2#75</title>
<path fill="none" stroke="#000000" d="M1158.1,-626.74C1176.1,-622.22 1195.1,-617.47 1213.4,-612.91"/>
<polygon fill="#000000" stroke="#000000" points="1214.256,-616.3038 1223.1,-610.47 1212.5483,-609.5153 1214.256,-616.3038"/>
<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"/>
</g>
<!-- zcash/halo2#57 -->
<g id="node13" class="node open">
<g id="node11" class="node open">
<title>zcash/halo2#57</title>
<g id="a_node13"><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,-611 38,-611 38,-543 181,-543 181,-611"/>
<text text-anchor="middle" x="109.5" y="-595.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#57</text>
<text text-anchor="middle" x="109.5" y="-580.8" font-family="Times,serif" font-size="14.00" fill="#000000">Remove unused</text>
<text text-anchor="middle" x="109.5" y="-565.8" font-family="Times,serif" font-size="14.00" fill="#000000">fixed_values from</text>
<text text-anchor="middle" x="109.5" y="-550.8" font-family="Times,serif" font-size="14.00" fill="#000000">ProvingKey</text>
<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>
</a>
</g>
</g>
<!-- zcash/halo2#443 -->
<g id="node14" class="node open">
<g id="node12" class="node open">
<title>zcash/halo2#443</title>
<g id="a_node14"><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,-611 255,-611 255,-543 449,-543 449,-611"/>
<text text-anchor="middle" x="352" y="-595.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#443</text>
<text text-anchor="middle" x="352" y="-580.8" font-family="Times,serif" font-size="14.00" fill="#000000">implement `read` &amp;</text>
<text text-anchor="middle" x="352" y="-565.8" font-family="Times,serif" font-size="14.00" fill="#000000">`write` for `halo2::plonk</text>
<text text-anchor="middle" x="352" y="-550.8" font-family="Times,serif" font-size="14.00" fill="#000000">::ProvingKey`</text>
<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>
</a>
</g>
</g>
<!-- zcash/halo2#57&#45;&gt;zcash/halo2#443 -->
<g id="edge11" class="edge">
<g id="edge8" class="edge">
<title>zcash/halo2#57&#45;&gt;zcash/halo2#443</title>
<path fill="none" stroke="#000000" d="M181.27,-577C201.17,-577 223.21,-577 244.66,-577"/>
<polygon fill="#000000" stroke="#000000" points="244.79,-580.5001 254.79,-577 244.79,-573.5001 244.79,-580.5001"/>
<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"/>
</g>
<!-- zcash/halo2#482 -->
<g id="node15" class="node open">
<g id="node13" class="node open">
<title>zcash/halo2#482</title>
<g id="a_node15"><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,-667 23,-667 23,-629 196,-629 196,-667"/>
<text text-anchor="middle" x="109.5" y="-651.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#482</text>
<text text-anchor="middle" x="109.5" y="-636.8" font-family="Times,serif" font-size="14.00" fill="#000000">Raise MSRV to 1.56.1</text>
<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>
</a>
</g>
</g>
<!-- zcash/halo2#483 -->
<g id="node16" class="node open">
<g id="node14" class="node open">
<title>zcash/halo2#483</title>
<g id="a_node16"><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,-313.5 255,-313.5 255,-230.5 449,-230.5 449,-313.5"/>
<text text-anchor="middle" x="352" y="-298.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#483</text>
<text text-anchor="middle" x="352" y="-283.3" font-family="Times,serif" font-size="14.00" fill="#000000">Refactor variable&#45;base</text>
<text text-anchor="middle" x="352" y="-268.3" font-family="Times,serif" font-size="14.00" fill="#000000">scalar mul to distinguish</text>
<text text-anchor="middle" x="352" y="-253.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="-238.3" font-family="Times,serif" font-size="14.00" fill="#000000">case</text>
<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>
</a>
</g>
</g>
<!-- zcash/halo2#483&#45;&gt;zcash/halo2#460 -->
<g id="edge12" class="edge">
<g id="edge9" class="edge">
<title>zcash/halo2#483&#45;&gt;zcash/halo2#460</title>
<path fill="none" stroke="#000000" d="M449.17,-272C459.47,-272 469.97,-272 480.34,-272"/>
<polygon fill="#000000" stroke="#000000" points="480.65,-275.5001 490.65,-272 480.65,-268.5001 480.65,-275.5001"/>
<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"/>
</g>
<!-- zcash/halo2#420 -->
<g id="node17" class="node open">
<g id="node15" class="node open">
<title>zcash/halo2#420</title>
<g id="a_node17"><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,-738.5 2,-738.5 2,-685.5 217,-685.5 217,-738.5"/>
<text text-anchor="middle" x="109.5" y="-723.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#420</text>
<text text-anchor="middle" x="109.5" y="-708.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="-693.3" font-family="Times,serif" font-size="14.00" fill="#000000">benchmarks</text>
<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>
</a>
</g>
</g>
<!-- zcash/halo2#418 -->
<g id="node18" class="node open">
<g id="node16" class="node open">
<title>zcash/halo2#418</title>
<g id="a_node18"><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,-746 262.5,-746 262.5,-678 441.5,-678 441.5,-746"/>
<text text-anchor="middle" x="352" y="-730.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#418</text>
<text text-anchor="middle" x="352" y="-715.8" font-family="Times,serif" font-size="14.00" fill="#000000">[memory optimization]</text>
<text text-anchor="middle" x="352" y="-700.8" font-family="Times,serif" font-size="14.00" fill="#000000">lookup prover memory</text>
<text text-anchor="middle" x="352" y="-685.8" font-family="Times,serif" font-size="14.00" fill="#000000">analysis</text>
<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>
</a>
</g>
</g>
<!-- zcash/halo2#420&#45;&gt;zcash/halo2#418 -->
<g id="edge13" class="edge">
<g id="edge10" class="edge">
<title>zcash/halo2#420&#45;&gt;zcash/halo2#418</title>
<path fill="none" stroke="#000000" d="M217.28,-712C228.92,-712 240.73,-712 252.27,-712"/>
<polygon fill="#000000" stroke="#000000" points="252.33,-715.5001 262.33,-712 252.33,-708.5001 252.33,-715.5001"/>
<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"/>
</g>
<!-- zcash/halo2#425 -->
<g id="node19" class="node open">
<g id="node17" class="node open">
<title>zcash/halo2#425</title>
<g id="a_node19"><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">
<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>
@ -306,236 +266,236 @@
</g>
</g>
<!-- zcash/halo2#425&#45;&gt;zcash/halo2#426 -->
<g id="edge14" class="edge">
<g id="edge11" class="edge">
<title>zcash/halo2#425&#45;&gt;zcash/halo2#426</title>
<path fill="none" stroke="#000000" d="M191.88,-244.44C201.05,-241.33 210.24,-238.14 219,-235 235.16,-229.21 238.92,-227.02 255,-221 259.26,-219.4 263.64,-217.78 268.06,-216.14"/>
<polygon fill="#000000" stroke="#000000" points="269.6076,-219.3004 277.79,-212.57 267.1964,-212.7288 269.6076,-219.3004"/>
<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"/>
</g>
<!-- zcash/halo2#427 -->
<g id="node20" class="node open">
<g id="node18" class="node open">
<title>zcash/halo2#427</title>
<g id="a_node20"><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,-825 15.5,-825 15.5,-757 203.5,-757 203.5,-825"/>
<text text-anchor="middle" x="109.5" y="-809.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#427</text>
<text text-anchor="middle" x="109.5" y="-794.8" font-family="Times,serif" font-size="14.00" fill="#000000">Use smaller extended</text>
<text text-anchor="middle" x="109.5" y="-779.8" font-family="Times,serif" font-size="14.00" fill="#000000">domains where possible</text>
<text text-anchor="middle" x="109.5" y="-764.8" font-family="Times,serif" font-size="14.00" fill="#000000">during proving</text>
<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>
</a>
</g>
</g>
<!-- zcash/halo2#456 -->
<g id="node21" class="node open">
<g id="node19" class="node open">
<title>zcash/halo2#456</title>
<g id="a_node21"><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,-896.5 24.5,-896.5 24.5,-843.5 194.5,-843.5 194.5,-896.5"/>
<text text-anchor="middle" x="109.5" y="-881.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#456</text>
<text text-anchor="middle" x="109.5" y="-866.3" font-family="Times,serif" font-size="14.00" fill="#000000">Benchmark `sha256`</text>
<text text-anchor="middle" x="109.5" y="-851.3" font-family="Times,serif" font-size="14.00" fill="#000000">gadget.</text>
<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>
</a>
</g>
</g>
<!-- zcash/halo2#455 -->
<g id="node22" class="node open">
<g id="node20" class="node open">
<title>zcash/halo2#455</title>
<g id="a_node22"><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,-967.5 9.5,-967.5 9.5,-914.5 209.5,-914.5 209.5,-967.5"/>
<text text-anchor="middle" x="109.5" y="-952.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#455</text>
<text text-anchor="middle" x="109.5" y="-937.3" font-family="Times,serif" font-size="14.00" fill="#000000">[Book] add description of</text>
<text text-anchor="middle" x="109.5" y="-922.3" font-family="Times,serif" font-size="14.00" fill="#000000">Poseidon gadget and chip</text>
<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>
</a>
</g>
</g>
<!-- zcash/halo2#251 -->
<g id="node23" class="node open">
<g id="node21" class="node open">
<title>zcash/halo2#251</title>
<g id="a_node23"><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,-559 960,-559 960,-491 1170,-491 1170,-559"/>
<text text-anchor="middle" x="1065" y="-543.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#251</text>
<text text-anchor="middle" x="1065" y="-528.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement user&#45;facing API</text>
<text text-anchor="middle" x="1065" y="-513.8" font-family="Times,serif" font-size="14.00" fill="#000000">for recursive proving of</text>
<text text-anchor="middle" x="1065" y="-498.8" font-family="Times,serif" font-size="14.00" fill="#000000">IVC</text>
<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>
</a>
</g>
</g>
<!-- zcash/halo2#251&#45;&gt;zcash/halo2#75 -->
<g id="edge15" class="edge">
<g id="edge12" class="edge">
<title>zcash/halo2#251&#45;&gt;zcash/halo2#75</title>
<path fill="none" stroke="#000000" d="M1170.2,-551.72C1184.5,-555.37 1199.3,-559.11 1213.5,-562.73"/>
<polygon fill="#000000" stroke="#000000" points="1212.746,-566.1496 1223.3,-565.22 1214.4699,-559.3651 1212.746,-566.1496"/>
<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"/>
</g>
<!-- zcash/halo2#437 -->
<g id="node24" class="node open">
<g id="node22" class="node open">
<title>zcash/halo2#437</title>
<g id="a_node24"><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,-520.5 1206,-520.5 1206,-467.5 1420,-467.5 1420,-520.5"/>
<text text-anchor="middle" x="1313" y="-505.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#437</text>
<text text-anchor="middle" x="1313" y="-490.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="-475.3" font-family="Times,serif" font-size="14.00" fill="#000000">work for both IVC and PCD</text>
<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>
</a>
</g>
</g>
<!-- zcash/halo2#251&#45;&gt;zcash/halo2#437 -->
<g id="edge16" class="edge">
<g id="edge13" class="edge">
<title>zcash/halo2#251&#45;&gt;zcash/halo2#437</title>
<path fill="none" stroke="#000000" d="M1170.2,-511.85C1178.6,-510.8 1187.2,-509.73 1195.7,-508.66"/>
<polygon fill="#000000" stroke="#000000" points="1196.2114,-512.1234 1205.7,-507.41 1195.3431,-505.1775 1196.2114,-512.1234"/>
<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"/>
</g>
<!-- zcash/halo2#436 -->
<g id="node25" class="node open">
<g id="node23" class="node open">
<title>zcash/halo2#436</title>
<g id="a_node25"><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,-461 496,-461 496,-393 671,-393 671,-461"/>
<text text-anchor="middle" x="583.5" y="-445.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#436</text>
<text text-anchor="middle" x="583.5" y="-430.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement mock</text>
<text text-anchor="middle" x="583.5" y="-415.8" font-family="Times,serif" font-size="14.00" fill="#000000">verification circuit for</text>
<text text-anchor="middle" x="583.5" y="-400.8" font-family="Times,serif" font-size="14.00" fill="#000000">PCD</text>
<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>
</a>
</g>
</g>
<!-- zcash/halo2#436&#45;&gt;zcash/halo2#437 -->
<g id="edge17" class="edge">
<g id="edge14" class="edge">
<title>zcash/halo2#436&#45;&gt;zcash/halo2#437</title>
<path fill="none" stroke="#000000" d="M671.36,-437.87C686.89,-439.67 702.91,-441.46 718,-443 764.08,-447.71 1035.8,-470.7 1195.6,-484.15"/>
<polygon fill="#000000" stroke="#000000" points="1195.743,-487.6741 1206,-485.02 1196.3266,-480.6985 1195.743,-487.6741"/>
<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"/>
</g>
<!-- zcash/halo2#438 -->
<g id="node26" class="node open">
<g id="node24" class="node open">
<title>zcash/halo2#438</title>
<g id="a_node26"><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,-434.5 728,-434.5 728,-381.5 914,-381.5 914,-434.5"/>
<text text-anchor="middle" x="821" y="-419.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#438</text>
<text text-anchor="middle" x="821" y="-404.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement the logic for</text>
<text text-anchor="middle" x="821" y="-389.3" font-family="Times,serif" font-size="14.00" fill="#000000">the PCD verifier circuit</text>
<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>
</a>
</g>
</g>
<!-- zcash/halo2#436&#45;&gt;zcash/halo2#438 -->
<g id="edge18" class="edge">
<g id="edge15" class="edge">
<title>zcash/halo2#436&#45;&gt;zcash/halo2#438</title>
<path fill="none" stroke="#000000" d="M671.26,-419.98C686.33,-418.77 702.11,-417.51 717.54,-416.28"/>
<polygon fill="#000000" stroke="#000000" points="717.9325,-419.7598 727.62,-415.47 717.3718,-412.7823 717.9325,-419.7598"/>
<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"/>
</g>
<!-- zcash/halo2#435 -->
<g id="node27" class="node open">
<g id="node25" class="node open">
<title>zcash/halo2#435</title>
<g id="a_node27"><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,-619 496,-619 496,-551 671,-551 671,-619"/>
<text text-anchor="middle" x="583.5" y="-603.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#435</text>
<text text-anchor="middle" x="583.5" y="-588.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement mock</text>
<text text-anchor="middle" x="583.5" y="-573.8" font-family="Times,serif" font-size="14.00" fill="#000000">verification circuit for</text>
<text text-anchor="middle" x="583.5" y="-558.8" font-family="Times,serif" font-size="14.00" fill="#000000">IVC</text>
<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>
</a>
</g>
</g>
<!-- zcash/halo2#247 -->
<g id="node28" class="node open">
<g id="node26" class="node open">
<title>zcash/halo2#247</title>
<g id="a_node28"><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,-559 728.5,-559 728.5,-491 913.5,-491 913.5,-559"/>
<text text-anchor="middle" x="821" y="-543.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#247</text>
<text text-anchor="middle" x="821" y="-528.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement underlying</text>
<text text-anchor="middle" x="821" y="-513.8" font-family="Times,serif" font-size="14.00" fill="#000000">scaffolding for creating</text>
<text text-anchor="middle" x="821" y="-498.8" font-family="Times,serif" font-size="14.00" fill="#000000">the IVC proof cycle</text>
<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>
</a>
</g>
</g>
<!-- zcash/halo2#435&#45;&gt;zcash/halo2#247 -->
<g id="edge19" class="edge">
<g id="edge16" class="edge">
<title>zcash/halo2#435&#45;&gt;zcash/halo2#247</title>
<path fill="none" stroke="#000000" d="M671.26,-562.83C686.69,-558.93 702.87,-554.84 718.66,-550.86"/>
<polygon fill="#000000" stroke="#000000" points="719.5843,-554.2365 728.42,-548.39 717.8669,-547.4504 719.5843,-554.2365"/>
<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"/>
</g>
<!-- zcash/halo2#247&#45;&gt;zcash/halo2#250 -->
<g id="edge20" class="edge">
<g id="edge17" class="edge">
<title>zcash/halo2#247&#45;&gt;zcash/halo2#250</title>
<path fill="none" stroke="#000000" d="M905.17,-559.06C911.59,-561.99 917.93,-564.98 924,-568 954.53,-583.17 987.53,-602.21 1013.9,-618.12"/>
<polygon fill="#000000" stroke="#000000" points="1012.2316,-621.2012 1022.6,-623.38 1015.8533,-615.211 1012.2316,-621.2012"/>
<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"/>
</g>
<!-- zcash/halo2#247&#45;&gt;zcash/halo2#251 -->
<g id="edge21" class="edge">
<g id="edge18" class="edge">
<title>zcash/halo2#247&#45;&gt;zcash/halo2#251</title>
<path fill="none" stroke="#000000" d="M913.59,-525C925.39,-525 937.58,-525 949.68,-525"/>
<polygon fill="#000000" stroke="#000000" points="949.81,-528.5001 959.81,-525 949.81,-521.5001 949.81,-528.5001"/>
<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"/>
</g>
<!-- zcash/halo2#246 -->
<g id="node29" class="node open">
<g id="node27" class="node open">
<title>zcash/halo2#246</title>
<g id="a_node29"><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,-524.5 262.5,-524.5 262.5,-471.5 441.5,-471.5 441.5,-524.5"/>
<text text-anchor="middle" x="352" y="-509.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#246</text>
<text text-anchor="middle" x="352" y="-494.3" font-family="Times,serif" font-size="14.00" fill="#000000">Create recursive proof</text>
<text text-anchor="middle" x="352" y="-479.3" font-family="Times,serif" font-size="14.00" fill="#000000">structures</text>
<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>
</a>
</g>
</g>
<!-- zcash/halo2#246&#45;&gt;zcash/halo2#436 -->
<g id="edge22" class="edge">
<g id="edge19" class="edge">
<title>zcash/halo2#246&#45;&gt;zcash/halo2#436</title>
<path fill="none" stroke="#000000" d="M438.53,-471.46C454.06,-466.7 470.34,-461.71 486.15,-456.86"/>
<polygon fill="#000000" stroke="#000000" points="487.3879,-460.1412 495.92,-453.86 485.3331,-453.4496 487.3879,-460.1412"/>
<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"/>
</g>
<!-- zcash/halo2#246&#45;&gt;zcash/halo2#435 -->
<g id="edge23" class="edge">
<g id="edge20" class="edge">
<title>zcash/halo2#246&#45;&gt;zcash/halo2#435</title>
<path fill="none" stroke="#000000" d="M423.8,-524.58C432.3,-527.75 440.84,-530.94 449,-534 461.11,-538.54 473.83,-543.34 486.41,-548.09"/>
<polygon fill="#000000" stroke="#000000" points="485.3986,-551.4496 495.99,-551.72 487.879,-544.9037 485.3986,-551.4496"/>
<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"/>
</g>
<!-- zcash/halo2#439 -->
<g id="node30" class="node open">
<g id="node28" class="node open">
<title>zcash/halo2#439</title>
<g id="a_node30"><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,-524.5 18,-524.5 18,-471.5 201,-471.5 201,-524.5"/>
<text text-anchor="middle" x="109.5" y="-509.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#439</text>
<text text-anchor="middle" x="109.5" y="-494.3" font-family="Times,serif" font-size="14.00" fill="#000000">Support split</text>
<text text-anchor="middle" x="109.5" y="-479.3" font-family="Times,serif" font-size="14.00" fill="#000000">accumulation in Halo 2</text>
<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>
</a>
</g>
</g>
<!-- zcash/halo2#439&#45;&gt;zcash/halo2#246 -->
<g id="edge24" class="edge">
<g id="edge21" class="edge">
<title>zcash/halo2#439&#45;&gt;zcash/halo2#246</title>
<path fill="none" stroke="#000000" d="M201.18,-498C217.73,-498 235.06,-498 251.84,-498"/>
<polygon fill="#000000" stroke="#000000" points="252.2,-501.5001 262.2,-498 252.2,-494.5001 252.2,-501.5001"/>
<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"/>
</g>
<!-- zcash/halo2#359 -->
<g id="node31" class="node open">
<g id="node29" class="node open">
<title>zcash/halo2#359</title>
<g id="a_node31"><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,-532.5 485,-532.5 485,-479.5 682,-479.5 682,-532.5"/>
<text text-anchor="middle" x="583.5" y="-517.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#359</text>
<text text-anchor="middle" x="583.5" y="-502.3" font-family="Times,serif" font-size="14.00" fill="#000000">Set up `BaseTranscript`,</text>
<text text-anchor="middle" x="583.5" y="-487.3" font-family="Times,serif" font-size="14.00" fill="#000000">`ScalarTranscript`</text>
<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>
</a>
</g>
</g>
<!-- zcash/halo2#359&#45;&gt;zcash/halo2#247 -->
<g id="edge25" class="edge">
<g id="edge22" class="edge">
<title>zcash/halo2#359&#45;&gt;zcash/halo2#247</title>
<path fill="none" stroke="#000000" d="M682.16,-513.89C694.11,-514.85 706.33,-515.83 718.34,-516.79"/>
<polygon fill="#000000" stroke="#000000" points="718.1131,-520.2829 728.36,-517.59 718.6703,-513.3051 718.1131,-520.2829"/>
<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"/>
</g>
<!-- zcash/halo2#249 -->
<g id="node32" class="node committed">
<g id="node30" class="node committed">
<title>zcash/halo2#249</title>
<g id="a_node32"><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,-803 732.5,-803 732.5,-735 909.5,-735 909.5,-803"/>
<text text-anchor="middle" x="821" y="-787.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#249</text>
<text text-anchor="middle" x="821" y="-772.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement recursion</text>
<text text-anchor="middle" x="821" y="-757.8" font-family="Times,serif" font-size="14.00" fill="#000000">circuit logic for</text>
<text text-anchor="middle" x="821" y="-742.8" font-family="Times,serif" font-size="14.00" fill="#000000">handling public inputs</text>
<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>
</a>
</g>
</g>
<!-- zcash/halo2#249&#45;&gt;zcash/halo2#250 -->
<g id="edge26" class="edge">
<g id="edge23" class="edge">
<title>zcash/halo2#249&#45;&gt;zcash/halo2#250</title>
<path fill="none" stroke="#000000" d="M904.51,-734.96C911.14,-732.01 917.7,-729 924,-726 952.74,-712.3 983.98,-695.65 1009.7,-681.43"/>
<polygon fill="#000000" stroke="#000000" points="1011.5416,-684.4112 1018.6,-676.51 1008.1549,-678.285 1011.5416,-684.4112"/>
<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"/>
</g>
<!-- zcash/halo2#449 -->
<g id="node33" class="node open">
<g id="node31" class="node open">
<title>zcash/halo2#449</title>
<g id="a_node33"><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">
<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>
@ -545,15 +505,15 @@
</g>
</g>
<!-- zcash/halo2#449&#45;&gt;zcash/halo2#426 -->
<g id="edge27" class="edge">
<g id="edge24" class="edge">
<title>zcash/halo2#449&#45;&gt;zcash/halo2#426</title>
<path fill="none" stroke="#000000" d="M196.02,-189.86C215.13,-189.39 235.5,-188.88 255,-188.4"/>
<polygon fill="#000000" stroke="#000000" points="255.1897,-191.8965 265.1,-188.15 255.0164,-184.8986 255.1897,-191.8965"/>
<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"/>
</g>
<!-- zcash/halo2#398 -->
<g id="node34" class="node committed">
<g id="node32" class="node committed">
<title>zcash/halo2#398</title>
<g id="a_node34"><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">
<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>
@ -562,15 +522,15 @@
</g>
</g>
<!-- zcash/halo2#398&#45;&gt;zcash/halo2#426 -->
<g id="edge28" class="edge">
<g id="edge25" class="edge">
<title>zcash/halo2#398&#45;&gt;zcash/halo2#426</title>
<path fill="none" stroke="#000000" d="M197.73,-139.56C216.62,-145.25 236.66,-151.28 255.82,-157.05"/>
<polygon fill="#000000" stroke="#000000" points="254.8655,-160.4178 265.45,-159.95 256.884,-153.7151 254.8655,-160.4178"/>
<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"/>
</g>
<!-- zcash/halo2#480 -->
<g id="node35" class="node open">
<g id="node33" class="node open">
<title>zcash/halo2#480</title>
<g id="a_node35"><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_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">
<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 "/>
@ -582,69 +542,69 @@
</g>
</g>
<!-- zcash/halo2#480&#45;&gt;zcash/halo2#426 -->
<g id="edge29" class="edge">
<g id="edge26" class="edge">
<title>zcash/halo2#480&#45;&gt;zcash/halo2#426</title>
<path fill="none" stroke="#000000" d="M202.48,-68.12C208.16,-70.937 213.71,-73.901 219,-77 255.17,-98.213 291.69,-128.96 317.29,-152.4"/>
<polygon fill="#000000" stroke="#000000" points="315.1549,-155.193 324.87,-159.42 319.9113,-150.0572 315.1549,-155.193"/>
<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"/>
</g>
<!-- zcash/halo2#248 -->
<g id="node36" class="node open">
<g id="node34" class="node open">
<title>zcash/halo2#248</title>
<g id="a_node36"><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,-716.5 719.5,-716.5 719.5,-663.5 922.5,-663.5 922.5,-716.5"/>
<text text-anchor="middle" x="821" y="-701.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#248</text>
<text text-anchor="middle" x="821" y="-686.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement endoscaling in</text>
<text text-anchor="middle" x="821" y="-671.3" font-family="Times,serif" font-size="14.00" fill="#000000">the circuit</text>
<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>
</a>
</g>
</g>
<!-- zcash/halo2#248&#45;&gt;zcash/halo2#250 -->
<g id="edge30" class="edge">
<g id="edge27" class="edge">
<title>zcash/halo2#248&#45;&gt;zcash/halo2#250</title>
<path fill="none" stroke="#000000" d="M922.71,-673.33C935.51,-671.23 948.61,-669.08 961.43,-666.98"/>
<polygon fill="#000000" stroke="#000000" points="962.341,-670.3773 971.64,-665.3 961.2044,-663.4701 962.341,-670.3773"/>
<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"/>
</g>
<!-- zcash/halo2#245 -->
<g id="node37" class="node open">
<g id="node35" class="node open">
<title>zcash/halo2#245</title>
<g id="a_node37"><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,-645 718,-645 718,-577 924,-577 924,-645"/>
<text text-anchor="middle" x="821" y="-629.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#245</text>
<text text-anchor="middle" x="821" y="-614.8" font-family="Times,serif" font-size="14.00" fill="#000000">Remove the need to</text>
<text text-anchor="middle" x="821" y="-599.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="-584.8" font-family="Times,serif" font-size="14.00" fill="#000000">in verifier</text>
<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>
</a>
</g>
</g>
<!-- zcash/halo2#245&#45;&gt;zcash/halo2#250 -->
<g id="edge31" class="edge">
<g id="edge28" class="edge">
<title>zcash/halo2#245&#45;&gt;zcash/halo2#250</title>
<path fill="none" stroke="#000000" d="M924.12,-627.48C936.65,-629.48 949.44,-631.53 961.96,-633.53"/>
<polygon fill="#000000" stroke="#000000" points="961.5036,-637.0014 971.93,-635.12 962.606,-630.0887 961.5036,-637.0014"/>
<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"/>
</g>
<!-- zcash/halo2#312 -->
<g id="node38" class="node open">
<g id="node36" class="node open">
<title>zcash/halo2#312</title>
<g id="a_node38"><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,-1038.5 12,-1038.5 12,-985.5 207,-985.5 207,-1038.5"/>
<text text-anchor="middle" x="109.5" y="-1023.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#312</text>
<text text-anchor="middle" x="109.5" y="-1008.3" font-family="Times,serif" font-size="14.00" fill="#000000">[Book] Document gadget</text>
<text text-anchor="middle" x="109.5" y="-993.3" font-family="Times,serif" font-size="14.00" fill="#000000">API</text>
<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>
</a>
</g>
</g>
<!-- zcash/pasta_curves#23 -->
<g id="node39" class="node open">
<g id="node37" class="node open">
<title>zcash/pasta_curves#23</title>
<g id="a_node39"><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,-1139.5 16.5,-1139.5 16.5,-1135.5 12.5,-1135.5 12.5,-1131.5 16.5,-1131.5 16.5,-1064.5 12.5,-1064.5 12.5,-1060.5 16.5,-1060.5 16.5,-1056.5 202.5,-1056.5 202.5,-1139.5"/>
<polyline fill="none" stroke="#000000" stroke-width="2" points="16.5,-1135.5 20.5,-1135.5 20.5,-1131.5 16.5,-1131.5 "/>
<polyline fill="none" stroke="#000000" stroke-width="2" points="16.5,-1064.5 20.5,-1064.5 20.5,-1060.5 16.5,-1060.5 "/>
<text text-anchor="middle" x="109.5" y="-1124.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/pasta_curves#23</text>
<text text-anchor="middle" x="109.5" y="-1109.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="-1094.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="-1079.3" font-family="Times,serif" font-size="14.00" fill="#000000">points to complete</text>
<text text-anchor="middle" x="109.5" y="-1064.3" font-family="Times,serif" font-size="14.00" fill="#000000">license information</text>
<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>
</a>
</g>
</g>

Before

Width:  |  Height:  |  Size: 45 KiB

After

Width:  |  Height:  |  Size: 43 KiB

View File

@ -5,10 +5,10 @@
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
-->
<!-- Pages: 1 -->
<svg width="1307pt" height="1880pt"
viewBox="0.00 0.00 1307.00 1880.00" 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 1876)">
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-1876 1303,-1876 1303,4 -4,4"/>
<svg width="1307pt" height="1814pt"
viewBox="0.00 0.00 1307.00 1814.00" 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 1810)">
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-1810 1303,-1810 1303,4 -4,4"/>
<!-- zcash/librustzcash#226 -->
<g id="node1" class="node open">
<title>zcash/librustzcash#226</title>
@ -343,128 +343,169 @@
<g id="node21" class="node open">
<title>zcash/librustzcash#498</title>
<g id="a_node21"><a xlink:href="https://github.com/zcash/librustzcash/issues/498" xlink:title="zcash/librustzcash#498&#10;Raise MSRV to 1.56.1 for&#10;`zcash_primitives` and&#10;downstream" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="237.5,-896.5 40.5,-896.5 40.5,-828.5 237.5,-828.5 237.5,-896.5"/>
<text text-anchor="middle" x="139" y="-881.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/librustzcash#498</text>
<text text-anchor="middle" x="139" y="-866.3" font-family="Times,serif" font-size="14.00" fill="#000000">Raise MSRV to 1.56.1 for</text>
<text text-anchor="middle" x="139" y="-851.3" font-family="Times,serif" font-size="14.00" fill="#000000">`zcash_primitives` and</text>
<text text-anchor="middle" x="139" y="-836.3" font-family="Times,serif" font-size="14.00" fill="#000000">downstream</text>
<polygon fill="#c2e0c6" stroke="#000000" points="551.5,-924.5 354.5,-924.5 354.5,-856.5 551.5,-856.5 551.5,-924.5"/>
<text text-anchor="middle" x="453" y="-909.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/librustzcash#498</text>
<text text-anchor="middle" x="453" y="-894.3" font-family="Times,serif" font-size="14.00" fill="#000000">Raise MSRV to 1.56.1 for</text>
<text text-anchor="middle" x="453" y="-879.3" font-family="Times,serif" font-size="14.00" fill="#000000">`zcash_primitives` and</text>
<text text-anchor="middle" x="453" y="-864.3" font-family="Times,serif" font-size="14.00" fill="#000000">downstream</text>
</a>
</g>
</g>
<!-- zcash/librustzcash#249 -->
<!-- zcash/librustzcash#512 -->
<g id="node22" class="node open">
<title>zcash/librustzcash#512</title>
<g id="a_node22"><a xlink:href="https://github.com/zcash/librustzcash/pull/512" xlink:title="zcash/librustzcash#512&#10;CI: Run tests with cargo&#45;&#10;nextest" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" points="831.5,-917 634.5,-917 634.5,-913 630.5,-913 630.5,-909 634.5,-909 634.5,-872 630.5,-872 630.5,-868 634.5,-868 634.5,-864 831.5,-864 831.5,-917"/>
<polyline fill="none" stroke="#000000" points="634.5,-913 638.5,-913 638.5,-909 634.5,-909 "/>
<polyline fill="none" stroke="#000000" points="634.5,-872 638.5,-872 638.5,-868 634.5,-868 "/>
<text text-anchor="middle" x="733" y="-901.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/librustzcash#512</text>
<text text-anchor="middle" x="733" y="-886.8" font-family="Times,serif" font-size="14.00" fill="#000000">CI: Run tests with cargo&#45;</text>
<text text-anchor="middle" x="733" y="-871.8" font-family="Times,serif" font-size="14.00" fill="#000000">nextest</text>
</a>
</g>
</g>
<!-- zcash/librustzcash#498&#45;&gt;zcash/librustzcash#512 -->
<g id="edge16" class="edge">
<title>zcash/librustzcash#498&#45;&gt;zcash/librustzcash#512</title>
<path fill="none" stroke="#000000" d="M551.72,-890.5C575.14,-890.5 600.25,-890.5 624.1,-890.5"/>
<polygon fill="#000000" stroke="#000000" points="624.23,-894.0001 634.23,-890.5 624.23,-887.0001 624.23,-894.0001"/>
</g>
<!-- zcash/librustzcash#249 -->
<g id="node23" class="node open">
<title>zcash/librustzcash#249</title>
<g id="a_node22"><a xlink:href="https://github.com/zcash/librustzcash/issues/249" xlink:title="zcash/librustzcash#249&#10;Product Request: Surface&#10;additional unverified&#10;transaction states in&#10;zcash_client_sqlite" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="239.5,-998 38.5,-998 38.5,-915 239.5,-915 239.5,-998"/>
<text text-anchor="middle" x="139" y="-982.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/librustzcash#249</text>
<text text-anchor="middle" x="139" y="-967.8" font-family="Times,serif" font-size="14.00" fill="#000000">Product Request: Surface</text>
<text text-anchor="middle" x="139" y="-952.8" font-family="Times,serif" font-size="14.00" fill="#000000">additional unverified</text>
<text text-anchor="middle" x="139" y="-937.8" font-family="Times,serif" font-size="14.00" fill="#000000">transaction states in</text>
<text text-anchor="middle" x="139" y="-922.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash_client_sqlite</text>
<g id="a_node23"><a xlink:href="https://github.com/zcash/librustzcash/issues/249" xlink:title="zcash/librustzcash#249&#10;Product Request: Surface&#10;additional unverified&#10;transaction states in&#10;zcash_client_sqlite" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="239.5,-1018 38.5,-1018 38.5,-935 239.5,-935 239.5,-1018"/>
<text text-anchor="middle" x="139" y="-1002.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/librustzcash#249</text>
<text text-anchor="middle" x="139" y="-987.8" font-family="Times,serif" font-size="14.00" fill="#000000">Product Request: Surface</text>
<text text-anchor="middle" x="139" y="-972.8" font-family="Times,serif" font-size="14.00" fill="#000000">additional unverified</text>
<text text-anchor="middle" x="139" y="-957.8" font-family="Times,serif" font-size="14.00" fill="#000000">transaction states in</text>
<text text-anchor="middle" x="139" y="-942.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash_client_sqlite</text>
</a>
</g>
</g>
<!-- zcash/zcash&#45;android&#45;wallet&#45;sdk#238 -->
<g id="node23" class="node open">
<g id="node24" class="node open">
<title>zcash/zcash&#45;android&#45;wallet&#45;sdk#238</title>
<g id="a_node23"><a xlink:href="https://github.com/zcash/zcash-android-wallet-sdk/issues/238" xlink:title="zcash/zcash&#45;android&#45;wallet&#45;sdk#238&#10;Fix the balance display:&#10;Show expected change as&#10;part of balance" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" points="592,-990.5 314,-990.5 314,-922.5 592,-922.5 592,-990.5"/>
<text text-anchor="middle" x="453" y="-975.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash&#45;android&#45;wallet&#45;sdk#238</text>
<text text-anchor="middle" x="453" y="-960.3" font-family="Times,serif" font-size="14.00" fill="#000000">Fix the balance display:</text>
<text text-anchor="middle" x="453" y="-945.3" font-family="Times,serif" font-size="14.00" fill="#000000">Show expected change as</text>
<text text-anchor="middle" x="453" y="-930.3" font-family="Times,serif" font-size="14.00" fill="#000000">part of balance</text>
<g id="a_node24"><a xlink:href="https://github.com/zcash/zcash-android-wallet-sdk/issues/238" xlink:title="zcash/zcash&#45;android&#45;wallet&#45;sdk#238&#10;Fix the balance display:&#10;Show expected change as&#10;part of balance" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" points="592,-1010.5 314,-1010.5 314,-942.5 592,-942.5 592,-1010.5"/>
<text text-anchor="middle" x="453" y="-995.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash&#45;android&#45;wallet&#45;sdk#238</text>
<text text-anchor="middle" x="453" y="-980.3" font-family="Times,serif" font-size="14.00" fill="#000000">Fix the balance display:</text>
<text text-anchor="middle" x="453" y="-965.3" font-family="Times,serif" font-size="14.00" fill="#000000">Show expected change as</text>
<text text-anchor="middle" x="453" y="-950.3" font-family="Times,serif" font-size="14.00" fill="#000000">part of balance</text>
</a>
</g>
</g>
<!-- zcash/librustzcash#249&#45;&gt;zcash/zcash&#45;android&#45;wallet&#45;sdk#238 -->
<g id="edge16" class="edge">
<g id="edge17" class="edge">
<title>zcash/librustzcash#249&#45;&gt;zcash/zcash&#45;android&#45;wallet&#45;sdk#238</title>
<path fill="none" stroke="#000000" d="M239.65,-956.5C260.01,-956.5 281.83,-956.5 303.47,-956.5"/>
<polygon fill="#000000" stroke="#000000" points="303.72,-960.0001 313.72,-956.5 303.72,-953.0001 303.72,-960.0001"/>
<path fill="none" stroke="#000000" d="M239.65,-976.5C260.01,-976.5 281.83,-976.5 303.47,-976.5"/>
<polygon fill="#000000" stroke="#000000" points="303.72,-980.0001 313.72,-976.5 303.72,-973.0001 303.72,-980.0001"/>
</g>
<!-- zcash/librustzcash#456 -->
<g id="node24" class="node open">
<g id="node25" class="node open">
<title>zcash/librustzcash#456</title>
<g id="a_node24"><a xlink:href="https://github.com/zcash/librustzcash/issues/456" xlink:title="zcash/librustzcash#456&#10;Update orchard crate and&#10;NU5 branch ID, and set&#10;activation heights" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="240.5,-1084.5 37.5,-1084.5 37.5,-1016.5 240.5,-1016.5 240.5,-1084.5"/>
<text text-anchor="middle" x="139" y="-1069.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/librustzcash#456</text>
<text text-anchor="middle" x="139" y="-1054.3" font-family="Times,serif" font-size="14.00" fill="#000000">Update orchard crate and</text>
<text text-anchor="middle" x="139" y="-1039.3" font-family="Times,serif" font-size="14.00" fill="#000000">NU5 branch ID, and set</text>
<text text-anchor="middle" x="139" y="-1024.3" font-family="Times,serif" font-size="14.00" fill="#000000">activation heights</text>
<g id="a_node25"><a xlink:href="https://github.com/zcash/librustzcash/issues/456" xlink:title="zcash/librustzcash#456&#10;Update orchard crate and&#10;NU5 branch ID, and set&#10;activation heights" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" points="554.5,-838.5 351.5,-838.5 351.5,-770.5 554.5,-770.5 554.5,-838.5"/>
<text text-anchor="middle" x="453" y="-823.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/librustzcash#456</text>
<text text-anchor="middle" x="453" y="-808.3" font-family="Times,serif" font-size="14.00" fill="#000000">Update orchard crate and</text>
<text text-anchor="middle" x="453" y="-793.3" font-family="Times,serif" font-size="14.00" fill="#000000">NU5 branch ID, and set</text>
<text text-anchor="middle" x="453" y="-778.3" font-family="Times,serif" font-size="14.00" fill="#000000">activation heights</text>
</a>
</g>
</g>
<!-- zcash/librustzcash#513 -->
<g id="node26" class="node open">
<title>zcash/librustzcash#513</title>
<g id="a_node26"><a xlink:href="https://github.com/zcash/librustzcash/issues/513" xlink:title="zcash/librustzcash#513&#10;Raise MSRV to 1.54" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="233,-866.5 45,-866.5 45,-828.5 233,-828.5 233,-866.5"/>
<text text-anchor="middle" x="139" y="-851.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/librustzcash#513</text>
<text text-anchor="middle" x="139" y="-836.3" font-family="Times,serif" font-size="14.00" fill="#000000">Raise MSRV to 1.54</text>
</a>
</g>
</g>
<!-- zcash/librustzcash#513&#45;&gt;zcash/librustzcash#498 -->
<g id="edge18" class="edge">
<title>zcash/librustzcash#513&#45;&gt;zcash/librustzcash#498</title>
<path fill="none" stroke="#000000" d="M233.21,-860.4C268.22,-865.2 308.21,-870.67 344.4,-875.63"/>
<polygon fill="#000000" stroke="#000000" points="344.1182,-879.1239 354.5,-877.01 345.0659,-872.1884 344.1182,-879.1239"/>
</g>
<!-- zcash/librustzcash#513&#45;&gt;zcash/librustzcash#456 -->
<g id="edge19" class="edge">
<title>zcash/librustzcash#513&#45;&gt;zcash/librustzcash#456</title>
<path fill="none" stroke="#000000" d="M233.21,-834.6C267.16,-829.95 305.8,-824.66 341.12,-819.82"/>
<polygon fill="#000000" stroke="#000000" points="342.0386,-823.2268 351.47,-818.4 341.087,-816.2918 342.0386,-823.2268"/>
</g>
<!-- zcash/librustzcash#500 -->
<g id="node25" class="node open">
<g id="node27" class="node open">
<title>zcash/librustzcash#500</title>
<g id="a_node25"><a xlink:href="https://github.com/zcash/librustzcash/issues/500" xlink:title="zcash/librustzcash#500&#10;Remove zcash_client_sqlit&#10;e::wallet::delete_utxos_a&#10;bove" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="242,-1170.5 36,-1170.5 36,-1102.5 242,-1102.5 242,-1170.5"/>
<text text-anchor="middle" x="139" y="-1155.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/librustzcash#500</text>
<text text-anchor="middle" x="139" y="-1140.3" font-family="Times,serif" font-size="14.00" fill="#000000">Remove zcash_client_sqlit</text>
<text text-anchor="middle" x="139" y="-1125.3" font-family="Times,serif" font-size="14.00" fill="#000000">e::wallet::delete_utxos_a</text>
<text text-anchor="middle" x="139" y="-1110.3" font-family="Times,serif" font-size="14.00" fill="#000000">bove</text>
<g id="a_node27"><a xlink:href="https://github.com/zcash/librustzcash/issues/500" xlink:title="zcash/librustzcash#500&#10;Remove zcash_client_sqlit&#10;e::wallet::delete_utxos_a&#10;bove" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="242,-1104.5 36,-1104.5 36,-1036.5 242,-1036.5 242,-1104.5"/>
<text text-anchor="middle" x="139" y="-1089.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/librustzcash#500</text>
<text text-anchor="middle" x="139" y="-1074.3" font-family="Times,serif" font-size="14.00" fill="#000000">Remove zcash_client_sqlit</text>
<text text-anchor="middle" x="139" y="-1059.3" font-family="Times,serif" font-size="14.00" fill="#000000">e::wallet::delete_utxos_a</text>
<text text-anchor="middle" x="139" y="-1044.3" font-family="Times,serif" font-size="14.00" fill="#000000">bove</text>
</a>
</g>
</g>
<!-- zcash/librustzcash#497 -->
<g id="node26" class="node open">
<g id="node28" class="node open">
<title>zcash/librustzcash#497</title>
<g id="a_node26"><a xlink:href="https://github.com/zcash/librustzcash/issues/497" xlink:title="zcash/librustzcash#497&#10;Ensure that `decrypt_and_&#10;store_transaction` only&#10;persists data for&#10;transactions that involve&#10;the wallet." target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="244,-1286.5 34,-1286.5 34,-1188.5 244,-1188.5 244,-1286.5"/>
<text text-anchor="middle" x="139" y="-1271.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/librustzcash#497</text>
<text text-anchor="middle" x="139" y="-1256.3" font-family="Times,serif" font-size="14.00" fill="#000000">Ensure that `decrypt_and_</text>
<text text-anchor="middle" x="139" y="-1241.3" font-family="Times,serif" font-size="14.00" fill="#000000">store_transaction` only</text>
<text text-anchor="middle" x="139" y="-1226.3" font-family="Times,serif" font-size="14.00" fill="#000000">persists data for</text>
<text text-anchor="middle" x="139" y="-1211.3" font-family="Times,serif" font-size="14.00" fill="#000000">transactions that involve</text>
<text text-anchor="middle" x="139" y="-1196.3" font-family="Times,serif" font-size="14.00" fill="#000000">the wallet.</text>
<g id="a_node28"><a xlink:href="https://github.com/zcash/librustzcash/issues/497" xlink:title="zcash/librustzcash#497&#10;Ensure that `decrypt_and_&#10;store_transaction` only&#10;persists data for&#10;transactions that involve&#10;the wallet." target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="244,-1220.5 34,-1220.5 34,-1122.5 244,-1122.5 244,-1220.5"/>
<text text-anchor="middle" x="139" y="-1205.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/librustzcash#497</text>
<text text-anchor="middle" x="139" y="-1190.3" font-family="Times,serif" font-size="14.00" fill="#000000">Ensure that `decrypt_and_</text>
<text text-anchor="middle" x="139" y="-1175.3" font-family="Times,serif" font-size="14.00" fill="#000000">store_transaction` only</text>
<text text-anchor="middle" x="139" y="-1160.3" font-family="Times,serif" font-size="14.00" fill="#000000">persists data for</text>
<text text-anchor="middle" x="139" y="-1145.3" font-family="Times,serif" font-size="14.00" fill="#000000">transactions that involve</text>
<text text-anchor="middle" x="139" y="-1130.3" font-family="Times,serif" font-size="14.00" fill="#000000">the wallet.</text>
</a>
</g>
</g>
<!-- zcash/librustzcash#499 -->
<g id="node27" class="node open">
<g id="node29" class="node open">
<title>zcash/librustzcash#499</title>
<g id="a_node27"><a xlink:href="https://github.com/zcash/librustzcash/issues/499" xlink:title="zcash/librustzcash#499&#10;Document errors for ZIP&#10;321 parsing." target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="236,-1358 42,-1358 42,-1305 236,-1305 236,-1358"/>
<text text-anchor="middle" x="139" y="-1342.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/librustzcash#499</text>
<text text-anchor="middle" x="139" y="-1327.8" font-family="Times,serif" font-size="14.00" fill="#000000">Document errors for ZIP</text>
<text text-anchor="middle" x="139" y="-1312.8" font-family="Times,serif" font-size="14.00" fill="#000000">321 parsing.</text>
<g id="a_node29"><a xlink:href="https://github.com/zcash/librustzcash/issues/499" xlink:title="zcash/librustzcash#499&#10;Document errors for ZIP&#10;321 parsing." target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="236,-1292 42,-1292 42,-1239 236,-1239 236,-1292"/>
<text text-anchor="middle" x="139" y="-1276.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/librustzcash#499</text>
<text text-anchor="middle" x="139" y="-1261.8" font-family="Times,serif" font-size="14.00" fill="#000000">Document errors for ZIP</text>
<text text-anchor="middle" x="139" y="-1246.8" font-family="Times,serif" font-size="14.00" fill="#000000">321 parsing.</text>
</a>
</g>
</g>
<!-- zcash/librustzcash#454 -->
<g id="node28" class="node open">
<g id="node30" class="node open">
<title>zcash/librustzcash#454</title>
<g id="a_node28"><a xlink:href="https://github.com/zcash/librustzcash/issues/454" xlink:title="zcash/librustzcash#454&#10;Refactor `sapling::Note`&#10;to store `d`, not `g_d`" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="236,-1429 42,-1429 42,-1376 236,-1376 236,-1429"/>
<text text-anchor="middle" x="139" y="-1413.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/librustzcash#454</text>
<text text-anchor="middle" x="139" y="-1398.8" font-family="Times,serif" font-size="14.00" fill="#000000">Refactor `sapling::Note`</text>
<text text-anchor="middle" x="139" y="-1383.8" font-family="Times,serif" font-size="14.00" fill="#000000">to store `d`, not `g_d`</text>
<g id="a_node30"><a xlink:href="https://github.com/zcash/librustzcash/issues/454" xlink:title="zcash/librustzcash#454&#10;Refactor `sapling::Note`&#10;to store `d`, not `g_d`" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="236,-1363 42,-1363 42,-1310 236,-1310 236,-1363"/>
<text text-anchor="middle" x="139" y="-1347.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/librustzcash#454</text>
<text text-anchor="middle" x="139" y="-1332.8" font-family="Times,serif" font-size="14.00" fill="#000000">Refactor `sapling::Note`</text>
<text text-anchor="middle" x="139" y="-1317.8" font-family="Times,serif" font-size="14.00" fill="#000000">to store `d`, not `g_d`</text>
</a>
</g>
</g>
<!-- zcash/librustzcash#455 -->
<g id="node29" class="node open">
<g id="node31" class="node open">
<title>zcash/librustzcash#455</title>
<g id="a_node29"><a xlink:href="https://github.com/zcash/librustzcash/issues/455" xlink:title="zcash/librustzcash#455&#10;`zcash_note_encryption`:&#10;Remove `recipient`&#10;parameter from `Domain::n&#10;ote_plaintext_bytes`" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" points="560.5,-1444 345.5,-1444 345.5,-1361 560.5,-1361 560.5,-1444"/>
<text text-anchor="middle" x="453" y="-1428.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/librustzcash#455</text>
<text text-anchor="middle" x="453" y="-1413.8" font-family="Times,serif" font-size="14.00" fill="#000000">`zcash_note_encryption`:</text>
<text text-anchor="middle" x="453" y="-1398.8" font-family="Times,serif" font-size="14.00" fill="#000000">Remove `recipient`</text>
<text text-anchor="middle" x="453" y="-1383.8" font-family="Times,serif" font-size="14.00" fill="#000000">parameter from `Domain::n</text>
<text text-anchor="middle" x="453" y="-1368.8" font-family="Times,serif" font-size="14.00" fill="#000000">ote_plaintext_bytes`</text>
<g id="a_node31"><a xlink:href="https://github.com/zcash/librustzcash/issues/455" xlink:title="zcash/librustzcash#455&#10;`zcash_note_encryption`:&#10;Remove `recipient`&#10;parameter from `Domain::n&#10;ote_plaintext_bytes`" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" points="560.5,-1378 345.5,-1378 345.5,-1295 560.5,-1295 560.5,-1378"/>
<text text-anchor="middle" x="453" y="-1362.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/librustzcash#455</text>
<text text-anchor="middle" x="453" y="-1347.8" font-family="Times,serif" font-size="14.00" fill="#000000">`zcash_note_encryption`:</text>
<text text-anchor="middle" x="453" y="-1332.8" font-family="Times,serif" font-size="14.00" fill="#000000">Remove `recipient`</text>
<text text-anchor="middle" x="453" y="-1317.8" font-family="Times,serif" font-size="14.00" fill="#000000">parameter from `Domain::n</text>
<text text-anchor="middle" x="453" y="-1302.8" font-family="Times,serif" font-size="14.00" fill="#000000">ote_plaintext_bytes`</text>
</a>
</g>
</g>
<!-- zcash/librustzcash#454&#45;&gt;zcash/librustzcash#455 -->
<g id="edge17" class="edge">
<g id="edge20" class="edge">
<title>zcash/librustzcash#454&#45;&gt;zcash/librustzcash#455</title>
<path fill="none" stroke="#000000" d="M236.2,-1402.5C267.54,-1402.5 302.62,-1402.5 335.27,-1402.5"/>
<polygon fill="#000000" stroke="#000000" points="335.32,-1406.0001 345.32,-1402.5 335.32,-1399.0001 335.32,-1406.0001"/>
<path fill="none" stroke="#000000" d="M236.2,-1336.5C267.54,-1336.5 302.62,-1336.5 335.27,-1336.5"/>
<polygon fill="#000000" stroke="#000000" points="335.32,-1340.0001 345.32,-1336.5 335.32,-1333.0001 335.32,-1340.0001"/>
</g>
<!-- zcash/librustzcash#387 -->
<g id="node30" class="node open">
<g id="node32" class="node open">
<title>zcash/librustzcash#387</title>
<g id="a_node30"><a xlink:href="https://github.com/zcash/librustzcash/issues/387" xlink:title="zcash/librustzcash#387&#10;Implement Unified Address&#10;key derivation" target="_blank">
<g id="a_node32"><a xlink:href="https://github.com/zcash/librustzcash/issues/387" xlink:title="zcash/librustzcash#387&#10;Implement Unified Address&#10;key derivation" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="246.5,-191 31.5,-191 31.5,-138 246.5,-138 246.5,-191"/>
<text text-anchor="middle" x="139" y="-175.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/librustzcash#387</text>
<text text-anchor="middle" x="139" y="-160.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement Unified Address</text>
@ -473,15 +514,15 @@
</g>
</g>
<!-- zcash/librustzcash#387&#45;&gt;zcash/librustzcash#403 -->
<g id="edge18" class="edge">
<g id="edge21" class="edge">
<title>zcash/librustzcash#387&#45;&gt;zcash/librustzcash#403</title>
<path fill="none" stroke="#000000" d="M246.62,-152.85C279.68,-149.27 316,-145.33 348.83,-141.78"/>
<polygon fill="#000000" stroke="#000000" points="349.3348,-145.2459 358.9,-140.69 348.5814,-138.2866 349.3348,-145.2459"/>
</g>
<!-- zcash/librustzcash#406 -->
<g id="node31" class="node open">
<g id="node33" class="node open">
<title>zcash/librustzcash#406</title>
<g id="a_node31"><a xlink:href="https://github.com/zcash/librustzcash/issues/406" xlink:title="zcash/librustzcash#406&#10;Add Orchard support to&#10;the transaction builder" target="_blank">
<g id="a_node33"><a xlink:href="https://github.com/zcash/librustzcash/issues/406" xlink:title="zcash/librustzcash#406&#10;Add Orchard support to&#10;the transaction builder" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="233,-120 45,-120 45,-67 233,-67 233,-120"/>
<text text-anchor="middle" x="139" y="-104.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/librustzcash#406</text>
<text text-anchor="middle" x="139" y="-89.8" font-family="Times,serif" font-size="14.00" fill="#000000">Add Orchard support to</text>
@ -490,108 +531,108 @@
</g>
</g>
<!-- zcash/librustzcash#406&#45;&gt;zcash/librustzcash#403 -->
<g id="edge19" class="edge">
<g id="edge22" class="edge">
<title>zcash/librustzcash#406&#45;&gt;zcash/librustzcash#403</title>
<path fill="none" stroke="#000000" d="M233.21,-104.6C269.54,-108.88 311.23,-113.8 348.48,-118.18"/>
<polygon fill="#000000" stroke="#000000" points="348.5176,-121.7089 358.86,-119.41 349.3414,-114.7575 348.5176,-121.7089"/>
</g>
<!-- zcash/zcash&#45;android&#45;wallet&#45;sdk#240 -->
<g id="node32" class="node open">
<g id="node34" class="node open">
<title>zcash/zcash&#45;android&#45;wallet&#45;sdk#240</title>
<g id="a_node32"><a xlink:href="https://github.com/zcash/zcash-android-wallet-sdk/issues/240" xlink:title="zcash/zcash&#45;android&#45;wallet&#45;sdk#240&#10;Make the SDK database&#10;more robust" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="278,-1523 0,-1523 0,-1470 278,-1470 278,-1523"/>
<text text-anchor="middle" x="139" y="-1507.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash&#45;android&#45;wallet&#45;sdk#240</text>
<text text-anchor="middle" x="139" y="-1492.8" font-family="Times,serif" font-size="14.00" fill="#000000">Make the SDK database</text>
<text text-anchor="middle" x="139" y="-1477.8" font-family="Times,serif" font-size="14.00" fill="#000000">more robust</text>
<g id="a_node34"><a xlink:href="https://github.com/zcash/zcash-android-wallet-sdk/issues/240" xlink:title="zcash/zcash&#45;android&#45;wallet&#45;sdk#240&#10;Make the SDK database&#10;more robust" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="278,-1457 0,-1457 0,-1404 278,-1404 278,-1457"/>
<text text-anchor="middle" x="139" y="-1441.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash&#45;android&#45;wallet&#45;sdk#240</text>
<text text-anchor="middle" x="139" y="-1426.8" font-family="Times,serif" font-size="14.00" fill="#000000">Make the SDK database</text>
<text text-anchor="middle" x="139" y="-1411.8" font-family="Times,serif" font-size="14.00" fill="#000000">more robust</text>
</a>
</g>
</g>
<!-- zcash/zcash&#45;android&#45;wallet&#45;sdk#239 -->
<g id="node33" class="node open">
<g id="node35" class="node open">
<title>zcash/zcash&#45;android&#45;wallet&#45;sdk#239</title>
<g id="a_node33"><a xlink:href="https://github.com/zcash/zcash-android-wallet-sdk/issues/239" xlink:title="zcash/zcash&#45;android&#45;wallet&#45;sdk#239&#10;Get rid of the&#10;PendingTransaction&#10;Database" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" points="592,-1530.5 314,-1530.5 314,-1462.5 592,-1462.5 592,-1530.5"/>
<text text-anchor="middle" x="453" y="-1515.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash&#45;android&#45;wallet&#45;sdk#239</text>
<text text-anchor="middle" x="453" y="-1500.3" font-family="Times,serif" font-size="14.00" fill="#000000">Get rid of the</text>
<text text-anchor="middle" x="453" y="-1485.3" font-family="Times,serif" font-size="14.00" fill="#000000">PendingTransaction</text>
<text text-anchor="middle" x="453" y="-1470.3" font-family="Times,serif" font-size="14.00" fill="#000000">Database</text>
<g id="a_node35"><a xlink:href="https://github.com/zcash/zcash-android-wallet-sdk/issues/239" xlink:title="zcash/zcash&#45;android&#45;wallet&#45;sdk#239&#10;Get rid of the&#10;PendingTransaction&#10;Database" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" points="592,-1464.5 314,-1464.5 314,-1396.5 592,-1396.5 592,-1464.5"/>
<text text-anchor="middle" x="453" y="-1449.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash&#45;android&#45;wallet&#45;sdk#239</text>
<text text-anchor="middle" x="453" y="-1434.3" font-family="Times,serif" font-size="14.00" fill="#000000">Get rid of the</text>
<text text-anchor="middle" x="453" y="-1419.3" font-family="Times,serif" font-size="14.00" fill="#000000">PendingTransaction</text>
<text text-anchor="middle" x="453" y="-1404.3" font-family="Times,serif" font-size="14.00" fill="#000000">Database</text>
</a>
</g>
</g>
<!-- zcash/zcash&#45;android&#45;wallet&#45;sdk#240&#45;&gt;zcash/zcash&#45;android&#45;wallet&#45;sdk#239 -->
<g id="edge20" class="edge">
<g id="edge23" class="edge">
<title>zcash/zcash&#45;android&#45;wallet&#45;sdk#240&#45;&gt;zcash/zcash&#45;android&#45;wallet&#45;sdk#239</title>
<path fill="none" stroke="#000000" d="M278.1,-1496.5C286.49,-1496.5 294.96,-1496.5 303.4,-1496.5"/>
<polygon fill="#000000" stroke="#000000" points="303.67,-1500.0001 313.67,-1496.5 303.67,-1493.0001 303.67,-1500.0001"/>
<path fill="none" stroke="#000000" d="M278.1,-1430.5C286.49,-1430.5 294.96,-1430.5 303.4,-1430.5"/>
<polygon fill="#000000" stroke="#000000" points="303.67,-1434.0001 313.67,-1430.5 303.67,-1427.0001 303.67,-1434.0001"/>
</g>
<!-- zcash/zcash&#45;android&#45;wallet&#45;sdk#295 -->
<g id="node34" class="node open">
<g id="node36" class="node open">
<title>zcash/zcash&#45;android&#45;wallet&#45;sdk#295</title>
<g id="a_node34"><a xlink:href="https://github.com/zcash/zcash-android-wallet-sdk/issues/295" xlink:title="zcash/zcash&#45;android&#45;wallet&#45;sdk#295&#10;Repackaging SDK Classes &#45;&#10;Phase 3" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="278,-1602 0,-1602 0,-1549 278,-1549 278,-1602"/>
<text text-anchor="middle" x="139" y="-1586.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash&#45;android&#45;wallet&#45;sdk#295</text>
<text text-anchor="middle" x="139" y="-1571.8" font-family="Times,serif" font-size="14.00" fill="#000000">Repackaging SDK Classes &#45;</text>
<text text-anchor="middle" x="139" y="-1556.8" font-family="Times,serif" font-size="14.00" fill="#000000">Phase 3</text>
<g id="a_node36"><a xlink:href="https://github.com/zcash/zcash-android-wallet-sdk/issues/295" xlink:title="zcash/zcash&#45;android&#45;wallet&#45;sdk#295&#10;Repackaging SDK Classes &#45;&#10;Phase 3" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="278,-1536 0,-1536 0,-1483 278,-1483 278,-1536"/>
<text text-anchor="middle" x="139" y="-1520.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash&#45;android&#45;wallet&#45;sdk#295</text>
<text text-anchor="middle" x="139" y="-1505.8" font-family="Times,serif" font-size="14.00" fill="#000000">Repackaging SDK Classes &#45;</text>
<text text-anchor="middle" x="139" y="-1490.8" font-family="Times,serif" font-size="14.00" fill="#000000">Phase 3</text>
</a>
</g>
</g>
<!-- zcash/zcash&#45;android&#45;wallet&#45;sdk#296 -->
<g id="node35" class="node open">
<g id="node37" class="node open">
<title>zcash/zcash&#45;android&#45;wallet&#45;sdk#296</title>
<g id="a_node35"><a xlink:href="https://github.com/zcash/zcash-android-wallet-sdk/issues/296" xlink:title="zcash/zcash&#45;android&#45;wallet&#45;sdk#296&#10;Repackaging SDK Classes &#45;&#10;Phase 4" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" points="592,-1602 314,-1602 314,-1549 592,-1549 592,-1602"/>
<text text-anchor="middle" x="453" y="-1586.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash&#45;android&#45;wallet&#45;sdk#296</text>
<text text-anchor="middle" x="453" y="-1571.8" font-family="Times,serif" font-size="14.00" fill="#000000">Repackaging SDK Classes &#45;</text>
<text text-anchor="middle" x="453" y="-1556.8" font-family="Times,serif" font-size="14.00" fill="#000000">Phase 4</text>
<g id="a_node37"><a xlink:href="https://github.com/zcash/zcash-android-wallet-sdk/issues/296" xlink:title="zcash/zcash&#45;android&#45;wallet&#45;sdk#296&#10;Repackaging SDK Classes &#45;&#10;Phase 4" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" points="592,-1536 314,-1536 314,-1483 592,-1483 592,-1536"/>
<text text-anchor="middle" x="453" y="-1520.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash&#45;android&#45;wallet&#45;sdk#296</text>
<text text-anchor="middle" x="453" y="-1505.8" font-family="Times,serif" font-size="14.00" fill="#000000">Repackaging SDK Classes &#45;</text>
<text text-anchor="middle" x="453" y="-1490.8" font-family="Times,serif" font-size="14.00" fill="#000000">Phase 4</text>
</a>
</g>
</g>
<!-- zcash/zcash&#45;android&#45;wallet&#45;sdk#295&#45;&gt;zcash/zcash&#45;android&#45;wallet&#45;sdk#296 -->
<g id="edge21" class="edge">
<g id="edge24" class="edge">
<title>zcash/zcash&#45;android&#45;wallet&#45;sdk#295&#45;&gt;zcash/zcash&#45;android&#45;wallet&#45;sdk#296</title>
<path fill="none" stroke="#000000" d="M278.1,-1575.5C286.49,-1575.5 294.96,-1575.5 303.4,-1575.5"/>
<polygon fill="#000000" stroke="#000000" points="303.67,-1579.0001 313.67,-1575.5 303.67,-1572.0001 303.67,-1579.0001"/>
<path fill="none" stroke="#000000" d="M278.1,-1509.5C286.49,-1509.5 294.96,-1509.5 303.4,-1509.5"/>
<polygon fill="#000000" stroke="#000000" points="303.67,-1513.0001 313.67,-1509.5 303.67,-1506.0001 303.67,-1513.0001"/>
</g>
<!-- zcash/ZcashLightClientKit#320 -->
<g id="node36" class="node open">
<g id="node38" class="node open">
<title>zcash/ZcashLightClientKit#320</title>
<g id="a_node36"><a xlink:href="https://github.com/zcash/ZcashLightClientKit/issues/320" xlink:title="zcash/ZcashLightClientKit#320&#10;ZIP&#45;321 Request Parsing&#10;API" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="262,-1673 16,-1673 16,-1620 262,-1620 262,-1673"/>
<text text-anchor="middle" x="139" y="-1657.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/ZcashLightClientKit#320</text>
<text text-anchor="middle" x="139" y="-1642.8" font-family="Times,serif" font-size="14.00" fill="#000000">ZIP&#45;321 Request Parsing</text>
<text text-anchor="middle" x="139" y="-1627.8" font-family="Times,serif" font-size="14.00" fill="#000000">API</text>
<g id="a_node38"><a xlink:href="https://github.com/zcash/ZcashLightClientKit/issues/320" xlink:title="zcash/ZcashLightClientKit#320&#10;ZIP&#45;321 Request Parsing&#10;API" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="262,-1607 16,-1607 16,-1554 262,-1554 262,-1607"/>
<text text-anchor="middle" x="139" y="-1591.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/ZcashLightClientKit#320</text>
<text text-anchor="middle" x="139" y="-1576.8" font-family="Times,serif" font-size="14.00" fill="#000000">ZIP&#45;321 Request Parsing</text>
<text text-anchor="middle" x="139" y="-1561.8" font-family="Times,serif" font-size="14.00" fill="#000000">API</text>
</a>
</g>
</g>
<!-- zcash/ZcashLightClientKit#319 -->
<g id="node37" class="node open">
<g id="node39" class="node open">
<title>zcash/ZcashLightClientKit#319</title>
<g id="a_node37"><a xlink:href="https://github.com/zcash/ZcashLightClientKit/issues/319" xlink:title="zcash/ZcashLightClientKit#319&#10;ZIP&#45;321 Request&#10;Generation API" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="262,-1744 16,-1744 16,-1691 262,-1691 262,-1744"/>
<text text-anchor="middle" x="139" y="-1728.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/ZcashLightClientKit#319</text>
<text text-anchor="middle" x="139" y="-1713.8" font-family="Times,serif" font-size="14.00" fill="#000000">ZIP&#45;321 Request</text>
<text text-anchor="middle" x="139" y="-1698.8" font-family="Times,serif" font-size="14.00" fill="#000000">Generation API</text>
<g id="a_node39"><a xlink:href="https://github.com/zcash/ZcashLightClientKit/issues/319" xlink:title="zcash/ZcashLightClientKit#319&#10;ZIP&#45;321 Request&#10;Generation API" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="262,-1678 16,-1678 16,-1625 262,-1625 262,-1678"/>
<text text-anchor="middle" x="139" y="-1662.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/ZcashLightClientKit#319</text>
<text text-anchor="middle" x="139" y="-1647.8" font-family="Times,serif" font-size="14.00" fill="#000000">ZIP&#45;321 Request</text>
<text text-anchor="middle" x="139" y="-1632.8" font-family="Times,serif" font-size="14.00" fill="#000000">Generation API</text>
</a>
</g>
</g>
<!-- zcash/ZcashLightClientKit#321 -->
<g id="node38" class="node open">
<g id="node40" class="node open">
<title>zcash/ZcashLightClientKit#321</title>
<g id="a_node38"><a xlink:href="https://github.com/zcash/ZcashLightClientKit/issues/321" xlink:title="zcash/ZcashLightClientKit#321&#10;Validate UA" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="262,-1800.5 16,-1800.5 16,-1762.5 262,-1762.5 262,-1800.5"/>
<text text-anchor="middle" x="139" y="-1785.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/ZcashLightClientKit#321</text>
<text text-anchor="middle" x="139" y="-1770.3" font-family="Times,serif" font-size="14.00" fill="#000000">Validate UA</text>
<g id="a_node40"><a xlink:href="https://github.com/zcash/ZcashLightClientKit/issues/321" xlink:title="zcash/ZcashLightClientKit#321&#10;Validate UA" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="262,-1734.5 16,-1734.5 16,-1696.5 262,-1696.5 262,-1734.5"/>
<text text-anchor="middle" x="139" y="-1719.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/ZcashLightClientKit#321</text>
<text text-anchor="middle" x="139" y="-1704.3" font-family="Times,serif" font-size="14.00" fill="#000000">Validate UA</text>
</a>
</g>
</g>
<!-- zcash/zcash&#45;android&#45;wallet#49 -->
<g id="node39" class="node open">
<g id="node41" class="node open">
<title>zcash/zcash&#45;android&#45;wallet#49</title>
<g id="a_node39"><a xlink:href="https://github.com/zcash/zcash-android-wallet/issues/49" xlink:title="zcash/zcash&#45;android&#45;wallet#49&#10;Android: Send: Press and&#10;Hold UX" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="258.5,-1872 19.5,-1872 19.5,-1819 258.5,-1819 258.5,-1872"/>
<text text-anchor="middle" x="139" y="-1856.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash&#45;android&#45;wallet#49</text>
<text text-anchor="middle" x="139" y="-1841.8" font-family="Times,serif" font-size="14.00" fill="#000000">Android: Send: Press and</text>
<text text-anchor="middle" x="139" y="-1826.8" font-family="Times,serif" font-size="14.00" fill="#000000">Hold UX</text>
<g id="a_node41"><a xlink:href="https://github.com/zcash/zcash-android-wallet/issues/49" xlink:title="zcash/zcash&#45;android&#45;wallet#49&#10;Android: Send: Press and&#10;Hold UX" target="_blank">
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="258.5,-1806 19.5,-1806 19.5,-1753 258.5,-1753 258.5,-1806"/>
<text text-anchor="middle" x="139" y="-1790.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash&#45;android&#45;wallet#49</text>
<text text-anchor="middle" x="139" y="-1775.8" font-family="Times,serif" font-size="14.00" fill="#000000">Android: Send: Press and</text>
<text text-anchor="middle" x="139" y="-1760.8" font-family="Times,serif" font-size="14.00" fill="#000000">Hold UX</text>
</a>
</g>
</g>

Before

Width:  |  Height:  |  Size: 46 KiB

After

Width:  |  Height:  |  Size: 48 KiB

File diff suppressed because it is too large Load Diff

Before

Width:  |  Height:  |  Size: 139 KiB

After

Width:  |  Height:  |  Size: 142 KiB