diff --git a/zcash-core-dag.svg b/zcash-core-dag.svg
index 2251054c..22b0716d 100644
--- a/zcash-core-dag.svg
+++ b/zcash-core-dag.svg
@@ -4,10 +4,10 @@
 <!-- Generated by graphviz version 2.40.1 (20161225.0304)
  -->
 <!-- Pages: 1 -->
-<svg width="2909pt" height="3012pt"
- viewBox="0.00 0.00 2909.00 3011.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 3007.5)">
-<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-3007.5 2905,-3007.5 2905,4 -4,4"/>
+<svg width="2909pt" height="3015pt"
+ viewBox="0.00 0.00 2909.00 3014.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 3010.5)">
+<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-3010.5 2905,-3010.5 2905,4 -4,4"/>
 <!-- zcash/zcash#4506 -->
 <g id="node1" class="node">
 <title>zcash/zcash#4506</title>
@@ -222,7 +222,7 @@
 <!-- zcash/zcash#4786&#45;&gt;zcash/halo2#73 -->
 <g id="edge12" class="edge">
 <title>zcash/zcash#4786&#45;&gt;zcash/halo2#73</title>
-<path fill="none" stroke="#000000" d="M1030.2,-2068.8C1119.5,-2005.1 1322.5,-1867.7 1513,-1792 1530.6,-1785 1550,-1779.2 1568.8,-1774.5"/>
+<path fill="none" stroke="#000000" d="M1036.8,-2068.9C1150.5,-1996.5 1414.7,-1831.1 1513,-1792 1530.6,-1785 1550,-1779.2 1568.8,-1774.5"/>
 <polygon fill="#000000" stroke="#000000" points="1569.7196,-1777.8783 1578.6,-1772.1 1568.0545,-1771.0792 1569.7196,-1777.8783"/>
 </g>
 <!-- zcash/zcash#4707 -->
@@ -265,18 +265,18 @@
 <g id="node16" class="node">
 <title>zcash/orchard#4</title>
 <g id="a_node16"><a xlink:href="https://github.com/zcash/orchard/issues/4" xlink:title="zcash/orchard#4&#10;Implement the Action&#10;circuit" target="_blank">
-<polygon fill="#c2e0c6" stroke="#000000" points="2093,-1734.5 1920,-1734.5 1920,-1681.5 2093,-1681.5 2093,-1734.5"/>
-<text text-anchor="middle" x="2006.5" y="-1719.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/orchard#4</text>
-<text text-anchor="middle" x="2006.5" y="-1704.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement the Action</text>
-<text text-anchor="middle" x="2006.5" y="-1689.3" font-family="Times,serif" font-size="14.00" fill="#000000">circuit</text>
+<polygon fill="#c2e0c6" stroke="#000000" points="2093,-1748.5 1920,-1748.5 1920,-1695.5 2093,-1695.5 2093,-1748.5"/>
+<text text-anchor="middle" x="2006.5" y="-1733.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/orchard#4</text>
+<text text-anchor="middle" x="2006.5" y="-1718.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement the Action</text>
+<text text-anchor="middle" x="2006.5" y="-1703.3" font-family="Times,serif" font-size="14.00" fill="#000000">circuit</text>
 </a>
 </g>
 </g>
 <!-- zcash/halo2#73&#45;&gt;zcash/orchard#4 -->
 <g id="edge15" class="edge">
 <title>zcash/halo2#73&#45;&gt;zcash/orchard#4</title>
-<path fill="none" stroke="#000000" d="M1752.4,-1744.5C1800.4,-1737.6 1860.2,-1729 1909.7,-1721.9"/>
-<polygon fill="#000000" stroke="#000000" points="1910.2819,-1725.3528 1919.7,-1720.5 1909.3113,-1718.4204 1910.2819,-1725.3528"/>
+<path fill="none" stroke="#000000" d="M1752.4,-1748.1C1800.4,-1743.2 1860.2,-1737 1909.7,-1731.9"/>
+<polygon fill="#000000" stroke="#000000" points="1910.0979,-1735.3778 1919.7,-1730.9 1909.4013,-1728.4125 1910.0979,-1735.3778"/>
 </g>
 <!-- zcash/librustzcash#320 -->
 <g id="node17" class="node">
@@ -332,25 +332,25 @@
 <!-- zcash/orchard#4&#45;&gt;zcash/librustzcash#320 -->
 <g id="edge19" class="edge">
 <title>zcash/orchard#4&#45;&gt;zcash/librustzcash#320</title>
-<path fill="none" stroke="#000000" d="M2076.5,-1734.6C2105.1,-1748.2 2136.6,-1767.3 2159,-1792 2238.3,-1879.4 2277.6,-2018.1 2292.6,-2083.6"/>
-<polygon fill="#000000" stroke="#000000" points="2289.1945,-2084.4095 2294.8,-2093.4 2296.0245,-2082.8762 2289.1945,-2084.4095"/>
+<path fill="none" stroke="#000000" d="M2093,-1748.6C2116.7,-1759.2 2140.8,-1773.3 2159,-1792 2241.6,-1876.6 2279.4,-2017.3 2293.3,-2083.5"/>
+<polygon fill="#000000" stroke="#000000" points="2289.889,-2084.2911 2295.3,-2093.4 2296.7504,-2082.9049 2289.889,-2084.2911"/>
 </g>
 <!-- zcash/orchard#35 -->
 <g id="node20" class="node">
 <title>zcash/orchard#35</title>
 <g id="a_node20"><a xlink:href="https://github.com/zcash/orchard/issues/35" xlink:title="zcash/orchard#35&#10;Transaction building&#10;support" target="_blank">
-<polygon fill="#fad8c7" stroke="#000000" points="2382.5,-1734.5 2217.5,-1734.5 2217.5,-1681.5 2382.5,-1681.5 2382.5,-1734.5"/>
-<text text-anchor="middle" x="2300" y="-1719.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/orchard#35</text>
-<text text-anchor="middle" x="2300" y="-1704.3" font-family="Times,serif" font-size="14.00" fill="#000000">Transaction building</text>
-<text text-anchor="middle" x="2300" y="-1689.3" font-family="Times,serif" font-size="14.00" fill="#000000">support</text>
+<polygon fill="#fad8c7" stroke="#000000" points="2382.5,-1748.5 2217.5,-1748.5 2217.5,-1695.5 2382.5,-1695.5 2382.5,-1748.5"/>
+<text text-anchor="middle" x="2300" y="-1733.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/orchard#35</text>
+<text text-anchor="middle" x="2300" y="-1718.3" font-family="Times,serif" font-size="14.00" fill="#000000">Transaction building</text>
+<text text-anchor="middle" x="2300" y="-1703.3" font-family="Times,serif" font-size="14.00" fill="#000000">support</text>
 </a>
 </g>
 </g>
 <!-- zcash/orchard#4&#45;&gt;zcash/orchard#35 -->
 <g id="edge20" class="edge">
 <title>zcash/orchard#4&#45;&gt;zcash/orchard#35</title>
-<path fill="none" stroke="#000000" d="M2093.4,-1708C2129.2,-1708 2170.8,-1708 2207.3,-1708"/>
-<polygon fill="#000000" stroke="#000000" points="2207.4,-1711.5001 2217.4,-1708 2207.4,-1704.5001 2207.4,-1711.5001"/>
+<path fill="none" stroke="#000000" d="M2093.4,-1722C2129.2,-1722 2170.8,-1722 2207.3,-1722"/>
+<polygon fill="#000000" stroke="#000000" points="2207.4,-1725.5001 2217.4,-1722 2207.4,-1718.5001 2207.4,-1725.5001"/>
 </g>
 <!-- zcash/orchard#32 -->
 <g id="node21" class="node">
@@ -373,96 +373,96 @@
 <g id="node22" class="node">
 <title>zcash/orchard#33</title>
 <g id="a_node22"><a xlink:href="https://github.com/zcash/orchard/issues/33" xlink:title="zcash/orchard#33&#10;Implement note commitment&#10;tree logic for Orchard" target="_blank">
-<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="2119.5,-2620.5 1893.5,-2620.5 1893.5,-2567.5 2119.5,-2567.5 2119.5,-2620.5"/>
-<text text-anchor="middle" x="2006.5" y="-2605.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/orchard#33</text>
-<text text-anchor="middle" x="2006.5" y="-2590.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement note commitment</text>
-<text text-anchor="middle" x="2006.5" y="-2575.3" font-family="Times,serif" font-size="14.00" fill="#000000">tree logic for Orchard</text>
+<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="2119.5,-2648.5 1893.5,-2648.5 1893.5,-2595.5 2119.5,-2595.5 2119.5,-2648.5"/>
+<text text-anchor="middle" x="2006.5" y="-2633.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/orchard#33</text>
+<text text-anchor="middle" x="2006.5" y="-2618.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement note commitment</text>
+<text text-anchor="middle" x="2006.5" y="-2603.3" font-family="Times,serif" font-size="14.00" fill="#000000">tree logic for Orchard</text>
 </a>
 </g>
 </g>
 <!-- zcash/orchard#31&#45;&gt;zcash/orchard#33 -->
 <g id="edge22" class="edge">
 <title>zcash/orchard#31&#45;&gt;zcash/orchard#33</title>
-<path fill="none" stroke="#000000" d="M1721.2,-2091.7C1754.7,-2110.7 1795.2,-2139.5 1818,-2177 1871.6,-2265 1812.1,-2311.9 1854,-2406 1881.3,-2467.3 1933.8,-2525.3 1969.5,-2560.2"/>
-<polygon fill="#000000" stroke="#000000" points="1967.261,-2562.9022 1976.9,-2567.3 1972.1073,-2557.8511 1967.261,-2562.9022"/>
+<path fill="none" stroke="#000000" d="M1721.2,-2091.7C1754.7,-2110.7 1795.2,-2139.5 1818,-2177 1871.6,-2265 1815.3,-2310.5 1854,-2406 1882.9,-2477.2 1939.2,-2547.6 1974.7,-2587.8"/>
+<polygon fill="#000000" stroke="#000000" points="1972.2571,-2590.3213 1981.5,-2595.5 1977.504,-2585.6876 1972.2571,-2590.3213"/>
 </g>
 <!-- zcash/zcash#5021 -->
 <g id="node23" class="node">
 <title>zcash/zcash#5021</title>
 <g id="a_node23"><a xlink:href="https://github.com/zcash/zcash/issues/5021" xlink:title="zcash/zcash#5021&#10;Add Orchard support to&#10;transaction builder" target="_blank">
-<polygon fill="#c2e0c6" stroke="#000000" points="2642.5,-1734.5 2454.5,-1734.5 2454.5,-1681.5 2642.5,-1681.5 2642.5,-1734.5"/>
-<text text-anchor="middle" x="2548.5" y="-1719.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5021</text>
-<text text-anchor="middle" x="2548.5" y="-1704.3" font-family="Times,serif" font-size="14.00" fill="#000000">Add Orchard support to</text>
-<text text-anchor="middle" x="2548.5" y="-1689.3" font-family="Times,serif" font-size="14.00" fill="#000000">transaction builder</text>
+<polygon fill="#c2e0c6" stroke="#000000" points="2642.5,-1748.5 2454.5,-1748.5 2454.5,-1695.5 2642.5,-1695.5 2642.5,-1748.5"/>
+<text text-anchor="middle" x="2548.5" y="-1733.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5021</text>
+<text text-anchor="middle" x="2548.5" y="-1718.3" font-family="Times,serif" font-size="14.00" fill="#000000">Add Orchard support to</text>
+<text text-anchor="middle" x="2548.5" y="-1703.3" font-family="Times,serif" font-size="14.00" fill="#000000">transaction builder</text>
 </a>
 </g>
 </g>
 <!-- zcash/orchard#35&#45;&gt;zcash/zcash#5021 -->
 <g id="edge23" class="edge">
 <title>zcash/orchard#35&#45;&gt;zcash/zcash#5021</title>
-<path fill="none" stroke="#000000" d="M2382.7,-1708C2402.3,-1708 2423.4,-1708 2443.8,-1708"/>
-<polygon fill="#000000" stroke="#000000" points="2444.1,-1711.5001 2454.1,-1708 2444.1,-1704.5001 2444.1,-1711.5001"/>
+<path fill="none" stroke="#000000" d="M2382.7,-1722C2402.3,-1722 2423.4,-1722 2443.8,-1722"/>
+<polygon fill="#000000" stroke="#000000" points="2444.1,-1725.5001 2454.1,-1722 2444.1,-1718.5001 2444.1,-1725.5001"/>
 </g>
 <!-- zcash/orchard#32&#45;&gt;zcash/orchard#35 -->
 <g id="edge39" class="edge">
 <title>zcash/orchard#32&#45;&gt;zcash/orchard#35</title>
-<path fill="none" stroke="#000000" d="M2071.6,-1801.4C2117.2,-1782.7 2178.2,-1757.8 2225.7,-1738.4"/>
-<polygon fill="#000000" stroke="#000000" points="2227.0668,-1741.6225 2235,-1734.6 2224.4191,-1735.1425 2227.0668,-1741.6225"/>
+<path fill="none" stroke="#000000" d="M2080.2,-1801.4C2121.8,-1786.4 2173.9,-1767.5 2216.9,-1752"/>
+<polygon fill="#000000" stroke="#000000" points="2218.3038,-1755.2136 2226.5,-1748.5 2215.906,-1748.6371 2218.3038,-1755.2136"/>
 </g>
 <!-- zcash/zcash#5020 -->
 <g id="node36" class="node">
 <title>zcash/zcash#5020</title>
 <g id="a_node36"><a xlink:href="https://github.com/zcash/zcash/issues/5020" xlink:title="zcash/zcash#5020&#10;Add Orchard note&#10;detection and storage to&#10;the wallet" target="_blank">
-<polygon fill="#c2e0c6" stroke="#000000" points="2644.5,-1627 2452.5,-1627 2452.5,-1559 2644.5,-1559 2644.5,-1627"/>
-<text text-anchor="middle" x="2548.5" y="-1611.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5020</text>
-<text text-anchor="middle" x="2548.5" y="-1596.8" font-family="Times,serif" font-size="14.00" fill="#000000">Add Orchard note</text>
-<text text-anchor="middle" x="2548.5" y="-1581.8" font-family="Times,serif" font-size="14.00" fill="#000000">detection and storage to</text>
-<text text-anchor="middle" x="2548.5" y="-1566.8" font-family="Times,serif" font-size="14.00" fill="#000000">the wallet</text>
+<polygon fill="#c2e0c6" stroke="#000000" points="2644.5,-1623 2452.5,-1623 2452.5,-1555 2644.5,-1555 2644.5,-1623"/>
+<text text-anchor="middle" x="2548.5" y="-1607.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5020</text>
+<text text-anchor="middle" x="2548.5" y="-1592.8" font-family="Times,serif" font-size="14.00" fill="#000000">Add Orchard note</text>
+<text text-anchor="middle" x="2548.5" y="-1577.8" font-family="Times,serif" font-size="14.00" fill="#000000">detection and storage to</text>
+<text text-anchor="middle" x="2548.5" y="-1562.8" font-family="Times,serif" font-size="14.00" fill="#000000">the wallet</text>
 </a>
 </g>
 </g>
 <!-- zcash/orchard#32&#45;&gt;zcash/zcash#5020 -->
 <g id="edge40" class="edge">
 <title>zcash/orchard#32&#45;&gt;zcash/zcash#5020</title>
-<path fill="none" stroke="#000000" d="M2112.5,-1829.6C2199.4,-1825.6 2321.2,-1807.5 2405,-1743 2433,-1721.4 2418.1,-1699 2441,-1672 2453.1,-1657.7 2468.3,-1644.5 2483.5,-1633.2"/>
-<polygon fill="#000000" stroke="#000000" points="2485.8651,-1635.8081 2491.9,-1627.1 2481.7518,-1630.144 2485.8651,-1635.8081"/>
+<path fill="none" stroke="#000000" d="M2112.7,-1833.9C2199.3,-1833.3 2320.8,-1819.5 2405,-1757 2433.4,-1735.9 2419.5,-1714.1 2441,-1686 2456.7,-1665.5 2477.1,-1645.8 2496,-1629.6"/>
+<polygon fill="#000000" stroke="#000000" points="2498.2753,-1632.2596 2503.6,-1623.1 2493.7255,-1626.9398 2498.2753,-1632.2596"/>
 </g>
 <!-- zcash/zcash#5018 -->
 <g id="node38" class="node">
 <title>zcash/zcash#5018</title>
 <g id="a_node38"><a xlink:href="https://github.com/zcash/zcash/issues/5018" xlink:title="zcash/zcash#5018&#10;Add Orchard note&#10;commitment tree and&#10;nullifier set to&#10;CCoinsView" target="_blank">
-<polygon fill="#c2e0c6" stroke="#000000" points="2386,-2627.5 2214,-2627.5 2214,-2544.5 2386,-2544.5 2386,-2627.5"/>
-<text text-anchor="middle" x="2300" y="-2612.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5018</text>
-<text text-anchor="middle" x="2300" y="-2597.3" font-family="Times,serif" font-size="14.00" fill="#000000">Add Orchard note</text>
-<text text-anchor="middle" x="2300" y="-2582.3" font-family="Times,serif" font-size="14.00" fill="#000000">commitment tree and</text>
-<text text-anchor="middle" x="2300" y="-2567.3" font-family="Times,serif" font-size="14.00" fill="#000000">nullifier set to</text>
-<text text-anchor="middle" x="2300" y="-2552.3" font-family="Times,serif" font-size="14.00" fill="#000000">CCoinsView</text>
+<polygon fill="#c2e0c6" stroke="#000000" points="2386,-2659.5 2214,-2659.5 2214,-2576.5 2386,-2576.5 2386,-2659.5"/>
+<text text-anchor="middle" x="2300" y="-2644.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5018</text>
+<text text-anchor="middle" x="2300" y="-2629.3" font-family="Times,serif" font-size="14.00" fill="#000000">Add Orchard note</text>
+<text text-anchor="middle" x="2300" y="-2614.3" font-family="Times,serif" font-size="14.00" fill="#000000">commitment tree and</text>
+<text text-anchor="middle" x="2300" y="-2599.3" font-family="Times,serif" font-size="14.00" fill="#000000">nullifier set to</text>
+<text text-anchor="middle" x="2300" y="-2584.3" font-family="Times,serif" font-size="14.00" fill="#000000">CCoinsView</text>
 </a>
 </g>
 </g>
 <!-- zcash/orchard#33&#45;&gt;zcash/zcash#5018 -->
 <g id="edge43" class="edge">
 <title>zcash/orchard#33&#45;&gt;zcash/zcash#5018</title>
-<path fill="none" stroke="#000000" d="M2119.6,-2590.9C2147.3,-2590.2 2176.8,-2589.4 2203.7,-2588.6"/>
-<polygon fill="#000000" stroke="#000000" points="2204.0073,-2592.0926 2213.9,-2588.3 2203.8014,-2585.0956 2204.0073,-2592.0926"/>
+<path fill="none" stroke="#000000" d="M2119.6,-2620.5C2147.3,-2620.1 2176.8,-2619.7 2203.7,-2619.3"/>
+<polygon fill="#000000" stroke="#000000" points="2203.9348,-2622.798 2213.9,-2619.2 2203.8661,-2615.7983 2203.9348,-2622.798"/>
 </g>
 <!-- zcash/zcash#5023 -->
 <g id="node34" class="node">
 <title>zcash/zcash#5023</title>
 <g id="a_node34"><a xlink:href="https://github.com/zcash/zcash/issues/5023" xlink:title="zcash/zcash#5023&#10;Implement support for&#10;Orchard shielded coinbase&#10;output" target="_blank">
-<polygon fill="#c2e0c6" stroke="#000000" points="2901,-1631 2692,-1631 2692,-1563 2901,-1563 2901,-1631"/>
-<text text-anchor="middle" x="2796.5" y="-1615.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5023</text>
-<text text-anchor="middle" x="2796.5" y="-1600.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement support for</text>
-<text text-anchor="middle" x="2796.5" y="-1585.8" font-family="Times,serif" font-size="14.00" fill="#000000">Orchard shielded coinbase</text>
-<text text-anchor="middle" x="2796.5" y="-1570.8" font-family="Times,serif" font-size="14.00" fill="#000000">output</text>
+<polygon fill="#c2e0c6" stroke="#000000" points="2901,-1658 2692,-1658 2692,-1590 2901,-1590 2901,-1658"/>
+<text text-anchor="middle" x="2796.5" y="-1642.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5023</text>
+<text text-anchor="middle" x="2796.5" y="-1627.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement support for</text>
+<text text-anchor="middle" x="2796.5" y="-1612.8" font-family="Times,serif" font-size="14.00" fill="#000000">Orchard shielded coinbase</text>
+<text text-anchor="middle" x="2796.5" y="-1597.8" font-family="Times,serif" font-size="14.00" fill="#000000">output</text>
 </a>
 </g>
 </g>
 <!-- zcash/zcash#5021&#45;&gt;zcash/zcash#5023 -->
 <g id="edge36" class="edge">
 <title>zcash/zcash#5021&#45;&gt;zcash/zcash#5023</title>
-<path fill="none" stroke="#000000" d="M2607.9,-1681.4C2638.7,-1667.6 2676.8,-1650.6 2710.7,-1635.4"/>
-<polygon fill="#000000" stroke="#000000" points="2712.4692,-1638.4447 2720.2,-1631.2 2709.6387,-1632.0425 2712.4692,-1638.4447"/>
+<path fill="none" stroke="#000000" d="M2615.6,-1695.5C2641.8,-1685.1 2672.3,-1673.1 2700.6,-1661.9"/>
+<polygon fill="#000000" stroke="#000000" points="2702.1901,-1665.0349 2710.2,-1658.1 2699.6137,-1658.5262 2702.1901,-1665.0349"/>
 </g>
 <!-- zcash/zcash#4883 -->
 <g id="node24" class="node">
@@ -648,8 +648,8 @@
 <!-- zcash/zcash#4711&#45;&gt;zcash/orchard#4 -->
 <g id="edge35" class="edge">
 <title>zcash/zcash#4711&#45;&gt;zcash/orchard#4</title>
-<path fill="none" stroke="#000000" d="M1742.6,-1893.9C1768.7,-1889 1796.6,-1879.8 1818,-1863 1845.8,-1841.1 1829.4,-1817.4 1854,-1792 1875.1,-1770.1 1903.2,-1752.5 1929.5,-1739.1"/>
-<polygon fill="#000000" stroke="#000000" points="1931.321,-1742.1027 1938.7,-1734.5 1928.1905,-1735.8417 1931.321,-1742.1027"/>
+<path fill="none" stroke="#000000" d="M1742.6,-1893.9C1768.7,-1889 1796.6,-1879.8 1818,-1863 1845.8,-1841.1 1828.5,-1816.5 1854,-1792 1870.9,-1775.7 1892.3,-1762.8 1913.6,-1752.7"/>
+<polygon fill="#000000" stroke="#000000" points="1915.0871,-1755.8685 1922.7,-1748.5 1912.1537,-1749.5128 1915.0871,-1755.8685"/>
 </g>
 <!-- zcash/zcash#4712 -->
 <g id="node35" class="node">
