This commit is contained in:
nuttycom 2024-04-26 12:09:57 +00:00
parent 3964a83ce5
commit 0dd1c526cd
12 changed files with 11540 additions and 11540 deletions

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

Before

Width:  |  Height:  |  Size: 410 KiB

After

Width:  |  Height:  |  Size: 409 KiB

View File

@ -22,53 +22,24 @@
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 1515)">
<polygon fill="white" stroke="transparent" points="-4,4 -4,-1515 1886,-1515 1886,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_2</title>
<polygon fill="none" stroke="blue" points="8.5,-617.5 8.5,-710.5 446.5,-710.5 446.5,-617.5 8.5,-617.5"/>
<text text-anchor="middle" x="227.5" y="-695.3" font-family="Times,serif" font-size="14.00">0.3.1</text>
</g>
<g id="clust2" class="cluster">
<title>cluster_0</title>
<polygon fill="none" stroke="blue" points="262,-415.5 262,-609.5 1420,-609.5 1420,-415.5 262,-415.5"/>
<text text-anchor="middle" x="841" y="-594.3" font-family="Times,serif" font-size="14.00">First user&#45;facing recursion API</text>
</g>
<g id="clust3" class="cluster">
<g id="clust2" class="cluster">
<title>cluster_1</title>
<polygon fill="none" stroke="blue" points="4,-324.5 4,-417.5 220,-417.5 220,-324.5 4,-324.5"/>
<text text-anchor="middle" x="112" y="-402.3" font-family="Times,serif" font-size="14.00">Documentation Q2 2024</text>
</g>
<!-- zcash/halo2#756 -->
<g id="node1" class="node open">
<title>zcash/halo2#756</title>
<g id="a_node1"><a xlink:href="https://github.com/zcash/halo2/issues/756" xlink:title="zcash/halo2#756&#10;Release halo2 0.3.1" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="438.5,-671.5 282.5,-671.5 282.5,-633.5 438.5,-633.5 438.5,-671.5"/>
<text text-anchor="middle" x="360.5" y="-656.3" font-family="Times,serif" font-size="14.00">zcash/halo2#756</text>
<text text-anchor="middle" x="360.5" y="-641.3" font-family="Times,serif" font-size="14.00">Release halo2 0.3.1</text>
</a>
</g>
</g>
<!-- zcash/halo2#742 -->
<g id="node2" class="node open">
<title>zcash/halo2#742</title>
<g id="a_node2"><a xlink:href="https://github.com/zcash/halo2/pull/742" xlink:title="zcash/halo2#742&#10;chore: Speed up random&#10;poly generation" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="207.5,-679 16.5,-679 16.5,-675 12.5,-675 12.5,-671 16.5,-671 16.5,-634 12.5,-634 12.5,-630 16.5,-630 16.5,-626 207.5,-626 207.5,-679"/>
<polyline fill="none" stroke="black" stroke-width="2" points="16.5,-675 20.5,-675 20.5,-671 16.5,-671 "/>
<polyline fill="none" stroke="black" stroke-width="2" points="16.5,-634 20.5,-634 20.5,-630 16.5,-630 "/>
<text text-anchor="middle" x="112" y="-663.8" font-family="Times,serif" font-size="14.00">zcash/halo2#742</text>
<text text-anchor="middle" x="112" y="-648.8" font-family="Times,serif" font-size="14.00">chore: Speed up random</text>
<text text-anchor="middle" x="112" y="-633.8" font-family="Times,serif" font-size="14.00">poly generation</text>
</a>
</g>
</g>
<!-- zcash/halo2#742&#45;&gt;zcash/halo2#756 -->
<g id="edge1" class="edge">
<title>zcash/halo2#742&#45;&gt;zcash/halo2#756</title>
<path fill="none" stroke="black" d="M207.6,-652.5C228.83,-652.5 251.27,-652.5 272.19,-652.5"/>
<polygon fill="black" stroke="black" points="272.33,-656 282.33,-652.5 272.33,-649 272.33,-656"/>
<g id="clust3" class="cluster">
<title>cluster_2</title>
<polygon fill="none" stroke="blue" points="8.5,-617.5 8.5,-710.5 446.5,-710.5 446.5,-617.5 8.5,-617.5"/>
<text text-anchor="middle" x="227.5" y="-695.3" font-family="Times,serif" font-size="14.00">0.3.1</text>
</g>
<!-- zcash/halo2#247 -->
<g id="node3" class="node open">
<g id="node1" class="node open">
<title>zcash/halo2#247</title>
<g id="a_node3"><a xlink:href="https://github.com/zcash/halo2/issues/247" xlink:title="zcash/halo2#247&#10;Implement underlying&#10;scaffolding for creating&#10;the IVC proof cycle" target="_blank">
<g id="a_node1"><a xlink:href="https://github.com/zcash/halo2/issues/247" xlink:title="zcash/halo2#247&#10;Implement underlying&#10;scaffolding for creating&#10;the IVC proof cycle" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="1157,-497.5 975,-497.5 975,-429.5 1157,-429.5 1157,-497.5"/>
<text text-anchor="middle" x="1066" y="-482.3" font-family="Times,serif" font-size="14.00">zcash/halo2#247</text>
<text text-anchor="middle" x="1066" y="-467.3" font-family="Times,serif" font-size="14.00">Implement underlying</text>
@ -78,9 +49,9 @@
</g>
</g>
<!-- zcash/halo2#251 -->
<g id="node4" class="node open">
<g id="node2" class="node open">
<title>zcash/halo2#251</title>
<g id="a_node4"><a xlink:href="https://github.com/zcash/halo2/issues/251" xlink:title="zcash/halo2#251&#10;Implement user&#45;facing API&#10;for recursive proving of&#10;IVC" target="_blank">
<g id="a_node2"><a xlink:href="https://github.com/zcash/halo2/issues/251" xlink:title="zcash/halo2#251&#10;Implement user&#45;facing API&#10;for recursive proving of&#10;IVC" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="1412,-497.5 1409,-501.5 1388,-501.5 1385,-497.5 1205,-497.5 1205,-429.5 1412,-429.5 1412,-497.5"/>
<text text-anchor="middle" x="1308.5" y="-482.3" font-family="Times,serif" font-size="14.00">zcash/halo2#251</text>
<text text-anchor="middle" x="1308.5" y="-467.3" font-family="Times,serif" font-size="14.00">Implement user&#45;facing API</text>
@ -90,7 +61,7 @@
</g>
</g>
<!-- zcash/halo2#247&#45;&gt;zcash/halo2#251 -->
<g id="edge2" class="edge">
<g id="edge1" class="edge">
<title>zcash/halo2#247&#45;&gt;zcash/halo2#251</title>
<path fill="none" stroke="black" d="M1157.2,-463.5C1169.4,-463.5 1182.1,-463.5 1194.6,-463.5"/>
<polygon fill="black" stroke="black" points="1194.6,-467 1204.6,-463.5 1194.6,-460 1194.6,-467"/>
@ -147,9 +118,9 @@
<polygon fill="black" stroke="black" points="1438.37,-449.5 1447.8,-444.67 1437.42,-442.56 1438.37,-449.5"/>
</g>
<!-- zcash/halo2#246 -->
<g id="node5" class="node open">
<g id="node3" class="node open">
<title>zcash/halo2#246</title>
<g id="a_node5"><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_node3"><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="black" points="686.5,-477 508.5,-477 508.5,-424 686.5,-424 686.5,-477"/>
<text text-anchor="middle" x="597.5" y="-461.8" font-family="Times,serif" font-size="14.00">zcash/halo2#246</text>
<text text-anchor="middle" x="597.5" y="-446.8" font-family="Times,serif" font-size="14.00">Create recursive proof</text>
@ -158,9 +129,9 @@
</g>
</g>
<!-- zcash/halo2#435 -->
<g id="node6" class="node open">
<g id="node4" class="node open">
<title>zcash/halo2#435</title>
<g id="a_node6"><a xlink:href="https://github.com/zcash/halo2/issues/435" xlink:title="zcash/halo2#435&#10;Implement mock&#10;verification circuit for&#10;IVC" target="_blank">
<g id="a_node4"><a xlink:href="https://github.com/zcash/halo2/issues/435" xlink:title="zcash/halo2#435&#10;Implement mock&#10;verification circuit for&#10;IVC" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="916.5,-497.5 744.5,-497.5 744.5,-429.5 916.5,-429.5 916.5,-497.5"/>
<text text-anchor="middle" x="830.5" y="-482.3" font-family="Times,serif" font-size="14.00">zcash/halo2#435</text>
<text text-anchor="middle" x="830.5" y="-467.3" font-family="Times,serif" font-size="14.00">Implement mock</text>
@ -170,7 +141,7 @@
</g>
</g>
<!-- zcash/halo2#246&#45;&gt;zcash/halo2#435 -->
<g id="edge3" class="edge">
<g id="edge2" class="edge">
<title>zcash/halo2#246&#45;&gt;zcash/halo2#435</title>
<path fill="none" stroke="black" d="M686.82,-455.47C702.28,-456.34 718.44,-457.25 734.08,-458.13"/>
<polygon fill="black" stroke="black" points="734.1,-461.64 744.28,-458.7 734.49,-454.65 734.1,-461.64"/>
@ -194,15 +165,15 @@
<polygon fill="black" stroke="black" points="735.78,-408.43 744.16,-401.95 733.57,-401.79 735.78,-408.43"/>
</g>
<!-- zcash/halo2#435&#45;&gt;zcash/halo2#247 -->
<g id="edge4" class="edge">
<g id="edge3" class="edge">
<title>zcash/halo2#435&#45;&gt;zcash/halo2#247</title>
<path fill="none" stroke="black" d="M916.79,-463.5C932.29,-463.5 948.58,-463.5 964.47,-463.5"/>
<polygon fill="black" stroke="black" points="964.84,-467 974.84,-463.5 964.84,-460 964.84,-467"/>
</g>
<!-- zcash/halo2#439 -->
<g id="node7" class="node open">
<g id="node5" class="node open">
<title>zcash/halo2#439</title>
<g id="a_node7"><a xlink:href="https://github.com/zcash/halo2/issues/439" xlink:title="zcash/halo2#439&#10;Support split&#10;accumulation in Halo 2" target="_blank">
<g id="a_node5"><a xlink:href="https://github.com/zcash/halo2/issues/439" xlink:title="zcash/halo2#439&#10;Support split&#10;accumulation in Halo 2" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="451,-477 270,-477 270,-424 451,-424 451,-477"/>
<text text-anchor="middle" x="360.5" y="-461.8" font-family="Times,serif" font-size="14.00">zcash/halo2#439</text>
<text text-anchor="middle" x="360.5" y="-446.8" font-family="Times,serif" font-size="14.00">Support split</text>
@ -211,7 +182,7 @@
</g>
</g>
<!-- zcash/halo2#439&#45;&gt;zcash/halo2#246 -->
<g id="edge5" class="edge">
<g id="edge4" class="edge">
<title>zcash/halo2#439&#45;&gt;zcash/halo2#246</title>
<path fill="none" stroke="black" d="M451.01,-450.5C466.44,-450.5 482.55,-450.5 498.2,-450.5"/>
<polygon fill="black" stroke="black" points="498.4,-454 508.4,-450.5 498.4,-447 498.4,-454"/>
@ -234,9 +205,9 @@
<polygon fill="black" stroke="black" points="724.4,-305.75 733.75,-300.77 723.33,-298.83 724.4,-305.75"/>
</g>
<!-- zcash/halo2#643 -->
<g id="node8" class="node open">
<g id="node6" class="node open">
<title>zcash/halo2#643</title>
<g id="a_node8"><a xlink:href="https://github.com/zcash/halo2/issues/643" xlink:title="zcash/halo2#643&#10;Create separate&#10;`VerifyingKey` structures&#10;for pre&#45; and post&#45;&#10;optimisation circuits" target="_blank">
<g id="a_node6"><a xlink:href="https://github.com/zcash/halo2/issues/643" xlink:title="zcash/halo2#643&#10;Create separate&#10;`VerifyingKey` structures&#10;for pre&#45; and post&#45;&#10;optimisation circuits" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="697.5,-578 497.5,-578 497.5,-495 697.5,-495 697.5,-578"/>
<text text-anchor="middle" x="597.5" y="-562.8" font-family="Times,serif" font-size="14.00">zcash/halo2#643</text>
<text text-anchor="middle" x="597.5" y="-547.8" font-family="Times,serif" font-size="14.00">Create separate</text>
@ -247,7 +218,7 @@
</g>
</g>
<!-- zcash/halo2#643&#45;&gt;zcash/halo2#435 -->
<g id="edge6" class="edge">
<g id="edge5" class="edge">
<title>zcash/halo2#643&#45;&gt;zcash/halo2#435</title>
<path fill="none" stroke="black" d="M697.81,-505.12C710.06,-501.25 722.56,-497.29 734.75,-493.44"/>
<polygon fill="black" stroke="black" points="735.96,-496.73 744.44,-490.38 733.85,-490.05 735.96,-496.73"/>
@ -277,9 +248,9 @@
<polygon fill="black" stroke="black" points="731.83,-616.23 742.36,-617.41 734.87,-609.92 731.83,-616.23"/>
</g>
<!-- zcash/halo2#455 -->
<g id="node9" class="node open">
<g id="node7" class="node open">
<title>zcash/halo2#455</title>
<g id="a_node9"><a xlink:href="https://github.com/zcash/halo2/issues/455" xlink:title="zcash/halo2#455&#10;[Book] add description of&#10;Poseidon gadget and chip" target="_blank">
<g id="a_node7"><a xlink:href="https://github.com/zcash/halo2/issues/455" xlink:title="zcash/halo2#455&#10;[Book] add description of&#10;Poseidon gadget and chip" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="212,-386 12,-386 12,-333 212,-333 212,-386"/>
<text text-anchor="middle" x="112" y="-370.8" font-family="Times,serif" font-size="14.00">zcash/halo2#455</text>
<text text-anchor="middle" x="112" y="-355.8" font-family="Times,serif" font-size="14.00">[Book] add description of</text>
@ -287,6 +258,35 @@
</a>
</g>
</g>
<!-- zcash/halo2#756 -->
<g id="node8" class="node open">
<title>zcash/halo2#756</title>
<g id="a_node8"><a xlink:href="https://github.com/zcash/halo2/issues/756" xlink:title="zcash/halo2#756&#10;Release halo2 0.3.1" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="438.5,-671.5 282.5,-671.5 282.5,-633.5 438.5,-633.5 438.5,-671.5"/>
<text text-anchor="middle" x="360.5" y="-656.3" font-family="Times,serif" font-size="14.00">zcash/halo2#756</text>
<text text-anchor="middle" x="360.5" y="-641.3" font-family="Times,serif" font-size="14.00">Release halo2 0.3.1</text>
</a>
</g>
</g>
<!-- zcash/halo2#742 -->
<g id="node9" class="node open">
<title>zcash/halo2#742</title>
<g id="a_node9"><a xlink:href="https://github.com/zcash/halo2/pull/742" xlink:title="zcash/halo2#742&#10;chore: Speed up random&#10;poly generation" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="207.5,-679 16.5,-679 16.5,-675 12.5,-675 12.5,-671 16.5,-671 16.5,-634 12.5,-634 12.5,-630 16.5,-630 16.5,-626 207.5,-626 207.5,-679"/>
<polyline fill="none" stroke="black" stroke-width="2" points="16.5,-675 20.5,-675 20.5,-671 16.5,-671 "/>
<polyline fill="none" stroke="black" stroke-width="2" points="16.5,-634 20.5,-634 20.5,-630 16.5,-630 "/>
<text text-anchor="middle" x="112" y="-663.8" font-family="Times,serif" font-size="14.00">zcash/halo2#742</text>
<text text-anchor="middle" x="112" y="-648.8" font-family="Times,serif" font-size="14.00">chore: Speed up random</text>
<text text-anchor="middle" x="112" y="-633.8" font-family="Times,serif" font-size="14.00">poly generation</text>
</a>
</g>
</g>
<!-- zcash/halo2#742&#45;&gt;zcash/halo2#756 -->
<g id="edge6" class="edge">
<title>zcash/halo2#742&#45;&gt;zcash/halo2#756</title>
<path fill="none" stroke="black" d="M207.6,-652.5C228.83,-652.5 251.27,-652.5 272.19,-652.5"/>
<polygon fill="black" stroke="black" points="272.33,-656 282.33,-652.5 272.33,-649 272.33,-656"/>
</g>
<!-- zcash/halo2#250&#45;&gt;zcash/halo2#75 -->
<g id="edge14" class="edge">
<title>zcash/halo2#250&#45;&gt;zcash/halo2#75</title>