@@ -693,31 +693,31 @@
 <!-- zcash/zcash#4713&#45;&gt;zcash/orchard#33 -->
 <g id="edge42" class="edge">
 <title>zcash/zcash#4713&#45;&gt;zcash/orchard#33</title>
-<path fill="none" stroke="#000000" d="M1758.2,-2614.4C1796.8,-2611.2 1842,-2607.5 1883.3,-2604.1"/>
-<polygon fill="#000000" stroke="#000000" points="1883.7076,-2607.5788 1893.4,-2603.3 1883.1548,-2600.6006 1883.7076,-2607.5788"/>
+<path fill="none" stroke="#000000" d="M1758.2,-2622C1796.8,-2622 1842,-2622 1883.3,-2622"/>
+<polygon fill="#000000" stroke="#000000" points="1883.4,-2625.5001 1893.4,-2622 1883.4,-2618.5001 1883.4,-2625.5001"/>
 </g>
 <!-- zcash/zcash#5018&#45;&gt;zcash/zcash#5024 -->
 <g id="edge44" class="edge">
 <title>zcash/zcash#5018&#45;&gt;zcash/zcash#5024</title>
-<path fill="none" stroke="#000000" d="M2364.2,-2544.4C2377.9,-2534.8 2392.2,-2524.4 2405,-2514 2445.1,-2481.6 2487.5,-2440.5 2515.7,-2411.9"/>
-<polygon fill="#000000" stroke="#000000" points="2518.3697,-2414.1774 2522.9,-2404.6 2513.3859,-2409.2619 2518.3697,-2414.1774"/>
+<path fill="none" stroke="#000000" d="M2343,-2576.5C2391.3,-2529.8 2468.9,-2454.9 2513.6,-2411.7"/>
+<polygon fill="#000000" stroke="#000000" points="2516.2073,-2414.0489 2521,-2404.6 2511.361,-2408.9978 2516.2073,-2414.0489"/>
 </g>
 <!-- zcash/zcash#5037 -->
 <g id="node39" class="node">
 <title>zcash/zcash#5037</title>
 <g id="a_node39"><a xlink:href="https://github.com/zcash/zcash/issues/5037" xlink:title="zcash/zcash#5037&#10;Add Orchard metadata to&#10;history trees" target="_blank">
-<polygon fill="#c2e0c6" stroke="#000000" points="2648.5,-2655.5 2448.5,-2655.5 2448.5,-2602.5 2648.5,-2602.5 2648.5,-2655.5"/>
-<text text-anchor="middle" x="2548.5" y="-2640.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5037</text>
-<text text-anchor="middle" x="2548.5" y="-2625.3" font-family="Times,serif" font-size="14.00" fill="#000000">Add Orchard metadata to</text>
-<text text-anchor="middle" x="2548.5" y="-2610.3" font-family="Times,serif" font-size="14.00" fill="#000000">history trees</text>
+<polygon fill="#c2e0c6" stroke="#000000" points="2648.5,-2687.5 2448.5,-2687.5 2448.5,-2634.5 2648.5,-2634.5 2648.5,-2687.5"/>
+<text text-anchor="middle" x="2548.5" y="-2672.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5037</text>
+<text text-anchor="middle" x="2548.5" y="-2657.3" font-family="Times,serif" font-size="14.00" fill="#000000">Add Orchard metadata to</text>
+<text text-anchor="middle" x="2548.5" y="-2642.3" font-family="Times,serif" font-size="14.00" fill="#000000">history trees</text>
 </a>
 </g>
 </g>
 <!-- zcash/zcash#5018&#45;&gt;zcash/zcash#5037 -->
 <g id="edge45" class="edge">
 <title>zcash/zcash#5018&#45;&gt;zcash/zcash#5037</title>
-<path fill="none" stroke="#000000" d="M2386.2,-2600.9C2403,-2603.8 2420.8,-2606.9 2438.2,-2609.9"/>
-<polygon fill="#000000" stroke="#000000" points="2437.9439,-2613.4088 2448.4,-2611.7 2439.1604,-2606.5153 2437.9439,-2613.4088"/>
+<path fill="none" stroke="#000000" d="M2386.2,-2632.9C2403,-2635.8 2420.8,-2638.9 2438.2,-2641.9"/>
+<polygon fill="#000000" stroke="#000000" points="2437.9439,-2645.4088 2448.4,-2643.7 2439.1604,-2638.5153 2437.9439,-2645.4088"/>
 </g>
 <!-- zcash/zcash#4716 -->
 <g id="node40" class="node">
@@ -801,24 +801,24 @@
 <!-- zcash/zcash#5022&#45;&gt;zcash/zcash#5021 -->
 <g id="edge51" class="edge">
 <title>zcash/zcash#5022&#45;&gt;zcash/zcash#5021</title>
-<path fill="none" stroke="#000000" d="M2360.7,-2196.9C2377,-2185.3 2393.2,-2171.2 2405,-2155 2500.4,-2023.5 2534.2,-1825.8 2544.5,-1744.7"/>
-<polygon fill="#000000" stroke="#000000" points="2548.0075,-1744.8623 2545.8,-1734.5 2541.0637,-1743.9772 2548.0075,-1744.8623"/>
+<path fill="none" stroke="#000000" d="M2360.4,-2197C2376.7,-2185.4 2393.1,-2171.2 2405,-2155 2497.8,-2028.3 2532.9,-1838 2544.1,-1758.7"/>
+<polygon fill="#000000" stroke="#000000" points="2547.5816,-1759.0678 2545.4,-1748.7 2540.64,-1758.1653 2547.5816,-1759.0678"/>
 </g>
 <!-- zcash/zcash#4708 -->
 <g id="node44" class="node">
 <title>zcash/zcash#4708</title>
 <g id="a_node44"><a xlink:href="https://github.com/zcash/zcash/issues/4708" xlink:title="zcash/zcash#4708&#10;Specify Poseidon&#10;instantiation" target="_blank">
-<polygon fill="#fad8c7" stroke="#000000" points="1058.5,-1641.5 908.5,-1641.5 908.5,-1588.5 1058.5,-1588.5 1058.5,-1641.5"/>
-<text text-anchor="middle" x="983.5" y="-1626.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#4708</text>
-<text text-anchor="middle" x="983.5" y="-1611.3" font-family="Times,serif" font-size="14.00" fill="#000000">Specify Poseidon</text>
-<text text-anchor="middle" x="983.5" y="-1596.3" font-family="Times,serif" font-size="14.00" fill="#000000">instantiation</text>
+<polygon fill="#fad8c7" stroke="#000000" points="1058.5,-1696.5 908.5,-1696.5 908.5,-1643.5 1058.5,-1643.5 1058.5,-1696.5"/>
+<text text-anchor="middle" x="983.5" y="-1681.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#4708</text>
+<text text-anchor="middle" x="983.5" y="-1666.3" font-family="Times,serif" font-size="14.00" fill="#000000">Specify Poseidon</text>
+<text text-anchor="middle" x="983.5" y="-1651.3" font-family="Times,serif" font-size="14.00" fill="#000000">instantiation</text>
 </a>
 </g>
 </g>
 <!-- zcash/zcash#4708&#45;&gt;zcash/zcash#4707 -->
 <g id="edge52" class="edge">
 <title>zcash/zcash#4708&#45;&gt;zcash/zcash#4707</title>
-<path fill="none" stroke="#000000" d="M1047.5,-1641.7C1077.6,-1656.9 1112.1,-1678.4 1136,-1706 1163.2,-1737.3 1144.7,-1760.8 1172,-1792 1287.6,-1924 1346.8,-1934.8 1513,-1991 1577.7,-2012.9 1766.1,-1984.6 1818,-2029 1862.2,-2066.9 1814.6,-2112.1 1854,-2155 1869.6,-2172 1890.7,-2184 1912.3,-2192.6"/>
+<path fill="none" stroke="#000000" d="M1032.9,-1696.6C1063.5,-1713.8 1103,-1737.2 1136,-1761 1153.1,-1773.3 1154.8,-1779.7 1172,-1792 1314.9,-1893.9 1346.8,-1934.8 1513,-1991 1577.7,-2012.9 1766.1,-1984.6 1818,-2029 1862.2,-2066.9 1814.6,-2112.1 1854,-2155 1869.6,-2172 1890.7,-2184 1912.3,-2192.6"/>
 <polygon fill="#000000" stroke="#000000" points="1911.2066,-2195.9271 1921.8,-2196.1 1913.6266,-2189.3587 1911.2066,-2195.9271"/>
 </g>
 <!-- zcash/orchard#37 -->
@@ -835,8 +835,8 @@
 <!-- zcash/zcash#4708&#45;&gt;zcash/orchard#37 -->
 <g id="edge53" class="edge">
 <title>zcash/zcash#4708&#45;&gt;zcash/orchard#37</title>
-<path fill="none" stroke="#000000" d="M1056,-1641.6C1085.5,-1656.1 1117.1,-1677.1 1136,-1706 1205.9,-1812.8 1088.1,-1894.8 1172,-1991 1187.6,-2008.9 1210.1,-2019.4 1233.1,-2025.4"/>
-<polygon fill="#000000" stroke="#000000" points="1232.3648,-2028.8225 1242.9,-2027.7 1233.9643,-2022.0077 1232.3648,-2028.8225"/>
+<path fill="none" stroke="#000000" d="M1055.2,-1696.6C1084.8,-1711.2 1116.6,-1732.3 1136,-1761 1193.9,-1846.7 1102.9,-1914 1172,-1991 1187.8,-2008.6 1210.2,-2019 1233.1,-2025"/>
+<polygon fill="#000000" stroke="#000000" points="1232.2521,-2028.3957 1242.8,-2027.4 1233.9334,-2021.6006 1232.2521,-2028.3957"/>
 </g>
 <!-- zcash/orchard#45 -->
 <g id="node46" class="node">
@@ -851,8 +851,8 @@
 <!-- zcash/zcash#4708&#45;&gt;zcash/orchard#45 -->
 <g id="edge54" class="edge">
 <title>zcash/zcash#4708&#45;&gt;zcash/orchard#45</title>
-<path fill="none" stroke="#000000" d="M1058.8,-1602.9C1101.9,-1595.9 1157,-1587 1205.8,-1579.1"/>
-<polygon fill="#000000" stroke="#000000" points="1206.4786,-1582.536 1215.8,-1577.5 1205.3726,-1575.6239 1206.4786,-1582.536"/>
+<path fill="none" stroke="#000000" d="M1058.8,-1645.7C1117.6,-1626.7 1198.8,-1600.6 1255.9,-1582.1"/>
+<polygon fill="#000000" stroke="#000000" points="1257.0594,-1585.4036 1265.5,-1579 1254.9083,-1578.7423 1257.0594,-1585.4036"/>
 </g>
 <!-- zcash&#45;hackworks/zcash&#45;test&#45;vectors#22 -->
 <g id="node47" class="node">
@@ -868,8 +868,8 @@
 <!-- zcash/zcash#4708&#45;&gt;zcash&#45;hackworks/zcash&#45;test&#45;vectors#22 -->
 <g id="edge55" class="edge">
 <title>zcash/zcash#4708&#45;&gt;zcash&#45;hackworks/zcash&#45;test&#45;vectors#22</title>
-<path fill="none" stroke="#000000" d="M1000.7,-1588.3C1032.2,-1540.1 1102.3,-1436.7 1172,-1358 1207.6,-1317.8 1253,-1276.3 1285,-1248.4"/>
-<polygon fill="#000000" stroke="#000000" points="1287.4949,-1250.871 1292.8,-1241.7 1282.9337,-1245.561 1287.4949,-1250.871"/>
+<path fill="none" stroke="#000000" d="M996.42,-1643.4C1024.2,-1587.4 1093.6,-1454.9 1172,-1358 1205.5,-1316.6 1250.6,-1275.8 1283.1,-1248.4"/>
+<polygon fill="#000000" stroke="#000000" points="1285.6373,-1250.8374 1291,-1241.7 1281.1096,-1245.4988 1285.6373,-1250.8374"/>
 </g>
 <!-- zcash/orchard#37&#45;&gt;zcash/orchard#31 -->
 <g id="edge56" class="edge">
@@ -880,8 +880,8 @@
 <!-- zcash/orchard#45&#45;&gt;zcash/orchard#4 -->
 <g id="edge57" class="edge">
 <title>zcash/orchard#45&#45;&gt;zcash/orchard#4</title>
-<path fill="none" stroke="#000000" d="M1433,-1556.1C1556.7,-1553.1 1750.3,-1553 1818,-1579 1837.4,-1586.5 1837.2,-1596.6 1854,-1609 1886.3,-1632.8 1924,-1657.3 1953.9,-1676"/>
-<polygon fill="#000000" stroke="#000000" points="1952.1699,-1679.0464 1962.5,-1681.4 1955.8923,-1673.1182 1952.1699,-1679.0464"/>
+<path fill="none" stroke="#000000" d="M1433,-1556.1C1556.7,-1553.1 1750.3,-1553 1818,-1579 1837.4,-1586.5 1837.6,-1596.1 1854,-1609 1889.4,-1636.8 1930.5,-1667.1 1961.1,-1689.4"/>
+<polygon fill="#000000" stroke="#000000" points="1959.2453,-1692.378 1969.4,-1695.4 1963.3462,-1686.705 1959.2453,-1692.378"/>
 </g>
 <!-- zcash/halo2#79 -->
 <g id="node48" class="node">
@@ -949,7 +949,7 @@
 </g>
 </g>
 <!-- zcash&#45;hackworks/zcash&#45;test&#45;vectors#26&#45;&gt;zcash/librustzcash#371 -->
-<g id="edge86" class="edge">
+<g id="edge87" class="edge">
 <title>zcash&#45;hackworks/zcash&#45;test&#45;vectors#26&#45;&gt;zcash/librustzcash#371</title>
 <path fill="none" stroke="#000000" d="M2132.4,-1134.5C2141.5,-1137.2 2150.4,-1140 2159,-1143 2182,-1151.1 2206.2,-1161.8 2227.9,-1172.4"/>
 <polygon fill="#000000" stroke="#000000" points="2226.5791,-1175.6501 2237.1,-1176.9 2229.6549,-1169.362 2226.5791,-1175.6501"/>
@@ -992,20 +992,20 @@
 <g id="node53" class="node">
 <title>zcash/zips#454</title>
 <g id="a_node53"><a xlink:href="https://github.com/zcash/zips/issues/454" xlink:title="zcash/zips#454&#10;Poseidon: copy parameter&#10;generation script to&#10;zcash/pasta and settle on&#10;parameters" target="_blank">
-<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="744,-1656.5 541,-1656.5 541,-1573.5 744,-1573.5 744,-1656.5"/>
-<text text-anchor="middle" x="642.5" y="-1641.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zips#454</text>
-<text text-anchor="middle" x="642.5" y="-1626.3" font-family="Times,serif" font-size="14.00" fill="#000000">Poseidon: copy parameter</text>
-<text text-anchor="middle" x="642.5" y="-1611.3" font-family="Times,serif" font-size="14.00" fill="#000000">generation script to</text>
-<text text-anchor="middle" x="642.5" y="-1596.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/pasta and settle on</text>
-<text text-anchor="middle" x="642.5" y="-1581.3" font-family="Times,serif" font-size="14.00" fill="#000000">parameters</text>
+<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="744,-1711.5 541,-1711.5 541,-1628.5 744,-1628.5 744,-1711.5"/>
+<text text-anchor="middle" x="642.5" y="-1696.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zips#454</text>
+<text text-anchor="middle" x="642.5" y="-1681.3" font-family="Times,serif" font-size="14.00" fill="#000000">Poseidon: copy parameter</text>
+<text text-anchor="middle" x="642.5" y="-1666.3" font-family="Times,serif" font-size="14.00" fill="#000000">generation script to</text>
+<text text-anchor="middle" x="642.5" y="-1651.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/pasta and settle on</text>
+<text text-anchor="middle" x="642.5" y="-1636.3" font-family="Times,serif" font-size="14.00" fill="#000000">parameters</text>
 </a>
 </g>
 </g>
 <!-- zcash/zips#454&#45;&gt;zcash/zcash#4708 -->
 <g id="edge63" class="edge">
 <title>zcash/zips#454&#45;&gt;zcash/zcash#4708</title>
-<path fill="none" stroke="#000000" d="M744.35,-1615C793.44,-1615 851.65,-1615 898.35,-1615"/>
-<polygon fill="#000000" stroke="#000000" points="898.43,-1618.5001 908.43,-1615 898.43,-1611.5001 898.43,-1618.5001"/>
+<path fill="none" stroke="#000000" d="M744.35,-1670C793.44,-1670 851.65,-1670 898.35,-1670"/>
+<polygon fill="#000000" stroke="#000000" points="898.43,-1673.5001 908.43,-1670 898.43,-1666.5001 898.43,-1673.5001"/>
 </g>
 <!-- zcash/zcash#5019 -->
 <g id="node54" class="node">
@@ -1021,14 +1021,14 @@
 <!-- zcash/zcash#5019&#45;&gt;zcash/zcash#5023 -->
 <g id="edge65" class="edge">
 <title>zcash/zcash#5019&#45;&gt;zcash/zcash#5023</title>
-<path fill="none" stroke="#000000" d="M2391.7,-1489.3C2464,-1503.6 2567.1,-1525.5 2656,-1550 2666.8,-1553 2678.1,-1556.3 2689.2,-1559.8"/>
-<polygon fill="#000000" stroke="#000000" points="2688.41,-1563.221 2699,-1562.9 2690.5213,-1556.5469 2688.41,-1563.221"/>
+<path fill="none" stroke="#000000" d="M2391.7,-1483.3C2464.9,-1494.1 2569.2,-1513.7 2656,-1546 2683.1,-1556.1 2711.4,-1570.8 2735.3,-1584.8"/>
+<polygon fill="#000000" stroke="#000000" points="2733.4957,-1587.7995 2743.9,-1589.8 2737.0141,-1581.748 2733.4957,-1587.7995"/>
 </g>
 <!-- zcash/zcash#5019&#45;&gt;zcash/zcash#5020 -->
 <g id="edge64" class="edge">
 <title>zcash/zcash#5019&#45;&gt;zcash/zcash#5020</title>
-<path fill="none" stroke="#000000" d="M2354.5,-1498.6C2388.1,-1514.9 2431.8,-1536.2 2469.1,-1554.4"/>
-<polygon fill="#000000" stroke="#000000" points="2467.969,-1557.7389 2478.5,-1558.9 2470.9916,-1551.4251 2467.969,-1557.7389"/>
+<path fill="none" stroke="#000000" d="M2356.4,-1498.5C2389.1,-1514 2430.9,-1533.6 2467.2,-1550.7"/>
+<polygon fill="#000000" stroke="#000000" points="2465.7632,-1553.8921 2476.3,-1555 2468.7539,-1547.5631 2465.7632,-1553.8921"/>
 </g>
 <!-- zcash/orchard#36 -->
 <g id="node55" class="node">
@@ -1093,11 +1093,11 @@
 <g id="node59" class="node">
 <title>zcash/zcash#4999</title>
 <g id="a_node59"><a xlink:href="https://github.com/zcash/zcash/pull/4999" xlink:title="zcash/zcash#4999&#10;Bitcoin 0.13 locking PRs" target="_blank">
-<polygon fill="#fad8c7" stroke="#000000" points="205.5,-2791 12.5,-2791 12.5,-2787 8.5,-2787 8.5,-2783 12.5,-2783 12.5,-2761 8.5,-2761 8.5,-2757 12.5,-2757 12.5,-2753 205.5,-2753 205.5,-2791"/>
-<polyline fill="none" stroke="#000000" points="12.5,-2787 16.5,-2787 16.5,-2783 12.5,-2783 "/>
-<polyline fill="none" stroke="#000000" points="12.5,-2761 16.5,-2761 16.5,-2757 12.5,-2757 "/>
-<text text-anchor="middle" x="109" y="-2775.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#4999</text>
-<text text-anchor="middle" x="109" y="-2760.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bitcoin 0.13 locking PRs</text>
+<polygon fill="#fad8c7" stroke="#000000" points="205.5,-2794 12.5,-2794 12.5,-2790 8.5,-2790 8.5,-2786 12.5,-2786 12.5,-2764 8.5,-2764 8.5,-2760 12.5,-2760 12.5,-2756 205.5,-2756 205.5,-2794"/>
+<polyline fill="none" stroke="#000000" points="12.5,-2790 16.5,-2790 16.5,-2786 12.5,-2786 "/>
+<polyline fill="none" stroke="#000000" points="12.5,-2764 16.5,-2764 16.5,-2760 12.5,-2760 "/>
+<text text-anchor="middle" x="109" y="-2778.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#4999</text>
+<text text-anchor="middle" x="109" y="-2763.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bitcoin 0.13 locking PRs</text>
 </a>
 </g>
 </g>
@@ -1105,251 +1105,269 @@
 <g id="node60" class="node">
 <title>zcash/zcash#5009</title>
 <g id="a_node60"><a xlink:href="https://github.com/zcash/zcash/pull/5009" xlink:title="zcash/zcash#5009&#10;Bitcoin 0.14 locking PRs" target="_blank">
-<polygon fill="#fad8c7" stroke="#000000" points="450.5,-2791 257.5,-2791 257.5,-2787 253.5,-2787 253.5,-2783 257.5,-2783 257.5,-2761 253.5,-2761 253.5,-2757 257.5,-2757 257.5,-2753 450.5,-2753 450.5,-2791"/>
-<polyline fill="none" stroke="#000000" points="257.5,-2787 261.5,-2787 261.5,-2783 257.5,-2783 "/>
-<polyline fill="none" stroke="#000000" points="257.5,-2761 261.5,-2761 261.5,-2757 257.5,-2757 "/>
-<text text-anchor="middle" x="354" y="-2775.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5009</text>
-<text text-anchor="middle" x="354" y="-2760.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bitcoin 0.14 locking PRs</text>
+<polygon fill="#fad8c7" stroke="#000000" points="450.5,-2794 257.5,-2794 257.5,-2790 253.5,-2790 253.5,-2786 257.5,-2786 257.5,-2764 253.5,-2764 253.5,-2760 257.5,-2760 257.5,-2756 450.5,-2756 450.5,-2794"/>
+<polyline fill="none" stroke="#000000" points="257.5,-2790 261.5,-2790 261.5,-2786 257.5,-2786 "/>
+<polyline fill="none" stroke="#000000" points="257.5,-2764 261.5,-2764 261.5,-2760 257.5,-2760 "/>
+<text text-anchor="middle" x="354" y="-2778.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5009</text>
+<text text-anchor="middle" x="354" y="-2763.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bitcoin 0.14 locking PRs</text>
 </a>
 </g>
 </g>
 <!-- zcash/zcash#4999&#45;&gt;zcash/zcash#5009 -->
 <g id="edge70" class="edge">
 <title>zcash/zcash#4999&#45;&gt;zcash/zcash#5009</title>
-<path fill="none" stroke="#000000" d="M205.83,-2772C219.5,-2772 233.61,-2772 247.45,-2772"/>
-<polygon fill="#000000" stroke="#000000" points="247.47,-2775.5001 257.47,-2772 247.47,-2768.5001 247.47,-2775.5001"/>
+<path fill="none" stroke="#000000" d="M205.83,-2775C219.5,-2775 233.61,-2775 247.45,-2775"/>
+<polygon fill="#000000" stroke="#000000" points="247.47,-2778.5001 257.47,-2775 247.47,-2771.5001 247.47,-2778.5001"/>
 </g>
 <!-- zcash/zcash#5012 -->
 <g id="node61" class="node">
 <title>zcash/zcash#5012</title>
 <g id="a_node61"><a xlink:href="https://github.com/zcash/zcash/pull/5012" xlink:title="zcash/zcash#5012&#10;Bitcoin 0.15 locking PRs" target="_blank">
-<polygon fill="#fad8c7" stroke="#000000" points="739,-2791 546,-2791 546,-2787 542,-2787 542,-2783 546,-2783 546,-2761 542,-2761 542,-2757 546,-2757 546,-2753 739,-2753 739,-2791"/>
-<polyline fill="none" stroke="#000000" points="546,-2787 550,-2787 550,-2783 546,-2783 "/>
-<polyline fill="none" stroke="#000000" points="546,-2761 550,-2761 550,-2757 546,-2757 "/>
-<text text-anchor="middle" x="642.5" y="-2775.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5012</text>
-<text text-anchor="middle" x="642.5" y="-2760.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bitcoin 0.15 locking PRs</text>
+<polygon fill="#fad8c7" stroke="#000000" points="739,-2794 546,-2794 546,-2790 542,-2790 542,-2786 546,-2786 546,-2764 542,-2764 542,-2760 546,-2760 546,-2756 739,-2756 739,-2794"/>
+<polyline fill="none" stroke="#000000" points="546,-2790 550,-2790 550,-2786 546,-2786 "/>
+<polyline fill="none" stroke="#000000" points="546,-2764 550,-2764 550,-2760 546,-2760 "/>
+<text text-anchor="middle" x="642.5" y="-2778.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5012</text>
+<text text-anchor="middle" x="642.5" y="-2763.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bitcoin 0.15 locking PRs</text>
 </a>
 </g>
 </g>
 <!-- zcash/zcash#5009&#45;&gt;zcash/zcash#5012 -->
 <g id="edge71" class="edge">
 <title>zcash/zcash#5009&#45;&gt;zcash/zcash#5012</title>
-<path fill="none" stroke="#000000" d="M450.87,-2772C478.13,-2772 507.94,-2772 535.74,-2772"/>
-<polygon fill="#000000" stroke="#000000" points="535.89,-2775.5001 545.89,-2772 535.89,-2768.5001 535.89,-2775.5001"/>
+<path fill="none" stroke="#000000" d="M450.87,-2775C478.13,-2775 507.94,-2775 535.74,-2775"/>
+<polygon fill="#000000" stroke="#000000" points="535.89,-2778.5001 545.89,-2775 535.89,-2771.5001 535.89,-2778.5001"/>
 </g>
 <!-- zcash/zcash#5017 -->
 <g id="node62" class="node">
 <title>zcash/zcash#5017</title>
 <g id="a_node62"><a xlink:href="https://github.com/zcash/zcash/pull/5017" xlink:title="zcash/zcash#5017&#10;Bitcoin 0.16 locking PRs" target="_blank">
-<polygon fill="#fad8c7" stroke="#000000" points="1080,-2791 887,-2791 887,-2787 883,-2787 883,-2783 887,-2783 887,-2761 883,-2761 883,-2757 887,-2757 887,-2753 1080,-2753 1080,-2791"/>
-<polyline fill="none" stroke="#000000" points="887,-2787 891,-2787 891,-2783 887,-2783 "/>
-<polyline fill="none" stroke="#000000" points="887,-2761 891,-2761 891,-2757 887,-2757 "/>
-<text text-anchor="middle" x="983.5" y="-2775.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5017</text>
-<text text-anchor="middle" x="983.5" y="-2760.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bitcoin 0.16 locking PRs</text>
+<polygon fill="#fad8c7" stroke="#000000" points="1080,-2794 887,-2794 887,-2790 883,-2790 883,-2786 887,-2786 887,-2764 883,-2764 883,-2760 887,-2760 887,-2756 1080,-2756 1080,-2794"/>
+<polyline fill="none" stroke="#000000" points="887,-2790 891,-2790 891,-2786 887,-2786 "/>
+<polyline fill="none" stroke="#000000" points="887,-2764 891,-2764 891,-2760 887,-2760 "/>
+<text text-anchor="middle" x="983.5" y="-2778.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5017</text>
+<text text-anchor="middle" x="983.5" y="-2763.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bitcoin 0.16 locking PRs</text>
 </a>
 </g>
 </g>
 <!-- zcash/zcash#5012&#45;&gt;zcash/zcash#5017 -->
 <g id="edge72" class="edge">
 <title>zcash/zcash#5012&#45;&gt;zcash/zcash#5017</title>
-<path fill="none" stroke="#000000" d="M739.3,-2772C782.14,-2772 832.66,-2772 876.61,-2772"/>
-<polygon fill="#000000" stroke="#000000" points="876.75,-2775.5001 886.75,-2772 876.75,-2768.5001 876.75,-2775.5001"/>
+<path fill="none" stroke="#000000" d="M739.3,-2775C782.14,-2775 832.66,-2775 876.61,-2775"/>
+<polygon fill="#000000" stroke="#000000" points="876.75,-2778.5001 886.75,-2775 876.75,-2771.5001 876.75,-2778.5001"/>
 </g>
 <!-- zcash/zcash#5034 -->
 <g id="node63" class="node">
 <title>zcash/zcash#5034</title>
 <g id="a_node63"><a xlink:href="https://github.com/zcash/zcash/pull/5034" xlink:title="zcash/zcash#5034&#10;Bitcoin 0.17 locking PRs" target="_blank">
-<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="1421,-2791 1228,-2791 1228,-2787 1224,-2787 1224,-2783 1228,-2783 1228,-2761 1224,-2761 1224,-2757 1228,-2757 1228,-2753 1421,-2753 1421,-2791"/>
-<polyline fill="none" stroke="#000000" stroke-width="2" points="1228,-2787 1232,-2787 1232,-2783 1228,-2783 "/>
-<polyline fill="none" stroke="#000000" stroke-width="2" points="1228,-2761 1232,-2761 1232,-2757 1228,-2757 "/>
-<text text-anchor="middle" x="1324.5" y="-2775.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5034</text>
-<text text-anchor="middle" x="1324.5" y="-2760.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bitcoin 0.17 locking PRs</text>
+<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="1421,-2794 1228,-2794 1228,-2790 1224,-2790 1224,-2786 1228,-2786 1228,-2764 1224,-2764 1224,-2760 1228,-2760 1228,-2756 1421,-2756 1421,-2794"/>
+<polyline fill="none" stroke="#000000" stroke-width="2" points="1228,-2790 1232,-2790 1232,-2786 1228,-2786 "/>
+<polyline fill="none" stroke="#000000" stroke-width="2" points="1228,-2764 1232,-2764 1232,-2760 1228,-2760 "/>
+<text text-anchor="middle" x="1324.5" y="-2778.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5034</text>
+<text text-anchor="middle" x="1324.5" y="-2763.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bitcoin 0.17 locking PRs</text>
 </a>
 </g>
 </g>
 <!-- zcash/zcash#5017&#45;&gt;zcash/zcash#5034 -->
 <g id="edge73" class="edge">
 <title>zcash/zcash#5017&#45;&gt;zcash/zcash#5034</title>
-<path fill="none" stroke="#000000" d="M1080.3,-2772C1123.1,-2772 1173.7,-2772 1217.6,-2772"/>
-<polygon fill="#000000" stroke="#000000" points="1217.7,-2775.5001 1227.7,-2772 1217.7,-2768.5001 1217.7,-2775.5001"/>
+<path fill="none" stroke="#000000" d="M1080.3,-2775C1123.1,-2775 1173.7,-2775 1217.6,-2775"/>
+<polygon fill="#000000" stroke="#000000" points="1217.7,-2778.5001 1227.7,-2775 1217.7,-2771.5001 1217.7,-2778.5001"/>
 </g>
 <!-- zcash/zcash#5050 -->
 <g id="node64" class="node">
 <title>zcash/zcash#5050</title>
 <g id="a_node64"><a xlink:href="https://github.com/zcash/zcash/pull/5050" xlink:title="zcash/zcash#5050&#10;Bitcoin 0.18 locking PRs" target="_blank">
-<polygon fill="#c2e0c6" stroke="#000000" points="1762,-2791 1569,-2791 1569,-2787 1565,-2787 1565,-2783 1569,-2783 1569,-2761 1565,-2761 1565,-2757 1569,-2757 1569,-2753 1762,-2753 1762,-2791"/>
-<polyline fill="none" stroke="#000000" points="1569,-2787 1573,-2787 1573,-2783 1569,-2783 "/>
-<polyline fill="none" stroke="#000000" points="1569,-2761 1573,-2761 1573,-2757 1569,-2757 "/>
-<text text-anchor="middle" x="1665.5" y="-2775.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5050</text>
-<text text-anchor="middle" x="1665.5" y="-2760.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bitcoin 0.18 locking PRs</text>
+<polygon fill="#c2e0c6" stroke="#000000" points="1762,-2794 1569,-2794 1569,-2790 1565,-2790 1565,-2786 1569,-2786 1569,-2764 1565,-2764 1565,-2760 1569,-2760 1569,-2756 1762,-2756 1762,-2794"/>
+<polyline fill="none" stroke="#000000" points="1569,-2790 1573,-2790 1573,-2786 1569,-2786 "/>
+<polyline fill="none" stroke="#000000" points="1569,-2764 1573,-2764 1573,-2760 1569,-2760 "/>
+<text text-anchor="middle" x="1665.5" y="-2778.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5050</text>
+<text text-anchor="middle" x="1665.5" y="-2763.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bitcoin 0.18 locking PRs</text>
 </a>
 </g>
 </g>
 <!-- zcash/zcash#5034&#45;&gt;zcash/zcash#5050 -->
 <g id="edge74" class="edge">
 <title>zcash/zcash#5034&#45;&gt;zcash/zcash#5050</title>
-<path fill="none" stroke="#000000" d="M1421.3,-2772C1464.1,-2772 1514.7,-2772 1558.6,-2772"/>
-<polygon fill="#000000" stroke="#000000" points="1558.7,-2775.5001 1568.7,-2772 1558.7,-2768.5001 1558.7,-2775.5001"/>
+<path fill="none" stroke="#000000" d="M1421.3,-2775C1464.1,-2775 1514.7,-2775 1558.6,-2775"/>
+<polygon fill="#000000" stroke="#000000" points="1558.7,-2778.5001 1568.7,-2775 1558.7,-2771.5001 1558.7,-2778.5001"/>
+</g>
+<!-- zcash/zcash#5163 -->
+<g id="node65" class="node">
+<title>zcash/zcash#5163</title>
+<g id="a_node65"><a xlink:href="https://github.com/zcash/zcash/pull/5163" xlink:title="zcash/zcash#5163&#10;Bitcoin 0.19 locking PRs" target="_blank">
+<polygon fill="#c2e0c6" stroke="#000000" points="2103,-2794 1910,-2794 1910,-2790 1906,-2790 1906,-2786 1910,-2786 1910,-2764 1906,-2764 1906,-2760 1910,-2760 1910,-2756 2103,-2756 2103,-2794"/>
+<polyline fill="none" stroke="#000000" points="1910,-2790 1914,-2790 1914,-2786 1910,-2786 "/>
+<polyline fill="none" stroke="#000000" points="1910,-2764 1914,-2764 1914,-2760 1910,-2760 "/>
+<text text-anchor="middle" x="2006.5" y="-2778.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5163</text>
+<text text-anchor="middle" x="2006.5" y="-2763.8" font-family="Times,serif" font-size="14.00" fill="#000000">Bitcoin 0.19 locking PRs</text>
+</a>
+</g>
+</g>
+<!-- zcash/zcash#5050&#45;&gt;zcash/zcash#5163 -->
+<g id="edge75" class="edge">
+<title>zcash/zcash#5050&#45;&gt;zcash/zcash#5163</title>
+<path fill="none" stroke="#000000" d="M1762.3,-2775C1805.1,-2775 1855.7,-2775 1899.6,-2775"/>
+<polygon fill="#000000" stroke="#000000" points="1899.7,-2778.5001 1909.7,-2775 1899.7,-2771.5001 1899.7,-2778.5001"/>
 </g>
 <!-- zcash/zcash#4997 -->
-<g id="node65" class="node">
+<g id="node66" class="node">
 <title>zcash/zcash#4997</title>
-<g id="a_node65"><a xlink:href="https://github.com/zcash/zcash/pull/4997" xlink:title="zcash/zcash#4997&#10;Replace setInventoryKnown&#10;with a rolling bloom&#10;filter" target="_blank">
-<polygon fill="#fad8c7" stroke="#000000" points="218,-2955 0,-2955 0,-2951 -4,-2951 -4,-2947 0,-2947 0,-2895 -4,-2895 -4,-2891 0,-2891 0,-2887 218,-2887 218,-2955"/>
-<polyline fill="none" stroke="#000000" points="0,-2951 4,-2951 4,-2947 0,-2947 "/>
-<polyline fill="none" stroke="#000000" points="0,-2895 4,-2895 4,-2891 0,-2891 "/>
-<text text-anchor="middle" x="109" y="-2939.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#4997</text>
-<text text-anchor="middle" x="109" y="-2924.8" font-family="Times,serif" font-size="14.00" fill="#000000">Replace setInventoryKnown</text>
-<text text-anchor="middle" x="109" y="-2909.8" font-family="Times,serif" font-size="14.00" fill="#000000">with a rolling bloom</text>
-<text text-anchor="middle" x="109" y="-2894.8" font-family="Times,serif" font-size="14.00" fill="#000000">filter</text>
+<g id="a_node66"><a xlink:href="https://github.com/zcash/zcash/pull/4997" xlink:title="zcash/zcash#4997&#10;Replace setInventoryKnown&#10;with a rolling bloom&#10;filter" target="_blank">
+<polygon fill="#fad8c7" stroke="#000000" points="218,-2958 0,-2958 0,-2954 -4,-2954 -4,-2950 0,-2950 0,-2898 -4,-2898 -4,-2894 0,-2894 0,-2890 218,-2890 218,-2958"/>
+<polyline fill="none" stroke="#000000" points="0,-2954 4,-2954 4,-2950 0,-2950 "/>
+<polyline fill="none" stroke="#000000" points="0,-2898 4,-2898 4,-2894 0,-2894 "/>
+<text text-anchor="middle" x="109" y="-2942.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#4997</text>
+<text text-anchor="middle" x="109" y="-2927.8" font-family="Times,serif" font-size="14.00" fill="#000000">Replace setInventoryKnown</text>
+<text text-anchor="middle" x="109" y="-2912.8" font-family="Times,serif" font-size="14.00" fill="#000000">with a rolling bloom</text>
+<text text-anchor="middle" x="109" y="-2897.8" font-family="Times,serif" font-size="14.00" fill="#000000">filter</text>
 </a>
 </g>
 </g>
 <!-- zcash/zcash#2534 -->
-<g id="node66" class="node">
+<g id="node67" class="node">
 <title>zcash/zcash#2534</title>
-<g id="a_node66"><a xlink:href="https://github.com/zcash/zcash/pull/2534" xlink:title="zcash/zcash#2534&#10;Bitcoin 0.12 P2P/Net PRs&#10;1" target="_blank">
-<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="454,-2947.5 254,-2947.5 254,-2943.5 250,-2943.5 250,-2939.5 254,-2939.5 254,-2902.5 250,-2902.5 250,-2898.5 254,-2898.5 254,-2894.5 454,-2894.5 454,-2947.5"/>
-<polyline fill="none" stroke="#000000" stroke-width="2" points="254,-2943.5 258,-2943.5 258,-2939.5 254,-2939.5 "/>
-<polyline fill="none" stroke="#000000" stroke-width="2" points="254,-2902.5 258,-2902.5 258,-2898.5 254,-2898.5 "/>
-<text text-anchor="middle" x="354" y="-2932.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#2534</text>
-<text text-anchor="middle" x="354" y="-2917.3" font-family="Times,serif" font-size="14.00" fill="#000000">Bitcoin 0.12 P2P/Net PRs</text>
-<text text-anchor="middle" x="354" y="-2902.3" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
+<g id="a_node67"><a xlink:href="https://github.com/zcash/zcash/pull/2534" xlink:title="zcash/zcash#2534&#10;Bitcoin 0.12 P2P/Net PRs&#10;1" target="_blank">
+<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="454,-2950.5 254,-2950.5 254,-2946.5 250,-2946.5 250,-2942.5 254,-2942.5 254,-2905.5 250,-2905.5 250,-2901.5 254,-2901.5 254,-2897.5 454,-2897.5 454,-2950.5"/>
+<polyline fill="none" stroke="#000000" stroke-width="2" points="254,-2946.5 258,-2946.5 258,-2942.5 254,-2942.5 "/>
+<polyline fill="none" stroke="#000000" stroke-width="2" points="254,-2905.5 258,-2905.5 258,-2901.5 254,-2901.5 "/>
+<text text-anchor="middle" x="354" y="-2935.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#2534</text>
+<text text-anchor="middle" x="354" y="-2920.3" font-family="Times,serif" font-size="14.00" fill="#000000">Bitcoin 0.12 P2P/Net PRs</text>
+<text text-anchor="middle" x="354" y="-2905.3" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
 </a>
 </g>
 </g>
 <!-- zcash/zcash#4997&#45;&gt;zcash/zcash#2534 -->
-<g id="edge75" class="edge">
+<g id="edge76" class="edge">
 <title>zcash/zcash#4997&#45;&gt;zcash/zcash#2534</title>
-<path fill="none" stroke="#000000" d="M218.24,-2921C226.68,-2921 235.2,-2921 243.65,-2921"/>
-<polygon fill="#000000" stroke="#000000" points="243.9,-2924.5001 253.9,-2921 243.9,-2917.5001 243.9,-2924.5001"/>
+<path fill="none" stroke="#000000" d="M218.24,-2924C226.68,-2924 235.2,-2924 243.65,-2924"/>
+<polygon fill="#000000" stroke="#000000" points="243.9,-2927.5001 253.9,-2924 243.9,-2920.5001 243.9,-2927.5001"/>
 </g>
 <!-- zcash/zcash#5003 -->
-<g id="node67" class="node">
+<g id="node68" class="node">
 <title>zcash/zcash#5003</title>
-<g id="a_node67"><a xlink:href="https://github.com/zcash/zcash/pull/5003" xlink:title="zcash/zcash#5003&#10;net: prerequisites for&#10;p2p encapsulation changes" target="_blank">
-<polygon fill="#c2e0c6" stroke="#000000" points="748.5,-3003.5 536.5,-3003.5 536.5,-2999.5 532.5,-2999.5 532.5,-2995.5 536.5,-2995.5 536.5,-2958.5 532.5,-2958.5 532.5,-2954.5 536.5,-2954.5 536.5,-2950.5 748.5,-2950.5 748.5,-3003.5"/>
-<polyline fill="none" stroke="#000000" points="536.5,-2999.5 540.5,-2999.5 540.5,-2995.5 536.5,-2995.5 "/>
-<polyline fill="none" stroke="#000000" points="536.5,-2958.5 540.5,-2958.5 540.5,-2954.5 536.5,-2954.5 "/>
-<text text-anchor="middle" x="642.5" y="-2988.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5003</text>
-<text text-anchor="middle" x="642.5" y="-2973.3" font-family="Times,serif" font-size="14.00" fill="#000000">net: prerequisites for</text>
-<text text-anchor="middle" x="642.5" y="-2958.3" font-family="Times,serif" font-size="14.00" fill="#000000">p2p encapsulation changes</text>
+<g id="a_node68"><a xlink:href="https://github.com/zcash/zcash/pull/5003" xlink:title="zcash/zcash#5003&#10;net: prerequisites for&#10;p2p encapsulation changes" target="_blank">
+<polygon fill="#c2e0c6" stroke="#000000" points="748.5,-3006.5 536.5,-3006.5 536.5,-3002.5 532.5,-3002.5 532.5,-2998.5 536.5,-2998.5 536.5,-2961.5 532.5,-2961.5 532.5,-2957.5 536.5,-2957.5 536.5,-2953.5 748.5,-2953.5 748.5,-3006.5"/>
+<polyline fill="none" stroke="#000000" points="536.5,-3002.5 540.5,-3002.5 540.5,-2998.5 536.5,-2998.5 "/>
+<polyline fill="none" stroke="#000000" points="536.5,-2961.5 540.5,-2961.5 540.5,-2957.5 536.5,-2957.5 "/>
+<text text-anchor="middle" x="642.5" y="-2991.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5003</text>
+<text text-anchor="middle" x="642.5" y="-2976.3" font-family="Times,serif" font-size="14.00" fill="#000000">net: prerequisites for</text>
+<text text-anchor="middle" x="642.5" y="-2961.3" font-family="Times,serif" font-size="14.00" fill="#000000">p2p encapsulation changes</text>
 </a>
 </g>
 </g>
 <!-- zcash/zcash#2534&#45;&gt;zcash/zcash#5003 -->
-<g id="edge76" class="edge">
+<g id="edge77" class="edge">
 <title>zcash/zcash#2534&#45;&gt;zcash/zcash#5003</title>
-<path fill="none" stroke="#000000" d="M454.09,-2940.4C477.41,-2945 502.43,-2949.8 526.37,-2954.5"/>
-<polygon fill="#000000" stroke="#000000" points="525.7175,-2957.9386 536.2,-2956.4 527.046,-2951.0658 525.7175,-2957.9386"/>
+<path fill="none" stroke="#000000" d="M454.09,-2943.4C477.41,-2948 502.43,-2952.8 526.37,-2957.5"/>
+<polygon fill="#000000" stroke="#000000" points="525.7175,-2960.9386 536.2,-2959.4 527.046,-2954.0658 525.7175,-2960.9386"/>
 </g>
 <!-- zcash/zcash#5005 -->
-<g id="node68" class="node">
+<g id="node69" class="node">
 <title>zcash/zcash#5005</title>