View File

@ -10,53 +10,24 @@
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 1515)">
<polygon fill="white" stroke="transparent" points="-4,4 -4,-1515 1886,-1515 1886,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_2</title>
<polygon fill="none" stroke="blue" points="8.5,-617.5 8.5,-710.5 446.5,-710.5 446.5,-617.5 8.5,-617.5"/>
<text text-anchor="middle" x="227.5" y="-695.3" font-family="Times,serif" font-size="14.00">0.3.1</text>
</g>
<g id="clust2" class="cluster">
<title>cluster_0</title>
<polygon fill="none" stroke="blue" points="262,-415.5 262,-609.5 1420,-609.5 1420,-415.5 262,-415.5"/>
<text text-anchor="middle" x="841" y="-594.3" font-family="Times,serif" font-size="14.00">First user&#45;facing recursion API</text>
</g>
<g id="clust3" class="cluster">
<g id="clust2" class="cluster">
<title>cluster_1</title>
<polygon fill="none" stroke="blue" points="4,-324.5 4,-417.5 220,-417.5 220,-324.5 4,-324.5"/>
<text text-anchor="middle" x="112" y="-402.3" font-family="Times,serif" font-size="14.00">Documentation Q2 2024</text>
</g>
<!-- zcash/halo2#756 -->
<g id="node1" class="node open">
<title>zcash/halo2#756</title>
<g id="a_node1"><a xlink:href="https://github.com/zcash/halo2/issues/756" xlink:title="zcash/halo2#756&#10;Release halo2 0.3.1" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="438.5,-671.5 282.5,-671.5 282.5,-633.5 438.5,-633.5 438.5,-671.5"/>
<text text-anchor="middle" x="360.5" y="-656.3" font-family="Times,serif" font-size="14.00">zcash/halo2#756</text>
<text text-anchor="middle" x="360.5" y="-641.3" font-family="Times,serif" font-size="14.00">Release halo2 0.3.1</text>
</a>
</g>
</g>
<!-- zcash/halo2#742 -->
<g id="node2" class="node open">
<title>zcash/halo2#742</title>
<g id="a_node2"><a xlink:href="https://github.com/zcash/halo2/pull/742" xlink:title="zcash/halo2#742&#10;chore: Speed up random&#10;poly generation" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="207.5,-679 16.5,-679 16.5,-675 12.5,-675 12.5,-671 16.5,-671 16.5,-634 12.5,-634 12.5,-630 16.5,-630 16.5,-626 207.5,-626 207.5,-679"/>
<polyline fill="none" stroke="black" stroke-width="2" points="16.5,-675 20.5,-675 20.5,-671 16.5,-671 "/>
<polyline fill="none" stroke="black" stroke-width="2" points="16.5,-634 20.5,-634 20.5,-630 16.5,-630 "/>
<text text-anchor="middle" x="112" y="-663.8" font-family="Times,serif" font-size="14.00">zcash/halo2#742</text>
<text text-anchor="middle" x="112" y="-648.8" font-family="Times,serif" font-size="14.00">chore: Speed up random</text>
<text text-anchor="middle" x="112" y="-633.8" font-family="Times,serif" font-size="14.00">poly generation</text>
</a>
</g>
</g>
<!-- zcash/halo2#742&#45;&gt;zcash/halo2#756 -->
<g id="edge1" class="edge">
<title>zcash/halo2#742&#45;&gt;zcash/halo2#756</title>
<path fill="none" stroke="black" d="M207.6,-652.5C228.83,-652.5 251.27,-652.5 272.19,-652.5"/>
<polygon fill="black" stroke="black" points="272.33,-656 282.33,-652.5 272.33,-649 272.33,-656"/>
<g id="clust3" class="cluster">
<title>cluster_2</title>
<polygon fill="none" stroke="blue" points="8.5,-617.5 8.5,-710.5 446.5,-710.5 446.5,-617.5 8.5,-617.5"/>
<text text-anchor="middle" x="227.5" y="-695.3" font-family="Times,serif" font-size="14.00">0.3.1</text>
</g>
<!-- zcash/halo2#247 -->
<g id="node3" class="node open">
<g id="node1" class="node open">
<title>zcash/halo2#247</title>
<g id="a_node3"><a xlink:href="https://github.com/zcash/halo2/issues/247" xlink:title="zcash/halo2#247&#10;Implement underlying&#10;scaffolding for creating&#10;the IVC proof cycle" target="_blank">
<g id="a_node1"><a xlink:href="https://github.com/zcash/halo2/issues/247" xlink:title="zcash/halo2#247&#10;Implement underlying&#10;scaffolding for creating&#10;the IVC proof cycle" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="1157,-497.5 975,-497.5 975,-429.5 1157,-429.5 1157,-497.5"/>
<text text-anchor="middle" x="1066" y="-482.3" font-family="Times,serif" font-size="14.00">zcash/halo2#247</text>
<text text-anchor="middle" x="1066" y="-467.3" font-family="Times,serif" font-size="14.00">Implement underlying</text>
@ -66,9 +37,9 @@
</g>
</g>
<!-- zcash/halo2#251 -->
<g id="node4" class="node open">
<g id="node2" class="node open">
<title>zcash/halo2#251</title>
<g id="a_node4"><a xlink:href="https://github.com/zcash/halo2/issues/251" xlink:title="zcash/halo2#251&#10;Implement user&#45;facing API&#10;for recursive proving of&#10;IVC" target="_blank">
<g id="a_node2"><a xlink:href="https://github.com/zcash/halo2/issues/251" xlink:title="zcash/halo2#251&#10;Implement user&#45;facing API&#10;for recursive proving of&#10;IVC" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="1412,-497.5 1409,-501.5 1388,-501.5 1385,-497.5 1205,-497.5 1205,-429.5 1412,-429.5 1412,-497.5"/>
<text text-anchor="middle" x="1308.5" y="-482.3" font-family="Times,serif" font-size="14.00">zcash/halo2#251</text>
<text text-anchor="middle" x="1308.5" y="-467.3" font-family="Times,serif" font-size="14.00">Implement user&#45;facing API</text>
@ -78,7 +49,7 @@
</g>
</g>
<!-- zcash/halo2#247&#45;&gt;zcash/halo2#251 -->
<g id="edge2" class="edge">
<g id="edge1" class="edge">
<title>zcash/halo2#247&#45;&gt;zcash/halo2#251</title>
<path fill="none" stroke="black" d="M1157.2,-463.5C1169.4,-463.5 1182.1,-463.5 1194.6,-463.5"/>
<polygon fill="black" stroke="black" points="1194.6,-467 1204.6,-463.5 1194.6,-460 1194.6,-467"/>
@ -135,9 +106,9 @@
<polygon fill="black" stroke="black" points="1438.37,-449.5 1447.8,-444.67 1437.42,-442.56 1438.37,-449.5"/>
</g>
<!-- zcash/halo2#246 -->
<g id="node5" class="node open">
<g id="node3" class="node open">
<title>zcash/halo2#246</title>
<g id="a_node5"><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_node3"><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="black" points="686.5,-477 508.5,-477 508.5,-424 686.5,-424 686.5,-477"/>
<text text-anchor="middle" x="597.5" y="-461.8" font-family="Times,serif" font-size="14.00">zcash/halo2#246</text>
<text text-anchor="middle" x="597.5" y="-446.8" font-family="Times,serif" font-size="14.00">Create recursive proof</text>
@ -146,9 +117,9 @@
</g>
</g>
<!-- zcash/halo2#435 -->
<g id="node6" class="node open">
<g id="node4" class="node open">
<title>zcash/halo2#435</title>
<g id="a_node6"><a xlink:href="https://github.com/zcash/halo2/issues/435" xlink:title="zcash/halo2#435&#10;Implement mock&#10;verification circuit for&#10;IVC" target="_blank">
<g id="a_node4"><a xlink:href="https://github.com/zcash/halo2/issues/435" xlink:title="zcash/halo2#435&#10;Implement mock&#10;verification circuit for&#10;IVC" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="916.5,-497.5 744.5,-497.5 744.5,-429.5 916.5,-429.5 916.5,-497.5"/>
<text text-anchor="middle" x="830.5" y="-482.3" font-family="Times,serif" font-size="14.00">zcash/halo2#435</text>
<text text-anchor="middle" x="830.5" y="-467.3" font-family="Times,serif" font-size="14.00">Implement mock</text>
@ -158,7 +129,7 @@
</g>
</g>
<!-- zcash/halo2#246&#45;&gt;zcash/halo2#435 -->
<g id="edge3" class="edge">
<g id="edge2" class="edge">
<title>zcash/halo2#246&#45;&gt;zcash/halo2#435</title>
<path fill="none" stroke="black" d="M686.82,-455.47C702.28,-456.34 718.44,-457.25 734.08,-458.13"/>
<polygon fill="black" stroke="black" points="734.1,-461.64 744.28,-458.7 734.49,-454.65 734.1,-461.64"/>
@ -182,15 +153,15 @@
<polygon fill="black" stroke="black" points="735.78,-408.43 744.16,-401.95 733.57,-401.79 735.78,-408.43"/>
</g>
<!-- zcash/halo2#435&#45;&gt;zcash/halo2#247 -->
<g id="edge4" class="edge">
<g id="edge3" class="edge">
<title>zcash/halo2#435&#45;&gt;zcash/halo2#247</title>
<path fill="none" stroke="black" d="M916.79,-463.5C932.29,-463.5 948.58,-463.5 964.47,-463.5"/>
<polygon fill="black" stroke="black" points="964.84,-467 974.84,-463.5 964.84,-460 964.84,-467"/>
</g>
<!-- zcash/halo2#439 -->
<g id="node7" class="node open">
<g id="node5" class="node open">
<title>zcash/halo2#439</title>
<g id="a_node7"><a xlink:href="https://github.com/zcash/halo2/issues/439" xlink:title="zcash/halo2#439&#10;Support split&#10;accumulation in Halo 2" target="_blank">
<g id="a_node5"><a xlink:href="https://github.com/zcash/halo2/issues/439" xlink:title="zcash/halo2#439&#10;Support split&#10;accumulation in Halo 2" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="451,-477 270,-477 270,-424 451,-424 451,-477"/>
<text text-anchor="middle" x="360.5" y="-461.8" font-family="Times,serif" font-size="14.00">zcash/halo2#439</text>
<text text-anchor="middle" x="360.5" y="-446.8" font-family="Times,serif" font-size="14.00">Support split</text>
@ -199,7 +170,7 @@
</g>
</g>
<!-- zcash/halo2#439&#45;&gt;zcash/halo2#246 -->
<g id="edge5" class="edge">
<g id="edge4" class="edge">
<title>zcash/halo2#439&#45;&gt;zcash/halo2#246</title>
<path fill="none" stroke="black" d="M451.01,-450.5C466.44,-450.5 482.55,-450.5 498.2,-450.5"/>
<polygon fill="black" stroke="black" points="498.4,-454 508.4,-450.5 498.4,-447 498.4,-454"/>
@ -222,9 +193,9 @@
<polygon fill="black" stroke="black" points="724.4,-305.75 733.75,-300.77 723.33,-298.83 724.4,-305.75"/>
</g>
<!-- zcash/halo2#643 -->
<g id="node8" class="node open">
<g id="node6" class="node open">
<title>zcash/halo2#643</title>
<g id="a_node8"><a xlink:href="https://github.com/zcash/halo2/issues/643" xlink:title="zcash/halo2#643&#10;Create separate&#10;`VerifyingKey` structures&#10;for pre&#45; and post&#45;&#10;optimisation circuits" target="_blank">
<g id="a_node6"><a xlink:href="https://github.com/zcash/halo2/issues/643" xlink:title="zcash/halo2#643&#10;Create separate&#10;`VerifyingKey` structures&#10;for pre&#45; and post&#45;&#10;optimisation circuits" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="697.5,-578 497.5,-578 497.5,-495 697.5,-495 697.5,-578"/>
<text text-anchor="middle" x="597.5" y="-562.8" font-family="Times,serif" font-size="14.00">zcash/halo2#643</text>
<text text-anchor="middle" x="597.5" y="-547.8" font-family="Times,serif" font-size="14.00">Create separate</text>
@ -235,7 +206,7 @@
</g>
</g>
<!-- zcash/halo2#643&#45;&gt;zcash/halo2#435 -->
<g id="edge6" class="edge">
<g id="edge5" class="edge">
<title>zcash/halo2#643&#45;&gt;zcash/halo2#435</title>
<path fill="none" stroke="black" d="M697.81,-505.12C710.06,-501.25 722.56,-497.29 734.75,-493.44"/>
<polygon fill="black" stroke="black" points="735.96,-496.73 744.44,-490.38 733.85,-490.05 735.96,-496.73"/>
@ -265,9 +236,9 @@
<polygon fill="black" stroke="black" points="731.83,-616.23 742.36,-617.41 734.87,-609.92 731.83,-616.23"/>
</g>
<!-- zcash/halo2#455 -->
<g id="node9" class="node open">
<g id="node7" class="node open">
<title>zcash/halo2#455</title>
<g id="a_node9"><a xlink:href="https://github.com/zcash/halo2/issues/455" xlink:title="zcash/halo2#455&#10;[Book] add description of&#10;Poseidon gadget and chip" target="_blank">
<g id="a_node7"><a xlink:href="https://github.com/zcash/halo2/issues/455" xlink:title="zcash/halo2#455&#10;[Book] add description of&#10;Poseidon gadget and chip" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="212,-386 12,-386 12,-333 212,-333 212,-386"/>
<text text-anchor="middle" x="112" y="-370.8" font-family="Times,serif" font-size="14.00">zcash/halo2#455</text>
<text text-anchor="middle" x="112" y="-355.8" font-family="Times,serif" font-size="14.00">[Book] add description of</text>
@ -275,6 +246,35 @@
</a>
</g>
</g>
<!-- zcash/halo2#756 -->
<g id="node8" class="node open">
<title>zcash/halo2#756</title>
<g id="a_node8"><a xlink:href="https://github.com/zcash/halo2/issues/756" xlink:title="zcash/halo2#756&#10;Release halo2 0.3.1" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="438.5,-671.5 282.5,-671.5 282.5,-633.5 438.5,-633.5 438.5,-671.5"/>
<text text-anchor="middle" x="360.5" y="-656.3" font-family="Times,serif" font-size="14.00">zcash/halo2#756</text>
<text text-anchor="middle" x="360.5" y="-641.3" font-family="Times,serif" font-size="14.00">Release halo2 0.3.1</text>
</a>
</g>
</g>
<!-- zcash/halo2#742 -->
<g id="node9" class="node open">
<title>zcash/halo2#742</title>
<g id="a_node9"><a xlink:href="https://github.com/zcash/halo2/pull/742" xlink:title="zcash/halo2#742&#10;chore: Speed up random&#10;poly generation" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="207.5,-679 16.5,-679 16.5,-675 12.5,-675 12.5,-671 16.5,-671 16.5,-634 12.5,-634 12.5,-630 16.5,-630 16.5,-626 207.5,-626 207.5,-679"/>
<polyline fill="none" stroke="black" stroke-width="2" points="16.5,-675 20.5,-675 20.5,-671 16.5,-671 "/>
<polyline fill="none" stroke="black" stroke-width="2" points="16.5,-634 20.5,-634 20.5,-630 16.5,-630 "/>
<text text-anchor="middle" x="112" y="-663.8" font-family="Times,serif" font-size="14.00">zcash/halo2#742</text>
<text text-anchor="middle" x="112" y="-648.8" font-family="Times,serif" font-size="14.00">chore: Speed up random</text>
<text text-anchor="middle" x="112" y="-633.8" font-family="Times,serif" font-size="14.00">poly generation</text>
</a>
</g>
</g>
<!-- zcash/halo2#742&#45;&gt;zcash/halo2#756 -->
<g id="edge6" class="edge">
<title>zcash/halo2#742&#45;&gt;zcash/halo2#756</title>
<path fill="none" stroke="black" d="M207.6,-652.5C228.83,-652.5 251.27,-652.5 272.19,-652.5"/>
<polygon fill="black" stroke="black" points="272.33,-656 282.33,-652.5 272.33,-649 272.33,-656"/>
</g>
<!-- zcash/halo2#250&#45;&gt;zcash/halo2#75 -->
<g id="edge14" class="edge">
<title>zcash/halo2#250&#45;&gt;zcash/halo2#75</title>