-<g id="a_node68"><a xlink:href="https://github.com/zcash/zcash/pull/5005" xlink:title="zcash/zcash#5005&#10;net: Split DNS resolving&#10;functionality out of net&#10;structures" target="_blank">
-<polygon fill="#c2e0c6" stroke="#000000" points="1079,-2900 888,-2900 888,-2896 884,-2896 884,-2892 888,-2892 888,-2840 884,-2840 884,-2836 888,-2836 888,-2832 1079,-2832 1079,-2900"/>
-<polyline fill="none" stroke="#000000" points="888,-2896 892,-2896 892,-2892 888,-2892 "/>
-<polyline fill="none" stroke="#000000" points="888,-2840 892,-2840 892,-2836 888,-2836 "/>
-<text text-anchor="middle" x="983.5" y="-2884.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5005</text>
-<text text-anchor="middle" x="983.5" y="-2869.8" font-family="Times,serif" font-size="14.00" fill="#000000">net: Split DNS resolving</text>
-<text text-anchor="middle" x="983.5" y="-2854.8" font-family="Times,serif" font-size="14.00" fill="#000000">functionality out of net</text>
-<text text-anchor="middle" x="983.5" y="-2839.8" font-family="Times,serif" font-size="14.00" fill="#000000">structures</text>
+<g id="a_node69"><a xlink:href="https://github.com/zcash/zcash/pull/5005" xlink:title="zcash/zcash#5005&#10;net: Split DNS resolving&#10;functionality out of net&#10;structures" target="_blank">
+<polygon fill="#c2e0c6" stroke="#000000" points="1079,-2903 888,-2903 888,-2899 884,-2899 884,-2895 888,-2895 888,-2843 884,-2843 884,-2839 888,-2839 888,-2835 1079,-2835 1079,-2903"/>
+<polyline fill="none" stroke="#000000" points="888,-2899 892,-2899 892,-2895 888,-2895 "/>
+<polyline fill="none" stroke="#000000" points="888,-2843 892,-2843 892,-2839 888,-2839 "/>
+<text text-anchor="middle" x="983.5" y="-2887.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5005</text>
+<text text-anchor="middle" x="983.5" y="-2872.8" font-family="Times,serif" font-size="14.00" fill="#000000">net: Split DNS resolving</text>
+<text text-anchor="middle" x="983.5" y="-2857.8" font-family="Times,serif" font-size="14.00" fill="#000000">functionality out of net</text>
+<text text-anchor="middle" x="983.5" y="-2842.8" font-family="Times,serif" font-size="14.00" fill="#000000">structures</text>
 </a>
 </g>
 </g>
 <!-- zcash/zcash#2534&#45;&gt;zcash/zcash#5005 -->
-<g id="edge77" class="edge">
+<g id="edge78" class="edge">
 <title>zcash/zcash#2534&#45;&gt;zcash/zcash#5005</title>
-<path fill="none" stroke="#000000" d="M443.03,-2894.4C458.56,-2890.7 474.66,-2887.3 490,-2885 622.6,-2865.1 777.35,-2862.5 877.71,-2863.4"/>
-<polygon fill="#000000" stroke="#000000" points="877.8159,-2866.9011 887.85,-2863.5 877.885,-2859.9015 877.8159,-2866.9011"/>
+<path fill="none" stroke="#000000" d="M443.03,-2897.4C458.56,-2893.7 474.66,-2890.3 490,-2888 622.6,-2868.1 777.35,-2865.5 877.71,-2866.4"/>
+<polygon fill="#000000" stroke="#000000" points="877.8159,-2869.9011 887.85,-2866.5 877.885,-2862.9015 877.8159,-2869.9011"/>
 </g>
 <!-- zcash/zcash#5004 -->
-<g id="node69" class="node">
+<g id="node70" class="node">
 <title>zcash/zcash#5004</title>
-<g id="a_node69"><a xlink:href="https://github.com/zcash/zcash/pull/5004" xlink:title="zcash/zcash#5004&#10;Verify that expected&#10;services are available&#10;from peer nodes &amp;&#10;disconnect otherwise." target="_blank">
-<polygon fill="#c2e0c6" stroke="#000000" points="1070.5,-3001.5 896.5,-3001.5 896.5,-2997.5 892.5,-2997.5 892.5,-2993.5 896.5,-2993.5 896.5,-2926.5 892.5,-2926.5 892.5,-2922.5 896.5,-2922.5 896.5,-2918.5 1070.5,-2918.5 1070.5,-3001.5"/>
-<polyline fill="none" stroke="#000000" points="896.5,-2997.5 900.5,-2997.5 900.5,-2993.5 896.5,-2993.5 "/>
-<polyline fill="none" stroke="#000000" points="896.5,-2926.5 900.5,-2926.5 900.5,-2922.5 896.5,-2922.5 "/>
-<text text-anchor="middle" x="983.5" y="-2986.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5004</text>
-<text text-anchor="middle" x="983.5" y="-2971.3" font-family="Times,serif" font-size="14.00" fill="#000000">Verify that expected</text>
-<text text-anchor="middle" x="983.5" y="-2956.3" font-family="Times,serif" font-size="14.00" fill="#000000">services are available</text>
-<text text-anchor="middle" x="983.5" y="-2941.3" font-family="Times,serif" font-size="14.00" fill="#000000">from peer nodes &amp;</text>
-<text text-anchor="middle" x="983.5" y="-2926.3" font-family="Times,serif" font-size="14.00" fill="#000000">disconnect otherwise.</text>
+<g id="a_node70"><a xlink:href="https://github.com/zcash/zcash/pull/5004" xlink:title="zcash/zcash#5004&#10;Verify that expected&#10;services are available&#10;from peer nodes &amp;&#10;disconnect otherwise." target="_blank">
+<polygon fill="#c2e0c6" stroke="#000000" points="1070.5,-3004.5 896.5,-3004.5 896.5,-3000.5 892.5,-3000.5 892.5,-2996.5 896.5,-2996.5 896.5,-2929.5 892.5,-2929.5 892.5,-2925.5 896.5,-2925.5 896.5,-2921.5 1070.5,-2921.5 1070.5,-3004.5"/>
+<polyline fill="none" stroke="#000000" points="896.5,-3000.5 900.5,-3000.5 900.5,-2996.5 896.5,-2996.5 "/>
+<polyline fill="none" stroke="#000000" points="896.5,-2929.5 900.5,-2929.5 900.5,-2925.5 896.5,-2925.5 "/>
+<text text-anchor="middle" x="983.5" y="-2989.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5004</text>
+<text text-anchor="middle" x="983.5" y="-2974.3" font-family="Times,serif" font-size="14.00" fill="#000000">Verify that expected</text>
+<text text-anchor="middle" x="983.5" y="-2959.3" font-family="Times,serif" font-size="14.00" fill="#000000">services are available</text>
+<text text-anchor="middle" x="983.5" y="-2944.3" font-family="Times,serif" font-size="14.00" fill="#000000">from peer nodes &amp;</text>
+<text text-anchor="middle" x="983.5" y="-2929.3" font-family="Times,serif" font-size="14.00" fill="#000000">disconnect otherwise.</text>
 </a>
 </g>
 </g>
 <!-- zcash/zcash#5003&#45;&gt;zcash/zcash#5004 -->
-<g id="edge78" class="edge">
+<g id="edge79" class="edge">
 <title>zcash/zcash#5003&#45;&gt;zcash/zcash#5004</title>
-<path fill="none" stroke="#000000" d="M748.53,-2971.7C792.51,-2969.5 843.2,-2967 886.22,-2964.8"/>
-<polygon fill="#000000" stroke="#000000" points="886.5936,-2968.286 896.41,-2964.3 886.2505,-2961.2944 886.5936,-2968.286"/>
+<path fill="none" stroke="#000000" d="M748.53,-2974.7C792.51,-2972.5 843.2,-2970 886.22,-2967.8"/>
+<polygon fill="#000000" stroke="#000000" points="886.5936,-2971.286 896.41,-2967.3 886.2505,-2964.2944 886.5936,-2971.286"/>
 </g>
 <!-- zcash/zcash#5006 -->
-<g id="node70" class="node">
+<g id="node71" class="node">
 <title>zcash/zcash#5006</title>
-<g id="a_node70"><a xlink:href="https://github.com/zcash/zcash/pull/5006" xlink:title="zcash/zcash#5006&#10;Rework AddNode behaviour" target="_blank">
-<polygon fill="#c2e0c6" stroke="#000000" points="1433.5,-2909 1215.5,-2909 1215.5,-2905 1211.5,-2905 1211.5,-2901 1215.5,-2901 1215.5,-2879 1211.5,-2879 1211.5,-2875 1215.5,-2875 1215.5,-2871 1433.5,-2871 1433.5,-2909"/>
-<polyline fill="none" stroke="#000000" points="1215.5,-2905 1219.5,-2905 1219.5,-2901 1215.5,-2901 "/>
-<polyline fill="none" stroke="#000000" points="1215.5,-2879 1219.5,-2879 1219.5,-2875 1215.5,-2875 "/>
-<text text-anchor="middle" x="1324.5" y="-2893.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5006</text>
-<text text-anchor="middle" x="1324.5" y="-2878.8" font-family="Times,serif" font-size="14.00" fill="#000000">Rework AddNode behaviour</text>
+<g id="a_node71"><a xlink:href="https://github.com/zcash/zcash/pull/5006" xlink:title="zcash/zcash#5006&#10;Rework AddNode behaviour" target="_blank">
+<polygon fill="#c2e0c6" stroke="#000000" points="1433.5,-2912 1215.5,-2912 1215.5,-2908 1211.5,-2908 1211.5,-2904 1215.5,-2904 1215.5,-2882 1211.5,-2882 1211.5,-2878 1215.5,-2878 1215.5,-2874 1433.5,-2874 1433.5,-2912"/>
+<polyline fill="none" stroke="#000000" points="1215.5,-2908 1219.5,-2908 1219.5,-2904 1215.5,-2904 "/>
+<polyline fill="none" stroke="#000000" points="1215.5,-2882 1219.5,-2882 1219.5,-2878 1215.5,-2878 "/>
+<text text-anchor="middle" x="1324.5" y="-2896.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5006</text>
+<text text-anchor="middle" x="1324.5" y="-2881.8" font-family="Times,serif" font-size="14.00" fill="#000000">Rework AddNode behaviour</text>
 </a>
 </g>
 </g>
 <!-- zcash/zcash#5005&#45;&gt;zcash/zcash#5006 -->
-<g id="edge79" class="edge">
+<g id="edge80" class="edge">
 <title>zcash/zcash#5005&#45;&gt;zcash/zcash#5006</title>
-<path fill="none" stroke="#000000" d="M1079.4,-2872.7C1118.4,-2875.5 1164,-2878.7 1205.1,-2881.6"/>
-<polygon fill="#000000" stroke="#000000" points="1204.9819,-2885.1001 1215.2,-2882.3 1205.466,-2878.1169 1204.9819,-2885.1001"/>
+<path fill="none" stroke="#000000" d="M1079.4,-2875.7C1118.4,-2878.5 1164,-2881.7 1205.1,-2884.6"/>
+<polygon fill="#000000" stroke="#000000" points="1204.9819,-2888.1001 1215.2,-2885.3 1205.466,-2881.1169 1204.9819,-2888.1001"/>
 </g>
 <!-- zcash/zcash#5004&#45;&gt;zcash/zcash#5006 -->
-<g id="edge80" class="edge">
+<g id="edge81" class="edge">
 <title>zcash/zcash#5004&#45;&gt;zcash/zcash#5006</title>
-<path fill="none" stroke="#000000" d="M1070.9,-2942.1C1116.9,-2932.6 1173.7,-2921 1221.9,-2911.1"/>
-<polygon fill="#000000" stroke="#000000" points="1222.6018,-2914.529 1231.7,-2909.1 1221.2021,-2907.6704 1222.6018,-2914.529"/>
+<path fill="none" stroke="#000000" d="M1070.9,-2945.1C1116.9,-2935.6 1173.7,-2924 1221.9,-2914.1"/>
+<polygon fill="#000000" stroke="#000000" points="1222.6018,-2917.529 1231.7,-2912.1 1221.2021,-2910.6704 1222.6018,-2917.529"/>
 </g>
 <!-- zcash/zcash#5008 -->
-<g id="node71" class="node">
+<g id="node72" class="node">
 <title>zcash/zcash#5008</title>
-<g id="a_node71"><a xlink:href="https://github.com/zcash/zcash/pull/5008" xlink:title="zcash/zcash#5008&#10;net: Feeler connections&#10;to increase online addrs&#10;in the tried table." target="_blank">
-<polygon fill="#c2e0c6" stroke="#000000" points="1760,-2924 1571,-2924 1571,-2920 1567,-2920 1567,-2916 1571,-2916 1571,-2864 1567,-2864 1567,-2860 1571,-2860 1571,-2856 1760,-2856 1760,-2924"/>
-<polyline fill="none" stroke="#000000" points="1571,-2920 1575,-2920 1575,-2916 1571,-2916 "/>
-<polyline fill="none" stroke="#000000" points="1571,-2864 1575,-2864 1575,-2860 1571,-2860 "/>
-<text text-anchor="middle" x="1665.5" y="-2908.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5008</text>
-<text text-anchor="middle" x="1665.5" y="-2893.8" font-family="Times,serif" font-size="14.00" fill="#000000">net: Feeler connections</text>
-<text text-anchor="middle" x="1665.5" y="-2878.8" font-family="Times,serif" font-size="14.00" fill="#000000">to increase online addrs</text>
-<text text-anchor="middle" x="1665.5" y="-2863.8" font-family="Times,serif" font-size="14.00" fill="#000000">in the tried table.</text>
+<g id="a_node72"><a xlink:href="https://github.com/zcash/zcash/pull/5008" xlink:title="zcash/zcash#5008&#10;net: Feeler connections&#10;to increase online addrs&#10;in the tried table." target="_blank">
+<polygon fill="#c2e0c6" stroke="#000000" points="1760,-2927 1571,-2927 1571,-2923 1567,-2923 1567,-2919 1571,-2919 1571,-2867 1567,-2867 1567,-2863 1571,-2863 1571,-2859 1760,-2859 1760,-2927"/>
+<polyline fill="none" stroke="#000000" points="1571,-2923 1575,-2923 1575,-2919 1571,-2919 "/>
+<polyline fill="none" stroke="#000000" points="1571,-2867 1575,-2867 1575,-2863 1571,-2863 "/>
+<text text-anchor="middle" x="1665.5" y="-2911.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5008</text>
+<text text-anchor="middle" x="1665.5" y="-2896.8" font-family="Times,serif" font-size="14.00" fill="#000000">net: Feeler connections</text>
+<text text-anchor="middle" x="1665.5" y="-2881.8" font-family="Times,serif" font-size="14.00" fill="#000000">to increase online addrs</text>
+<text text-anchor="middle" x="1665.5" y="-2866.8" font-family="Times,serif" font-size="14.00" fill="#000000">in the tried table.</text>
 </a>
 </g>
 </g>
 <!-- zcash/zcash#5006&#45;&gt;zcash/zcash#5008 -->
-<g id="edge81" class="edge">
+<g id="edge82" class="edge">
 <title>zcash/zcash#5006&#45;&gt;zcash/zcash#5008</title>
-<path fill="none" stroke="#000000" d="M1433.8,-2890C1474.5,-2890 1520.5,-2890 1560.8,-2890"/>
-<polygon fill="#000000" stroke="#000000" points="1560.9,-2893.5001 1570.9,-2890 1560.9,-2886.5001 1560.9,-2893.5001"/>
+<path fill="none" stroke="#000000" d="M1433.8,-2893C1474.5,-2893 1520.5,-2893 1560.8,-2893"/>
+<polygon fill="#000000" stroke="#000000" points="1560.9,-2896.5001 1570.9,-2893 1560.9,-2889.5001 1560.9,-2896.5001"/>
 </g>
 <!-- zcash/zcash#4996 -->
-<g id="node72" class="node">
+<g id="node73" class="node">
 <title>zcash/zcash#4996</title>
-<g id="a_node72"><a xlink:href="https://github.com/zcash/zcash/pull/4996" xlink:title="zcash/zcash#4996&#10;Add &#45;blocksonly option" target="_blank">
-<polygon fill="#fad8c7" stroke="#000000" points="732.5,-2932 552.5,-2932 552.5,-2928 548.5,-2928 548.5,-2924 552.5,-2924 552.5,-2902 548.5,-2902 548.5,-2898 552.5,-2898 552.5,-2894 732.5,-2894 732.5,-2932"/>
-<polyline fill="none" stroke="#000000" points="552.5,-2928 556.5,-2928 556.5,-2924 552.5,-2924 "/>
-<polyline fill="none" stroke="#000000" points="552.5,-2902 556.5,-2902 556.5,-2898 552.5,-2898 "/>
-<text text-anchor="middle" x="642.5" y="-2916.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#4996</text>
-<text text-anchor="middle" x="642.5" y="-2901.8" font-family="Times,serif" font-size="14.00" fill="#000000">Add &#45;blocksonly option</text>
+<g id="a_node73"><a xlink:href="https://github.com/zcash/zcash/pull/4996" xlink:title="zcash/zcash#4996&#10;Add &#45;blocksonly option" target="_blank">
+<polygon fill="#fad8c7" stroke="#000000" points="732.5,-2935 552.5,-2935 552.5,-2931 548.5,-2931 548.5,-2927 552.5,-2927 552.5,-2905 548.5,-2905 548.5,-2901 552.5,-2901 552.5,-2897 732.5,-2897 732.5,-2935"/>
+<polyline fill="none" stroke="#000000" points="552.5,-2931 556.5,-2931 556.5,-2927 552.5,-2927 "/>
+<polyline fill="none" stroke="#000000" points="552.5,-2905 556.5,-2905 556.5,-2901 552.5,-2901 "/>
+<text text-anchor="middle" x="642.5" y="-2919.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#4996</text>
+<text text-anchor="middle" x="642.5" y="-2904.8" font-family="Times,serif" font-size="14.00" fill="#000000">Add &#45;blocksonly option</text>
 </a>
 </g>
 </g>
 <!-- zcash/zcash#4996&#45;&gt;zcash/zcash#5004 -->
-<g id="edge82" class="edge">
+<g id="edge83" class="edge">
 <title>zcash/zcash#4996&#45;&gt;zcash/zcash#5004</title>
-<path fill="none" stroke="#000000" d="M732.54,-2925.4C779.88,-2931.9 837.97,-2939.9 886.33,-2946.6"/>
-<polygon fill="#000000" stroke="#000000" points="886.1058,-2950.1021 896.49,-2948 887.0614,-2943.1676 886.1058,-2950.1021"/>
+<path fill="none" stroke="#000000" d="M732.54,-2928.4C779.88,-2934.9 837.97,-2942.9 886.33,-2949.6"/>
+<polygon fill="#000000" stroke="#000000" points="886.1058,-2953.1021 896.49,-2951 887.0614,-2946.1676 886.1058,-2953.1021"/>
 </g>
 <!-- zcash/zcash#4988 -->
-<g id="node73" class="node">
+<g id="node74" class="node">
 <title>zcash/zcash#4988</title>
-<g id="a_node73"><a xlink:href="https://github.com/zcash/zcash/pull/4988" xlink:title="zcash/zcash#4988&#10;Add feature flagging&#10;infrastructure to&#10;consensus parameters." target="_blank">
+<g id="a_node74"><a xlink:href="https://github.com/zcash/zcash/pull/4988" xlink:title="zcash/zcash#4988&#10;Add feature flagging&#10;infrastructure to&#10;consensus parameters." target="_blank">
 <polygon fill="#fad8c7" stroke="#000000" points="200,-68 18,-68 18,-64 14,-64 14,-60 18,-60 18,-8 14,-8 14,-4 18,-4 18,0 200,0 200,-68"/>
 <polyline fill="none" stroke="#000000" points="18,-64 22,-64 22,-60 18,-60 "/>
 <polyline fill="none" stroke="#000000" points="18,-8 22,-8 22,-4 18,-4 "/>
@@ -1361,15 +1379,15 @@
 </g>
 </g>
 <!-- zcash/zcash#4988&#45;&gt;zcash/zcash#4190 -->
-<g id="edge83" class="edge">
+<g id="edge84" class="edge">
 <title>zcash/zcash#4988&#45;&gt;zcash/zcash#4190</title>
 <path fill="none" stroke="#000000" d="M200.23,-47.405C216.57,-49.806 233.7,-52.323 250.35,-54.77"/>
 <polygon fill="#000000" stroke="#000000" points="250.2475,-58.2924 260.65,-56.283 251.2649,-51.3667 250.2475,-58.2924"/>
 </g>
 <!-- zcash/zcash#3722 -->
-<g id="node74" class="node">
+<g id="node75" class="node">
 <title>zcash/zcash#3722</title>
-<g id="a_node74"><a xlink:href="https://github.com/zcash/zcash/issues/3722" xlink:title="zcash/zcash#3722&#10;Decouple consensus&#10;changes from Network&#10;Upgrades in the zcashd&#10;code" target="_blank">
+<g id="a_node75"><a xlink:href="https://github.com/zcash/zcash/issues/3722" xlink:title="zcash/zcash#3722&#10;Decouple consensus&#10;changes from Network&#10;Upgrades in the zcashd&#10;code" target="_blank">
 <polygon fill="#fad8c7" stroke="#000000" points="2393,-2505.5 2207,-2505.5 2207,-2422.5 2393,-2422.5 2393,-2505.5"/>
 <text text-anchor="middle" x="2300" y="-2490.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#3722</text>
 <text text-anchor="middle" x="2300" y="-2475.3" font-family="Times,serif" font-size="14.00" fill="#000000">Decouple consensus</text>
@@ -1380,32 +1398,32 @@
 </g>
 </g>
 <!-- zcash/zcash#3722&#45;&gt;zcash/zcash#5024 -->
-<g id="edge84" class="edge">
+<g id="edge85" class="edge">
 <title>zcash/zcash#3722&#45;&gt;zcash/zcash#5024</title>
 <path fill="none" stroke="#000000" d="M2393.2,-2431.7C2415.8,-2423.9 2439.8,-2415.6 2462,-2407.9"/>
 <polygon fill="#000000" stroke="#000000" points="2463.4398,-2411.1083 2471.8,-2404.6 2461.2059,-2404.4743 2463.4398,-2411.1083"/>
 </g>
 <!-- zcash/librustzcash#368 -->
-<g id="node75" class="node">
+<g id="node76" class="node">
 <title>zcash/librustzcash#368</title>