Before

Width:  |  Height:  |  Size: 54 KiB

After

Width:  |  Height:  |  Size: 54 KiB

View File

@ -32,20 +32,20 @@
<text text-anchor="middle" x="1307.5" y="-1278.8" font-family="Times,serif" font-size="14.00">Design and Implementation Phase 3</text>
</g>
<g id="clust3" class="cluster">
<title>cluster_3</title>
<polygon fill="none" stroke="blue" points="0,-656 0,-961 955,-961 955,-656 0,-656"/>
<text text-anchor="middle" x="477.5" y="-945.8" font-family="Times,serif" font-size="14.00">Implementation Phase 1: Simulation Codebase</text>
</g>
<g id="clust4" class="cluster">
<title>cluster_2</title>
<polygon fill="none" stroke="blue" points="756,-197 756,-304 1177,-304 1177,-197 756,-197"/>
<text text-anchor="middle" x="966.5" y="-288.8" font-family="Times,serif" font-size="14.00">Prototype Phase 2</text>
</g>
<g id="clust4" class="cluster">
<g id="clust5" class="cluster">
<title>cluster_1</title>
<polygon fill="none" stroke="blue" points="243.5,-312 243.5,-648 951.5,-648 951.5,-312 243.5,-312"/>
<text text-anchor="middle" x="597.5" y="-632.8" font-family="Times,serif" font-size="14.00">Design Phase 2 &#45; Integrated Crosslink</text>
</g>
<g id="clust5" class="cluster">
<title>cluster_3</title>
<polygon fill="none" stroke="blue" points="0,-656 0,-961 955,-961 955,-656 0,-656"/>
<text text-anchor="middle" x="477.5" y="-945.8" font-family="Times,serif" font-size="14.00">Implementation Phase 1: Simulation Codebase</text>
</g>
<g id="clust6" class="cluster">
<title>cluster_5</title>
<polygon fill="none" stroke="blue" points="503,0 503,-189 942.5,-189 942.5,0 503,0"/>
@ -535,10 +535,196 @@
<path fill="none" stroke="black" d="M948.09,-1097C956.58,-1097 965.2,-1097 973.77,-1097"/>
<polygon fill="black" stroke="black" points="973.79,-1100.5 983.79,-1097 973.79,-1093.5 973.79,-1100.5"/>
</g>
<!-- ECC/zebra&#45;tfl#4 -->
<!-- zcash/simtfl#14 -->
<g id="node24" class="node open">
<title>zcash/simtfl#14</title>
<g id="a_node24"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/14" xlink:title="zcash/simtfl#14&#10;simtfl 0.2.0&#10;(corresponding to&#10;Implementation Phase 1:&#10;Simulation Codebase)" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="947,-898.5 944,-902.5 923,-902.5 920,-898.5 752,-898.5 752,-815.5 947,-815.5 947,-898.5"/>
<text text-anchor="middle" x="849.5" y="-883.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#14</text>
<text text-anchor="middle" x="849.5" y="-868.3" font-family="Times,serif" font-size="14.00">simtfl 0.2.0</text>
<text text-anchor="middle" x="849.5" y="-853.3" font-family="Times,serif" font-size="14.00">(corresponding to</text>
<text text-anchor="middle" x="849.5" y="-838.3" font-family="Times,serif" font-size="14.00">Implementation Phase 1:</text>
<text text-anchor="middle" x="849.5" y="-823.3" font-family="Times,serif" font-size="14.00">Simulation Codebase)</text>
</a>
</g>
</g>
<!-- zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#71 -->
<g id="edge52" class="edge">
<title>zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#71</title>
<path fill="none" stroke="black" d="M913.42,-898.67C947.51,-921.26 989.42,-949.02 1023,-971.29"/>
<polygon fill="black" stroke="black" points="1021.12,-974.24 1031.4,-976.82 1024.97,-968.4 1021.12,-974.24"/>
</g>
<!-- zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#72 -->
<g id="edge53" class="edge">
<title>zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#72</title>
<path fill="none" stroke="black" d="M899.52,-898.58C919.01,-917.23 940.26,-940.53 955,-965 976.46,-1000.6 956.01,-1023.2 984,-1054 984.63,-1054.7 985.28,-1055.4 985.94,-1056.1"/>
<polygon fill="black" stroke="black" points="983.72,-1058.81 993.5,-1062.9 988.41,-1053.61 983.72,-1058.81"/>
</g>
<!-- zcash/simtfl#10 -->
<g id="node25" class="node open">
<title>zcash/simtfl#10</title>
<g id="a_node25"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/10" xlink:title="zcash/simtfl#10&#10;Implement some known BFT&#10;and/or PoS attacks" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="714,-741.5 493,-741.5 493,-688.5 714,-688.5 714,-741.5"/>
<text text-anchor="middle" x="603.5" y="-726.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#10</text>
<text text-anchor="middle" x="603.5" y="-711.3" font-family="Times,serif" font-size="14.00">Implement some known BFT</text>
<text text-anchor="middle" x="603.5" y="-696.3" font-family="Times,serif" font-size="14.00">and/or PoS attacks</text>
</a>
</g>
</g>
<!-- zcash/simtfl#10&#45;&gt;zcash/simtfl#14 -->
<g id="edge26" class="edge">
<title>zcash/simtfl#10&#45;&gt;zcash/simtfl#14</title>
<path fill="none" stroke="black" d="M695.17,-741.57C702.01,-744.47 708.69,-747.61 715,-751 744.04,-766.6 773.09,-788.7 796.64,-808.69"/>
<polygon fill="black" stroke="black" points="794.55,-811.5 804.41,-815.37 799.11,-806.2 794.55,-811.5"/>
</g>
<!-- zcash/simtfl#7 -->
<g id="node26" class="node open">
<title>zcash/simtfl#7</title>
<g id="a_node26"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/7" xlink:title="zcash/simtfl#7&#10;Define BC abstractions&#10;and PoW (honest behaviour&#10;only)" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="456,-844 244,-844 244,-776 456,-776 456,-844"/>
<text text-anchor="middle" x="350" y="-828.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#7</text>
<text text-anchor="middle" x="350" y="-813.8" font-family="Times,serif" font-size="14.00">Define BC abstractions</text>
<text text-anchor="middle" x="350" y="-798.8" font-family="Times,serif" font-size="14.00">and PoW (honest behaviour</text>
<text text-anchor="middle" x="350" y="-783.8" font-family="Times,serif" font-size="14.00">only)</text>
</a>
</g>
</g>
<!-- zcash/simtfl#8 -->
<g id="node27" class="node open">
<title>zcash/simtfl#8</title>
<g id="a_node27"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/8" xlink:title="zcash/simtfl#8&#10;Define Crosslink (honest&#10;behaviour only)" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="699,-812.5 508,-812.5 508,-759.5 699,-759.5 699,-812.5"/>
<text text-anchor="middle" x="603.5" y="-797.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#8</text>
<text text-anchor="middle" x="603.5" y="-782.3" font-family="Times,serif" font-size="14.00">Define Crosslink (honest</text>
<text text-anchor="middle" x="603.5" y="-767.3" font-family="Times,serif" font-size="14.00">behaviour only)</text>
</a>
</g>
</g>
<!-- zcash/simtfl#7&#45;&gt;zcash/simtfl#8 -->
<g id="edge27" class="edge">
<title>zcash/simtfl#7&#45;&gt;zcash/simtfl#8</title>
<path fill="none" stroke="black" d="M456.2,-799.96C469.82,-798.66 483.78,-797.33 497.4,-796.03"/>
<polygon fill="black" stroke="black" points="498.12,-799.48 507.74,-795.04 497.45,-792.51 498.12,-799.48"/>
</g>
<!-- zcash/simtfl#9 -->
<g id="node28" class="node open">
<title>zcash/simtfl#9</title>
<g id="a_node28"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/9" xlink:title="zcash/simtfl#9&#10;Implement some known PoW&#10;attacks" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="715,-883.5 492,-883.5 492,-830.5 715,-830.5 715,-883.5"/>
<text text-anchor="middle" x="603.5" y="-868.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#9</text>
<text text-anchor="middle" x="603.5" y="-853.3" font-family="Times,serif" font-size="14.00">Implement some known PoW</text>
<text text-anchor="middle" x="603.5" y="-838.3" font-family="Times,serif" font-size="14.00">attacks</text>
</a>
</g>
</g>
<!-- zcash/simtfl#7&#45;&gt;zcash/simtfl#9 -->
<g id="edge28" class="edge">
<title>zcash/simtfl#7&#45;&gt;zcash/simtfl#9</title>
<path fill="none" stroke="black" d="M456.2,-829.66C464.62,-831.23 473.16,-832.83 481.67,-834.42"/>
<polygon fill="black" stroke="black" points="481.18,-837.89 491.65,-836.28 482.46,-831.01 481.18,-837.89"/>
</g>
<!-- zcash/simtfl#8&#45;&gt;zcash/simtfl#14 -->
<g id="edge29" class="edge">
<title>zcash/simtfl#8&#45;&gt;zcash/simtfl#14</title>
<path fill="none" stroke="black" d="M695.7,-812.54C710.69,-816.9 726.35,-821.46 741.68,-825.92"/>
<polygon fill="black" stroke="black" points="741.11,-829.4 751.69,-828.83 743.06,-822.68 741.11,-829.4"/>
</g>
<!-- zcash/simtfl#9&#45;&gt;zcash/simtfl#14 -->
<g id="edge30" class="edge">
<title>zcash/simtfl#9&#45;&gt;zcash/simtfl#14</title>
<path fill="none" stroke="black" d="M715.08,-857C723.87,-857 732.74,-857 741.51,-857"/>
<polygon fill="black" stroke="black" points="741.74,-860.5 751.74,-857 741.74,-853.5 741.74,-860.5"/>
</g>
<!-- zcash/simtfl#20 -->
<g id="node29" class="node open">
<title>zcash/simtfl#20</title>
<g id="a_node29"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/20" xlink:title="zcash/simtfl#20&#10;Add test coverage that&#10;ensures edge cases lead&#10;to invalid blocks" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="445,-930 255,-930 255,-862 445,-862 445,-930"/>
<text text-anchor="middle" x="350" y="-914.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#20</text>
<text text-anchor="middle" x="350" y="-899.8" font-family="Times,serif" font-size="14.00">Add test coverage that</text>
<text text-anchor="middle" x="350" y="-884.8" font-family="Times,serif" font-size="14.00">ensures edge cases lead</text>
<text text-anchor="middle" x="350" y="-869.8" font-family="Times,serif" font-size="14.00">to invalid blocks</text>
</a>
</g>
</g>
<!-- zcash/simtfl#20&#45;&gt;zcash/simtfl#9 -->
<g id="edge31" class="edge">
<title>zcash/simtfl#20&#45;&gt;zcash/simtfl#9</title>
<path fill="none" stroke="black" d="M445.01,-881.42C456.89,-879.58 469.17,-877.67 481.4,-875.78"/>
<polygon fill="black" stroke="black" points="482.3,-879.18 491.65,-874.19 481.23,-872.26 482.3,-879.18"/>
</g>
<!-- zcash/simtfl#15 -->
<g id="node30" class="node open">
<title>zcash/simtfl#15</title>
<g id="a_node30"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/15" xlink:title="zcash/simtfl#15&#10;Design/document the&#10;network layer used in the&#10;simulation" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="208,-773 8,-773 8,-705 208,-705 208,-773"/>
<text text-anchor="middle" x="108" y="-757.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#15</text>
<text text-anchor="middle" x="108" y="-742.8" font-family="Times,serif" font-size="14.00">Design/document the</text>
<text text-anchor="middle" x="108" y="-727.8" font-family="Times,serif" font-size="14.00">network layer used in the</text>
<text text-anchor="middle" x="108" y="-712.8" font-family="Times,serif" font-size="14.00">simulation</text>
</a>
</g>
</g>
<!-- zcash/simtfl#16 -->
<g id="node31" class="node open">
<title>zcash/simtfl#16</title>
<g id="a_node31"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/16" xlink:title="zcash/simtfl#16&#10;Implement network layer" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="448.5,-758 251.5,-758 251.5,-720 448.5,-720 448.5,-758"/>
<text text-anchor="middle" x="350" y="-742.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#16</text>
<text text-anchor="middle" x="350" y="-727.8" font-family="Times,serif" font-size="14.00">Implement network layer</text>
</a>
</g>
</g>
<!-- zcash/simtfl#15&#45;&gt;zcash/simtfl#16 -->
<g id="edge32" class="edge">
<title>zcash/simtfl#15&#45;&gt;zcash/simtfl#16</title>
<path fill="none" stroke="black" d="M208,-739C218.98,-739 230.19,-739 241.27,-739"/>
<polygon fill="black" stroke="black" points="241.39,-742.5 251.39,-739 241.39,-735.5 241.39,-742.5"/>
</g>
<!-- zcash/simtfl#16&#45;&gt;zcash/simtfl#10 -->
<g id="edge33" class="edge">
<title>zcash/simtfl#16&#45;&gt;zcash/simtfl#10</title>
<path fill="none" stroke="black" d="M448.6,-729.69C459.81,-728.62 471.34,-727.52 482.8,-726.42"/>
<polygon fill="black" stroke="black" points="483.22,-729.9 492.84,-725.46 482.55,-722.93 483.22,-729.9"/>
</g>
<!-- zcash/simtfl#16&#45;&gt;zcash/simtfl#8 -->
<g id="edge34" class="edge">
<title>zcash/simtfl#16&#45;&gt;zcash/simtfl#8</title>
<path fill="none" stroke="black" d="M448.6,-757.24C464.72,-760.25 481.49,-763.39 497.78,-766.43"/>
<polygon fill="black" stroke="black" points="497.38,-769.92 507.85,-768.31 498.66,-763.03 497.38,-769.92"/>
</g>
<!-- zcash/simtfl#16&#45;&gt;zcash/simtfl#9 -->
<g id="edge35" class="edge">
<title>zcash/simtfl#16&#45;&gt;zcash/simtfl#9</title>
<path fill="none" stroke="black" d="M441.03,-758.06C446.29,-760.66 451.34,-763.63 456,-767 479.68,-784.12 468.72,-804.34 492,-822 493.38,-823.05 494.79,-824.06 496.23,-825.04"/>
<polygon fill="black" stroke="black" points="494.41,-828.03 504.75,-830.36 498.12,-822.09 494.41,-828.03"/>
</g>
<!-- zcash/simtfl#25 -->
<g id="node32" class="node open">
<title>zcash/simtfl#25</title>
<g id="a_node32"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/25" xlink:title="zcash/simtfl#25&#10;Finish Streamlet" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="418.5,-702 281.5,-702 281.5,-664 418.5,-664 418.5,-702"/>
<text text-anchor="middle" x="350" y="-686.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#25</text>
<text text-anchor="middle" x="350" y="-671.8" font-family="Times,serif" font-size="14.00">Finish Streamlet</text>
</a>
</g>
</g>
<!-- zcash/simtfl#25&#45;&gt;zcash/simtfl#10 -->
<g id="edge36" class="edge">
<title>zcash/simtfl#25&#45;&gt;zcash/simtfl#10</title>
<path fill="none" stroke="black" d="M418.73,-691.62C438.54,-694.14 460.8,-696.97 482.82,-699.77"/>
<polygon fill="black" stroke="black" points="482.55,-703.26 492.91,-701.06 483.43,-696.32 482.55,-703.26"/>
</g>
<!-- zcash/simtfl#25&#45;&gt;zcash/simtfl#8 -->
<g id="edge37" class="edge">
<title>zcash/simtfl#25&#45;&gt;zcash/simtfl#8</title>
<path fill="none" stroke="black" d="M418.63,-694.86C431.6,-698.81 444.66,-704.06 456,-711 476.4,-723.49 471.89,-738.05 492,-751 494.18,-752.41 496.43,-753.76 498.72,-755.06"/>
<polygon fill="black" stroke="black" points="497.3,-758.27 507.78,-759.84 500.57,-752.08 497.3,-758.27"/>
</g>
<!-- ECC/zebra&#45;tfl#4 -->
<g id="node33" class="node open">
<title>ECC/zebra&#45;tfl#4</title>
<g id="a_node24"><a xlink:href="https://github.com/Electric-Coin-Company/zebra-tfl/issues/4" xlink:title="ECC/zebra&#45;tfl#4&#10;Prototype release 0.x&#10;(for phase 2)" target="_blank">
<g id="a_node33"><a xlink:href="https://github.com/Electric-Coin-Company/zebra-tfl/issues/4" xlink:title="ECC/zebra&#45;tfl#4&#10;Prototype release 0.x&#10;(for phase 2)" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="1169,-268.5 999,-268.5 999,-215.5 1169,-215.5 1169,-268.5"/>
<text text-anchor="middle" x="1084" y="-253.3" font-family="Times,serif" font-size="14.00">ECC/zebra&#45;tfl#4</text>
<text text-anchor="middle" x="1084" y="-238.3" font-family="Times,serif" font-size="14.00">Prototype release 0.x</text>
@ -553,9 +739,9 @@
<polygon fill="black" stroke="black" points="2380.88,-854.04 2391.3,-855.93 2384.33,-847.95 2380.88,-854.04"/>
</g>
<!-- ECC/zebra&#45;tfl#11 -->
<g id="node25" class="node open">
<g id="node34" class="node open">
<title>ECC/zebra&#45;tfl#11</title>
<g id="a_node25"><a xlink:href="https://github.com/Electric-Coin-Company/zebra-tfl/issues/11" xlink:title="ECC/zebra&#45;tfl#11&#10;Consider putting bft&#45;&#10;proposals in bc&#45;block&#45;&#10;headers" target="_blank">
<g id="a_node34"><a xlink:href="https://github.com/Electric-Coin-Company/zebra-tfl/issues/11" xlink:title="ECC/zebra&#45;tfl#11&#10;Consider putting bft&#45;&#10;proposals in bc&#45;block&#45;&#10;headers" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="935,-273 764,-273 764,-205 935,-205 935,-273"/>
<text text-anchor="middle" x="849.5" y="-257.8" font-family="Times,serif" font-size="14.00">ECC/zebra&#45;tfl#11</text>
<text text-anchor="middle" x="849.5" y="-242.8" font-family="Times,serif" font-size="14.00">Consider putting bft&#45;</text>
@ -565,15 +751,15 @@
</g>
</g>
<!-- ECC/zebra&#45;tfl#11&#45;&gt;ECC/zebra&#45;tfl#4 -->
<g id="edge26" class="edge">
<g id="edge38" class="edge">
<title>ECC/zebra&#45;tfl#11&#45;&gt;ECC/zebra&#45;tfl#4</title>
<path fill="none" stroke="black" d="M935.1,-240.09C952.46,-240.32 970.85,-240.55 988.54,-240.78"/>
<polygon fill="black" stroke="black" points="988.86,-244.28 998.9,-240.91 988.94,-237.28 988.86,-244.28"/>
</g>
<!-- ECC/tfl&#45;book#86 -->
<g id="node26" class="node open">
<g id="node35" class="node open">
<title>ECC/tfl&#45;book#86</title>
<g id="a_node26"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/86" xlink:title="ECC/tfl&#45;book#86&#10;Define macros so that we&#10;can easily use Crosslink&#10;notation in the book" target="_blank">
<g id="a_node35"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/86" xlink:title="ECC/tfl&#45;book#86&#10;Define macros so that we&#10;can easily use Crosslink&#10;notation in the book" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="448.5,-617 251.5,-617 251.5,-549 448.5,-549 448.5,-617"/>
<text text-anchor="middle" x="350" y="-601.8" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#86</text>
<text text-anchor="middle" x="350" y="-586.8" font-family="Times,serif" font-size="14.00">Define macros so that we</text>
@ -583,9 +769,9 @@
</g>
</g>
<!-- ECC/tfl&#45;book#142 -->
<g id="node27" class="node open">
<g id="node36" class="node open">
<title>ECC/tfl&#45;book#142</title>
<g id="a_node27"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/142" xlink:title="ECC/tfl&#45;book#142&#10;Write up Crosslink 2" target="_blank">
<g id="a_node36"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/142" xlink:title="ECC/tfl&#45;book#142&#10;Write up Crosslink 2" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="685,-617 522,-617 522,-579 685,-579 685,-617"/>
<text text-anchor="middle" x="603.5" y="-601.8" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#142</text>
<text text-anchor="middle" x="603.5" y="-586.8" font-family="Times,serif" font-size="14.00">Write up Crosslink 2</text>
@ -593,15 +779,15 @@
</g>
</g>
<!-- ECC/tfl&#45;book#86&#45;&gt;ECC/tfl&#45;book#142 -->
<g id="edge27" class="edge">
<g id="edge39" class="edge">
<title>ECC/tfl&#45;book#86&#45;&gt;ECC/tfl&#45;book#142</title>
<path fill="none" stroke="black" d="M448.6,-588.82C469.27,-590.05 491.01,-591.35 511.43,-592.57"/>
<polygon fill="black" stroke="black" points="511.46,-596.08 521.65,-593.18 511.88,-589.09 511.46,-596.08"/>
</g>
<!-- ECC/tfl&#45;book#99 -->
<g id="node28" class="node open">
<g id="node37" class="node open">
<title>ECC/tfl&#45;book#99</title>
<g id="a_node28"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/99" xlink:title="ECC/tfl&#45;book#99&#10;Design Milestone 2 &#45; tfl&#45;&#10;book v0.2.0 &#45; Integrated&#10;Crosslink" target="_blank">
<g id="a_node37"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/99" xlink:title="ECC/tfl&#45;book#99&#10;Design Milestone 2 &#45; tfl&#45;&#10;book v0.2.0 &#45; Integrated&#10;Crosslink" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="943.5,-568 940.5,-572 919.5,-572 916.5,-568 755.5,-568 755.5,-500 943.5,-500 943.5,-568"/>
<text text-anchor="middle" x="849.5" y="-552.8" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#99</text>
<text text-anchor="middle" x="849.5" y="-537.8" font-family="Times,serif" font-size="14.00">Design Milestone 2 &#45; tfl&#45;</text>
@ -611,7 +797,7 @@
</g>
</g>
<!-- ECC/tfl&#45;book#142&#45;&gt;ECC/tfl&#45;book#99 -->
<g id="edge28" class="edge">
<g id="edge40" class="edge">
<title>ECC/tfl&#45;book#142&#45;&gt;ECC/tfl&#45;book#99</title>
<path fill="none" stroke="black" d="M680.33,-578.95C691.95,-575.98 703.8,-572.93 715,-570 724.86,-567.42 735.11,-564.71 745.37,-561.98"/>
<polygon fill="black" stroke="black" points="746.42,-565.32 755.18,-559.36 744.62,-558.56 746.42,-565.32"/>
@ -635,9 +821,9 @@
<polygon fill="black" stroke="black" points="1058.4,-278.55 1061.9,-268.55 1052.93,-274.19 1058.4,-278.55"/>
</g>
<!-- ECC/tfl&#45;book#77 -->
<g id="node29" class="node open">
<g id="node38" class="node open">
<title>ECC/tfl&#45;book#77</title>
<g id="a_node29"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/77" xlink:title="ECC/tfl&#45;book#77&#10;Add &quot;Avoided Terms&quot;&#10;section in &quot;Terminology&quot;" target="_blank">
<g id="a_node38"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/77" xlink:title="ECC/tfl&#45;book#77&#10;Add &quot;Avoided Terms&quot;&#10;section in &quot;Terminology&quot;" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="699.5,-560.5 507.5,-560.5 507.5,-507.5 699.5,-507.5 699.5,-560.5"/>
<text text-anchor="middle" x="603.5" y="-545.3" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#77</text>
<text text-anchor="middle" x="603.5" y="-530.3" font-family="Times,serif" font-size="14.00">Add &quot;Avoided Terms&quot;</text>
@ -646,15 +832,15 @@
</g>
</g>
<!-- ECC/tfl&#45;book#77&#45;&gt;ECC/tfl&#45;book#99 -->
<g id="edge29" class="edge">
<g id="edge41" class="edge">
<title>ECC/tfl&#45;book#77&#45;&gt;ECC/tfl&#45;book#99</title>
<path fill="none" stroke="black" d="M699.54,-534C714.43,-534 729.89,-534 744.96,-534"/>
<polygon fill="black" stroke="black" points="745.33,-537.5 755.33,-534 745.33,-530.5 745.33,-537.5"/>
</g>
<!-- ECC/tfl&#45;book#25 -->
<g id="node30" class="node open">
<g id="node39" class="node open">
<title>ECC/tfl&#45;book#25</title>
<g id="a_node30"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/25" xlink:title="ECC/tfl&#45;book#25&#10;Add style guide / textual&#10;conventions." target="_blank">
<g id="a_node39"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/25" xlink:title="ECC/tfl&#45;book#25&#10;Add style guide / textual&#10;conventions." target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="699,-489.5 508,-489.5 508,-436.5 699,-436.5 699,-489.5"/>
<text text-anchor="middle" x="603.5" y="-474.3" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#25</text>
<text text-anchor="middle" x="603.5" y="-459.3" font-family="Times,serif" font-size="14.00">Add style guide / textual</text>
@ -663,15 +849,15 @@
</g>
</g>
<!-- ECC/tfl&#45;book#25&#45;&gt;ECC/tfl&#45;book#99 -->
<g id="edge30" class="edge">
<g id="edge42" class="edge">
<title>ECC/tfl&#45;book#25&#45;&gt;ECC/tfl&#45;book#99</title>
<path fill="none" stroke="black" d="M695.7,-489.54C712,-494.28 729.08,-499.25 745.67,-504.08"/>
<polygon fill="black" stroke="black" points="744.79,-507.47 755.37,-506.9 746.74,-500.75 744.79,-507.47"/>
</g>
<!-- ECC/tfl&#45;book#119 -->
<g id="node31" class="node open">
<g id="node40" class="node open">
<title>ECC/tfl&#45;book#119</title>
<g id="a_node31"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/119" xlink:title="ECC/tfl&#45;book#119&#10;Clarify the distinctions&#10;between pure PoW, the PoW&#10;subprotocol, NU5, and&#10;fork&#45;choice vs all of&#10;transaction semantics." target="_blank">
<g id="a_node40"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/119" xlink:title="ECC/tfl&#45;book#119&#10;Clarify the distinctions&#10;between pure PoW, the PoW&#10;subprotocol, NU5, and&#10;fork&#45;choice vs all of&#10;transaction semantics." target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="712,-418 495,-418 495,-320 712,-320 712,-418"/>
<text text-anchor="middle" x="603.5" y="-402.8" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#119</text>
<text text-anchor="middle" x="603.5" y="-387.8" font-family="Times,serif" font-size="14.00">Clarify the distinctions</text>
@ -683,197 +869,11 @@
</g>
</g>
<!-- ECC/tfl&#45;book#119&#45;&gt;ECC/tfl&#45;book#99 -->
<g id="edge31" class="edge">
<g id="edge43" class="edge">
<title>ECC/tfl&#45;book#119&#45;&gt;ECC/tfl&#45;book#99</title>
<path fill="none" stroke="black" d="M699.21,-418.09C704.61,-421.34 709.91,-424.66 715,-428 745.03,-447.71 776.59,-472.55 801.48,-493.23"/>
<polygon fill="black" stroke="black" points="799.4,-496.06 809.32,-499.79 803.9,-490.69 799.4,-496.06"/>
</g>
<!-- zcash/simtfl#14 -->
<g id="node32" class="node open">
<title>zcash/simtfl#14</title>
<g id="a_node32"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/14" xlink:title="zcash/simtfl#14&#10;simtfl 0.2.0&#10;(corresponding to&#10;Implementation Phase 1:&#10;Simulation Codebase)" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="947,-898.5 944,-902.5 923,-902.5 920,-898.5 752,-898.5 752,-815.5 947,-815.5 947,-898.5"/>
<text text-anchor="middle" x="849.5" y="-883.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#14</text>
<text text-anchor="middle" x="849.5" y="-868.3" font-family="Times,serif" font-size="14.00">simtfl 0.2.0</text>
<text text-anchor="middle" x="849.5" y="-853.3" font-family="Times,serif" font-size="14.00">(corresponding to</text>
<text text-anchor="middle" x="849.5" y="-838.3" font-family="Times,serif" font-size="14.00">Implementation Phase 1:</text>
<text text-anchor="middle" x="849.5" y="-823.3" font-family="Times,serif" font-size="14.00">Simulation Codebase)</text>
</a>
</g>
</g>
<!-- zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#71 -->
<g id="edge52" class="edge">
<title>zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#71</title>
<path fill="none" stroke="black" d="M913.42,-898.67C947.51,-921.26 989.42,-949.02 1023,-971.29"/>
<polygon fill="black" stroke="black" points="1021.12,-974.24 1031.4,-976.82 1024.97,-968.4 1021.12,-974.24"/>
</g>
<!-- zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#72 -->
<g id="edge53" class="edge">
<title>zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#72</title>
<path fill="none" stroke="black" d="M899.52,-898.58C919.01,-917.23 940.26,-940.53 955,-965 976.46,-1000.6 956.01,-1023.2 984,-1054 984.63,-1054.7 985.28,-1055.4 985.94,-1056.1"/>
<polygon fill="black" stroke="black" points="983.72,-1058.81 993.5,-1062.9 988.41,-1053.61 983.72,-1058.81"/>
</g>
<!-- zcash/simtfl#10 -->
<g id="node33" class="node open">
<title>zcash/simtfl#10</title>
<g id="a_node33"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/10" xlink:title="zcash/simtfl#10&#10;Implement some known BFT&#10;and/or PoS attacks" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="714,-741.5 493,-741.5 493,-688.5 714,-688.5 714,-741.5"/>
<text text-anchor="middle" x="603.5" y="-726.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#10</text>
<text text-anchor="middle" x="603.5" y="-711.3" font-family="Times,serif" font-size="14.00">Implement some known BFT</text>
<text text-anchor="middle" x="603.5" y="-696.3" font-family="Times,serif" font-size="14.00">and/or PoS attacks</text>
</a>
</g>
</g>
<!-- zcash/simtfl#10&#45;&gt;zcash/simtfl#14 -->
<g id="edge32" class="edge">
<title>zcash/simtfl#10&#45;&gt;zcash/simtfl#14</title>
<path fill="none" stroke="black" d="M695.17,-741.57C702.01,-744.47 708.69,-747.61 715,-751 744.04,-766.6 773.09,-788.7 796.64,-808.69"/>
<polygon fill="black" stroke="black" points="794.55,-811.5 804.41,-815.37 799.11,-806.2 794.55,-811.5"/>
</g>
<!-- zcash/simtfl#7 -->
<g id="node34" class="node open">
<title>zcash/simtfl#7</title>
<g id="a_node34"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/7" xlink:title="zcash/simtfl#7&#10;Define BC abstractions&#10;and PoW (honest behaviour&#10;only)" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="456,-844 244,-844 244,-776 456,-776 456,-844"/>
<text text-anchor="middle" x="350" y="-828.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#7</text>
<text text-anchor="middle" x="350" y="-813.8" font-family="Times,serif" font-size="14.00">Define BC abstractions</text>
<text text-anchor="middle" x="350" y="-798.8" font-family="Times,serif" font-size="14.00">and PoW (honest behaviour</text>
<text text-anchor="middle" x="350" y="-783.8" font-family="Times,serif" font-size="14.00">only)</text>
</a>
</g>
</g>
<!-- zcash/simtfl#8 -->
<g id="node35" class="node open">
<title>zcash/simtfl#8</title>
<g id="a_node35"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/8" xlink:title="zcash/simtfl#8&#10;Define Crosslink (honest&#10;behaviour only)" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="699,-812.5 508,-812.5 508,-759.5 699,-759.5 699,-812.5"/>
<text text-anchor="middle" x="603.5" y="-797.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#8</text>
<text text-anchor="middle" x="603.5" y="-782.3" font-family="Times,serif" font-size="14.00">Define Crosslink (honest</text>
<text text-anchor="middle" x="603.5" y="-767.3" font-family="Times,serif" font-size="14.00">behaviour only)</text>
</a>
</g>
</g>
<!-- zcash/simtfl#7&#45;&gt;zcash/simtfl#8 -->
<g id="edge33" class="edge">
<title>zcash/simtfl#7&#45;&gt;zcash/simtfl#8</title>
<path fill="none" stroke="black" d="M456.2,-799.96C469.82,-798.66 483.78,-797.33 497.4,-796.03"/>
<polygon fill="black" stroke="black" points="498.12,-799.48 507.74,-795.04 497.45,-792.51 498.12,-799.48"/>
</g>
<!-- zcash/simtfl#9 -->
<g id="node36" class="node open">
<title>zcash/simtfl#9</title>
<g id="a_node36"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/9" xlink:title="zcash/simtfl#9&#10;Implement some known PoW&#10;attacks" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="715,-883.5 492,-883.5 492,-830.5 715,-830.5 715,-883.5"/>
<text text-anchor="middle" x="603.5" y="-868.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#9</text>
<text text-anchor="middle" x="603.5" y="-853.3" font-family="Times,serif" font-size="14.00">Implement some known PoW</text>
<text text-anchor="middle" x="603.5" y="-838.3" font-family="Times,serif" font-size="14.00">attacks</text>
</a>
</g>
</g>
<!-- zcash/simtfl#7&#45;&gt;zcash/simtfl#9 -->
<g id="edge34" class="edge">
<title>zcash/simtfl#7&#45;&gt;zcash/simtfl#9</title>
<path fill="none" stroke="black" d="M456.2,-829.66C464.62,-831.23 473.16,-832.83 481.67,-834.42"/>
<polygon fill="black" stroke="black" points="481.18,-837.89 491.65,-836.28 482.46,-831.01 481.18,-837.89"/>
</g>
<!-- zcash/simtfl#8&#45;&gt;zcash/simtfl#14 -->
<g id="edge35" class="edge">
<title>zcash/simtfl#8&#45;&gt;zcash/simtfl#14</title>
<path fill="none" stroke="black" d="M695.7,-812.54C710.69,-816.9 726.35,-821.46 741.68,-825.92"/>
<polygon fill="black" stroke="black" points="741.11,-829.4 751.69,-828.83 743.06,-822.68 741.11,-829.4"/>
</g>
<!-- zcash/simtfl#9&#45;&gt;zcash/simtfl#14 -->
<g id="edge36" class="edge">
<title>zcash/simtfl#9&#45;&gt;zcash/simtfl#14</title>
<path fill="none" stroke="black" d="M715.08,-857C723.87,-857 732.74,-857 741.51,-857"/>
<polygon fill="black" stroke="black" points="741.74,-860.5 751.74,-857 741.74,-853.5 741.74,-860.5"/>
</g>
<!-- zcash/simtfl#20 -->
<g id="node37" class="node open">
<title>zcash/simtfl#20</title>
<g id="a_node37"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/20" xlink:title="zcash/simtfl#20&#10;Add test coverage that&#10;ensures edge cases lead&#10;to invalid blocks" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="445,-930 255,-930 255,-862 445,-862 445,-930"/>
<text text-anchor="middle" x="350" y="-914.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#20</text>
<text text-anchor="middle" x="350" y="-899.8" font-family="Times,serif" font-size="14.00">Add test coverage that</text>
<text text-anchor="middle" x="350" y="-884.8" font-family="Times,serif" font-size="14.00">ensures edge cases lead</text>
<text text-anchor="middle" x="350" y="-869.8" font-family="Times,serif" font-size="14.00">to invalid blocks</text>
</a>
</g>
</g>
<!-- zcash/simtfl#20&#45;&gt;zcash/simtfl#9 -->
<g id="edge37" class="edge">
<title>zcash/simtfl#20&#45;&gt;zcash/simtfl#9</title>
<path fill="none" stroke="black" d="M445.01,-881.42C456.89,-879.58 469.17,-877.67 481.4,-875.78"/>
<polygon fill="black" stroke="black" points="482.3,-879.18 491.65,-874.19 481.23,-872.26 482.3,-879.18"/>
</g>
<!-- zcash/simtfl#15 -->
<g id="node38" class="node open">
<title>zcash/simtfl#15</title>
<g id="a_node38"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/15" xlink:title="zcash/simtfl#15&#10;Design/document the&#10;network layer used in the&#10;simulation" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="208,-773 8,-773 8,-705 208,-705 208,-773"/>
<text text-anchor="middle" x="108" y="-757.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#15</text>
<text text-anchor="middle" x="108" y="-742.8" font-family="Times,serif" font-size="14.00">Design/document the</text>
<text text-anchor="middle" x="108" y="-727.8" font-family="Times,serif" font-size="14.00">network layer used in the</text>
<text text-anchor="middle" x="108" y="-712.8" font-family="Times,serif" font-size="14.00">simulation</text>
</a>
</g>
</g>
<!-- zcash/simtfl#16 -->
<g id="node39" class="node open">
<title>zcash/simtfl#16</title>
<g id="a_node39"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/16" xlink:title="zcash/simtfl#16&#10;Implement network layer" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="448.5,-758 251.5,-758 251.5,-720 448.5,-720 448.5,-758"/>
<text text-anchor="middle" x="350" y="-742.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#16</text>
<text text-anchor="middle" x="350" y="-727.8" font-family="Times,serif" font-size="14.00">Implement network layer</text>
</a>
</g>
</g>
<!-- zcash/simtfl#15&#45;&gt;zcash/simtfl#16 -->
<g id="edge38" class="edge">
<title>zcash/simtfl#15&#45;&gt;zcash/simtfl#16</title>
<path fill="none" stroke="black" d="M208,-739C218.98,-739 230.19,-739 241.27,-739"/>
<polygon fill="black" stroke="black" points="241.39,-742.5 251.39,-739 241.39,-735.5 241.39,-742.5"/>
</g>
<!-- zcash/simtfl#16&#45;&gt;zcash/simtfl#10 -->
<g id="edge39" class="edge">
<title>zcash/simtfl#16&#45;&gt;zcash/simtfl#10</title>
<path fill="none" stroke="black" d="M448.6,-729.69C459.81,-728.62 471.34,-727.52 482.8,-726.42"/>
<polygon fill="black" stroke="black" points="483.22,-729.9 492.84,-725.46 482.55,-722.93 483.22,-729.9"/>
</g>
<!-- zcash/simtfl#16&#45;&gt;zcash/simtfl#8 -->
<g id="edge40" class="edge">
<title>zcash/simtfl#16&#45;&gt;zcash/simtfl#8</title>
<path fill="none" stroke="black" d="M448.6,-757.24C464.72,-760.25 481.49,-763.39 497.78,-766.43"/>
<polygon fill="black" stroke="black" points="497.38,-769.92 507.85,-768.31 498.66,-763.03 497.38,-769.92"/>
</g>
<!-- zcash/simtfl#16&#45;&gt;zcash/simtfl#9 -->
<g id="edge41" class="edge">
<title>zcash/simtfl#16&#45;&gt;zcash/simtfl#9</title>
<path fill="none" stroke="black" d="M441.03,-758.06C446.29,-760.66 451.34,-763.63 456,-767 479.68,-784.12 468.72,-804.34 492,-822 493.38,-823.05 494.79,-824.06 496.23,-825.04"/>
<polygon fill="black" stroke="black" points="494.41,-828.03 504.75,-830.36 498.12,-822.09 494.41,-828.03"/>
</g>
<!-- zcash/simtfl#25 -->
<g id="node40" class="node open">
<title>zcash/simtfl#25</title>
<g id="a_node40"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/25" xlink:title="zcash/simtfl#25&#10;Finish Streamlet" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="418.5,-702 281.5,-702 281.5,-664 418.5,-664 418.5,-702"/>
<text text-anchor="middle" x="350" y="-686.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#25</text>
<text text-anchor="middle" x="350" y="-671.8" font-family="Times,serif" font-size="14.00">Finish Streamlet</text>
</a>
</g>
</g>
<!-- zcash/simtfl#25&#45;&gt;zcash/simtfl#10 -->
<g id="edge42" class="edge">
<title>zcash/simtfl#25&#45;&gt;zcash/simtfl#10</title>
<path fill="none" stroke="black" d="M418.73,-691.62C438.54,-694.14 460.8,-696.97 482.82,-699.77"/>
<polygon fill="black" stroke="black" points="482.55,-703.26 492.91,-701.06 483.43,-696.32 482.55,-703.26"/>
</g>
<!-- zcash/simtfl#25&#45;&gt;zcash/simtfl#8 -->
<g id="edge43" class="edge">
<title>zcash/simtfl#25&#45;&gt;zcash/simtfl#8</title>
<path fill="none" stroke="black" d="M418.63,-694.86C431.6,-698.81 444.66,-704.06 456,-711 476.4,-723.49 471.89,-738.05 492,-751 494.18,-752.41 496.43,-753.76 498.72,-755.06"/>
<polygon fill="black" stroke="black" points="497.3,-758.27 507.78,-759.84 500.57,-752.08 497.3,-758.27"/>
</g>
<!-- ECC/zebra&#45;tfl#3 -->
<g id="node41" class="node open">
<title>ECC/zebra&#45;tfl#3</title>

View File

@ -20,20 +20,20 @@
<text text-anchor="middle" x="1307.5" y="-1278.8" font-family="Times,serif" font-size="14.00">Design and Implementation Phase 3</text>
</g>
<g id="clust3" class="cluster">
<title>cluster_3</title>
<polygon fill="none" stroke="blue" points="0,-656 0,-961 955,-961 955,-656 0,-656"/>
<text text-anchor="middle" x="477.5" y="-945.8" font-family="Times,serif" font-size="14.00">Implementation Phase 1: Simulation Codebase</text>
</g>
<g id="clust4" class="cluster">
<title>cluster_2</title>
<polygon fill="none" stroke="blue" points="756,-197 756,-304 1177,-304 1177,-197 756,-197"/>
<text text-anchor="middle" x="966.5" y="-288.8" font-family="Times,serif" font-size="14.00">Prototype Phase 2</text>
</g>
<g id="clust4" class="cluster">
<g id="clust5" class="cluster">
<title>cluster_1</title>
<polygon fill="none" stroke="blue" points="243.5,-312 243.5,-648 951.5,-648 951.5,-312 243.5,-312"/>
<text text-anchor="middle" x="597.5" y="-632.8" font-family="Times,serif" font-size="14.00">Design Phase 2 &#45; Integrated Crosslink</text>
</g>
<g id="clust5" class="cluster">
<title>cluster_3</title>
<polygon fill="none" stroke="blue" points="0,-656 0,-961 955,-961 955,-656 0,-656"/>
<text text-anchor="middle" x="477.5" y="-945.8" font-family="Times,serif" font-size="14.00">Implementation Phase 1: Simulation Codebase</text>
</g>
<g id="clust6" class="cluster">
<title>cluster_5</title>
<polygon fill="none" stroke="blue" points="503,0 503,-189 942.5,-189 942.5,0 503,0"/>
@ -523,10 +523,196 @@
<path fill="none" stroke="black" d="M948.09,-1097C956.58,-1097 965.2,-1097 973.77,-1097"/>
<polygon fill="black" stroke="black" points="973.79,-1100.5 983.79,-1097 973.79,-1093.5 973.79,-1100.5"/>
</g>
<!-- ECC/zebra&#45;tfl#4 -->
<!-- zcash/simtfl#14 -->
<g id="node24" class="node open">
<title>zcash/simtfl#14</title>
<g id="a_node24"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/14" xlink:title="zcash/simtfl#14&#10;simtfl 0.2.0&#10;(corresponding to&#10;Implementation Phase 1:&#10;Simulation Codebase)" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="947,-898.5 944,-902.5 923,-902.5 920,-898.5 752,-898.5 752,-815.5 947,-815.5 947,-898.5"/>
<text text-anchor="middle" x="849.5" y="-883.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#14</text>
<text text-anchor="middle" x="849.5" y="-868.3" font-family="Times,serif" font-size="14.00">simtfl 0.2.0</text>
<text text-anchor="middle" x="849.5" y="-853.3" font-family="Times,serif" font-size="14.00">(corresponding to</text>
<text text-anchor="middle" x="849.5" y="-838.3" font-family="Times,serif" font-size="14.00">Implementation Phase 1:</text>
<text text-anchor="middle" x="849.5" y="-823.3" font-family="Times,serif" font-size="14.00">Simulation Codebase)</text>
</a>
</g>
</g>
<!-- zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#71 -->
<g id="edge52" class="edge">
<title>zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#71</title>
<path fill="none" stroke="black" d="M913.42,-898.67C947.51,-921.26 989.42,-949.02 1023,-971.29"/>
<polygon fill="black" stroke="black" points="1021.12,-974.24 1031.4,-976.82 1024.97,-968.4 1021.12,-974.24"/>
</g>
<!-- zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#72 -->
<g id="edge53" class="edge">
<title>zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#72</title>
<path fill="none" stroke="black" d="M899.52,-898.58C919.01,-917.23 940.26,-940.53 955,-965 976.46,-1000.6 956.01,-1023.2 984,-1054 984.63,-1054.7 985.28,-1055.4 985.94,-1056.1"/>
<polygon fill="black" stroke="black" points="983.72,-1058.81 993.5,-1062.9 988.41,-1053.61 983.72,-1058.81"/>
</g>
<!-- zcash/simtfl#10 -->
<g id="node25" class="node open">
<title>zcash/simtfl#10</title>
<g id="a_node25"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/10" xlink:title="zcash/simtfl#10&#10;Implement some known BFT&#10;and/or PoS attacks" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="714,-741.5 493,-741.5 493,-688.5 714,-688.5 714,-741.5"/>
<text text-anchor="middle" x="603.5" y="-726.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#10</text>
<text text-anchor="middle" x="603.5" y="-711.3" font-family="Times,serif" font-size="14.00">Implement some known BFT</text>
<text text-anchor="middle" x="603.5" y="-696.3" font-family="Times,serif" font-size="14.00">and/or PoS attacks</text>
</a>
</g>
</g>
<!-- zcash/simtfl#10&#45;&gt;zcash/simtfl#14 -->
<g id="edge26" class="edge">
<title>zcash/simtfl#10&#45;&gt;zcash/simtfl#14</title>
<path fill="none" stroke="black" d="M695.17,-741.57C702.01,-744.47 708.69,-747.61 715,-751 744.04,-766.6 773.09,-788.7 796.64,-808.69"/>
<polygon fill="black" stroke="black" points="794.55,-811.5 804.41,-815.37 799.11,-806.2 794.55,-811.5"/>
</g>
<!-- zcash/simtfl#7 -->
<g id="node26" class="node open">
<title>zcash/simtfl#7</title>
<g id="a_node26"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/7" xlink:title="zcash/simtfl#7&#10;Define BC abstractions&#10;and PoW (honest behaviour&#10;only)" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="456,-844 244,-844 244,-776 456,-776 456,-844"/>
<text text-anchor="middle" x="350" y="-828.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#7</text>
<text text-anchor="middle" x="350" y="-813.8" font-family="Times,serif" font-size="14.00">Define BC abstractions</text>
<text text-anchor="middle" x="350" y="-798.8" font-family="Times,serif" font-size="14.00">and PoW (honest behaviour</text>
<text text-anchor="middle" x="350" y="-783.8" font-family="Times,serif" font-size="14.00">only)</text>
</a>
</g>
</g>
<!-- zcash/simtfl#8 -->
<g id="node27" class="node open">
<title>zcash/simtfl#8</title>
<g id="a_node27"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/8" xlink:title="zcash/simtfl#8&#10;Define Crosslink (honest&#10;behaviour only)" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="699,-812.5 508,-812.5 508,-759.5 699,-759.5 699,-812.5"/>
<text text-anchor="middle" x="603.5" y="-797.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#8</text>
<text text-anchor="middle" x="603.5" y="-782.3" font-family="Times,serif" font-size="14.00">Define Crosslink (honest</text>
<text text-anchor="middle" x="603.5" y="-767.3" font-family="Times,serif" font-size="14.00">behaviour only)</text>
</a>
</g>
</g>
<!-- zcash/simtfl#7&#45;&gt;zcash/simtfl#8 -->
<g id="edge27" class="edge">
<title>zcash/simtfl#7&#45;&gt;zcash/simtfl#8</title>
<path fill="none" stroke="black" d="M456.2,-799.96C469.82,-798.66 483.78,-797.33 497.4,-796.03"/>
<polygon fill="black" stroke="black" points="498.12,-799.48 507.74,-795.04 497.45,-792.51 498.12,-799.48"/>
</g>
<!-- zcash/simtfl#9 -->
<g id="node28" class="node open">
<title>zcash/simtfl#9</title>
<g id="a_node28"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/9" xlink:title="zcash/simtfl#9&#10;Implement some known PoW&#10;attacks" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="715,-883.5 492,-883.5 492,-830.5 715,-830.5 715,-883.5"/>
<text text-anchor="middle" x="603.5" y="-868.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#9</text>
<text text-anchor="middle" x="603.5" y="-853.3" font-family="Times,serif" font-size="14.00">Implement some known PoW</text>
<text text-anchor="middle" x="603.5" y="-838.3" font-family="Times,serif" font-size="14.00">attacks</text>
</a>
</g>
</g>
<!-- zcash/simtfl#7&#45;&gt;zcash/simtfl#9 -->
<g id="edge28" class="edge">
<title>zcash/simtfl#7&#45;&gt;zcash/simtfl#9</title>
<path fill="none" stroke="black" d="M456.2,-829.66C464.62,-831.23 473.16,-832.83 481.67,-834.42"/>
<polygon fill="black" stroke="black" points="481.18,-837.89 491.65,-836.28 482.46,-831.01 481.18,-837.89"/>
</g>
<!-- zcash/simtfl#8&#45;&gt;zcash/simtfl#14 -->
<g id="edge29" class="edge">
<title>zcash/simtfl#8&#45;&gt;zcash/simtfl#14</title>
<path fill="none" stroke="black" d="M695.7,-812.54C710.69,-816.9 726.35,-821.46 741.68,-825.92"/>
<polygon fill="black" stroke="black" points="741.11,-829.4 751.69,-828.83 743.06,-822.68 741.11,-829.4"/>
</g>
<!-- zcash/simtfl#9&#45;&gt;zcash/simtfl#14 -->
<g id="edge30" class="edge">
<title>zcash/simtfl#9&#45;&gt;zcash/simtfl#14</title>
<path fill="none" stroke="black" d="M715.08,-857C723.87,-857 732.74,-857 741.51,-857"/>
<polygon fill="black" stroke="black" points="741.74,-860.5 751.74,-857 741.74,-853.5 741.74,-860.5"/>
</g>
<!-- zcash/simtfl#20 -->
<g id="node29" class="node open">
<title>zcash/simtfl#20</title>
<g id="a_node29"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/20" xlink:title="zcash/simtfl#20&#10;Add test coverage that&#10;ensures edge cases lead&#10;to invalid blocks" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="445,-930 255,-930 255,-862 445,-862 445,-930"/>
<text text-anchor="middle" x="350" y="-914.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#20</text>
<text text-anchor="middle" x="350" y="-899.8" font-family="Times,serif" font-size="14.00">Add test coverage that</text>
<text text-anchor="middle" x="350" y="-884.8" font-family="Times,serif" font-size="14.00">ensures edge cases lead</text>
<text text-anchor="middle" x="350" y="-869.8" font-family="Times,serif" font-size="14.00">to invalid blocks</text>
</a>
</g>
</g>
<!-- zcash/simtfl#20&#45;&gt;zcash/simtfl#9 -->
<g id="edge31" class="edge">
<title>zcash/simtfl#20&#45;&gt;zcash/simtfl#9</title>
<path fill="none" stroke="black" d="M445.01,-881.42C456.89,-879.58 469.17,-877.67 481.4,-875.78"/>
<polygon fill="black" stroke="black" points="482.3,-879.18 491.65,-874.19 481.23,-872.26 482.3,-879.18"/>
</g>
<!-- zcash/simtfl#15 -->
<g id="node30" class="node open">
<title>zcash/simtfl#15</title>
<g id="a_node30"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/15" xlink:title="zcash/simtfl#15&#10;Design/document the&#10;network layer used in the&#10;simulation" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="208,-773 8,-773 8,-705 208,-705 208,-773"/>
<text text-anchor="middle" x="108" y="-757.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#15</text>
<text text-anchor="middle" x="108" y="-742.8" font-family="Times,serif" font-size="14.00">Design/document the</text>
<text text-anchor="middle" x="108" y="-727.8" font-family="Times,serif" font-size="14.00">network layer used in the</text>
<text text-anchor="middle" x="108" y="-712.8" font-family="Times,serif" font-size="14.00">simulation</text>
</a>
</g>
</g>
<!-- zcash/simtfl#16 -->
<g id="node31" class="node open">
<title>zcash/simtfl#16</title>
<g id="a_node31"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/16" xlink:title="zcash/simtfl#16&#10;Implement network layer" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="448.5,-758 251.5,-758 251.5,-720 448.5,-720 448.5,-758"/>
<text text-anchor="middle" x="350" y="-742.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#16</text>
<text text-anchor="middle" x="350" y="-727.8" font-family="Times,serif" font-size="14.00">Implement network layer</text>
</a>
</g>
</g>
<!-- zcash/simtfl#15&#45;&gt;zcash/simtfl#16 -->
<g id="edge32" class="edge">
<title>zcash/simtfl#15&#45;&gt;zcash/simtfl#16</title>
<path fill="none" stroke="black" d="M208,-739C218.98,-739 230.19,-739 241.27,-739"/>
<polygon fill="black" stroke="black" points="241.39,-742.5 251.39,-739 241.39,-735.5 241.39,-742.5"/>
</g>
<!-- zcash/simtfl#16&#45;&gt;zcash/simtfl#10 -->
<g id="edge33" class="edge">
<title>zcash/simtfl#16&#45;&gt;zcash/simtfl#10</title>
<path fill="none" stroke="black" d="M448.6,-729.69C459.81,-728.62 471.34,-727.52 482.8,-726.42"/>
<polygon fill="black" stroke="black" points="483.22,-729.9 492.84,-725.46 482.55,-722.93 483.22,-729.9"/>
</g>
<!-- zcash/simtfl#16&#45;&gt;zcash/simtfl#8 -->
<g id="edge34" class="edge">
<title>zcash/simtfl#16&#45;&gt;zcash/simtfl#8</title>
<path fill="none" stroke="black" d="M448.6,-757.24C464.72,-760.25 481.49,-763.39 497.78,-766.43"/>
<polygon fill="black" stroke="black" points="497.38,-769.92 507.85,-768.31 498.66,-763.03 497.38,-769.92"/>
</g>
<!-- zcash/simtfl#16&#45;&gt;zcash/simtfl#9 -->
<g id="edge35" class="edge">
<title>zcash/simtfl#16&#45;&gt;zcash/simtfl#9</title>
<path fill="none" stroke="black" d="M441.03,-758.06C446.29,-760.66 451.34,-763.63 456,-767 479.68,-784.12 468.72,-804.34 492,-822 493.38,-823.05 494.79,-824.06 496.23,-825.04"/>
<polygon fill="black" stroke="black" points="494.41,-828.03 504.75,-830.36 498.12,-822.09 494.41,-828.03"/>
</g>
<!-- zcash/simtfl#25 -->
<g id="node32" class="node open">
<title>zcash/simtfl#25</title>
<g id="a_node32"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/25" xlink:title="zcash/simtfl#25&#10;Finish Streamlet" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="418.5,-702 281.5,-702 281.5,-664 418.5,-664 418.5,-702"/>
<text text-anchor="middle" x="350" y="-686.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#25</text>
<text text-anchor="middle" x="350" y="-671.8" font-family="Times,serif" font-size="14.00">Finish Streamlet</text>
</a>
</g>
</g>
<!-- zcash/simtfl#25&#45;&gt;zcash/simtfl#10 -->
<g id="edge36" class="edge">
<title>zcash/simtfl#25&#45;&gt;zcash/simtfl#10</title>
<path fill="none" stroke="black" d="M418.73,-691.62C438.54,-694.14 460.8,-696.97 482.82,-699.77"/>
<polygon fill="black" stroke="black" points="482.55,-703.26 492.91,-701.06 483.43,-696.32 482.55,-703.26"/>
</g>
<!-- zcash/simtfl#25&#45;&gt;zcash/simtfl#8 -->
<g id="edge37" class="edge">
<title>zcash/simtfl#25&#45;&gt;zcash/simtfl#8</title>
<path fill="none" stroke="black" d="M418.63,-694.86C431.6,-698.81 444.66,-704.06 456,-711 476.4,-723.49 471.89,-738.05 492,-751 494.18,-752.41 496.43,-753.76 498.72,-755.06"/>
<polygon fill="black" stroke="black" points="497.3,-758.27 507.78,-759.84 500.57,-752.08 497.3,-758.27"/>
</g>
<!-- ECC/zebra&#45;tfl#4 -->
<g id="node33" class="node open">
<title>ECC/zebra&#45;tfl#4</title>
<g id="a_node24"><a xlink:href="https://github.com/Electric-Coin-Company/zebra-tfl/issues/4" xlink:title="ECC/zebra&#45;tfl#4&#10;Prototype release 0.x&#10;(for phase 2)" target="_blank">
<g id="a_node33"><a xlink:href="https://github.com/Electric-Coin-Company/zebra-tfl/issues/4" xlink:title="ECC/zebra&#45;tfl#4&#10;Prototype release 0.x&#10;(for phase 2)" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="1169,-268.5 999,-268.5 999,-215.5 1169,-215.5 1169,-268.5"/>
<text text-anchor="middle" x="1084" y="-253.3" font-family="Times,serif" font-size="14.00">ECC/zebra&#45;tfl#4</text>
<text text-anchor="middle" x="1084" y="-238.3" font-family="Times,serif" font-size="14.00">Prototype release 0.x</text>
@ -541,9 +727,9 @@
<polygon fill="black" stroke="black" points="2380.88,-854.04 2391.3,-855.93 2384.33,-847.95 2380.88,-854.04"/>
</g>
<!-- ECC/zebra&#45;tfl#11 -->
<g id="node25" class="node open">
<g id="node34" class="node open">
<title>ECC/zebra&#45;tfl#11</title>
<g id="a_node25"><a xlink:href="https://github.com/Electric-Coin-Company/zebra-tfl/issues/11" xlink:title="ECC/zebra&#45;tfl#11&#10;Consider putting bft&#45;&#10;proposals in bc&#45;block&#45;&#10;headers" target="_blank">
<g id="a_node34"><a xlink:href="https://github.com/Electric-Coin-Company/zebra-tfl/issues/11" xlink:title="ECC/zebra&#45;tfl#11&#10;Consider putting bft&#45;&#10;proposals in bc&#45;block&#45;&#10;headers" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="935,-273 764,-273 764,-205 935,-205 935,-273"/>
<text text-anchor="middle" x="849.5" y="-257.8" font-family="Times,serif" font-size="14.00">ECC/zebra&#45;tfl#11</text>
<text text-anchor="middle" x="849.5" y="-242.8" font-family="Times,serif" font-size="14.00">Consider putting bft&#45;</text>
@ -553,15 +739,15 @@
</g>
</g>
<!-- ECC/zebra&#45;tfl#11&#45;&gt;ECC/zebra&#45;tfl#4 -->
<g id="edge26" class="edge">
<g id="edge38" class="edge">
<title>ECC/zebra&#45;tfl#11&#45;&gt;ECC/zebra&#45;tfl#4</title>
<path fill="none" stroke="black" d="M935.1,-240.09C952.46,-240.32 970.85,-240.55 988.54,-240.78"/>
<polygon fill="black" stroke="black" points="988.86,-244.28 998.9,-240.91 988.94,-237.28 988.86,-244.28"/>
</g>
<!-- ECC/tfl&#45;book#86 -->
<g id="node26" class="node open">
<g id="node35" class="node open">
<title>ECC/tfl&#45;book#86</title>
<g id="a_node26"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/86" xlink:title="ECC/tfl&#45;book#86&#10;Define macros so that we&#10;can easily use Crosslink&#10;notation in the book" target="_blank">
<g id="a_node35"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/86" xlink:title="ECC/tfl&#45;book#86&#10;Define macros so that we&#10;can easily use Crosslink&#10;notation in the book" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="448.5,-617 251.5,-617 251.5,-549 448.5,-549 448.5,-617"/>
<text text-anchor="middle" x="350" y="-601.8" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#86</text>
<text text-anchor="middle" x="350" y="-586.8" font-family="Times,serif" font-size="14.00">Define macros so that we</text>
@ -571,9 +757,9 @@
</g>
</g>
<!-- ECC/tfl&#45;book#142 -->
<g id="node27" class="node open">
<g id="node36" class="node open">
<title>ECC/tfl&#45;book#142</title>
<g id="a_node27"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/142" xlink:title="ECC/tfl&#45;book#142&#10;Write up Crosslink 2" target="_blank">
<g id="a_node36"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/142" xlink:title="ECC/tfl&#45;book#142&#10;Write up Crosslink 2" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="685,-617 522,-617 522,-579 685,-579 685,-617"/>
<text text-anchor="middle" x="603.5" y="-601.8" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#142</text>
<text text-anchor="middle" x="603.5" y="-586.8" font-family="Times,serif" font-size="14.00">Write up Crosslink 2</text>
@ -581,15 +767,15 @@
</g>
</g>
<!-- ECC/tfl&#45;book#86&#45;&gt;ECC/tfl&#45;book#142 -->
<g id="edge27" class="edge">
<g id="edge39" class="edge">
<title>ECC/tfl&#45;book#86&#45;&gt;ECC/tfl&#45;book#142</title>
<path fill="none" stroke="black" d="M448.6,-588.82C469.27,-590.05 491.01,-591.35 511.43,-592.57"/>
<polygon fill="black" stroke="black" points="511.46,-596.08 521.65,-593.18 511.88,-589.09 511.46,-596.08"/>
</g>
<!-- ECC/tfl&#45;book#99 -->
<g id="node28" class="node open">
<g id="node37" class="node open">
<title>ECC/tfl&#45;book#99</title>
<g id="a_node28"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/99" xlink:title="ECC/tfl&#45;book#99&#10;Design Milestone 2 &#45; tfl&#45;&#10;book v0.2.0 &#45; Integrated&#10;Crosslink" target="_blank">
<g id="a_node37"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/99" xlink:title="ECC/tfl&#45;book#99&#10;Design Milestone 2 &#45; tfl&#45;&#10;book v0.2.0 &#45; Integrated&#10;Crosslink" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="943.5,-568 940.5,-572 919.5,-572 916.5,-568 755.5,-568 755.5,-500 943.5,-500 943.5,-568"/>
<text text-anchor="middle" x="849.5" y="-552.8" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#99</text>
<text text-anchor="middle" x="849.5" y="-537.8" font-family="Times,serif" font-size="14.00">Design Milestone 2 &#45; tfl&#45;</text>
@ -599,7 +785,7 @@
</g>
</g>
<!-- ECC/tfl&#45;book#142&#45;&gt;ECC/tfl&#45;book#99 -->
<g id="edge28" class="edge">
<g id="edge40" class="edge">
<title>ECC/tfl&#45;book#142&#45;&gt;ECC/tfl&#45;book#99</title>
<path fill="none" stroke="black" d="M680.33,-578.95C691.95,-575.98 703.8,-572.93 715,-570 724.86,-567.42 735.11,-564.71 745.37,-561.98"/>
<polygon fill="black" stroke="black" points="746.42,-565.32 755.18,-559.36 744.62,-558.56 746.42,-565.32"/>
@ -623,9 +809,9 @@
<polygon fill="black" stroke="black" points="1058.4,-278.55 1061.9,-268.55 1052.93,-274.19 1058.4,-278.55"/>
</g>
<!-- ECC/tfl&#45;book#77 -->
<g id="node29" class="node open">
<g id="node38" class="node open">
<title>ECC/tfl&#45;book#77</title>
<g id="a_node29"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/77" xlink:title="ECC/tfl&#45;book#77&#10;Add &quot;Avoided Terms&quot;&#10;section in &quot;Terminology&quot;" target="_blank">
<g id="a_node38"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/77" xlink:title="ECC/tfl&#45;book#77&#10;Add &quot;Avoided Terms&quot;&#10;section in &quot;Terminology&quot;" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="699.5,-560.5 507.5,-560.5 507.5,-507.5 699.5,-507.5 699.5,-560.5"/>
<text text-anchor="middle" x="603.5" y="-545.3" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#77</text>
<text text-anchor="middle" x="603.5" y="-530.3" font-family="Times,serif" font-size="14.00">Add &quot;Avoided Terms&quot;</text>
@ -634,15 +820,15 @@
</g>
</g>
<!-- ECC/tfl&#45;book#77&#45;&gt;ECC/tfl&#45;book#99 -->
<g id="edge29" class="edge">
<g id="edge41" class="edge">
<title>ECC/tfl&#45;book#77&#45;&gt;ECC/tfl&#45;book#99</title>
<path fill="none" stroke="black" d="M699.54,-534C714.43,-534 729.89,-534 744.96,-534"/>
<polygon fill="black" stroke="black" points="745.33,-537.5 755.33,-534 745.33,-530.5 745.33,-537.5"/>
</g>
<!-- ECC/tfl&#45;book#25 -->
<g id="node30" class="node open">
<g id="node39" class="node open">
<title>ECC/tfl&#45;book#25</title>
<g id="a_node30"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/25" xlink:title="ECC/tfl&#45;book#25&#10;Add style guide / textual&#10;conventions." target="_blank">
<g id="a_node39"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/25" xlink:title="ECC/tfl&#45;book#25&#10;Add style guide / textual&#10;conventions." target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="699,-489.5 508,-489.5 508,-436.5 699,-436.5 699,-489.5"/>
<text text-anchor="middle" x="603.5" y="-474.3" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#25</text>
<text text-anchor="middle" x="603.5" y="-459.3" font-family="Times,serif" font-size="14.00">Add style guide / textual</text>
@ -651,15 +837,15 @@
</g>
</g>
<!-- ECC/tfl&#45;book#25&#45;&gt;ECC/tfl&#45;book#99 -->
<g id="edge30" class="edge">
<g id="edge42" class="edge">
<title>ECC/tfl&#45;book#25&#45;&gt;ECC/tfl&#45;book#99</title>
<path fill="none" stroke="black" d="M695.7,-489.54C712,-494.28 729.08,-499.25 745.67,-504.08"/>
<polygon fill="black" stroke="black" points="744.79,-507.47 755.37,-506.9 746.74,-500.75 744.79,-507.47"/>
</g>
<!-- ECC/tfl&#45;book#119 -->
<g id="node31" class="node open">
<g id="node40" class="node open">
<title>ECC/tfl&#45;book#119</title>
<g id="a_node31"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/119" xlink:title="ECC/tfl&#45;book#119&#10;Clarify the distinctions&#10;between pure PoW, the PoW&#10;subprotocol, NU5, and&#10;fork&#45;choice vs all of&#10;transaction semantics." target="_blank">
<g id="a_node40"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/119" xlink:title="ECC/tfl&#45;book#119&#10;Clarify the distinctions&#10;between pure PoW, the PoW&#10;subprotocol, NU5, and&#10;fork&#45;choice vs all of&#10;transaction semantics." target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="712,-418 495,-418 495,-320 712,-320 712,-418"/>
<text text-anchor="middle" x="603.5" y="-402.8" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#119</text>
<text text-anchor="middle" x="603.5" y="-387.8" font-family="Times,serif" font-size="14.00">Clarify the distinctions</text>
@ -671,197 +857,11 @@
</g>
</g>
<!-- ECC/tfl&#45;book#119&#45;&gt;ECC/tfl&#45;book#99 -->
<g id="edge31" class="edge">
<g id="edge43" class="edge">
<title>ECC/tfl&#45;book#119&#45;&gt;ECC/tfl&#45;book#99</title>
<path fill="none" stroke="black" d="M699.21,-418.09C704.61,-421.34 709.91,-424.66 715,-428 745.03,-447.71 776.59,-472.55 801.48,-493.23"/>
<polygon fill="black" stroke="black" points="799.4,-496.06 809.32,-499.79 803.9,-490.69 799.4,-496.06"/>
</g>
<!-- zcash/simtfl#14 -->
<g id="node32" class="node open">
<title>zcash/simtfl#14</title>
<g id="a_node32"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/14" xlink:title="zcash/simtfl#14&#10;simtfl 0.2.0&#10;(corresponding to&#10;Implementation Phase 1:&#10;Simulation Codebase)" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="947,-898.5 944,-902.5 923,-902.5 920,-898.5 752,-898.5 752,-815.5 947,-815.5 947,-898.5"/>
<text text-anchor="middle" x="849.5" y="-883.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#14</text>
<text text-anchor="middle" x="849.5" y="-868.3" font-family="Times,serif" font-size="14.00">simtfl 0.2.0</text>
<text text-anchor="middle" x="849.5" y="-853.3" font-family="Times,serif" font-size="14.00">(corresponding to</text>
<text text-anchor="middle" x="849.5" y="-838.3" font-family="Times,serif" font-size="14.00">Implementation Phase 1:</text>
<text text-anchor="middle" x="849.5" y="-823.3" font-family="Times,serif" font-size="14.00">Simulation Codebase)</text>
</a>
</g>
</g>
<!-- zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#71 -->
<g id="edge52" class="edge">
<title>zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#71</title>
<path fill="none" stroke="black" d="M913.42,-898.67C947.51,-921.26 989.42,-949.02 1023,-971.29"/>
<polygon fill="black" stroke="black" points="1021.12,-974.24 1031.4,-976.82 1024.97,-968.4 1021.12,-974.24"/>
</g>
<!-- zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#72 -->
<g id="edge53" class="edge">
<title>zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#72</title>
<path fill="none" stroke="black" d="M899.52,-898.58C919.01,-917.23 940.26,-940.53 955,-965 976.46,-1000.6 956.01,-1023.2 984,-1054 984.63,-1054.7 985.28,-1055.4 985.94,-1056.1"/>
<polygon fill="black" stroke="black" points="983.72,-1058.81 993.5,-1062.9 988.41,-1053.61 983.72,-1058.81"/>
</g>
<!-- zcash/simtfl#10 -->
<g id="node33" class="node open">
<title>zcash/simtfl#10</title>
<g id="a_node33"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/10" xlink:title="zcash/simtfl#10&#10;Implement some known BFT&#10;and/or PoS attacks" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="714,-741.5 493,-741.5 493,-688.5 714,-688.5 714,-741.5"/>
<text text-anchor="middle" x="603.5" y="-726.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#10</text>
<text text-anchor="middle" x="603.5" y="-711.3" font-family="Times,serif" font-size="14.00">Implement some known BFT</text>
<text text-anchor="middle" x="603.5" y="-696.3" font-family="Times,serif" font-size="14.00">and/or PoS attacks</text>
</a>
</g>
</g>
<!-- zcash/simtfl#10&#45;&gt;zcash/simtfl#14 -->
<g id="edge32" class="edge">
<title>zcash/simtfl#10&#45;&gt;zcash/simtfl#14</title>
<path fill="none" stroke="black" d="M695.17,-741.57C702.01,-744.47 708.69,-747.61 715,-751 744.04,-766.6 773.09,-788.7 796.64,-808.69"/>
<polygon fill="black" stroke="black" points="794.55,-811.5 804.41,-815.37 799.11,-806.2 794.55,-811.5"/>
</g>
<!-- zcash/simtfl#7 -->
<g id="node34" class="node open">
<title>zcash/simtfl#7</title>
<g id="a_node34"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/7" xlink:title="zcash/simtfl#7&#10;Define BC abstractions&#10;and PoW (honest behaviour&#10;only)" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="456,-844 244,-844 244,-776 456,-776 456,-844"/>
<text text-anchor="middle" x="350" y="-828.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#7</text>
<text text-anchor="middle" x="350" y="-813.8" font-family="Times,serif" font-size="14.00">Define BC abstractions</text>
<text text-anchor="middle" x="350" y="-798.8" font-family="Times,serif" font-size="14.00">and PoW (honest behaviour</text>
<text text-anchor="middle" x="350" y="-783.8" font-family="Times,serif" font-size="14.00">only)</text>
</a>
</g>
</g>
<!-- zcash/simtfl#8 -->
<g id="node35" class="node open">
<title>zcash/simtfl#8</title>
<g id="a_node35"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/8" xlink:title="zcash/simtfl#8&#10;Define Crosslink (honest&#10;behaviour only)" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="699,-812.5 508,-812.5 508,-759.5 699,-759.5 699,-812.5"/>
<text text-anchor="middle" x="603.5" y="-797.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#8</text>
<text text-anchor="middle" x="603.5" y="-782.3" font-family="Times,serif" font-size="14.00">Define Crosslink (honest</text>
<text text-anchor="middle" x="603.5" y="-767.3" font-family="Times,serif" font-size="14.00">behaviour only)</text>
</a>
</g>
</g>
<!-- zcash/simtfl#7&#45;&gt;zcash/simtfl#8 -->
<g id="edge33" class="edge">
<title>zcash/simtfl#7&#45;&gt;zcash/simtfl#8</title>
<path fill="none" stroke="black" d="M456.2,-799.96C469.82,-798.66 483.78,-797.33 497.4,-796.03"/>
<polygon fill="black" stroke="black" points="498.12,-799.48 507.74,-795.04 497.45,-792.51 498.12,-799.48"/>
</g>
<!-- zcash/simtfl#9 -->
<g id="node36" class="node open">
<title>zcash/simtfl#9</title>
<g id="a_node36"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/9" xlink:title="zcash/simtfl#9&#10;Implement some known PoW&#10;attacks" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="715,-883.5 492,-883.5 492,-830.5 715,-830.5 715,-883.5"/>
<text text-anchor="middle" x="603.5" y="-868.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#9</text>
<text text-anchor="middle" x="603.5" y="-853.3" font-family="Times,serif" font-size="14.00">Implement some known PoW</text>
<text text-anchor="middle" x="603.5" y="-838.3" font-family="Times,serif" font-size="14.00">attacks</text>
</a>
</g>
</g>
<!-- zcash/simtfl#7&#45;&gt;zcash/simtfl#9 -->
<g id="edge34" class="edge">
<title>zcash/simtfl#7&#45;&gt;zcash/simtfl#9</title>
<path fill="none" stroke="black" d="M456.2,-829.66C464.62,-831.23 473.16,-832.83 481.67,-834.42"/>
<polygon fill="black" stroke="black" points="481.18,-837.89 491.65,-836.28 482.46,-831.01 481.18,-837.89"/>
</g>
<!-- zcash/simtfl#8&#45;&gt;zcash/simtfl#14 -->
<g id="edge35" class="edge">
<title>zcash/simtfl#8&#45;&gt;zcash/simtfl#14</title>
<path fill="none" stroke="black" d="M695.7,-812.54C710.69,-816.9 726.35,-821.46 741.68,-825.92"/>
<polygon fill="black" stroke="black" points="741.11,-829.4 751.69,-828.83 743.06,-822.68 741.11,-829.4"/>
</g>
<!-- zcash/simtfl#9&#45;&gt;zcash/simtfl#14 -->
<g id="edge36" class="edge">
<title>zcash/simtfl#9&#45;&gt;zcash/simtfl#14</title>
<path fill="none" stroke="black" d="M715.08,-857C723.87,-857 732.74,-857 741.51,-857"/>
<polygon fill="black" stroke="black" points="741.74,-860.5 751.74,-857 741.74,-853.5 741.74,-860.5"/>
</g>
<!-- zcash/simtfl#20 -->
<g id="node37" class="node open">
<title>zcash/simtfl#20</title>
<g id="a_node37"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/20" xlink:title="zcash/simtfl#20&#10;Add test coverage that&#10;ensures edge cases lead&#10;to invalid blocks" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="445,-930 255,-930 255,-862 445,-862 445,-930"/>
<text text-anchor="middle" x="350" y="-914.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#20</text>
<text text-anchor="middle" x="350" y="-899.8" font-family="Times,serif" font-size="14.00">Add test coverage that</text>
<text text-anchor="middle" x="350" y="-884.8" font-family="Times,serif" font-size="14.00">ensures edge cases lead</text>
<text text-anchor="middle" x="350" y="-869.8" font-family="Times,serif" font-size="14.00">to invalid blocks</text>
</a>
</g>
</g>
<!-- zcash/simtfl#20&#45;&gt;zcash/simtfl#9 -->
<g id="edge37" class="edge">
<title>zcash/simtfl#20&#45;&gt;zcash/simtfl#9</title>
<path fill="none" stroke="black" d="M445.01,-881.42C456.89,-879.58 469.17,-877.67 481.4,-875.78"/>
<polygon fill="black" stroke="black" points="482.3,-879.18 491.65,-874.19 481.23,-872.26 482.3,-879.18"/>
</g>
<!-- zcash/simtfl#15 -->
<g id="node38" class="node open">
<title>zcash/simtfl#15</title>
<g id="a_node38"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/15" xlink:title="zcash/simtfl#15&#10;Design/document the&#10;network layer used in the&#10;simulation" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="208,-773 8,-773 8,-705 208,-705 208,-773"/>
<text text-anchor="middle" x="108" y="-757.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#15</text>
<text text-anchor="middle" x="108" y="-742.8" font-family="Times,serif" font-size="14.00">Design/document the</text>
<text text-anchor="middle" x="108" y="-727.8" font-family="Times,serif" font-size="14.00">network layer used in the</text>
<text text-anchor="middle" x="108" y="-712.8" font-family="Times,serif" font-size="14.00">simulation</text>
</a>
</g>
</g>
<!-- zcash/simtfl#16 -->
<g id="node39" class="node open">
<title>zcash/simtfl#16</title>
<g id="a_node39"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/16" xlink:title="zcash/simtfl#16&#10;Implement network layer" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="448.5,-758 251.5,-758 251.5,-720 448.5,-720 448.5,-758"/>
<text text-anchor="middle" x="350" y="-742.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#16</text>
<text text-anchor="middle" x="350" y="-727.8" font-family="Times,serif" font-size="14.00">Implement network layer</text>
</a>
</g>
</g>
<!-- zcash/simtfl#15&#45;&gt;zcash/simtfl#16 -->
<g id="edge38" class="edge">
<title>zcash/simtfl#15&#45;&gt;zcash/simtfl#16</title>
<path fill="none" stroke="black" d="M208,-739C218.98,-739 230.19,-739 241.27,-739"/>
<polygon fill="black" stroke="black" points="241.39,-742.5 251.39,-739 241.39,-735.5 241.39,-742.5"/>
</g>
<!-- zcash/simtfl#16&#45;&gt;zcash/simtfl#10 -->
<g id="edge39" class="edge">
<title>zcash/simtfl#16&#45;&gt;zcash/simtfl#10</title>
<path fill="none" stroke="black" d="M448.6,-729.69C459.81,-728.62 471.34,-727.52 482.8,-726.42"/>
<polygon fill="black" stroke="black" points="483.22,-729.9 492.84,-725.46 482.55,-722.93 483.22,-729.9"/>
</g>
<!-- zcash/simtfl#16&#45;&gt;zcash/simtfl#8 -->
<g id="edge40" class="edge">
<title>zcash/simtfl#16&#45;&gt;zcash/simtfl#8</title>
<path fill="none" stroke="black" d="M448.6,-757.24C464.72,-760.25 481.49,-763.39 497.78,-766.43"/>
<polygon fill="black" stroke="black" points="497.38,-769.92 507.85,-768.31 498.66,-763.03 497.38,-769.92"/>
</g>
<!-- zcash/simtfl#16&#45;&gt;zcash/simtfl#9 -->
<g id="edge41" class="edge">
<title>zcash/simtfl#16&#45;&gt;zcash/simtfl#9</title>
<path fill="none" stroke="black" d="M441.03,-758.06C446.29,-760.66 451.34,-763.63 456,-767 479.68,-784.12 468.72,-804.34 492,-822 493.38,-823.05 494.79,-824.06 496.23,-825.04"/>
<polygon fill="black" stroke="black" points="494.41,-828.03 504.75,-830.36 498.12,-822.09 494.41,-828.03"/>
</g>
<!-- zcash/simtfl#25 -->
<g id="node40" class="node open">
<title>zcash/simtfl#25</title>
<g id="a_node40"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/25" xlink:title="zcash/simtfl#25&#10;Finish Streamlet" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="418.5,-702 281.5,-702 281.5,-664 418.5,-664 418.5,-702"/>
<text text-anchor="middle" x="350" y="-686.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#25</text>
<text text-anchor="middle" x="350" y="-671.8" font-family="Times,serif" font-size="14.00">Finish Streamlet</text>
</a>
</g>
</g>
<!-- zcash/simtfl#25&#45;&gt;zcash/simtfl#10 -->
<g id="edge42" class="edge">
<title>zcash/simtfl#25&#45;&gt;zcash/simtfl#10</title>
<path fill="none" stroke="black" d="M418.73,-691.62C438.54,-694.14 460.8,-696.97 482.82,-699.77"/>
<polygon fill="black" stroke="black" points="482.55,-703.26 492.91,-701.06 483.43,-696.32 482.55,-703.26"/>
</g>
<!-- zcash/simtfl#25&#45;&gt;zcash/simtfl#8 -->
<g id="edge43" class="edge">
<title>zcash/simtfl#25&#45;&gt;zcash/simtfl#8</title>
<path fill="none" stroke="black" d="M418.63,-694.86C431.6,-698.81 444.66,-704.06 456,-711 476.4,-723.49 471.89,-738.05 492,-751 494.18,-752.41 496.43,-753.76 498.72,-755.06"/>
<polygon fill="black" stroke="black" points="497.3,-758.27 507.78,-759.84 500.57,-752.08 497.3,-758.27"/>
</g>
<!-- ECC/zebra&#45;tfl#3 -->
<g id="node41" class="node open">
<title>ECC/zebra&#45;tfl#3</title>

Before

Width:  |  Height:  |  Size: 85 KiB

After

Width:  |  Height:  |  Size: 85 KiB

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

Before

Width:  |  Height:  |  Size: 188 KiB

After

Width:  |  Height:  |  Size: 188 KiB

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

Before

Width:  |  Height:  |  Size: 370 KiB

After

Width:  |  Height:  |  Size: 370 KiB

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

Before

Width:  |  Height:  |  Size: 94 KiB

After

Width:  |  Height:  |  Size: 94 KiB