-<g id="a_node75"><a xlink:href="https://github.com/zcash/librustzcash/issues/368" xlink:title="zcash/librustzcash#368&#10;zcash_history: Add&#10;Orchard support" target="_blank">
-<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="2394,-2698.5 2206,-2698.5 2206,-2645.5 2394,-2645.5 2394,-2698.5"/>
-<text text-anchor="middle" x="2300" y="-2683.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/librustzcash#368</text>
-<text text-anchor="middle" x="2300" y="-2668.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash_history: Add</text>
-<text text-anchor="middle" x="2300" y="-2653.3" font-family="Times,serif" font-size="14.00" fill="#000000">Orchard support</text>
+<g id="a_node76"><a xlink:href="https://github.com/zcash/librustzcash/issues/368" xlink:title="zcash/librustzcash#368&#10;zcash_history: Add&#10;Orchard support" target="_blank">
+<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="2394,-2730.5 2206,-2730.5 2206,-2677.5 2394,-2677.5 2394,-2730.5"/>
+<text text-anchor="middle" x="2300" y="-2715.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/librustzcash#368</text>
+<text text-anchor="middle" x="2300" y="-2700.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash_history: Add</text>
+<text text-anchor="middle" x="2300" y="-2685.3" font-family="Times,serif" font-size="14.00" fill="#000000">Orchard support</text>
 </a>
 </g>
 </g>
 <!-- zcash/librustzcash#368&#45;&gt;zcash/zcash#5037 -->
-<g id="edge85" class="edge">
+<g id="edge86" class="edge">
 <title>zcash/librustzcash#368&#45;&gt;zcash/zcash#5037</title>
-<path fill="none" stroke="#000000" d="M2394.3,-2655.7C2408.7,-2653.2 2423.7,-2650.6 2438.3,-2648.1"/>
-<polygon fill="#000000" stroke="#000000" points="2439.2604,-2651.4847 2448.5,-2646.3 2438.0439,-2644.5912 2439.2604,-2651.4847"/>
+<path fill="none" stroke="#000000" d="M2394.3,-2687.7C2408.7,-2685.2 2423.7,-2682.6 2438.3,-2680.1"/>
+<polygon fill="#000000" stroke="#000000" points="2439.2604,-2683.4847 2448.5,-2678.3 2438.0439,-2676.5912 2439.2604,-2683.4847"/>
 </g>
 <!-- zcash/zcash#5056 -->
-<g id="node76" class="node">
+<g id="node77" class="node">
 <title>zcash/zcash#5056</title>
-<g id="a_node76"><a xlink:href="https://github.com/zcash/zcash/issues/5056" xlink:title="zcash/zcash#5056&#10;Identify necessary RPC&#10;changes to support&#10;Unified Addresses" target="_blank">
+<g id="a_node77"><a xlink:href="https://github.com/zcash/zcash/issues/5056" xlink:title="zcash/zcash#5056&#10;Identify necessary RPC&#10;changes to support&#10;Unified Addresses" target="_blank">
 <polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="2099,-1506 1914,-1506 1914,-1438 2099,-1438 2099,-1506"/>
 <text text-anchor="middle" x="2006.5" y="-1490.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zcash#5056</text>
 <text text-anchor="middle" x="2006.5" y="-1475.8" font-family="Times,serif" font-size="14.00" fill="#000000">Identify necessary RPC</text>
@@ -1415,32 +1433,32 @@
 </g>
 </g>
 <!-- zcash/zcash#5056&#45;&gt;zcash/zcash#5019 -->
-<g id="edge87" class="edge">
+<g id="edge88" class="edge">
 <title>zcash/zcash#5056&#45;&gt;zcash/zcash#5019</title>
 <path fill="none" stroke="#000000" d="M2099.4,-1472C2130.8,-1472 2166.1,-1472 2198.2,-1472"/>
 <polygon fill="#000000" stroke="#000000" points="2198.5,-1475.5001 2208.5,-1472 2198.5,-1468.5001 2198.5,-1475.5001"/>
 </g>
 <!-- zcash/zips#475 -->
-<g id="node77" class="node">
+<g id="node78" class="node">
 <title>zcash/zips#475</title>
-<g id="a_node77"><a xlink:href="https://github.com/zcash/zips/issues/475" xlink:title="zcash/zips#475&#10;ZIP 221: Add Orchard&#10;commitment tree roots" target="_blank">
-<polygon fill="#fad8c7" stroke="#000000" points="2097.5,-2698.5 1915.5,-2698.5 1915.5,-2645.5 2097.5,-2645.5 2097.5,-2698.5"/>
-<text text-anchor="middle" x="2006.5" y="-2683.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zips#475</text>
-<text text-anchor="middle" x="2006.5" y="-2668.3" font-family="Times,serif" font-size="14.00" fill="#000000">ZIP 221: Add Orchard</text>
-<text text-anchor="middle" x="2006.5" y="-2653.3" font-family="Times,serif" font-size="14.00" fill="#000000">commitment tree roots</text>
+<g id="a_node78"><a xlink:href="https://github.com/zcash/zips/issues/475" xlink:title="zcash/zips#475&#10;ZIP 221: Add Orchard&#10;commitment tree roots" target="_blank">
+<polygon fill="#fad8c7" stroke="#000000" points="2097.5,-2730.5 1915.5,-2730.5 1915.5,-2677.5 2097.5,-2677.5 2097.5,-2730.5"/>
+<text text-anchor="middle" x="2006.5" y="-2715.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zips#475</text>
+<text text-anchor="middle" x="2006.5" y="-2700.3" font-family="Times,serif" font-size="14.00" fill="#000000">ZIP 221: Add Orchard</text>
+<text text-anchor="middle" x="2006.5" y="-2685.3" font-family="Times,serif" font-size="14.00" fill="#000000">commitment tree roots</text>
 </a>
 </g>
 </g>
 <!-- zcash/zips#475&#45;&gt;zcash/librustzcash#368 -->
-<g id="edge88" class="edge">
+<g id="edge89" class="edge">
 <title>zcash/zips#475&#45;&gt;zcash/librustzcash#368</title>
-<path fill="none" stroke="#000000" d="M2097.8,-2672C2128.7,-2672 2163.6,-2672 2195.5,-2672"/>
-<polygon fill="#000000" stroke="#000000" points="2195.8,-2675.5001 2205.8,-2672 2195.8,-2668.5001 2195.8,-2675.5001"/>
+<path fill="none" stroke="#000000" d="M2097.8,-2704C2128.7,-2704 2163.6,-2704 2195.5,-2704"/>
+<polygon fill="#000000" stroke="#000000" points="2195.8,-2707.5001 2205.8,-2704 2195.8,-2700.5001 2195.8,-2707.5001"/>
 </g>
 <!-- zcash/zips#482 -->
-<g id="node78" class="node">
+<g id="node79" class="node">
 <title>zcash/zips#482</title>
-<g id="a_node78"><a xlink:href="https://github.com/zcash/zips/issues/482" xlink:title="zcash/zips#482&#10;[ZIP 316] Unified&#10;Addresses" target="_blank">
+<g id="a_node79"><a xlink:href="https://github.com/zcash/zips/issues/482" xlink:title="zcash/zips#482&#10;[ZIP 316] Unified&#10;Addresses" target="_blank">
 <polygon fill="#fad8c7" stroke="#000000" points="2077,-1205.5 1936,-1205.5 1936,-1152.5 2077,-1152.5 2077,-1205.5"/>
 <text text-anchor="middle" x="2006.5" y="-1190.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/zips#482</text>
 <text text-anchor="middle" x="2006.5" y="-1175.3" font-family="Times,serif" font-size="14.00" fill="#000000">[ZIP 316] Unified</text>
@@ -1449,15 +1467,15 @@
 </g>
 </g>
 <!-- zcash/zips#482&#45;&gt;zcash/librustzcash#371 -->
-<g id="edge89" class="edge">
+<g id="edge90" class="edge">
 <title>zcash/zips#482&#45;&gt;zcash/librustzcash#371</title>
 <path fill="none" stroke="#000000" d="M2077.2,-1186.7C2112.7,-1190.6 2156.4,-1195.3 2195.7,-1199.6"/>
 <polygon fill="#000000" stroke="#000000" points="2195.4798,-1203.0966 2205.8,-1200.7 2196.2378,-1196.1378 2195.4798,-1203.0966"/>
 </g>
 <!-- zcash/librustzcash#300 -->
-<g id="node79" class="node">
+<g id="node80" class="node">
 <title>zcash/librustzcash#300</title>
-<g id="a_node79"><a xlink:href="https://github.com/zcash/librustzcash/issues/300" xlink:title="zcash/librustzcash#300&#10;Use feature flags to gate&#10;access to ZIP&#45;222 code." target="_blank">
+<g id="a_node80"><a xlink:href="https://github.com/zcash/librustzcash/issues/300" xlink:title="zcash/librustzcash#300&#10;Use feature flags to gate&#10;access to ZIP&#45;222 code." target="_blank">
 <polygon fill="#fad8c7" stroke="#000000" points="206,-195.5 12,-195.5 12,-142.5 206,-142.5 206,-195.5"/>
 <text text-anchor="middle" x="109" y="-180.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/librustzcash#300</text>
 <text text-anchor="middle" x="109" y="-165.3" font-family="Times,serif" font-size="14.00" fill="#000000">Use feature flags to gate</text>
@@ -1466,15 +1484,15 @@
 </g>
 </g>
 <!-- zcash/librustzcash#300&#45;&gt;zcash/librustzcash#226 -->
-<g id="edge90" class="edge">
+<g id="edge91" class="edge">
 <title>zcash/librustzcash#300&#45;&gt;zcash/librustzcash#226</title>
 <path fill="none" stroke="#000000" d="M206.18,-169C220.37,-169 235.04,-169 249.37,-169"/>
 <polygon fill="#000000" stroke="#000000" points="249.73,-172.5001 259.73,-169 249.73,-165.5001 249.73,-172.5001"/>
 </g>
 <!-- zcash/halo2#63 -->
-<g id="node80" class="node">
+<g id="node81" class="node">
 <title>zcash/halo2#63</title>
-<g id="a_node80"><a xlink:href="https://github.com/zcash/halo2/issues/63" xlink:title="zcash/halo2#63&#10;Implement zero&#45;knowledge&#45;&#10;ness" target="_blank">
+<g id="a_node81"><a xlink:href="https://github.com/zcash/halo2/issues/63" xlink:title="zcash/halo2#63&#10;Implement zero&#45;knowledge&#45;&#10;ness" target="_blank">
 <polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="2114.5,-2146.5 1898.5,-2146.5 1898.5,-2093.5 2114.5,-2093.5 2114.5,-2146.5"/>
 <text text-anchor="middle" x="2006.5" y="-2131.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#63</text>
 <text text-anchor="middle" x="2006.5" y="-2116.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement zero&#45;knowledge&#45;</text>
@@ -1483,15 +1501,15 @@
 </g>
 </g>
 <!-- zcash/halo2#63&#45;&gt;zcash/librustzcash#320 -->
-<g id="edge91" class="edge">
+<g id="edge92" class="edge">
 <title>zcash/halo2#63&#45;&gt;zcash/librustzcash#320</title>
 <path fill="none" stroke="#000000" d="M2114.5,-2120C2140.4,-2120 2167.9,-2120 2193.7,-2120"/>
 <polygon fill="#000000" stroke="#000000" points="2193.8,-2123.5001 2203.8,-2120 2193.8,-2116.5001 2193.8,-2123.5001"/>
 </g>
 <!-- zcash/librustzcash#349 -->
-<g id="node81" class="node">
+<g id="node82" class="node">
 <title>zcash/librustzcash#349</title>
-<g id="a_node81"><a xlink:href="https://github.com/zcash/librustzcash/issues/349" xlink:title="zcash/librustzcash#349&#10;Generalise note&#10;encryption logic" target="_blank">
+<g id="a_node82"><a xlink:href="https://github.com/zcash/librustzcash/issues/349" xlink:title="zcash/librustzcash#349&#10;Generalise note&#10;encryption logic" target="_blank">
 <polygon fill="#fad8c7" stroke="#000000" points="1759.5,-1854.5 1571.5,-1854.5 1571.5,-1801.5 1759.5,-1801.5 1759.5,-1854.5"/>
 <text text-anchor="middle" x="1665.5" y="-1839.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/librustzcash#349</text>
 <text text-anchor="middle" x="1665.5" y="-1824.3" font-family="Times,serif" font-size="14.00" fill="#000000">Generalise note</text>
@@ -1500,15 +1518,15 @@
 </g>
 </g>
 <!-- zcash/librustzcash#349&#45;&gt;zcash/orchard#32 -->
-<g id="edge92" class="edge">
+<g id="edge93" class="edge">
 <title>zcash/librustzcash#349&#45;&gt;zcash/orchard#32</title>
 <path fill="none" stroke="#000000" d="M1759.6,-1828C1800,-1828 1847.7,-1828 1890.3,-1828"/>
 <polygon fill="#000000" stroke="#000000" points="1890.4,-1831.5001 1900.4,-1828 1890.4,-1824.5001 1890.4,-1831.5001"/>
 </g>
 <!-- zcash&#45;hackworks/zcash&#45;test&#45;vectors#25 -->
-<g id="node82" class="node">
+<g id="node83" class="node">
 <title>zcash&#45;hackworks/zcash&#45;test&#45;vectors#25</title>
-<g id="a_node82"><a xlink:href="https://github.com/zcash-hackworks/zcash-test-vectors/issues/25" xlink:title="zcash&#45;hackworks/zcash&#45;test&#45;vectors#25&#10;Implement F4Jumble" target="_blank">
+<g id="a_node83"><a xlink:href="https://github.com/zcash-hackworks/zcash-test-vectors/issues/25" xlink:title="zcash&#45;hackworks/zcash&#45;test&#45;vectors#25&#10;Implement F4Jumble" target="_blank">
 <polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="1818,-1262 1513,-1262 1513,-1224 1818,-1224 1818,-1262"/>
 <text text-anchor="middle" x="1665.5" y="-1246.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash&#45;hackworks/zcash&#45;test&#45;vectors#25</text>
 <text text-anchor="middle" x="1665.5" y="-1231.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement F4Jumble</text>
@@ -1516,15 +1534,15 @@
 </g>
 </g>
 <!-- zcash&#45;hackworks/zcash&#45;test&#45;vectors#25&#45;&gt;zcash&#45;hackworks/zcash&#45;test&#45;vectors#26 -->
-<g id="edge93" class="edge">
+<g id="edge94" class="edge">
 <title>zcash&#45;hackworks/zcash&#45;test&#45;vectors#25&#45;&gt;zcash&#45;hackworks/zcash&#45;test&#45;vectors#26</title>
 <path fill="none" stroke="#000000" d="M1802.2,-1223.9C1807.8,-1221 1813,-1217.7 1818,-1214 1846.3,-1192.7 1826.1,-1164.8 1854,-1143 1855.2,-1142.1 1856.4,-1141.1 1857.7,-1140.2"/>
 <polygon fill="#000000" stroke="#000000" points="1859.6511,-1143.1061 1866.1,-1134.7 1855.8165,-1137.2497 1859.6511,-1143.1061"/>
 </g>
 <!-- zcash/librustzcash#378 -->
-<g id="node83" class="node">
+<g id="node84" class="node">
 <title>zcash/librustzcash#378</title>
-<g id="a_node83"><a xlink:href="https://github.com/zcash/librustzcash/issues/378" xlink:title="zcash/librustzcash#378&#10;Implement F4Jumble" target="_blank">
+<g id="a_node84"><a xlink:href="https://github.com/zcash/librustzcash/issues/378" xlink:title="zcash/librustzcash#378&#10;Implement F4Jumble" target="_blank">
 <polygon fill="#c2e0c6" stroke="#000000" points="2100.5,-1262 1912.5,-1262 1912.5,-1224 2100.5,-1224 2100.5,-1262"/>
 <text text-anchor="middle" x="2006.5" y="-1246.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/librustzcash#378</text>
 <text text-anchor="middle" x="2006.5" y="-1231.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement F4Jumble</text>
@@ -1532,21 +1550,21 @@
 </g>
 </g>
 <!-- zcash&#45;hackworks/zcash&#45;test&#45;vectors#25&#45;&gt;zcash/librustzcash#378 -->
-<g id="edge94" class="edge">
+<g id="edge95" class="edge">
 <title>zcash&#45;hackworks/zcash&#45;test&#45;vectors#25&#45;&gt;zcash/librustzcash#378</title>
 <path fill="none" stroke="#000000" d="M1818,-1243C1846.5,-1243 1875.6,-1243 1902.2,-1243"/>
 <polygon fill="#000000" stroke="#000000" points="1902.3,-1246.5001 1912.3,-1243 1902.3,-1239.5001 1902.3,-1246.5001"/>
 </g>
 <!-- zcash/librustzcash#378&#45;&gt;zcash/librustzcash#371 -->
-<g id="edge95" class="edge">
+<g id="edge96" class="edge">
 <title>zcash/librustzcash#378&#45;&gt;zcash/librustzcash#371</title>
 <path fill="none" stroke="#000000" d="M2100.6,-1232.7C2131,-1229.4 2164.9,-1225.7 2196,-1222.3"/>
 <polygon fill="#000000" stroke="#000000" points="2196.3979,-1225.7778 2206,-1221.3 2195.7013,-1218.8125 2196.3979,-1225.7778"/>
 </g>
 <!-- zcash&#45;hackworks/zcash&#45;test&#45;vectors#14 -->
-<g id="node84" class="node">
+<g id="node85" class="node">
 <title>zcash&#45;hackworks/zcash&#45;test&#45;vectors#14</title>
-<g id="a_node84"><a xlink:href="https://github.com/zcash-hackworks/zcash-test-vectors/pull/14" xlink:title="zcash&#45;hackworks/zcash&#45;test&#45;vectors#14&#10;Implementation of Pallas" target="_blank">
+<g id="a_node85"><a xlink:href="https://github.com/zcash-hackworks/zcash-test-vectors/pull/14" xlink:title="zcash&#45;hackworks/zcash&#45;test&#45;vectors#14&#10;Implementation of Pallas" target="_blank">
 <polygon fill="#fad8c7" stroke="#000000" points="795,-998 490,-998 490,-994 486,-994 486,-990 490,-990 490,-968 486,-968 486,-964 490,-964 490,-960 795,-960 795,-998"/>
 <polyline fill="none" stroke="#000000" points="490,-994 494,-994 494,-990 490,-990 "/>
 <polyline fill="none" stroke="#000000" points="490,-968 494,-968 494,-964 490,-964 "/>
@@ -1556,9 +1574,9 @@
 </g>
 </g>
 <!-- zcash&#45;hackworks/zcash&#45;test&#45;vectors#17 -->
-<g id="node85" class="node">
+<g id="node86" class="node">
 <title>zcash&#45;hackworks/zcash&#45;test&#45;vectors#17</title>
-<g id="a_node85"><a xlink:href="https://github.com/zcash-hackworks/zcash-test-vectors/pull/17" xlink:title="zcash&#45;hackworks/zcash&#45;test&#45;vectors#17&#10;Add iso&#45;Pallas, SWU hash&#45;&#10;to&#45;curve, and Sinsemilla" target="_blank">
+<g id="a_node86"><a xlink:href="https://github.com/zcash-hackworks/zcash-test-vectors/pull/17" xlink:title="zcash&#45;hackworks/zcash&#45;test&#45;vectors#17&#10;Add iso&#45;Pallas, SWU hash&#45;&#10;to&#45;curve, and Sinsemilla" target="_blank">
 <polygon fill="#fad8c7" stroke="#000000" points="1136,-1005.5 831,-1005.5 831,-1001.5 827,-1001.5 827,-997.5 831,-997.5 831,-960.5 827,-960.5 827,-956.5 831,-956.5 831,-952.5 1136,-952.5 1136,-1005.5"/>
 <polyline fill="none" stroke="#000000" points="831,-1001.5 835,-1001.5 835,-997.5 831,-997.5 "/>
 <polyline fill="none" stroke="#000000" points="831,-960.5 835,-960.5 835,-956.5 831,-956.5 "/>
@@ -1569,15 +1587,15 @@
 </g>
 </g>
 <!-- zcash&#45;hackworks/zcash&#45;test&#45;vectors#14&#45;&gt;zcash&#45;hackworks/zcash&#45;test&#45;vectors#17 -->
-<g id="edge96" class="edge">
+<g id="edge97" class="edge">
 <title>zcash&#45;hackworks/zcash&#45;test&#45;vectors#14&#45;&gt;zcash&#45;hackworks/zcash&#45;test&#45;vectors#17</title>
 <path fill="none" stroke="#000000" d="M795.05,-979C803.59,-979 812.19,-979 820.76,-979"/>
 <polygon fill="#000000" stroke="#000000" points="820.81,-982.5001 830.81,-979 820.81,-975.5001 820.81,-982.5001"/>
 </g>
 <!-- zcash&#45;hackworks/zcash&#45;test&#45;vectors#18 -->
-<g id="node86" class="node">
+<g id="node87" class="node">
 <title>zcash&#45;hackworks/zcash&#45;test&#45;vectors#18</title>
-<g id="a_node86"><a xlink:href="https://github.com/zcash-hackworks/zcash-test-vectors/pull/18" xlink:title="zcash&#45;hackworks/zcash&#45;test&#45;vectors#18&#10;Add Orchard generators" target="_blank">
+<g id="a_node87"><a xlink:href="https://github.com/zcash-hackworks/zcash-test-vectors/pull/18" xlink:title="zcash&#45;hackworks/zcash&#45;test&#45;vectors#18&#10;Add Orchard generators" target="_blank">
 <polygon fill="#fad8c7" stroke="#000000" points="1477,-1063 1172,-1063 1172,-1059 1168,-1059 1168,-1055 1172,-1055 1172,-1033 1168,-1033 1168,-1029 1172,-1029 1172,-1025 1477,-1025 1477,-1063"/>
 <polyline fill="none" stroke="#000000" points="1172,-1059 1176,-1059 1176,-1055 1172,-1055 "/>
 <polyline fill="none" stroke="#000000" points="1172,-1033 1176,-1033 1176,-1029 1172,-1029 "/>
@@ -1587,15 +1605,15 @@
 </g>
 </g>
 <!-- zcash&#45;hackworks/zcash&#45;test&#45;vectors#17&#45;&gt;zcash&#45;hackworks/zcash&#45;test&#45;vectors#18 -->
-<g id="edge97" class="edge">
+<g id="edge98" class="edge">
 <title>zcash&#45;hackworks/zcash&#45;test&#45;vectors#17&#45;&gt;zcash&#45;hackworks/zcash&#45;test&#45;vectors#18</title>
 <path fill="none" stroke="#000000" d="M1122.7,-1005.5C1153.4,-1011.4 1185.5,-1017.5 1214.8,-1023.1"/>
 <polygon fill="#000000" stroke="#000000" points="1214.1166,-1026.5326 1224.6,-1025 1215.449,-1019.6606 1214.1166,-1026.5326"/>
 </g>
 <!-- zcash&#45;hackworks/zcash&#45;test&#45;vectors#15 -->
-<g id="node87" class="node">
+<g id="node88" class="node">
 <title>zcash&#45;hackworks/zcash&#45;test&#45;vectors#15</title>
-<g id="a_node87"><a xlink:href="https://github.com/zcash-hackworks/zcash-test-vectors/issues/15" xlink:title="zcash&#45;hackworks/zcash&#45;test&#45;vectors#15&#10;Implement ZIP 225 test&#10;vectors" target="_blank">
+<g id="a_node88"><a xlink:href="https://github.com/zcash-hackworks/zcash-test-vectors/issues/15" xlink:title="zcash&#45;hackworks/zcash&#45;test&#45;vectors#15&#10;Implement ZIP 225 test&#10;vectors" target="_blank">
 <polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="1477,-940.5 1172,-940.5 1172,-887.5 1477,-887.5 1477,-940.5"/>
 <text text-anchor="middle" x="1324.5" y="-925.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash&#45;hackworks/zcash&#45;test&#45;vectors#15</text>
 <text text-anchor="middle" x="1324.5" y="-910.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement ZIP 225 test</text>
@@ -1604,21 +1622,21 @@
 </g>
 </g>
 <!-- zcash&#45;hackworks/zcash&#45;test&#45;vectors#17&#45;&gt;zcash&#45;hackworks/zcash&#45;test&#45;vectors#15 -->
-<g id="edge98" class="edge">
+<g id="edge99" class="edge">
 <title>zcash&#45;hackworks/zcash&#45;test&#45;vectors#17&#45;&gt;zcash&#45;hackworks/zcash&#45;test&#45;vectors#15</title>
 <path fill="none" stroke="#000000" d="M1122.7,-952.47C1139.9,-949.18 1157.6,-945.81 1175,-942.5"/>
 <polygon fill="#000000" stroke="#000000" points="1176.0351,-945.8656 1185.2,-940.55 1174.7206,-938.9901 1176.0351,-945.8656"/>
 </g>
 <!-- zcash&#45;hackworks/zcash&#45;test&#45;vectors#18&#45;&gt;zcash&#45;hackworks/zcash&#45;test&#45;vectors#24 -->
-<g id="edge99" class="edge">
+<g id="edge100" class="edge">
 <title>zcash&#45;hackworks/zcash&#45;test&#45;vectors#18&#45;&gt;zcash&#45;hackworks/zcash&#45;test&#45;vectors#24</title>
 <path fill="none" stroke="#000000" d="M1425.9,-1063C1453.6,-1068.2 1484.2,-1074 1514,-1079.6"/>
 <polygon fill="#000000" stroke="#000000" points="1513.6253,-1083.0908 1524.1,-1081.5 1514.9195,-1076.2115 1513.6253,-1083.0908"/>
 </g>
 <!-- zcash&#45;hackworks/zcash&#45;test&#45;vectors#21 -->
-<g id="node88" class="node">
+<g id="node89" class="node">
 <title>zcash&#45;hackworks/zcash&#45;test&#45;vectors#21</title>
-<g id="a_node88"><a xlink:href="https://github.com/zcash-hackworks/zcash-test-vectors/pull/21" xlink:title="zcash&#45;hackworks/zcash&#45;test&#45;vectors#21&#10;Add Orchard MerkleCRH" target="_blank">
+<g id="a_node89"><a xlink:href="https://github.com/zcash-hackworks/zcash-test-vectors/pull/21" xlink:title="zcash&#45;hackworks/zcash&#45;test&#45;vectors#21&#10;Add Orchard MerkleCRH" target="_blank">
 <polygon fill="#fad8c7" stroke="#000000" points="1818,-1063 1513,-1063 1513,-1059 1509,-1059 1509,-1055 1513,-1055 1513,-1033 1509,-1033 1509,-1029 1513,-1029 1513,-1025 1818,-1025 1818,-1063"/>
 <polyline fill="none" stroke="#000000" points="1513,-1059 1517,-1059 1517,-1055 1513,-1055 "/>
 <polyline fill="none" stroke="#000000" points="1513,-1033 1517,-1033 1517,-1029 1513,-1029 "/>
@@ -1628,15 +1646,15 @@
 </g>
 </g>
 <!-- zcash&#45;hackworks/zcash&#45;test&#45;vectors#18&#45;&gt;zcash&#45;hackworks/zcash&#45;test&#45;vectors#21 -->
-<g id="edge100" class="edge">
+<g id="edge101" class="edge">
 <title>zcash&#45;hackworks/zcash&#45;test&#45;vectors#18&#45;&gt;zcash&#45;hackworks/zcash&#45;test&#45;vectors#21</title>
 <path fill="none" stroke="#000000" d="M1477,-1044C1485.6,-1044 1494.2,-1044 1502.8,-1044"/>
 <polygon fill="#000000" stroke="#000000" points="1502.8,-1047.5001 1512.8,-1044 1502.8,-1040.5001 1502.8,-1047.5001"/>
 </g>
 <!-- zcash&#45;hackworks/zcash&#45;test&#45;vectors#23 -->
-<g id="node89" class="node">
+<g id="node90" class="node">
 <title>zcash&#45;hackworks/zcash&#45;test&#45;vectors#23</title>
-<g id="a_node89"><a xlink:href="https://github.com/zcash-hackworks/zcash-test-vectors/issues/23" xlink:title="zcash&#45;hackworks/zcash&#45;test&#45;vectors#23&#10;Implement ZIP 244 test&#10;vectors" target="_blank">
+<g id="a_node90"><a xlink:href="https://github.com/zcash-hackworks/zcash-test-vectors/issues/23" xlink:title="zcash&#45;hackworks/zcash&#45;test&#45;vectors#23&#10;Implement ZIP 244 test&#10;vectors" target="_blank">
 <polygon fill="#c2e0c6" stroke="#000000" points="1818,-905.5 1513,-905.5 1513,-852.5 1818,-852.5 1818,-905.5"/>
 <text text-anchor="middle" x="1665.5" y="-890.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash&#45;hackworks/zcash&#45;test&#45;vectors#23</text>
 <text text-anchor="middle" x="1665.5" y="-875.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement ZIP 244 test</text>
@@ -1645,15 +1663,15 @@
 </g>
 </g>
 <!-- zcash&#45;hackworks/zcash&#45;test&#45;vectors#15&#45;&gt;zcash&#45;hackworks/zcash&#45;test&#45;vectors#23 -->
-<g id="edge101" class="edge">
+<g id="edge102" class="edge">
 <title>zcash&#45;hackworks/zcash&#45;test&#45;vectors#15&#45;&gt;zcash&#45;hackworks/zcash&#45;test&#45;vectors#23</title>
 <path fill="none" stroke="#000000" d="M1477,-898.34C1485.6,-897.47 1494.2,-896.58 1502.8,-895.7"/>
 <polygon fill="#000000" stroke="#000000" points="1503.2113,-899.1762 1512.8,-894.67 1502.494,-892.2131 1503.2113,-899.1762"/>
 </g>
 <!-- zcash/halo2#39 -->
-<g id="node90" class="node">
+<g id="node91" class="node">
 <title>zcash/halo2#39</title>
-<g id="a_node90"><a xlink:href="https://github.com/zcash/halo2/issues/39" xlink:title="zcash/halo2#39&#10;Add support for&#10;coefficient blinding&#10;factors in&#10;poly::commitment" target="_blank">
+<g id="a_node91"><a xlink:href="https://github.com/zcash/halo2/issues/39" xlink:title="zcash/halo2#39&#10;Add support for&#10;coefficient blinding&#10;factors in&#10;poly::commitment" target="_blank">
 <polygon fill="#fad8c7" stroke="#000000" points="1402,-2269.5 1247,-2269.5 1247,-2186.5 1402,-2186.5 1402,-2269.5"/>
 <text text-anchor="middle" x="1324.5" y="-2254.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#39</text>
 <text text-anchor="middle" x="1324.5" y="-2239.3" font-family="Times,serif" font-size="14.00" fill="#000000">Add support for</text>
@@ -1664,25 +1682,25 @@
 </g>
 </g>
 <!-- zcash/halo2#39&#45;&gt;zcash/halo2#63 -->
-<g id="edge102" class="edge">
+<g id="edge103" class="edge">
 <title>zcash/halo2#39&#45;&gt;zcash/halo2#63</title>
 <path fill="none" stroke="#000000" d="M1402.3,-2204.1C1436.1,-2194.5 1476.2,-2184.1 1513,-2177 1640.1,-2152.6 1787.8,-2137.2 1888.3,-2128.7"/>
 <polygon fill="#000000" stroke="#000000" points="1888.8464,-2132.1655 1898.5,-2127.8 1888.231,-2125.1926 1888.8464,-2132.1655"/>
 </g>
 <!-- zcash/halo2#65 -->
-<g id="node91" class="node">
+<g id="node92" class="node">
 <title>zcash/halo2#65</title>
-<g id="a_node91"><a xlink:href="https://github.com/zcash/halo2/issues/65" xlink:title="zcash/halo2#65&#10;Implement SHA&#45;256 gadget" target="_blank">
-<polygon fill="#fad8c7" stroke="#000000" points="1092.5,-1941 874.5,-1941 874.5,-1903 1092.5,-1903 1092.5,-1941"/>
-<text text-anchor="middle" x="983.5" y="-1925.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#65</text>
-<text text-anchor="middle" x="983.5" y="-1910.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement SHA&#45;256 gadget</text>
+<g id="a_node92"><a xlink:href="https://github.com/zcash/halo2/issues/65" xlink:title="zcash/halo2#65&#10;Implement SHA&#45;256 gadget" target="_blank">
+<polygon fill="#fad8c7" stroke="#000000" points="1092.5,-1996 874.5,-1996 874.5,-1958 1092.5,-1958 1092.5,-1996"/>
+<text text-anchor="middle" x="983.5" y="-1980.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#65</text>
+<text text-anchor="middle" x="983.5" y="-1965.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement SHA&#45;256 gadget</text>
 </a>
 </g>
 </g>
 <!-- zcash/halo2#64 -->
-<g id="node92" class="node">
+<g id="node93" class="node">
 <title>zcash/halo2#64</title>
-<g id="a_node92"><a xlink:href="https://github.com/zcash/halo2/issues/64" xlink:title="zcash/halo2#64&#10;Design gadget API or&#10;interaction model" target="_blank">
+<g id="a_node93"><a xlink:href="https://github.com/zcash/halo2/issues/64" xlink:title="zcash/halo2#64&#10;Design gadget API or&#10;interaction model" target="_blank">
 <polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="1409.5,-1783.5 1239.5,-1783.5 1239.5,-1730.5 1409.5,-1730.5 1409.5,-1783.5"/>
 <text text-anchor="middle" x="1324.5" y="-1768.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#64</text>
 <text text-anchor="middle" x="1324.5" y="-1753.3" font-family="Times,serif" font-size="14.00" fill="#000000">Design gadget API or</text>
@@ -1691,21 +1709,21 @@
 </g>
 </g>
 <!-- zcash/halo2#65&#45;&gt;zcash/halo2#64 -->
-<g id="edge103" class="edge">
+<g id="edge104" class="edge">
 <title>zcash/halo2#65&#45;&gt;zcash/halo2#64</title>
-<path fill="none" stroke="#000000" d="M1092.8,-1908.5C1107.7,-1904.5 1122.5,-1899.5 1136,-1893 1155,-1883.8 1155.3,-1874.9 1172,-1862 1205.2,-1836.4 1244.3,-1809.6 1274.5,-1789.4"/>
-<polygon fill="#000000" stroke="#000000" points="1276.7535,-1792.1079 1283.2,-1783.7 1272.9173,-1786.2527 1276.7535,-1792.1079"/>
+<path fill="none" stroke="#000000" d="M1092.7,-1969.9C1108.4,-1965.2 1123.4,-1958.2 1136,-1948 1168.2,-1921.9 1145.9,-1894.2 1172,-1862 1196.4,-1831.9 1231.7,-1806.9 1262.2,-1788.8"/>
+<polygon fill="#000000" stroke="#000000" points="1264.1713,-1791.7006 1271,-1783.6 1260.6102,-1785.6741 1264.1713,-1791.7006"/>
 </g>
 <!-- zcash/halo2#64&#45;&gt;zcash/halo2#73 -->
-<g id="edge104" class="edge">
+<g id="edge105" class="edge">
 <title>zcash/halo2#64&#45;&gt;zcash/halo2#73</title>
 <path fill="none" stroke="#000000" d="M1409.7,-1757C1457.9,-1757 1518.5,-1757 1568.6,-1757"/>
 <polygon fill="#000000" stroke="#000000" points="1568.8,-1760.5001 1578.8,-1757 1568.8,-1753.5001 1568.8,-1760.5001"/>
 </g>
 <!-- zcash/halo2#235 -->
-<g id="node93" class="node">
+<g id="node94" class="node">
 <title>zcash/halo2#235</title>
-<g id="a_node93"><a xlink:href="https://github.com/zcash/halo2/issues/235" xlink:title="zcash/halo2#235&#10;[Circuit] Implement&#10;Core/Chip abstraction" target="_blank">
+<g id="a_node94"><a xlink:href="https://github.com/zcash/halo2/issues/235" xlink:title="zcash/halo2#235&#10;[Circuit] Implement&#10;Core/Chip abstraction" target="_blank">
 <polygon fill="#fad8c7" stroke="#000000" points="1753.5,-1712.5 1577.5,-1712.5 1577.5,-1659.5 1753.5,-1659.5 1753.5,-1712.5"/>
 <text text-anchor="middle" x="1665.5" y="-1697.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#235</text>
 <text text-anchor="middle" x="1665.5" y="-1682.3" font-family="Times,serif" font-size="14.00" fill="#000000">[Circuit] Implement</text>
@@ -1714,74 +1732,74 @@
 </g>
 </g>
 <!-- zcash/halo2#64&#45;&gt;zcash/halo2#235 -->
-<g id="edge105" class="edge">
+<g id="edge106" class="edge">
 <title>zcash/halo2#64&#45;&gt;zcash/halo2#235</title>
 <path fill="none" stroke="#000000" d="M1409.7,-1739.3C1457.6,-1729.3 1517.6,-1716.8 1567.4,-1706.4"/>
 <polygon fill="#000000" stroke="#000000" points="1568.1911,-1709.811 1577.3,-1704.4 1566.8049,-1702.9496 1568.1911,-1709.811"/>
 </g>
 <!-- zcash/halo2#235&#45;&gt;zcash/orchard#4 -->
-<g id="edge106" class="edge">
+<g id="edge107" class="edge">
 <title>zcash/halo2#235&#45;&gt;zcash/orchard#4</title>
-<path fill="none" stroke="#000000" d="M1753.8,-1691.7C1801.6,-1694.8 1860.7,-1698.6 1909.8,-1701.8"/>
-<polygon fill="#000000" stroke="#000000" points="1909.6083,-1705.2947 1919.8,-1702.4 1910.0276,-1698.3073 1909.6083,-1705.2947"/>
+<path fill="none" stroke="#000000" d="M1753.8,-1695.3C1801.6,-1700.4 1860.7,-1706.6 1909.8,-1711.8"/>
+<polygon fill="#000000" stroke="#000000" points="1909.5013,-1715.2875 1919.8,-1712.8 1910.1979,-1708.3222 1909.5013,-1715.2875"/>
 </g>
 <!-- zcash/halo2#44 -->
-<g id="node94" class="node">
+<g id="node95" class="node">
 <title>zcash/halo2#44</title>
-<g id="a_node94"><a xlink:href="https://github.com/zcash/halo2/issues/44" xlink:title="zcash/halo2#44&#10;Implement lookup argument" target="_blank">
-<polygon fill="#fad8c7" stroke="#000000" points="753,-1901 532,-1901 532,-1863 753,-1863 753,-1901"/>
-<text text-anchor="middle" x="642.5" y="-1885.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#44</text>
-<text text-anchor="middle" x="642.5" y="-1870.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement lookup argument</text>
+<g id="a_node95"><a xlink:href="https://github.com/zcash/halo2/issues/44" xlink:title="zcash/halo2#44&#10;Implement lookup argument" target="_blank">
+<polygon fill="#fad8c7" stroke="#000000" points="753,-1956 532,-1956 532,-1918 753,-1918 753,-1956"/>
+<text text-anchor="middle" x="642.5" y="-1940.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#44</text>
+<text text-anchor="middle" x="642.5" y="-1925.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement lookup argument</text>
 </a>
 </g>
 </g>
 <!-- zcash/halo2#44&#45;&gt;zcash/halo2#65 -->
-<g id="edge107" class="edge">
+<g id="edge108" class="edge">
 <title>zcash/halo2#44&#45;&gt;zcash/halo2#65</title>
-<path fill="none" stroke="#000000" d="M753.21,-1895C788.68,-1899.1 828.09,-1903.8 864.14,-1908"/>
-<polygon fill="#000000" stroke="#000000" points="863.8763,-1911.4932 874.22,-1909.2 864.7039,-1904.5423 863.8763,-1911.4932"/>
+<path fill="none" stroke="#000000" d="M753.21,-1950C788.68,-1954.1 828.09,-1958.8 864.14,-1963"/>
+<polygon fill="#000000" stroke="#000000" points="863.8763,-1966.4932 874.22,-1964.2 864.7039,-1959.5423 863.8763,-1966.4932"/>
 </g>
 <!-- zcash/halo2#57 -->
-<g id="node95" class="node">
+<g id="node96" class="node">
 <title>zcash/halo2#57</title>
-<g id="a_node95"><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="1055,-1783 912,-1783 912,-1715 1055,-1715 1055,-1783"/>
-<text text-anchor="middle" x="983.5" y="-1767.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#57</text>
-<text text-anchor="middle" x="983.5" y="-1752.8" font-family="Times,serif" font-size="14.00" fill="#000000">Remove unused</text>
-<text text-anchor="middle" x="983.5" y="-1737.8" font-family="Times,serif" font-size="14.00" fill="#000000">fixed_values from</text>
-<text text-anchor="middle" x="983.5" y="-1722.8" font-family="Times,serif" font-size="14.00" fill="#000000">ProvingKey</text>
+<g id="a_node96"><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="1055,-1838 912,-1838 912,-1770 1055,-1770 1055,-1838"/>
+<text text-anchor="middle" x="983.5" y="-1822.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#57</text>
+<text text-anchor="middle" x="983.5" y="-1807.8" font-family="Times,serif" font-size="14.00" fill="#000000">Remove unused</text>
+<text text-anchor="middle" x="983.5" y="-1792.8" font-family="Times,serif" font-size="14.00" fill="#000000">fixed_values from</text>
+<text text-anchor="middle" x="983.5" y="-1777.8" font-family="Times,serif" font-size="14.00" fill="#000000">ProvingKey</text>
 </a>
 </g>
 </g>
 <!-- zcash/halo2#44&#45;&gt;zcash/halo2#57 -->
-<g id="edge108" class="edge">
+<g id="edge109" class="edge">
 <title>zcash/halo2#44&#45;&gt;zcash/halo2#57</title>
-<path fill="none" stroke="#000000" d="M677.84,-1862.9C715.14,-1843.2 776.02,-1812.7 831,-1792 853.64,-1783.5 878.72,-1775.7 901.89,-1769.2"/>
-<polygon fill="#000000" stroke="#000000" points="902.9789,-1772.5305 911.69,-1766.5 901.1195,-1765.7819 902.9789,-1772.5305"/>
+<path fill="none" stroke="#000000" d="M677.84,-1917.9C715.14,-1898.2 776.02,-1867.7 831,-1847 853.64,-1838.5 878.72,-1830.7 901.89,-1824.2"/>
+<polygon fill="#000000" stroke="#000000" points="902.9789,-1827.5305 911.69,-1821.5 901.1195,-1820.7819 902.9789,-1827.5305"/>
 </g>
 <!-- zcash/halo2#82 -->
-<g id="node96" class="node">
+<g id="node97" class="node">
 <title>zcash/halo2#82</title>
-<g id="a_node96"><a xlink:href="https://github.com/zcash/halo2/issues/82" xlink:title="zcash/halo2#82&#10;Consider not sampling&#10;beta and gamma if there&#10;are no permutations or&#10;lookups" target="_blank">
-<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="1080,-1884.5 887,-1884.5 887,-1801.5 1080,-1801.5 1080,-1884.5"/>
-<text text-anchor="middle" x="983.5" y="-1869.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#82</text>
-<text text-anchor="middle" x="983.5" y="-1854.3" font-family="Times,serif" font-size="14.00" fill="#000000">Consider not sampling</text>
-<text text-anchor="middle" x="983.5" y="-1839.3" font-family="Times,serif" font-size="14.00" fill="#000000">beta and gamma if there</text>
-<text text-anchor="middle" x="983.5" y="-1824.3" font-family="Times,serif" font-size="14.00" fill="#000000">are no permutations or</text>
-<text text-anchor="middle" x="983.5" y="-1809.3" font-family="Times,serif" font-size="14.00" fill="#000000">lookups</text>
+<g id="a_node97"><a xlink:href="https://github.com/zcash/halo2/issues/82" xlink:title="zcash/halo2#82&#10;Consider not sampling&#10;beta and gamma if there&#10;are no permutations or&#10;lookups" target="_blank">
+<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="1080,-1939.5 887,-1939.5 887,-1856.5 1080,-1856.5 1080,-1939.5"/>
+<text text-anchor="middle" x="983.5" y="-1924.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#82</text>
+<text text-anchor="middle" x="983.5" y="-1909.3" font-family="Times,serif" font-size="14.00" fill="#000000">Consider not sampling</text>
+<text text-anchor="middle" x="983.5" y="-1894.3" font-family="Times,serif" font-size="14.00" fill="#000000">beta and gamma if there</text>
+<text text-anchor="middle" x="983.5" y="-1879.3" font-family="Times,serif" font-size="14.00" fill="#000000">are no permutations or</text>
+<text text-anchor="middle" x="983.5" y="-1864.3" font-family="Times,serif" font-size="14.00" fill="#000000">lookups</text>
 </a>
 </g>
 </g>
 <!-- zcash/halo2#44&#45;&gt;zcash/halo2#82 -->
-<g id="edge109" class="edge">
+<g id="edge110" class="edge">
 <title>zcash/halo2#44&#45;&gt;zcash/halo2#82</title>
-<path fill="none" stroke="#000000" d="M753.21,-1869.3C792.84,-1864.8 837.4,-1859.7 876.69,-1855.2"/>
-<polygon fill="#000000" stroke="#000000" points="877.2563,-1858.6592 886.82,-1854.1 876.5006,-1851.7001 877.2563,-1858.6592"/>
+<path fill="none" stroke="#000000" d="M753.21,-1924.3C792.84,-1919.8 837.4,-1914.7 876.69,-1910.2"/>
+<polygon fill="#000000" stroke="#000000" points="877.2563,-1913.6592 886.82,-1909.1 876.5006,-1906.7001 877.2563,-1913.6592"/>
 </g>
 <!-- zcash/halo2#62 -->
-<g id="node97" class="node">
+<g id="node98" class="node">
 <title>zcash/halo2#62</title>
-<g id="a_node97"><a xlink:href="https://github.com/zcash/halo2/issues/62" xlink:title="zcash/halo2#62&#10;Modularise prover and&#10;verifier by introducing&#10;internal APIs" target="_blank">
+<g id="a_node98"><a xlink:href="https://github.com/zcash/halo2/issues/62" xlink:title="zcash/halo2#62&#10;Modularise prover and&#10;verifier by introducing&#10;internal APIs" target="_blank">
 <polygon fill="#fad8c7" stroke="#000000" points="1073,-2262 894,-2262 894,-2194 1073,-2194 1073,-2262"/>
 <text text-anchor="middle" x="983.5" y="-2246.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#62</text>
 <text text-anchor="middle" x="983.5" y="-2231.8" font-family="Times,serif" font-size="14.00" fill="#000000">Modularise prover and</text>
@@ -1791,21 +1809,21 @@
 </g>
 </g>
 <!-- zcash/halo2#62&#45;&gt;zcash/halo2#66 -->
-<g id="edge110" class="edge">
+<g id="edge111" class="edge">
 <title>zcash/halo2#62&#45;&gt;zcash/halo2#66</title>
 <path fill="none" stroke="#000000" d="M1073,-2252.3C1104.3,-2260.6 1139.7,-2269.9 1172,-2278 1186.3,-2281.6 1201.4,-2285.3 1216.2,-2288.8"/>
 <polygon fill="#000000" stroke="#000000" points="1215.4545,-2292.2208 1226,-2291.2 1217.1196,-2285.4217 1215.4545,-2292.2208"/>
 </g>
 <!-- zcash/halo2#62&#45;&gt;zcash/halo2#39 -->
-<g id="edge111" class="edge">
+<g id="edge112" class="edge">
 <title>zcash/halo2#62&#45;&gt;zcash/halo2#39</title>
 <path fill="none" stroke="#000000" d="M1073.1,-2228C1123.6,-2228 1186.4,-2228 1236.6,-2228"/>
 <polygon fill="#000000" stroke="#000000" points="1236.8,-2231.5001 1246.8,-2228 1236.8,-2224.5001 1236.8,-2231.5001"/>
 </g>
 <!-- zcash/halo2#61 -->
-<g id="node98" class="node">
+<g id="node99" class="node">
 <title>zcash/halo2#61</title>
-<g id="a_node98"><a xlink:href="https://github.com/zcash/halo2/pull/61" xlink:title="zcash/halo2#61&#10;Migrate to ff traits" target="_blank">
+<g id="a_node99"><a xlink:href="https://github.com/zcash/halo2/pull/61" xlink:title="zcash/halo2#61&#10;Migrate to ff traits" target="_blank">
 <polygon fill="#fad8c7" stroke="#000000" points="184.5,-2374 33.5,-2374 33.5,-2370 29.5,-2370 29.5,-2366 33.5,-2366 33.5,-2344 29.5,-2344 29.5,-2340 33.5,-2340 33.5,-2336 184.5,-2336 184.5,-2374"/>
 <polyline fill="none" stroke="#000000" points="33.5,-2370 37.5,-2370 37.5,-2366 33.5,-2366 "/>
 <polyline fill="none" stroke="#000000" points="33.5,-2344 37.5,-2344 37.5,-2340 33.5,-2340 "/>
@@ -1815,9 +1833,9 @@
 </g>
 </g>
 <!-- zcash/halo2#68 -->
-<g id="node99" class="node">
+<g id="node100" class="node">
 <title>zcash/halo2#68</title>
-<g id="a_node99"><a xlink:href="https://github.com/zcash/halo2/issues/68" xlink:title="zcash/halo2#68&#10;Migrate to the Pasta&#10;curves" target="_blank">
+<g id="a_node100"><a xlink:href="https://github.com/zcash/halo2/issues/68" xlink:title="zcash/halo2#68&#10;Migrate to the Pasta&#10;curves" target="_blank">
 <polygon fill="#fad8c7" stroke="#000000" points="436,-2381.5 272,-2381.5 272,-2328.5 436,-2328.5 436,-2381.5"/>
 <text text-anchor="middle" x="354" y="-2366.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#68</text>
 <text text-anchor="middle" x="354" y="-2351.3" font-family="Times,serif" font-size="14.00" fill="#000000">Migrate to the Pasta</text>
@@ -1826,47 +1844,47 @@
 </g>
 </g>
 <!-- zcash/halo2#61&#45;&gt;zcash/halo2#68 -->
-<g id="edge112" class="edge">
+<g id="edge113" class="edge">
 <title>zcash/halo2#61&#45;&gt;zcash/halo2#68</title>
 <path fill="none" stroke="#000000" d="M184.51,-2355C208.96,-2355 236.36,-2355 261.88,-2355"/>
 <polygon fill="#000000" stroke="#000000" points="261.93,-2358.5001 271.93,-2355 261.93,-2351.5001 261.93,-2358.5001"/>
 </g>
 <!-- zcash/halo2#68&#45;&gt;zcash/halo2#72 -->
-<g id="edge113" class="edge">
+<g id="edge114" class="edge">
 <title>zcash/halo2#68&#45;&gt;zcash/halo2#72</title>
 <path fill="none" stroke="#000000" d="M436.29,-2368.4C469.03,-2373.7 507.03,-2379.9 541.42,-2385.5"/>
 <polygon fill="#000000" stroke="#000000" points="541.0572,-2388.9882 551.5,-2387.2 542.2213,-2382.0856 541.0572,-2388.9882"/>
 </g>
 <!-- zcash/halo2#70 -->
-<g id="node100" class="node">
+<g id="node101" class="node">
 <title>zcash/halo2#70</title>
-<g id="a_node100"><a xlink:href="https://github.com/zcash/halo2/pull/70" xlink:title="zcash/halo2#70&#10;Extract permutation&#10;argument and introduce&#10;typed challenges" target="_blank">
-<polygon fill="#fad8c7" stroke="#000000" points="449.5,-2001 258.5,-2001 258.5,-1997 254.5,-1997 254.5,-1993 258.5,-1993 258.5,-1941 254.5,-1941 254.5,-1937 258.5,-1937 258.5,-1933 449.5,-1933 449.5,-2001"/>
-<polyline fill="none" stroke="#000000" points="258.5,-1997 262.5,-1997 262.5,-1993 258.5,-1993 "/>
-<polyline fill="none" stroke="#000000" points="258.5,-1941 262.5,-1941 262.5,-1937 258.5,-1937 "/>
-<text text-anchor="middle" x="354" y="-1985.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#70</text>
-<text text-anchor="middle" x="354" y="-1970.8" font-family="Times,serif" font-size="14.00" fill="#000000">Extract permutation</text>
-<text text-anchor="middle" x="354" y="-1955.8" font-family="Times,serif" font-size="14.00" fill="#000000">argument and introduce</text>
-<text text-anchor="middle" x="354" y="-1940.8" font-family="Times,serif" font-size="14.00" fill="#000000">typed challenges</text>
+<g id="a_node101"><a xlink:href="https://github.com/zcash/halo2/pull/70" xlink:title="zcash/halo2#70&#10;Extract permutation&#10;argument and introduce&#10;typed challenges" target="_blank">
+<polygon fill="#fad8c7" stroke="#000000" points="449.5,-2079 258.5,-2079 258.5,-2075 254.5,-2075 254.5,-2071 258.5,-2071 258.5,-2019 254.5,-2019 254.5,-2015 258.5,-2015 258.5,-2011 449.5,-2011 449.5,-2079"/>
+<polyline fill="none" stroke="#000000" points="258.5,-2075 262.5,-2075 262.5,-2071 258.5,-2071 "/>
+<polyline fill="none" stroke="#000000" points="258.5,-2019 262.5,-2019 262.5,-2015 258.5,-2015 "/>
+<text text-anchor="middle" x="354" y="-2063.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#70</text>
+<text text-anchor="middle" x="354" y="-2048.8" font-family="Times,serif" font-size="14.00" fill="#000000">Extract permutation</text>
+<text text-anchor="middle" x="354" y="-2033.8" font-family="Times,serif" font-size="14.00" fill="#000000">argument and introduce</text>
+<text text-anchor="middle" x="354" y="-2018.8" font-family="Times,serif" font-size="14.00" fill="#000000">typed challenges</text>
 </a>
 </g>
 </g>
 <!-- zcash/halo2#70&#45;&gt;zcash/halo2#44 -->
-<g id="edge114" class="edge">
+<g id="edge115" class="edge">
 <title>zcash/halo2#70&#45;&gt;zcash/halo2#44</title>
-<path fill="none" stroke="#000000" d="M449.67,-1938.8C488.05,-1927.5 531.62,-1914.7 567.63,-1904.1"/>
-<polygon fill="#000000" stroke="#000000" points="569.0161,-1907.3378 577.58,-1901.1 566.9953,-1900.6358 569.0161,-1907.3378"/>
+<path fill="none" stroke="#000000" d="M444.89,-2011C489.59,-1994.2 542.26,-1974.5 581.98,-1959.7"/>
+<polygon fill="#000000" stroke="#000000" points="583.4073,-1962.9024 591.53,-1956.1 580.9382,-1956.3524 583.4073,-1962.9024"/>
 </g>
 <!-- zcash/halo2#70&#45;&gt;zcash/halo2#62 -->
-<g id="edge115" class="edge">
+<g id="edge116" class="edge">
 <title>zcash/halo2#70&#45;&gt;zcash/halo2#62</title>
-<path fill="none" stroke="#000000" d="M436.3,-2001.1C553.88,-2049.9 769.24,-2139.2 891.8,-2190"/>
-<polygon fill="#000000" stroke="#000000" points="890.6026,-2193.2926 901.18,-2193.9 893.29,-2186.829 890.6026,-2193.2926"/>
+<path fill="none" stroke="#000000" d="M449.61,-2072.8C566.95,-2106.9 764.96,-2164.5 884.03,-2199.1"/>
+<polygon fill="#000000" stroke="#000000" points="883.3142,-2202.5351 893.89,-2201.9 885.2265,-2195.8013 883.3142,-2202.5351"/>
 </g>
 <!-- zcash/halo2#78 -->
-<g id="node101" class="node">
+<g id="node102" class="node">
 <title>zcash/halo2#78</title>
-<g id="a_node101"><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">
+<g id="a_node102"><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="1426.5,-869 1222.5,-869 1222.5,-801 1426.5,-801 1426.5,-869"/>
 <text text-anchor="middle" x="1324.5" y="-853.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#78</text>
 <text text-anchor="middle" x="1324.5" y="-838.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement algebraic hash</text>
@@ -1876,21 +1894,21 @@
 </g>
 </g>
 <!-- zcash/halo2#78&#45;&gt;zcash/halo2#75 -->
-<g id="edge116" class="edge">
+<g id="edge117" class="edge">
 <title>zcash/halo2#78&#45;&gt;zcash/halo2#75</title>
 <path fill="none" stroke="#000000" d="M1426.6,-833.35C1556.1,-831.26 1778.1,-827.68 1906.5,-825.61"/>
 <polygon fill="#000000" stroke="#000000" points="1906.8556,-829.105 1916.8,-825.45 1906.7468,-822.1058 1906.8556,-829.105"/>
 </g>
 <!-- zcash/halo2#78&#45;&gt;zcash/halo2#79 -->
-<g id="edge117" class="edge">
+<g id="edge118" class="edge">
 <title>zcash/halo2#78&#45;&gt;zcash/halo2#79</title>
 <path fill="none" stroke="#000000" d="M1426.7,-855.99C1444.1,-861.74 1461.6,-868.96 1477,-878 1496.5,-889.44 1493.8,-902.09 1513,-914 1531.9,-925.72 1553.9,-935.09 1575.1,-942.43"/>
 <polygon fill="#000000" stroke="#000000" points="1574.2064,-945.8213 1584.8,-945.66 1576.418,-939.1799 1574.2064,-945.8213"/>
 </g>
 <!-- zcash/halo2#250 -->
-<g id="node102" class="node">
+<g id="node103" class="node">
 <title>zcash/halo2#250</title>
-<g id="a_node102"><a xlink:href="https://github.com/zcash/halo2/issues/250" xlink:title="zcash/halo2#250&#10;Implement the recursive&#10;verifier circuit" target="_blank">
+<g id="a_node103"><a xlink:href="https://github.com/zcash/halo2/issues/250" xlink:title="zcash/halo2#250&#10;Implement the recursive&#10;verifier circuit" target="_blank">
 <polygon fill="#c2e0c6" stroke="#000000" points="1762.5,-657.5 1568.5,-657.5 1568.5,-604.5 1762.5,-604.5 1762.5,-657.5"/>
 <text text-anchor="middle" x="1665.5" y="-642.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#250</text>
 <text text-anchor="middle" x="1665.5" y="-627.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement the recursive</text>
@@ -1899,21 +1917,21 @@
 </g>
 </g>
 <!-- zcash/halo2#78&#45;&gt;zcash/halo2#250 -->
-<g id="edge118" class="edge">
+<g id="edge119" class="edge">
 <title>zcash/halo2#78&#45;&gt;zcash/halo2#250</title>
 <path fill="none" stroke="#000000" d="M1426.6,-812.85C1443.9,-807.24 1461.4,-800.36 1477,-792 1539.5,-758.57 1599.7,-701.47 1634.6,-665.03"/>
 <polygon fill="#000000" stroke="#000000" points="1637.3031,-667.2644 1641.6,-657.58 1632.2017,-662.4711 1637.3031,-667.2644"/>
 </g>
 <!-- zcash/halo2#250&#45;&gt;zcash/halo2#75 -->
-<g id="edge119" class="edge">
+<g id="edge120" class="edge">
 <title>zcash/halo2#250&#45;&gt;zcash/halo2#75</title>
 <path fill="none" stroke="#000000" d="M1712.6,-657.63C1774.8,-692.84 1884.2,-754.8 1950.6,-792.35"/>
 <polygon fill="#000000" stroke="#000000" points="1949.2716,-795.6194 1959.7,-797.49 1952.7143,-789.5244 1949.2716,-795.6194"/>
 </g>
 <!-- zcash/halo2#77 -->
-<g id="node103" class="node">
+<g id="node104" class="node">
 <title>zcash/halo2#77</title>
-<g id="a_node103"><a xlink:href="https://github.com/zcash/halo2/issues/77" xlink:title="zcash/halo2#77&#10;Implement Rescue gadget" target="_blank">
+<g id="a_node104"><a xlink:href="https://github.com/zcash/halo2/issues/77" xlink:title="zcash/halo2#77&#10;Implement Rescue gadget" target="_blank">
 <polygon fill="#fad8c7" stroke="#000000" points="1427,-997 1222,-997 1222,-959 1427,-959 1427,-997"/>
 <text text-anchor="middle" x="1324.5" y="-981.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#77</text>
 <text text-anchor="middle" x="1324.5" y="-966.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement Rescue gadget</text>
@@ -1921,15 +1939,15 @@
 </g>
 </g>
 <!-- zcash/halo2#77&#45;&gt;zcash/halo2#79 -->
-<g id="edge120" class="edge">
+<g id="edge121" class="edge">
 <title>zcash/halo2#77&#45;&gt;zcash/halo2#79</title>
 <path fill="none" stroke="#000000" d="M1427.3,-974.08C1474.2,-972.29 1529.3,-970.19 1574.7,-968.46"/>
 <polygon fill="#000000" stroke="#000000" points="1575.0411,-971.9496 1584.9,-968.07 1574.7735,-964.9547 1575.0411,-971.9496"/>
 </g>
 <!-- zcash/halo2#248 -->
-<g id="node104" class="node">
+<g id="node105" class="node">
 <title>zcash/halo2#248</title>
-<g id="a_node104"><a xlink:href="https://github.com/zcash/halo2/issues/248" xlink:title="zcash/halo2#248&#10;Implement endoscaling in&#10;the circuit" target="_blank">
+<g id="a_node105"><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="1426,-538.5 1223,-538.5 1223,-485.5 1426,-485.5 1426,-538.5"/>
 <text text-anchor="middle" x="1324.5" y="-523.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#248</text>
 <text text-anchor="middle" x="1324.5" y="-508.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement endoscaling in</text>
@@ -1938,15 +1956,15 @@
 </g>
 </g>
 <!-- zcash/halo2#248&#45;&gt;zcash/halo2#250 -->
-<g id="edge121" class="edge">
+<g id="edge122" class="edge">
 <title>zcash/halo2#248&#45;&gt;zcash/halo2#250</title>
 <path fill="none" stroke="#000000" d="M1426.1,-533.25C1443.3,-537.61 1460.7,-542.56 1477,-548 1520,-562.39 1566.6,-582.86 1602.7,-599.87"/>
 <polygon fill="#000000" stroke="#000000" points="1601.567,-603.2071 1612.1,-604.35 1604.5786,-596.8881 1601.567,-603.2071"/>
 </g>
 <!-- zcash/halo2#249 -->
-<g id="node105" class="node">
+<g id="node106" class="node">
 <title>zcash/halo2#249</title>
-<g id="a_node105"><a xlink:href="https://github.com/zcash/halo2/issues/249" xlink:title="zcash/halo2#249&#10;Implement circuit logic&#10;for handling public&#10;inputs" target="_blank">
+<g id="a_node106"><a xlink:href="https://github.com/zcash/halo2/issues/249" xlink:title="zcash/halo2#249&#10;Implement circuit logic&#10;for handling public&#10;inputs" target="_blank">
 <polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="1417,-381 1232,-381 1232,-313 1417,-313 1417,-381"/>
 <text text-anchor="middle" x="1324.5" y="-365.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#249</text>
 <text text-anchor="middle" x="1324.5" y="-350.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement circuit logic</text>
@@ -1956,15 +1974,15 @@
 </g>
 </g>
 <!-- zcash/halo2#249&#45;&gt;zcash/halo2#250 -->
-<g id="edge122" class="edge">
+<g id="edge123" class="edge">
 <title>zcash/halo2#249&#45;&gt;zcash/halo2#250</title>
 <path fill="none" stroke="#000000" d="M1417.3,-363.12C1438.1,-369.38 1459.2,-378.05 1477,-390 1557.1,-443.74 1618.4,-542.51 1647.3,-595.38"/>
 <polygon fill="#000000" stroke="#000000" points="1644.3091,-597.2099 1652.1,-604.39 1650.4871,-593.9186 1644.3091,-597.2099"/>
 </g>
 <!-- zcash/halo2#246 -->
-<g id="node106" class="node">
+<g id="node107" class="node">
 <title>zcash/halo2#246</title>
-<g id="a_node106"><a xlink:href="https://github.com/zcash/halo2/issues/246" xlink:title="zcash/halo2#246&#10;Create recursive proof&#10;structures" target="_blank">
+<g id="a_node107"><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" stroke-width="2" points="1073,-459.5 894,-459.5 894,-406.5 1073,-406.5 1073,-459.5"/>
 <text text-anchor="middle" x="983.5" y="-444.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#246</text>
 <text text-anchor="middle" x="983.5" y="-429.3" font-family="Times,serif" font-size="14.00" fill="#000000">Create recursive proof</text>
@@ -1973,9 +1991,9 @@
 </g>
 </g>
 <!-- zcash/halo2#247 -->
-<g id="node107" class="node">
+<g id="node108" class="node">
 <title>zcash/halo2#247</title>
-<g id="a_node107"><a xlink:href="https://github.com/zcash/halo2/issues/247" xlink:title="zcash/halo2#247&#10;Implement underlying&#10;scaffolding for the&#10;recursive circuit" target="_blank">
+<g id="a_node108"><a xlink:href="https://github.com/zcash/halo2/issues/247" xlink:title="zcash/halo2#247&#10;Implement underlying&#10;scaffolding for the&#10;recursive circuit" target="_blank">
 <polygon fill="#c2e0c6" stroke="#000000" points="1412.5,-467 1236.5,-467 1236.5,-399 1412.5,-399 1412.5,-467"/>
 <text text-anchor="middle" x="1324.5" y="-451.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#247</text>
 <text text-anchor="middle" x="1324.5" y="-436.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement underlying</text>
@@ -1985,21 +2003,21 @@
 </g>
 </g>
 <!-- zcash/halo2#246&#45;&gt;zcash/halo2#247 -->
-<g id="edge123" class="edge">
+<g id="edge124" class="edge">
 <title>zcash/halo2#246&#45;&gt;zcash/halo2#247</title>
 <path fill="none" stroke="#000000" d="M1073.1,-433C1120.2,-433 1177.9,-433 1226.2,-433"/>
 <polygon fill="#000000" stroke="#000000" points="1226.4,-436.5001 1236.4,-433 1226.4,-429.5001 1226.4,-436.5001"/>
 </g>
 <!-- zcash/halo2#247&#45;&gt;zcash/halo2#250 -->
-<g id="edge124" class="edge">
+<g id="edge125" class="edge">
 <title>zcash/halo2#247&#45;&gt;zcash/halo2#250</title>
 <path fill="none" stroke="#000000" d="M1412.8,-451.23C1434.5,-457.49 1457.1,-465.62 1477,-476 1538.2,-507.97 1597.8,-562.02 1633.1,-597.1"/>
 <polygon fill="#000000" stroke="#000000" points="1630.7476,-599.6971 1640.3,-604.28 1635.6905,-594.7404 1630.7476,-599.6971"/>
 </g>
 <!-- zcash/halo2#245 -->
-<g id="node108" class="node">
+<g id="node109" class="node">
 <title>zcash/halo2#245</title>
-<g id="a_node108"><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">
+<g id="a_node109"><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="1427.5,-783 1221.5,-783 1221.5,-715 1427.5,-715 1427.5,-783"/>
 <text text-anchor="middle" x="1324.5" y="-767.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#245</text>
 <text text-anchor="middle" x="1324.5" y="-752.8" font-family="Times,serif" font-size="14.00" fill="#000000">Remove the need to</text>
@@ -2009,15 +2027,15 @@
 </g>
 </g>
 <!-- zcash/halo2#245&#45;&gt;zcash/halo2#250 -->
-<g id="edge125" class="edge">
+<g id="edge126" class="edge">
 <title>zcash/halo2#245&#45;&gt;zcash/halo2#250</title>
 <path fill="none" stroke="#000000" d="M1427.9,-720.59C1444.4,-715.65 1461.2,-710.36 1477,-705 1515.5,-691.92 1557.7,-675.56 1592.3,-661.55"/>
 <polygon fill="#000000" stroke="#000000" points="1593.9401,-664.6622 1601.9,-657.67 1591.3171,-658.1723 1593.9401,-664.6622"/>
 </g>
 <!-- zcash/halo2#151 -->
-<g id="node109" class="node">
+<g id="node110" class="node">
 <title>zcash/halo2#151</title>
-<g id="a_node109"><a xlink:href="https://github.com/zcash/halo2/issues/151" xlink:title="zcash/halo2#151&#10;Add support for full&#45;&#10;field challenge space" target="_blank">
+<g id="a_node110"><a xlink:href="https://github.com/zcash/halo2/issues/151" xlink:title="zcash/halo2#151&#10;Add support for full&#45;&#10;field challenge space" target="_blank">
 <polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="1408,-696.5 1241,-696.5 1241,-643.5 1408,-643.5 1408,-696.5"/>
 <text text-anchor="middle" x="1324.5" y="-681.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#151</text>
 <text text-anchor="middle" x="1324.5" y="-666.3" font-family="Times,serif" font-size="14.00" fill="#000000">Add support for full&#45;</text>
@@ -2026,15 +2044,15 @@
 </g>
 </g>
 <!-- zcash/halo2#151&#45;&gt;zcash/halo2#250 -->
-<g id="edge126" class="edge">
+<g id="edge127" class="edge">
 <title>zcash/halo2#151&#45;&gt;zcash/halo2#250</title>
 <path fill="none" stroke="#000000" d="M1408.4,-660.41C1453.6,-655.24 1509.8,-648.81 1558.2,-643.27"/>
 <polygon fill="#000000" stroke="#000000" points="1558.8596,-646.7176 1568.4,-642.11 1558.0685,-639.7625 1558.8596,-646.7176"/>
 </g>
 <!-- zcash/halo2#210 -->
-<g id="node110" class="node">
+<g id="node111" class="node">
 <title>zcash/halo2#210</title>
-<g id="a_node110"><a xlink:href="https://github.com/zcash/halo2/issues/210" xlink:title="zcash/halo2#210&#10;Make multiopen&#10;point_index_map dependent&#10;only on the rotation" target="_blank">
+<g id="a_node111"><a xlink:href="https://github.com/zcash/halo2/issues/210" xlink:title="zcash/halo2#210&#10;Make multiopen&#10;point_index_map dependent&#10;only on the rotation" target="_blank">
 <polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="1433.5,-625 1215.5,-625 1215.5,-557 1433.5,-557 1433.5,-625"/>
 <text text-anchor="middle" x="1324.5" y="-609.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#210</text>
 <text text-anchor="middle" x="1324.5" y="-594.8" font-family="Times,serif" font-size="14.00" fill="#000000">Make multiopen</text>
@@ -2044,15 +2062,15 @@
 </g>
 </g>
 <!-- zcash/halo2#210&#45;&gt;zcash/halo2#250 -->
-<g id="edge127" class="edge">
+<g id="edge128" class="edge">
 <title>zcash/halo2#210&#45;&gt;zcash/halo2#250</title>
 <path fill="none" stroke="#000000" d="M1433.8,-603.82C1473.7,-608.5 1518.7,-613.78 1558.4,-618.43"/>
 <polygon fill="#000000" stroke="#000000" points="1557.9583,-621.9021 1568.3,-619.6 1558.7799,-614.9504 1557.9583,-621.9021"/>
 </g>
 <!-- zcash/orchard#29 -->
-<g id="node111" class="node">
+<g id="node112" class="node">
 <title>zcash/orchard#29</title>
-<g id="a_node111"><a xlink:href="https://github.com/zcash/orchard/issues/29" xlink:title="zcash/orchard#29&#10;Implement Orchard key&#10;structure" target="_blank">
+<g id="a_node112"><a xlink:href="https://github.com/zcash/orchard/issues/29" xlink:title="zcash/orchard#29&#10;Implement Orchard key&#10;structure" target="_blank">
 <polygon fill="#fad8c7" stroke="#000000" points="1760,-1333.5 1571,-1333.5 1571,-1280.5 1760,-1280.5 1760,-1333.5"/>
 <text text-anchor="middle" x="1665.5" y="-1318.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/orchard#29</text>
 <text text-anchor="middle" x="1665.5" y="-1303.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement Orchard key</text>
@@ -2061,27 +2079,27 @@
 </g>
 </g>
 <!-- zcash/orchard#29&#45;&gt;zcash/orchard#35 -->
-<g id="edge128" class="edge">
+<g id="edge129" class="edge">
 <title>zcash/orchard#29&#45;&gt;zcash/orchard#35</title>
-<path fill="none" stroke="#000000" d="M1760.3,-1312.3C1781.7,-1317.8 1802.6,-1327.2 1818,-1343 1872.5,-1398.9 1796.5,-1462.1 1854,-1515 1954.5,-1607.5 2037.7,-1490.1 2159,-1553 2211.9,-1580.4 2254.9,-1636.3 2278.9,-1672.9"/>
-<polygon fill="#000000" stroke="#000000" points="2275.9482,-1674.7809 2284.3,-1681.3 2281.8365,-1670.9955 2275.9482,-1674.7809"/>
+<path fill="none" stroke="#000000" d="M1760.3,-1312.3C1781.7,-1317.8 1802.6,-1327.2 1818,-1343 1872.5,-1398.9 1796.5,-1462.1 1854,-1515 1954.5,-1607.5 2039.1,-1487.5 2159,-1553 2215.2,-1583.7 2258.2,-1646.5 2281.2,-1686.3"/>
+<polygon fill="#000000" stroke="#000000" points="2278.2506,-1688.1959 2286.2,-1695.2 2284.3534,-1684.7673 2278.2506,-1688.1959"/>
 </g>
 <!-- zcash/orchard#29&#45;&gt;zcash/orchard#36 -->
-<g id="edge129" class="edge">
+<g id="edge130" class="edge">
 <title>zcash/orchard#29&#45;&gt;zcash/orchard#36</title>
 <path fill="none" stroke="#000000" d="M1760,-1308.9C1803.3,-1309.8 1854.7,-1310.9 1899.4,-1311.8"/>
 <polygon fill="#000000" stroke="#000000" points="1899.332,-1315.2992 1909.4,-1312 1899.472,-1308.3006 1899.332,-1315.2992"/>
 </g>
 <!-- zcash/orchard#29&#45;&gt;zcash/orchard#30 -->
-<g id="edge130" class="edge">
+<g id="edge131" class="edge">
 <title>zcash/orchard#29&#45;&gt;zcash/orchard#30</title>
 <path fill="none" stroke="#000000" d="M1760,-1327.1C1779.3,-1331.9 1799.4,-1337.2 1818,-1343 1834.4,-1348.1 1837.6,-1351.9 1854,-1357 1872.1,-1362.6 1891.7,-1367.9 1910.6,-1372.5"/>
 <polygon fill="#000000" stroke="#000000" points="1909.8545,-1375.9208 1920.4,-1374.9 1911.5196,-1369.1217 1909.8545,-1375.9208"/>
 </g>
 <!-- zcash/orchard#27 -->
-<g id="node112" class="node">
+<g id="node113" class="node">
 <title>zcash/orchard#27</title>
-<g id="a_node112"><a xlink:href="https://github.com/zcash/orchard/pull/27" xlink:title="zcash/orchard#27&#10;Make Bundle a parametric&#10;type over an&#10;Authorization trait" target="_blank">
+<g id="a_node113"><a xlink:href="https://github.com/zcash/orchard/pull/27" xlink:title="zcash/orchard#27&#10;Make Bundle a parametric&#10;type over an&#10;Authorization trait" target="_blank">
 <polygon fill="#fad8c7" stroke="#000000" points="1769.5,-2397 1561.5,-2397 1561.5,-2393 1557.5,-2393 1557.5,-2389 1561.5,-2389 1561.5,-2337 1557.5,-2337 1557.5,-2333 1561.5,-2333 1561.5,-2329 1769.5,-2329 1769.5,-2397"/>
 <polyline fill="none" stroke="#000000" points="1561.5,-2393 1565.5,-2393 1565.5,-2389 1561.5,-2389 "/>
 <polyline fill="none" stroke="#000000" points="1561.5,-2337 1565.5,-2337 1565.5,-2333 1561.5,-2333 "/>
@@ -2093,21 +2111,21 @@
 </g>
 </g>
 <!-- zcash/orchard#27&#45;&gt;zcash/orchard#35 -->
-<g id="edge131" class="edge">
+<g id="edge132" class="edge">
 <title>zcash/orchard#27&#45;&gt;zcash/orchard#35</title>
-<path fill="none" stroke="#000000" d="M1769.7,-2339.1C1914,-2305.9 2157.3,-2249.8 2159,-2248 2211.4,-2194.9 2177,-2156.4 2195,-2084 2226.3,-1958.6 2269.2,-1811.4 2289.1,-1744.4"/>
-<polygon fill="#000000" stroke="#000000" points="2292.4586,-1745.3849 2292,-1734.8 2285.7577,-1743.3606 2292.4586,-1745.3849"/>
+<path fill="none" stroke="#000000" d="M1769.7,-2339.1C1914,-2305.9 2157.3,-2249.8 2159,-2248 2211.4,-2194.9 2176.6,-2156.3 2195,-2084 2225.6,-1963.9 2268.4,-1823.4 2288.6,-1758.4"/>
+<polygon fill="#000000" stroke="#000000" points="2292.0195,-1759.1865 2291.6,-1748.6 2285.3261,-1757.1375 2292.0195,-1759.1865"/>
 </g>
 <!-- zcash/orchard#27&#45;&gt;zcash/orchard#34 -->
-<g id="edge132" class="edge">
+<g id="edge133" class="edge">
 <title>zcash/orchard#27&#45;&gt;zcash/orchard#34</title>
 <path fill="none" stroke="#000000" d="M1769.7,-2363C1811.6,-2363 1859.8,-2363 1901.7,-2363"/>
 <polygon fill="#000000" stroke="#000000" points="1902,-2366.5001 1912,-2363 1902,-2359.5001 1902,-2366.5001"/>
 </g>
 <!-- zcash/orchard#38 -->
-<g id="node113" class="node">
+<g id="node114" class="node">
 <title>zcash/orchard#38</title>
-<g id="a_node113"><a xlink:href="https://github.com/zcash/orchard/issues/38" xlink:title="zcash/orchard#38&#10;Implement generic ECC&#10;gadget" target="_blank">
+<g id="a_node114"><a xlink:href="https://github.com/zcash/orchard/issues/38" xlink:title="zcash/orchard#38&#10;Implement generic ECC&#10;gadget" target="_blank">
 <polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="1761,-1641.5 1570,-1641.5 1570,-1588.5 1761,-1588.5 1761,-1641.5"/>
 <text text-anchor="middle" x="1665.5" y="-1626.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/orchard#38</text>
 <text text-anchor="middle" x="1665.5" y="-1611.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement generic ECC</text>
@@ -2116,15 +2134,15 @@
 </g>
 </g>
 <!-- zcash/orchard#38&#45;&gt;zcash/orchard#4 -->
-<g id="edge133" class="edge">
+<g id="edge134" class="edge">
 <title>zcash/orchard#38&#45;&gt;zcash/orchard#4</title>
-<path fill="none" stroke="#000000" d="M1761.4,-1635.9C1780.2,-1640.3 1799.8,-1645.1 1818,-1650 1849.8,-1658.5 1884.3,-1668.8 1914.9,-1678.4"/>
-<polygon fill="#000000" stroke="#000000" points="1914.2147,-1681.8494 1924.8,-1681.4 1916.2448,-1675.1503 1914.2147,-1681.8494"/>
+<path fill="none" stroke="#000000" d="M1761.2,-1634.8C1780.2,-1639.3 1799.8,-1644.5 1818,-1650 1856.9,-1661.8 1899.3,-1677.7 1934,-1691.6"/>
+<polygon fill="#000000" stroke="#000000" points="1933.0137,-1694.9738 1943.6,-1695.4 1935.5901,-1688.4651 1933.0137,-1694.9738"/>
 </g>
 <!-- zcash/orchard#55 -->
-<g id="node114" class="node">
+<g id="node115" class="node">
 <title>zcash/orchard#55</title>
-<g id="a_node114"><a xlink:href="https://github.com/zcash/orchard/issues/55" xlink:title="zcash/orchard#55&#10;Handle the (negligible&#10;probability of) failure&#10;of SinsemillaShortCommit" target="_blank">
+<g id="a_node115"><a xlink:href="https://github.com/zcash/orchard/issues/55" xlink:title="zcash/orchard#55&#10;Handle the (negligible&#10;probability of) failure&#10;of SinsemillaShortCommit" target="_blank">
 <polygon fill="#fad8c7" stroke="#000000" points="1768.5,-2735 1562.5,-2735 1562.5,-2667 1768.5,-2667 1768.5,-2735"/>
 <text text-anchor="middle" x="1665.5" y="-2719.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/orchard#55</text>
 <text text-anchor="middle" x="1665.5" y="-2704.8" font-family="Times,serif" font-size="14.00" fill="#000000">Handle the (negligible</text>
@@ -2134,15 +2152,15 @@
 </g>
 </g>
 <!-- zcash/orchard#55&#45;&gt;zcash/orchard#33 -->
-<g id="edge134" class="edge">
+<g id="edge135" class="edge">
 <title>zcash/orchard#55&#45;&gt;zcash/orchard#33</title>
-<path fill="none" stroke="#000000" d="M1768.8,-2674.9C1785.5,-2669.7 1802.4,-2663.7 1818,-2657 1835,-2649.7 1836.9,-2643.2 1854,-2636 1864.6,-2631.5 1875.8,-2627.4 1887.1,-2623.7"/>
-<polygon fill="#000000" stroke="#000000" points="1888.1791,-2627.0296 1896.6,-2620.6 1886.0076,-2620.3749 1888.1791,-2627.0296"/>
+<path fill="none" stroke="#000000" d="M1768.7,-2677.1C1804.8,-2668.7 1845.7,-2659.3 1883.2,-2650.6"/>
+<polygon fill="#000000" stroke="#000000" points="1884.293,-2653.9372 1893.2,-2648.2 1882.6593,-2647.1304 1884.293,-2653.9372"/>
 </g>
 <!-- zcash/orchard#70 -->
-<g id="node115" class="node">
+<g id="node116" class="node">
 <title>zcash/orchard#70</title>
-<g id="a_node115"><a xlink:href="https://github.com/zcash/orchard/pull/70" xlink:title="zcash/orchard#70&#10;Bundle APIs" target="_blank">
+<g id="a_node116"><a xlink:href="https://github.com/zcash/orchard/pull/70" xlink:title="zcash/orchard#70&#10;Bundle APIs" target="_blank">
 <polygon fill="#fad8c7" stroke="#000000" points="1739.5,-1532 1591.5,-1532 1591.5,-1528 1587.5,-1528 1587.5,-1524 1591.5,-1524 1591.5,-1502 1587.5,-1502 1587.5,-1498 1591.5,-1498 1591.5,-1494 1739.5,-1494 1739.5,-1532"/>
 <polyline fill="none" stroke="#000000" points="1591.5,-1528 1595.5,-1528 1595.5,-1524 1591.5,-1524 "/>
 <polyline fill="none" stroke="#000000" points="1591.5,-1502 1595.5,-1502 1595.5,-1498 1591.5,-1498 "/>
@@ -2152,9 +2170,9 @@
 </g>
 </g>
 <!-- zcash/orchard#49 -->
-<g id="node116" class="node">
+<g id="node117" class="node">
 <title>zcash/orchard#49</title>
-<g id="a_node116"><a xlink:href="https://github.com/zcash/orchard/pull/49" xlink:title="zcash/orchard#49&#10;Bundle builder" target="_blank">
+<g id="a_node117"><a xlink:href="https://github.com/zcash/orchard/pull/49" xlink:title="zcash/orchard#49&#10;Bundle builder" target="_blank">
 <polygon fill="#fad8c7" stroke="#000000" points="2080.5,-1600 1932.5,-1600 1932.5,-1596 1928.5,-1596 1928.5,-1592 1932.5,-1592 1932.5,-1570 1928.5,-1570 1928.5,-1566 1932.5,-1566 1932.5,-1562 2080.5,-1562 2080.5,-1600"/>
 <polyline fill="none" stroke="#000000" points="1932.5,-1596 1936.5,-1596 1936.5,-1592 1932.5,-1592 "/>
 <polyline fill="none" stroke="#000000" points="1932.5,-1570 1936.5,-1570 1936.5,-1566 1932.5,-1566 "/>
@@ -2164,21 +2182,21 @@
 </g>
 </g>
 <!-- zcash/orchard#70&#45;&gt;zcash/orchard#49 -->
-<g id="edge135" class="edge">
+<g id="edge136" class="edge">
 <title>zcash/orchard#70&#45;&gt;zcash/orchard#49</title>
 <path fill="none" stroke="#000000" d="M1739.9,-1527.8C1793.7,-1538.6 1866.5,-1553.1 1922.4,-1564.2"/>
 <polygon fill="#000000" stroke="#000000" points="1921.7021,-1567.6296 1932.2,-1566.2 1923.1018,-1560.771 1921.7021,-1567.6296"/>
 </g>
 <!-- zcash/orchard#49&#45;&gt;zcash/orchard#35 -->
-<g id="edge136" class="edge">
+<g id="edge137" class="edge">
 <title>zcash/orchard#49&#45;&gt;zcash/orchard#35</title>
-<path fill="none" stroke="#000000" d="M2050.4,-1600C2097.7,-1620.5 2173.5,-1653.3 2229.2,-1677.4"/>
-<polygon fill="#000000" stroke="#000000" points="2228.028,-1680.7049 2238.6,-1681.4 2230.7689,-1674.2638 2228.028,-1680.7049"/>
+<path fill="none" stroke="#000000" d="M2046.1,-1600C2094.7,-1623.4 2177.9,-1663.3 2235.8,-1691.1"/>
+<polygon fill="#000000" stroke="#000000" points="2234.2789,-1694.2522 2244.8,-1695.5 2237.3534,-1687.9635 2234.2789,-1694.2522"/>
 </g>
 <!-- zcash/orchard#58 -->
-<g id="node117" class="node">
+<g id="node118" class="node">
 <title>zcash/orchard#58</title>
-<g id="a_node117"><a xlink:href="https://github.com/zcash/orchard/pull/58" xlink:title="zcash/orchard#58&#10;Proving and verifying&#10;keys, and placeholder&#10;proof logic" target="_blank">
+<g id="a_node118"><a xlink:href="https://github.com/zcash/orchard/pull/58" xlink:title="zcash/orchard#58&#10;Proving and verifying&#10;keys, and placeholder&#10;proof logic" target="_blank">
 <polygon fill="#fad8c7" stroke="#000000" points="1752,-1420 1579,-1420 1579,-1416 1575,-1416 1575,-1412 1579,-1412 1579,-1360 1575,-1360 1575,-1356 1579,-1356 1579,-1352 1752,-1352 1752,-1420"/>
 <polyline fill="none" stroke="#000000" points="1579,-1416 1583,-1416 1583,-1412 1579,-1412 "/>
 <polyline fill="none" stroke="#000000" points="1579,-1360 1583,-1360 1583,-1356 1579,-1356 "/>
@@ -2190,15 +2208,15 @@
 </g>
 </g>
 <!-- zcash/orchard#58&#45;&gt;zcash/orchard#49 -->
-<g id="edge137" class="edge">
+<g id="edge138" class="edge">
 <title>zcash/orchard#58&#45;&gt;zcash/orchard#49</title>
 <path fill="none" stroke="#000000" d="M1752,-1394.8C1776,-1401.1 1800.2,-1411.6 1818,-1429 1857.4,-1467.7 1813.4,-1510.5 1854,-1548 1872.5,-1565 1897.6,-1574.1 1922.1,-1578.6"/>
 <polygon fill="#000000" stroke="#000000" points="1921.6548,-1582.0745 1932.1,-1580.3 1922.8281,-1575.1735 1921.6548,-1582.0745"/>
 </g>
 <!-- zcash/orchard#60 -->
-<g id="node118" class="node">
+<g id="node119" class="node">
 <title>zcash/orchard#60</title>
-<g id="a_node118"><a xlink:href="https://github.com/zcash/orchard/pull/60" xlink:title="zcash/orchard#60&#10;Dummy note generation" target="_blank">
+<g id="a_node119"><a xlink:href="https://github.com/zcash/orchard/pull/60" xlink:title="zcash/orchard#60&#10;Dummy note generation" target="_blank">
 <polygon fill="#fad8c7" stroke="#000000" points="1419.5,-1405 1229.5,-1405 1229.5,-1401 1225.5,-1401 1225.5,-1397 1229.5,-1397 1229.5,-1375 1225.5,-1375 1225.5,-1371 1229.5,-1371 1229.5,-1367 1419.5,-1367 1419.5,-1405"/>
 <polyline fill="none" stroke="#000000" points="1229.5,-1401 1233.5,-1401 1233.5,-1397 1229.5,-1397 "/>
 <polyline fill="none" stroke="#000000" points="1229.5,-1375 1233.5,-1375 1233.5,-1371 1229.5,-1371 "/>
@@ -2208,15 +2226,15 @@
 </g>
 </g>
 <!-- zcash/orchard#60&#45;&gt;zcash/orchard#58 -->
-<g id="edge138" class="edge">
+<g id="edge139" class="edge">
 <title>zcash/orchard#60&#45;&gt;zcash/orchard#58</title>
 <path fill="none" stroke="#000000" d="M1419.9,-1386C1466.4,-1386 1522.1,-1386 1568.7,-1386"/>
 <polygon fill="#000000" stroke="#000000" points="1568.8,-1389.5001 1578.8,-1386 1568.8,-1382.5001 1568.8,-1389.5001"/>
 </g>
 <!-- zcash/orchard#72 -->
-<g id="node119" class="node">
+<g id="node120" class="node">
 <title>zcash/orchard#72</title>
-<g id="a_node119"><a xlink:href="https://github.com/zcash/orchard/pull/72" xlink:title="zcash/orchard#72&#10;Builder preparations" target="_blank">
+<g id="a_node120"><a xlink:href="https://github.com/zcash/orchard/pull/72" xlink:title="zcash/orchard#72&#10;Builder preparations" target="_blank">
 <polygon fill="#fad8c7" stroke="#000000" points="1748,-1476 1583,-1476 1583,-1472 1579,-1472 1579,-1468 1583,-1468 1583,-1446 1579,-1446 1579,-1442 1583,-1442 1583,-1438 1748,-1438 1748,-1476"/>
 <polyline fill="none" stroke="#000000" points="1583,-1472 1587,-1472 1587,-1468 1583,-1468 "/>
 <polyline fill="none" stroke="#000000" points="1583,-1446 1587,-1446 1587,-1442 1583,-1442 "/>
@@ -2226,7 +2244,7 @@
 </g>
 </g>
 <!-- zcash/orchard#72&#45;&gt;zcash/orchard#49 -->
-<g id="edge139" class="edge">
+<g id="edge140" class="edge">
 <title>zcash/orchard#72&#45;&gt;zcash/orchard#49</title>
 <path fill="none" stroke="#000000" d="M1748.2,-1459.1C1772.4,-1463 1797.8,-1470.7 1818,-1485 1844.3,-1503.6 1828,-1528.9 1854,-1548 1873.7,-1562.4 1898.4,-1570.8 1922.2,-1575.6"/>
 <polygon fill="#000000" stroke="#000000" points="1921.841,-1579.0911 1932.3,-1577.4 1923.0692,-1572.1997 1921.841,-1579.0911"/>