This commit is contained in:
nuttycom 2024-04-25 04:07:31 +00:00
parent c1e9cea4b9
commit 977c9728ce
12 changed files with 7402 additions and 7402 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: 408 KiB

After

Width:  |  Height:  |  Size: 408 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="clust2" 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="clust3" 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>
<!-- 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"/>
@ -276,6 +247,35 @@
<path fill="none" stroke="black" d="M667.5,-578.14C686.39,-588.95 707.2,-600.32 733.3,-613.05"/>
<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#756 -->
<g id="node7" class="node open">
<title>zcash/halo2#756</title>
<g id="a_node7"><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="node8" class="node open">
<title>zcash/halo2#742</title>
<g id="a_node8"><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#455 -->
<g id="node9" class="node open">
<title>zcash/halo2#455</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="clust2" 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="clust3" 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>
<!-- 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"/>
@ -264,6 +235,35 @@
<path fill="none" stroke="black" d="M667.5,-578.14C686.39,-588.95 707.2,-600.32 733.3,-613.05"/>
<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#756 -->
<g id="node7" class="node open">
<title>zcash/halo2#756</title>
<g id="a_node7"><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="node8" class="node open">
<title>zcash/halo2#742</title>
<g id="a_node8"><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#455 -->
<g id="node9" class="node open">
<title>zcash/halo2#455</title>

Before

Width:  |  Height:  |  Size: 54 KiB

After

Width:  |  Height:  |  Size: 54 KiB

View File

@ -22,39 +22,160 @@
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 1298)">
<polygon fill="white" stroke="transparent" points="-4,4 -4,-1298 5291,-1298 5291,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_4</title>
<polygon fill="none" stroke="blue" points="743,-969 743,-1294 1872,-1294 1872,-969 743,-969"/>
<text text-anchor="middle" x="1307.5" y="-1278.8" font-family="Times,serif" font-size="14.00">Design and Implementation Phase 3</text>
<title>cluster_5</title>
<polygon fill="none" stroke="blue" points="503,0 503,-189 942.5,-189 942.5,0 503,0"/>
<text text-anchor="middle" x="722.75" y="-173.8" font-family="Times,serif" font-size="14.00">Prototype Phase 1</text>
</g>
<g id="clust2" 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="clust3" 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">
<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="clust3" class="cluster">
<title>cluster_4</title>
<polygon fill="none" stroke="blue" points="743,-969 743,-1294 1872,-1294 1872,-969 743,-969"/>
<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="clust4" 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="clust5" class="cluster">
<title>cluster_5</title>
<polygon fill="none" stroke="blue" points="503,0 503,-189 942.5,-189 942.5,0 503,0"/>
<text text-anchor="middle" x="722.75" y="-173.8" font-family="Times,serif" font-size="14.00">Prototype Phase 1</text>
<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="clust6" class="cluster">
<title>cluster_0</title>
<polygon fill="none" stroke="blue" points="1892,-758 1892,-1214 3032,-1214 3032,-758 1892,-758"/>
<text text-anchor="middle" x="2462" y="-1198.8" font-family="Times,serif" font-size="14.00">Design and Implementation Phase 4</text>
</g>
<!-- ECC/tfl&#45;book#71 -->
<!-- ECC/zebra&#45;tfl#3 -->
<g id="node1" class="node open">
<title>ECC/zebra&#45;tfl#3</title>
<g id="a_node1"><a xlink:href="https://github.com/Electric-Coin-Company/zebra-tfl/issues/3" xlink:title="ECC/zebra&#45;tfl#3&#10;Add test harness" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="672,-46 535,-46 535,-8 672,-8 672,-46"/>
<text text-anchor="middle" x="603.5" y="-30.8" font-family="Times,serif" font-size="14.00">ECC/zebra&#45;tfl#3</text>
<text text-anchor="middle" x="603.5" y="-15.8" font-family="Times,serif" font-size="14.00">Add test harness</text>
</a>
</g>
</g>
<!-- ECC/zebra&#45;tfl#1 -->
<g id="node2" class="node open">
<title>ECC/zebra&#45;tfl#1</title>
<g id="a_node2"><a xlink:href="https://github.com/Electric-Coin-Company/zebra-tfl/issues/1" xlink:title="ECC/zebra&#45;tfl#1&#10;Prototype release 0.1" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="934.5,-130 764.5,-130 764.5,-92 934.5,-92 934.5,-130"/>
<text text-anchor="middle" x="849.5" y="-114.8" font-family="Times,serif" font-size="14.00">ECC/zebra&#45;tfl#1</text>
<text text-anchor="middle" x="849.5" y="-99.8" font-family="Times,serif" font-size="14.00">Prototype release 0.1</text>
</a>
</g>
</g>
<!-- ECC/zebra&#45;tfl#3&#45;&gt;ECC/zebra&#45;tfl#1 -->
<g id="edge1" class="edge">
<title>ECC/zebra&#45;tfl#3&#45;&gt;ECC/zebra&#45;tfl#1</title>
<path fill="none" stroke="black" d="M672.16,-42.45C686.43,-46.17 701.3,-50.42 715,-55 743.11,-64.4 773.65,-77.02 798.42,-87.91"/>
<polygon fill="black" stroke="black" points="797.05,-91.13 807.61,-91.98 799.89,-84.73 797.05,-91.13"/>
</g>
<!-- ECC/zebra&#45;tfl#4 -->
<g id="node29" class="node open">
<title>ECC/zebra&#45;tfl#4</title>
<g id="a_node29"><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>
<text text-anchor="middle" x="1084" y="-223.3" font-family="Times,serif" font-size="14.00">(for phase 2)</text>
</a>
</g>
</g>
<!-- ECC/zebra&#45;tfl#1&#45;&gt;ECC/zebra&#45;tfl#4 -->
<g id="edge58" class="edge">
<title>ECC/zebra&#45;tfl#1&#45;&gt;ECC/zebra&#45;tfl#4</title>
<path fill="none" stroke="black" d="M884.31,-130.05C921.66,-151.09 982.4,-185.32 1026.9,-210.4"/>
<polygon fill="black" stroke="black" points="1025.46,-213.61 1035.9,-215.44 1028.89,-207.5 1025.46,-213.61"/>
</g>
<!-- ECC/zebra&#45;tfl#5 -->
<g id="node3" class="node open">
<title>ECC/zebra&#45;tfl#5</title>
<g id="a_node3"><a xlink:href="https://github.com/Electric-Coin-Company/zebra-tfl/issues/5" xlink:title="ECC/zebra&#45;tfl#5&#10;Support building in Nix" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="696,-158 511,-158 511,-120 696,-120 696,-158"/>
<text text-anchor="middle" x="603.5" y="-142.8" font-family="Times,serif" font-size="14.00">ECC/zebra&#45;tfl#5</text>
<text text-anchor="middle" x="603.5" y="-127.8" font-family="Times,serif" font-size="14.00">Support building in Nix</text>
</a>
</g>
</g>
<!-- ECC/zebra&#45;tfl#5&#45;&gt;ECC/zebra&#45;tfl#1 -->
<g id="edge2" class="edge">
<title>ECC/zebra&#45;tfl#5&#45;&gt;ECC/zebra&#45;tfl#1</title>
<path fill="none" stroke="black" d="M696.05,-128.49C715.17,-126.3 735.35,-123.98 754.55,-121.78"/>
<polygon fill="black" stroke="black" points="754.95,-125.26 764.49,-120.64 754.16,-118.3 754.95,-125.26"/>
</g>
<!-- ECC/zebra&#45;tfl#6 -->
<g id="node4" class="node open">
<title>ECC/zebra&#45;tfl#6</title>
<g id="a_node4"><a xlink:href="https://github.com/Electric-Coin-Company/zebra-tfl/issues/6" xlink:title="ECC/zebra&#45;tfl#6&#10;Create a testnet" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="670,-102 537,-102 537,-64 670,-64 670,-102"/>
<text text-anchor="middle" x="603.5" y="-86.8" font-family="Times,serif" font-size="14.00">ECC/zebra&#45;tfl#6</text>
<text text-anchor="middle" x="603.5" y="-71.8" font-family="Times,serif" font-size="14.00">Create a testnet</text>
</a>
</g>
</g>
<!-- ECC/zebra&#45;tfl#6&#45;&gt;ECC/zebra&#45;tfl#1 -->
<g id="edge3" class="edge">
<title>ECC/zebra&#45;tfl#6&#45;&gt;ECC/zebra&#45;tfl#1</title>
<path fill="none" stroke="black" d="M670.21,-90.54C695.98,-93.5 726.04,-96.95 754.06,-100.16"/>
<polygon fill="black" stroke="black" points="753.94,-103.67 764.28,-101.34 754.75,-96.72 753.94,-103.67"/>
</g>
<!-- ECC/tfl&#45;book#86 -->
<g id="node5" class="node open">
<title>ECC/tfl&#45;book#86</title>
<g id="a_node5"><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>
<text text-anchor="middle" x="350" y="-571.8" font-family="Times,serif" font-size="14.00">can easily use Crosslink</text>
<text text-anchor="middle" x="350" y="-556.8" font-family="Times,serif" font-size="14.00">notation in the book</text>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#142 -->
<g id="node6" class="node open">
<title>ECC/tfl&#45;book#142</title>
<g id="a_node6"><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>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#86&#45;&gt;ECC/tfl&#45;book#142 -->
<g id="edge4" 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="node7" class="node open">
<title>ECC/tfl&#45;book#99</title>
<g id="a_node7"><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>
<text text-anchor="middle" x="849.5" y="-522.8" font-family="Times,serif" font-size="14.00">book v0.2.0 &#45; Integrated</text>
<text text-anchor="middle" x="849.5" y="-507.8" font-family="Times,serif" font-size="14.00">Crosslink</text>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#142&#45;&gt;ECC/tfl&#45;book#99 -->
<g id="edge5" 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"/>
</g>
<!-- ECC/tfl&#45;book#71 -->
<g id="node11" class="node open">
<title>ECC/tfl&#45;book#71</title>
<g id="a_node1"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/71" xlink:title="ECC/tfl&#45;book#71&#10;Analyze Crosslink against&#10;a set of known PoS&#10;attacks" target="_blank">
<g id="a_node11"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/71" xlink:title="ECC/tfl&#45;book#71&#10;Analyze Crosslink against&#10;a set of known PoS&#10;attacks" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="1184,-1045 984,-1045 984,-977 1184,-977 1184,-1045"/>
<text text-anchor="middle" x="1084" y="-1029.8" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#71</text>
<text text-anchor="middle" x="1084" y="-1014.8" font-family="Times,serif" font-size="14.00">Analyze Crosslink against</text>
@ -63,10 +184,94 @@
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#99&#45;&gt;ECC/tfl&#45;book#71 -->
<g id="edge49" class="edge">
<title>ECC/tfl&#45;book#99&#45;&gt;ECC/tfl&#45;book#71</title>
<path fill="none" stroke="black" d="M887.37,-568.35C909.42,-590.5 936.63,-620.9 955,-652 1017.1,-757.07 1056.1,-897.08 1073.1,-967.15"/>
<polygon fill="black" stroke="black" points="1069.73,-968.09 1075.5,-976.97 1076.53,-966.42 1069.73,-968.09"/>
</g>
<!-- ECC/tfl&#45;book#72 -->
<g id="node16" class="node open">
<title>ECC/tfl&#45;book#72</title>
<g id="a_node16"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/72" xlink:title="ECC/tfl&#45;book#72&#10;Analyze Crosslink against&#10;a set of known PoW&#10;attacks." target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="1184,-1131 984,-1131 984,-1063 1184,-1063 1184,-1131"/>
<text text-anchor="middle" x="1084" y="-1115.8" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#72</text>
<text text-anchor="middle" x="1084" y="-1100.8" font-family="Times,serif" font-size="14.00">Analyze Crosslink against</text>
<text text-anchor="middle" x="1084" y="-1085.8" font-family="Times,serif" font-size="14.00">a set of known PoW</text>
<text text-anchor="middle" x="1084" y="-1070.8" font-family="Times,serif" font-size="14.00">attacks.</text>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#99&#45;&gt;ECC/tfl&#45;book#72 -->
<g id="edge50" class="edge">
<title>ECC/tfl&#45;book#99&#45;&gt;ECC/tfl&#45;book#72</title>
<path fill="none" stroke="black" d="M891.76,-568.04C914.67,-589.53 941.25,-619.34 955,-652 989.75,-734.55 932.21,-980.92 984,-1054 984.28,-1054.4 984.57,-1054.8 984.87,-1055.2"/>
<polygon fill="black" stroke="black" points="982.41,-1057.7 991.64,-1062.9 987.67,-1053.08 982.41,-1057.7"/>
</g>
<!-- ECC/tfl&#45;book#99&#45;&gt;ECC/zebra&#45;tfl#4 -->
<g id="edge48" class="edge">
<title>ECC/tfl&#45;book#99&#45;&gt;ECC/zebra&#45;tfl#4</title>
<path fill="none" stroke="black" d="M877.63,-499.93C922.27,-443.87 1010.7,-332.77 1055.6,-276.45"/>
<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="node8" class="node open">
<title>ECC/tfl&#45;book#77</title>
<g id="a_node8"><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>
<text text-anchor="middle" x="603.5" y="-515.3" font-family="Times,serif" font-size="14.00">section in &quot;Terminology&quot;</text>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#77&#45;&gt;ECC/tfl&#45;book#99 -->
<g id="edge6" 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="node9" class="node open">
<title>ECC/tfl&#45;book#25</title>
<g id="a_node9"><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>
<text text-anchor="middle" x="603.5" y="-444.3" font-family="Times,serif" font-size="14.00">conventions.</text>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#25&#45;&gt;ECC/tfl&#45;book#99 -->
<g id="edge7" 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="node10" class="node open">
<title>ECC/tfl&#45;book#119</title>
<g id="a_node10"><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>
<text text-anchor="middle" x="603.5" y="-372.8" font-family="Times,serif" font-size="14.00">between pure PoW, the PoW</text>
<text text-anchor="middle" x="603.5" y="-357.8" font-family="Times,serif" font-size="14.00">subprotocol, NU5, and</text>
<text text-anchor="middle" x="603.5" y="-342.8" font-family="Times,serif" font-size="14.00">fork&#45;choice vs all of</text>
<text text-anchor="middle" x="603.5" y="-327.8" font-family="Times,serif" font-size="14.00">transaction semantics.</text>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#119&#45;&gt;ECC/tfl&#45;book#99 -->
<g id="edge8" 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>
<!-- ECC/tfl&#45;book#123 -->
<g id="node2" class="node open">
<g id="node12" class="node open">
<title>ECC/tfl&#45;book#123</title>
<g id="a_node2"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/123" xlink:title="ECC/tfl&#45;book#123&#10;Explain why we&#39;re more&#10;confident in Crosslink&#10;security vs the other&#10;hybrid construction&#10;candidates" target="_blank">
<g id="a_node12"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/123" xlink:title="ECC/tfl&#45;book#123&#10;Explain why we&#39;re more&#10;confident in Crosslink&#10;security vs the other&#10;hybrid construction&#10;candidates" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="1412,-1110 1223,-1110 1223,-1012 1412,-1012 1412,-1110"/>
<text text-anchor="middle" x="1317.5" y="-1094.8" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#123</text>
<text text-anchor="middle" x="1317.5" y="-1079.8" font-family="Times,serif" font-size="14.00">Explain why we&#39;re more</text>
@ -78,15 +283,15 @@
</g>
</g>
<!-- ECC/tfl&#45;book#71&#45;&gt;ECC/tfl&#45;book#123 -->
<g id="edge1" class="edge">
<g id="edge9" class="edge">
<title>ECC/tfl&#45;book#71&#45;&gt;ECC/tfl&#45;book#123</title>
<path fill="none" stroke="black" d="M1184.2,-1032.4C1193.7,-1034.5 1203.3,-1036.5 1212.8,-1038.6"/>
<polygon fill="black" stroke="black" points="1212.19,-1042.05 1222.7,-1040.7 1213.64,-1035.2 1212.19,-1042.05"/>
</g>
<!-- ECC/tfl&#45;book#81 -->
<g id="node3" class="node open">
<g id="node13" class="node open">
<title>ECC/tfl&#45;book#81</title>
<g id="a_node3"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/81" xlink:title="ECC/tfl&#45;book#81&#10;Write up conclusions of&#10;analyzing Crosslink&#10;against some known&#10;attacks" target="_blank">
<g id="a_node13"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/81" xlink:title="ECC/tfl&#45;book#81&#10;Write up conclusions of&#10;analyzing Crosslink&#10;against some known&#10;attacks" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="1634,-1081.5 1451,-1081.5 1451,-998.5 1634,-998.5 1634,-1081.5"/>
<text text-anchor="middle" x="1542.5" y="-1066.3" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#81</text>
<text text-anchor="middle" x="1542.5" y="-1051.3" font-family="Times,serif" font-size="14.00">Write up conclusions of</text>
@ -97,15 +302,15 @@
</g>
</g>
<!-- ECC/tfl&#45;book#123&#45;&gt;ECC/tfl&#45;book#81 -->
<g id="edge2" class="edge">
<g id="edge10" class="edge">
<title>ECC/tfl&#45;book#123&#45;&gt;ECC/tfl&#45;book#81</title>
<path fill="none" stroke="black" d="M1412.1,-1052.2C1421.7,-1051.3 1431.4,-1050.4 1441,-1049.5"/>
<polygon fill="black" stroke="black" points="1441.4,-1052.98 1451,-1048.5 1440.7,-1046.01 1441.4,-1052.98"/>
</g>
<!-- ECC/tfl&#45;book#137 -->
<g id="node4" class="node open">
<g id="node14" class="node open">
<title>ECC/tfl&#45;book#137</title>
<g id="a_node4"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/137" xlink:title="ECC/tfl&#45;book#137&#10;Improve Goals,&#10;Requirements, and&#10;Desiderata" target="_blank">
<g id="a_node14"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/137" xlink:title="ECC/tfl&#45;book#137&#10;Improve Goals,&#10;Requirements, and&#10;Desiderata" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="1618.5,-1168 1466.5,-1168 1466.5,-1100 1618.5,-1100 1618.5,-1168"/>
<text text-anchor="middle" x="1542.5" y="-1152.8" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#137</text>
<text text-anchor="middle" x="1542.5" y="-1137.8" font-family="Times,serif" font-size="14.00">Improve Goals,</text>
@ -115,15 +320,15 @@
</g>
</g>
<!-- ECC/tfl&#45;book#123&#45;&gt;ECC/tfl&#45;book#137 -->
<g id="edge3" class="edge">
<g id="edge11" class="edge">
<title>ECC/tfl&#45;book#123&#45;&gt;ECC/tfl&#45;book#137</title>
<path fill="none" stroke="black" d="M1412.1,-1091.6C1427,-1096.5 1442.3,-1101.5 1456.9,-1106.3"/>
<polygon fill="black" stroke="black" points="1455.81,-1109.63 1466.4,-1109.4 1457.98,-1102.97 1455.81,-1109.63"/>
</g>
<!-- ECC/tfl&#45;book#136 -->
<g id="node5" class="node open">
<g id="node15" class="node open">
<title>ECC/tfl&#45;book#136</title>
<g id="a_node5"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/136" xlink:title="ECC/tfl&#45;book#136&#10;Design Phase 3 &#45; tfl&#45;book&#10;v0.3.0 &#45; simtfl results &amp;&#10;PoS Goals / Reqs" target="_blank">
<g id="a_node15"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/136" xlink:title="ECC/tfl&#45;book#136&#10;Design Phase 3 &#45; tfl&#45;book&#10;v0.3.0 &#45; simtfl results &amp;&#10;PoS Goals / Reqs" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="1864,-1074 1861,-1078 1840,-1078 1837,-1074 1670,-1074 1670,-1006 1864,-1006 1864,-1074"/>
<text text-anchor="middle" x="1767" y="-1058.8" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#136</text>
<text text-anchor="middle" x="1767" y="-1043.8" font-family="Times,serif" font-size="14.00">Design Phase 3 &#45; tfl&#45;book</text>
@ -133,13 +338,13 @@
</g>
</g>
<!-- ECC/tfl&#45;book#81&#45;&gt;ECC/tfl&#45;book#136 -->
<g id="edge4" class="edge">
<g id="edge12" class="edge">
<title>ECC/tfl&#45;book#81&#45;&gt;ECC/tfl&#45;book#136</title>
<path fill="none" stroke="black" d="M1634.3,-1040C1642.6,-1040 1651,-1040 1659.5,-1040"/>
<polygon fill="black" stroke="black" points="1659.7,-1043.5 1669.7,-1040 1659.7,-1036.5 1659.7,-1043.5"/>
</g>
<!-- ECC/tfl&#45;book#137&#45;&gt;ECC/tfl&#45;book#136 -->
<g id="edge5" class="edge">
<g id="edge13" class="edge">
<title>ECC/tfl&#45;book#137&#45;&gt;ECC/tfl&#45;book#136</title>
<path fill="none" stroke="black" d="M1618.5,-1102.3C1636.9,-1094.5 1656.9,-1086.1 1675.9,-1078.1"/>
<polygon fill="black" stroke="black" points="1677.4,-1081.27 1685.2,-1074.1 1674.63,-1074.84 1677.4,-1081.27"/>
@ -222,28 +427,16 @@
<path fill="none" stroke="black" d="M1786.8,-1005.9C1808.3,-969.24 1846.5,-911.17 1892,-873 1895.7,-869.91 1899.6,-866.93 1903.6,-864.06"/>
<polygon fill="black" stroke="black" points="1905.7,-866.86 1912,-858.34 1901.76,-861.08 1905.7,-866.86"/>
</g>
<!-- ECC/tfl&#45;book#72 -->
<g id="node6" class="node open">
<title>ECC/tfl&#45;book#72</title>
<g id="a_node6"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/72" xlink:title="ECC/tfl&#45;book#72&#10;Analyze Crosslink against&#10;a set of known PoW&#10;attacks." target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="1184,-1131 984,-1131 984,-1063 1184,-1063 1184,-1131"/>
<text text-anchor="middle" x="1084" y="-1115.8" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#72</text>
<text text-anchor="middle" x="1084" y="-1100.8" font-family="Times,serif" font-size="14.00">Analyze Crosslink against</text>
<text text-anchor="middle" x="1084" y="-1085.8" font-family="Times,serif" font-size="14.00">a set of known PoW</text>
<text text-anchor="middle" x="1084" y="-1070.8" font-family="Times,serif" font-size="14.00">attacks.</text>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#72&#45;&gt;ECC/tfl&#45;book#123 -->
<g id="edge6" class="edge">
<g id="edge14" class="edge">
<title>ECC/tfl&#45;book#72&#45;&gt;ECC/tfl&#45;book#123</title>
<path fill="none" stroke="black" d="M1184.2,-1081.6C1193.6,-1080.1 1203.1,-1078.6 1212.5,-1077.2"/>
<polygon fill="black" stroke="black" points="1213.36,-1080.61 1222.7,-1075.6 1212.28,-1073.69 1213.36,-1080.61"/>
</g>
<!-- ECC/tfl&#45;book#134 -->
<g id="node7" class="node open">
<g id="node17" class="node open">
<title>ECC/tfl&#45;book#134</title>
<g id="a_node7"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/134" xlink:title="ECC/tfl&#45;book#134&#10;Decide on slashing&#10;requirements from the&#10;economic, security, and&#10;UX trade&#45;offs around&#10;slashing or no&#45;slashing&#10;staking protocols" target="_blank">
<g id="a_node17"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/134" xlink:title="ECC/tfl&#45;book#134&#10;Decide on slashing&#10;requirements from the&#10;economic, security, and&#10;UX trade&#45;offs around&#10;slashing or no&#45;slashing&#10;staking protocols" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="1175.5,-1262.5 992.5,-1262.5 992.5,-1149.5 1175.5,-1149.5 1175.5,-1262.5"/>
<text text-anchor="middle" x="1084" y="-1247.3" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#134</text>
<text text-anchor="middle" x="1084" y="-1232.3" font-family="Times,serif" font-size="14.00">Decide on slashing</text>
@ -256,9 +449,9 @@
</g>
</g>
<!-- ECC/tfl&#45;book#117 -->
<g id="node8" class="node open">
<g id="node18" class="node open">
<title>ECC/tfl&#45;book#117</title>
<g id="a_node8"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/117" xlink:title="ECC/tfl&#45;book#117&#10;Define PoS Subprotocol&#10;goals, requirements, and&#10;desiderata" target="_blank">
<g id="a_node18"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/117" xlink:title="ECC/tfl&#45;book#117&#10;Define PoS Subprotocol&#10;goals, requirements, and&#10;desiderata" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="1415,-1218 1220,-1218 1220,-1150 1415,-1150 1415,-1218"/>
<text text-anchor="middle" x="1317.5" y="-1202.8" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#117</text>
<text text-anchor="middle" x="1317.5" y="-1187.8" font-family="Times,serif" font-size="14.00">Define PoS Subprotocol</text>
@ -268,21 +461,21 @@
</g>
</g>
<!-- ECC/tfl&#45;book#134&#45;&gt;ECC/tfl&#45;book#117 -->
<g id="edge7" class="edge">
<g id="edge15" class="edge">
<title>ECC/tfl&#45;book#134&#45;&gt;ECC/tfl&#45;book#117</title>
<path fill="none" stroke="black" d="M1175.8,-1197.4C1187,-1196.3 1198.5,-1195.2 1209.9,-1194.1"/>
<polygon fill="black" stroke="black" points="1210.16,-1197.59 1219.8,-1193.2 1209.52,-1190.62 1210.16,-1197.59"/>
</g>
<!-- ECC/tfl&#45;book#117&#45;&gt;ECC/tfl&#45;book#137 -->
<g id="edge8" class="edge">
<g id="edge16" class="edge">
<title>ECC/tfl&#45;book#117&#45;&gt;ECC/tfl&#45;book#137</title>
<path fill="none" stroke="black" d="M1415,-1162.4C1428.8,-1159.3 1443,-1156.1 1456.6,-1153"/>
<polygon fill="black" stroke="black" points="1457.32,-1156.43 1466.3,-1150.8 1455.77,-1149.6 1457.32,-1156.43"/>
</g>
<!-- ECC/tfl&#45;book#140 -->
<g id="node9" class="node open">
<g id="node19" class="node open">
<title>ECC/tfl&#45;book#140</title>
<g id="a_node9"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/140" xlink:title="ECC/tfl&#45;book#140&#10;Analyse and improve&#10;Crosslink&#39;s security&#10;against combined eclipse&#10;/ validator key&#10;compromise attacks" target="_blank">
<g id="a_node19"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/140" xlink:title="ECC/tfl&#45;book#140&#10;Analyse and improve&#10;Crosslink&#39;s security&#10;against combined eclipse&#10;/ validator key&#10;compromise attacks" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="948,-1146 751,-1146 751,-1048 948,-1048 948,-1146"/>
<text text-anchor="middle" x="849.5" y="-1130.8" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#140</text>
<text text-anchor="middle" x="849.5" y="-1115.8" font-family="Times,serif" font-size="14.00">Analyse and improve</text>
@ -294,15 +487,15 @@
</g>
</g>
<!-- ECC/tfl&#45;book#140&#45;&gt;ECC/tfl&#45;book#72 -->
<g id="edge9" class="edge">
<g id="edge17" class="edge">
<title>ECC/tfl&#45;book#140&#45;&gt;ECC/tfl&#45;book#72</title>
<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>
<!-- zcash/simtfl#14 -->
<g id="node10" class="node open">
<g id="node20" class="node open">
<title>zcash/simtfl#14</title>
<g id="a_node10"><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">
<g id="a_node20"><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>
@ -325,9 +518,9 @@
<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="node11" class="node open">
<g id="node21" class="node open">
<title>zcash/simtfl#10</title>
<g id="a_node11"><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">
<g id="a_node21"><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>
@ -336,15 +529,15 @@
</g>
</g>
<!-- zcash/simtfl#10&#45;&gt;zcash/simtfl#14 -->
<g id="edge10" class="edge">
<g id="edge18" 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="node12" class="node open">
<g id="node22" class="node open">
<title>zcash/simtfl#7</title>
<g id="a_node12"><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">
<g id="a_node22"><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>
@ -354,9 +547,9 @@
</g>
</g>
<!-- zcash/simtfl#8 -->
<g id="node13" class="node open">
<g id="node23" class="node open">
<title>zcash/simtfl#8</title>
<g id="a_node13"><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">
<g id="a_node23"><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>
@ -365,15 +558,15 @@
</g>
</g>
<!-- zcash/simtfl#7&#45;&gt;zcash/simtfl#8 -->
<g id="edge11" class="edge">
<g id="edge19" 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="node14" class="node open">
<g id="node24" class="node open">
<title>zcash/simtfl#9</title>
<g id="a_node14"><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">
<g id="a_node24"><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>
@ -382,27 +575,27 @@
</g>
</g>
<!-- zcash/simtfl#7&#45;&gt;zcash/simtfl#9 -->
<g id="edge12" class="edge">
<g id="edge20" 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="edge13" class="edge">
<g id="edge21" 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="edge14" class="edge">
<g id="edge22" 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="node15" class="node open">
<g id="node25" class="node open">
<title>zcash/simtfl#20</title>
<g id="a_node15"><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">
<g id="a_node25"><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>
@ -412,15 +605,15 @@
</g>
</g>
<!-- zcash/simtfl#20&#45;&gt;zcash/simtfl#9 -->
<g id="edge15" class="edge">
<g id="edge23" 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="node16" class="node open">
<g id="node26" class="node open">
<title>zcash/simtfl#15</title>
<g id="a_node16"><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">
<g id="a_node26"><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>
@ -430,9 +623,9 @@
</g>
</g>
<!-- zcash/simtfl#16 -->
<g id="node17" class="node open">
<g id="node27" class="node open">
<title>zcash/simtfl#16</title>
<g id="a_node17"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/16" xlink:title="zcash/simtfl#16&#10;Implement network layer" target="_blank">
<g id="a_node27"><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>
@ -440,33 +633,33 @@
</g>
</g>
<!-- zcash/simtfl#15&#45;&gt;zcash/simtfl#16 -->
<g id="edge16" class="edge">
<g id="edge24" 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="edge17" class="edge">
<g id="edge25" 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="edge18" class="edge">
<g id="edge26" 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="edge19" class="edge">
<g id="edge27" 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="node18" class="node open">
<g id="node28" class="node open">
<title>zcash/simtfl#25</title>
<g id="a_node18"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/25" xlink:title="zcash/simtfl#25&#10;Finish Streamlet" target="_blank">
<g id="a_node28"><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>
@ -474,28 +667,17 @@
</g>
</g>
<!-- zcash/simtfl#25&#45;&gt;zcash/simtfl#10 -->
<g id="edge20" class="edge">
<g id="edge28" 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="edge21" class="edge">
<g id="edge29" 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="node19" class="node open">
<title>ECC/zebra&#45;tfl#4</title>
<g id="a_node19"><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>
<text text-anchor="middle" x="1084" y="-223.3" font-family="Times,serif" font-size="14.00">(for phase 2)</text>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#70 -->
<g id="node34" class="node open">
<title>ECC/tfl&#45;book#70</title>
@ -515,9 +697,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="node20" class="node open">
<g id="node30" class="node open">
<title>ECC/zebra&#45;tfl#11</title>
<g id="a_node20"><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_node30"><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>
@ -527,193 +709,11 @@
</g>
</g>
<!-- ECC/zebra&#45;tfl#11&#45;&gt;ECC/zebra&#45;tfl#4 -->
<g id="edge22" class="edge">
<g id="edge30" 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="node21" class="node open">
<title>ECC/tfl&#45;book#86</title>
<g id="a_node21"><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>
<text text-anchor="middle" x="350" y="-571.8" font-family="Times,serif" font-size="14.00">can easily use Crosslink</text>
<text text-anchor="middle" x="350" y="-556.8" font-family="Times,serif" font-size="14.00">notation in the book</text>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#142 -->
<g id="node22" class="node open">
<title>ECC/tfl&#45;book#142</title>
<g id="a_node22"><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>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#86&#45;&gt;ECC/tfl&#45;book#142 -->
<g id="edge23" 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="node23" class="node open">
<title>ECC/tfl&#45;book#99</title>
<g id="a_node23"><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>
<text text-anchor="middle" x="849.5" y="-522.8" font-family="Times,serif" font-size="14.00">book v0.2.0 &#45; Integrated</text>
<text text-anchor="middle" x="849.5" y="-507.8" font-family="Times,serif" font-size="14.00">Crosslink</text>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#142&#45;&gt;ECC/tfl&#45;book#99 -->
<g id="edge24" 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"/>
</g>
<!-- ECC/tfl&#45;book#99&#45;&gt;ECC/tfl&#45;book#71 -->
<g id="edge49" class="edge">
<title>ECC/tfl&#45;book#99&#45;&gt;ECC/tfl&#45;book#71</title>
<path fill="none" stroke="black" d="M887.37,-568.35C909.42,-590.5 936.63,-620.9 955,-652 1017.1,-757.07 1056.1,-897.08 1073.1,-967.15"/>
<polygon fill="black" stroke="black" points="1069.73,-968.09 1075.5,-976.97 1076.53,-966.42 1069.73,-968.09"/>
</g>
<!-- ECC/tfl&#45;book#99&#45;&gt;ECC/tfl&#45;book#72 -->
<g id="edge50" class="edge">
<title>ECC/tfl&#45;book#99&#45;&gt;ECC/tfl&#45;book#72</title>
<path fill="none" stroke="black" d="M891.76,-568.04C914.67,-589.53 941.25,-619.34 955,-652 989.75,-734.55 932.21,-980.92 984,-1054 984.28,-1054.4 984.57,-1054.8 984.87,-1055.2"/>
<polygon fill="black" stroke="black" points="982.41,-1057.7 991.64,-1062.9 987.67,-1053.08 982.41,-1057.7"/>
</g>
<!-- ECC/tfl&#45;book#99&#45;&gt;ECC/zebra&#45;tfl#4 -->
<g id="edge48" class="edge">
<title>ECC/tfl&#45;book#99&#45;&gt;ECC/zebra&#45;tfl#4</title>
<path fill="none" stroke="black" d="M877.63,-499.93C922.27,-443.87 1010.7,-332.77 1055.6,-276.45"/>
<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="node24" class="node open">
<title>ECC/tfl&#45;book#77</title>
<g id="a_node24"><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>
<text text-anchor="middle" x="603.5" y="-515.3" font-family="Times,serif" font-size="14.00">section in &quot;Terminology&quot;</text>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#77&#45;&gt;ECC/tfl&#45;book#99 -->
<g id="edge25" 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="node25" class="node open">
<title>ECC/tfl&#45;book#25</title>
<g id="a_node25"><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>
<text text-anchor="middle" x="603.5" y="-444.3" font-family="Times,serif" font-size="14.00">conventions.</text>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#25&#45;&gt;ECC/tfl&#45;book#99 -->
<g id="edge26" 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="node26" class="node open">
<title>ECC/tfl&#45;book#119</title>
<g id="a_node26"><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>
<text text-anchor="middle" x="603.5" y="-372.8" font-family="Times,serif" font-size="14.00">between pure PoW, the PoW</text>
<text text-anchor="middle" x="603.5" y="-357.8" font-family="Times,serif" font-size="14.00">subprotocol, NU5, and</text>
<text text-anchor="middle" x="603.5" y="-342.8" font-family="Times,serif" font-size="14.00">fork&#45;choice vs all of</text>
<text text-anchor="middle" x="603.5" y="-327.8" font-family="Times,serif" font-size="14.00">transaction semantics.</text>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#119&#45;&gt;ECC/tfl&#45;book#99 -->
<g id="edge27" 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>
<!-- ECC/zebra&#45;tfl#3 -->
<g id="node27" class="node open">
<title>ECC/zebra&#45;tfl#3</title>
<g id="a_node27"><a xlink:href="https://github.com/Electric-Coin-Company/zebra-tfl/issues/3" xlink:title="ECC/zebra&#45;tfl#3&#10;Add test harness" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="672,-46 535,-46 535,-8 672,-8 672,-46"/>
<text text-anchor="middle" x="603.5" y="-30.8" font-family="Times,serif" font-size="14.00">ECC/zebra&#45;tfl#3</text>
<text text-anchor="middle" x="603.5" y="-15.8" font-family="Times,serif" font-size="14.00">Add test harness</text>
</a>
</g>
</g>
<!-- ECC/zebra&#45;tfl#1 -->
<g id="node28" class="node open">
<title>ECC/zebra&#45;tfl#1</title>
<g id="a_node28"><a xlink:href="https://github.com/Electric-Coin-Company/zebra-tfl/issues/1" xlink:title="ECC/zebra&#45;tfl#1&#10;Prototype release 0.1" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="934.5,-130 764.5,-130 764.5,-92 934.5,-92 934.5,-130"/>
<text text-anchor="middle" x="849.5" y="-114.8" font-family="Times,serif" font-size="14.00">ECC/zebra&#45;tfl#1</text>
<text text-anchor="middle" x="849.5" y="-99.8" font-family="Times,serif" font-size="14.00">Prototype release 0.1</text>
</a>
</g>
</g>
<!-- ECC/zebra&#45;tfl#3&#45;&gt;ECC/zebra&#45;tfl#1 -->
<g id="edge28" class="edge">
<title>ECC/zebra&#45;tfl#3&#45;&gt;ECC/zebra&#45;tfl#1</title>
<path fill="none" stroke="black" d="M672.16,-42.45C686.43,-46.17 701.3,-50.42 715,-55 743.11,-64.4 773.65,-77.02 798.42,-87.91"/>
<polygon fill="black" stroke="black" points="797.05,-91.13 807.61,-91.98 799.89,-84.73 797.05,-91.13"/>
</g>
<!-- ECC/zebra&#45;tfl#1&#45;&gt;ECC/zebra&#45;tfl#4 -->
<g id="edge58" class="edge">
<title>ECC/zebra&#45;tfl#1&#45;&gt;ECC/zebra&#45;tfl#4</title>
<path fill="none" stroke="black" d="M884.31,-130.05C921.66,-151.09 982.4,-185.32 1026.9,-210.4"/>
<polygon fill="black" stroke="black" points="1025.46,-213.61 1035.9,-215.44 1028.89,-207.5 1025.46,-213.61"/>
</g>
<!-- ECC/zebra&#45;tfl#5 -->
<g id="node29" class="node open">
<title>ECC/zebra&#45;tfl#5</title>
<g id="a_node29"><a xlink:href="https://github.com/Electric-Coin-Company/zebra-tfl/issues/5" xlink:title="ECC/zebra&#45;tfl#5&#10;Support building in Nix" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="696,-158 511,-158 511,-120 696,-120 696,-158"/>
<text text-anchor="middle" x="603.5" y="-142.8" font-family="Times,serif" font-size="14.00">ECC/zebra&#45;tfl#5</text>
<text text-anchor="middle" x="603.5" y="-127.8" font-family="Times,serif" font-size="14.00">Support building in Nix</text>
</a>
</g>
</g>
<!-- ECC/zebra&#45;tfl#5&#45;&gt;ECC/zebra&#45;tfl#1 -->
<g id="edge29" class="edge">
<title>ECC/zebra&#45;tfl#5&#45;&gt;ECC/zebra&#45;tfl#1</title>
<path fill="none" stroke="black" d="M696.05,-128.49C715.17,-126.3 735.35,-123.98 754.55,-121.78"/>
<polygon fill="black" stroke="black" points="754.95,-125.26 764.49,-120.64 754.16,-118.3 754.95,-125.26"/>
</g>
<!-- ECC/zebra&#45;tfl#6 -->
<g id="node30" class="node open">
<title>ECC/zebra&#45;tfl#6</title>
<g id="a_node30"><a xlink:href="https://github.com/Electric-Coin-Company/zebra-tfl/issues/6" xlink:title="ECC/zebra&#45;tfl#6&#10;Create a testnet" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="670,-102 537,-102 537,-64 670,-64 670,-102"/>
<text text-anchor="middle" x="603.5" y="-86.8" font-family="Times,serif" font-size="14.00">ECC/zebra&#45;tfl#6</text>
<text text-anchor="middle" x="603.5" y="-71.8" font-family="Times,serif" font-size="14.00">Create a testnet</text>
</a>
</g>
</g>
<!-- ECC/zebra&#45;tfl#6&#45;&gt;ECC/zebra&#45;tfl#1 -->
<g id="edge30" class="edge">
<title>ECC/zebra&#45;tfl#6&#45;&gt;ECC/zebra&#45;tfl#1</title>
<path fill="none" stroke="black" d="M670.21,-90.54C695.98,-93.5 726.04,-96.95 754.06,-100.16"/>
<polygon fill="black" stroke="black" points="753.94,-103.67 764.28,-101.34 754.75,-96.72 753.94,-103.67"/>
</g>
<!-- ECC/tfl&#45;book#132 -->
<g id="node31" class="node open">
<title>ECC/tfl&#45;book#132</title>

View File

@ -10,39 +10,160 @@
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 1298)">
<polygon fill="white" stroke="transparent" points="-4,4 -4,-1298 5291,-1298 5291,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_4</title>
<polygon fill="none" stroke="blue" points="743,-969 743,-1294 1872,-1294 1872,-969 743,-969"/>
<text text-anchor="middle" x="1307.5" y="-1278.8" font-family="Times,serif" font-size="14.00">Design and Implementation Phase 3</text>
<title>cluster_5</title>
<polygon fill="none" stroke="blue" points="503,0 503,-189 942.5,-189 942.5,0 503,0"/>
<text text-anchor="middle" x="722.75" y="-173.8" font-family="Times,serif" font-size="14.00">Prototype Phase 1</text>
</g>
<g id="clust2" 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="clust3" 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">
<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="clust3" class="cluster">
<title>cluster_4</title>
<polygon fill="none" stroke="blue" points="743,-969 743,-1294 1872,-1294 1872,-969 743,-969"/>
<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="clust4" 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="clust5" class="cluster">
<title>cluster_5</title>
<polygon fill="none" stroke="blue" points="503,0 503,-189 942.5,-189 942.5,0 503,0"/>
<text text-anchor="middle" x="722.75" y="-173.8" font-family="Times,serif" font-size="14.00">Prototype Phase 1</text>
<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="clust6" class="cluster">
<title>cluster_0</title>
<polygon fill="none" stroke="blue" points="1892,-758 1892,-1214 3032,-1214 3032,-758 1892,-758"/>
<text text-anchor="middle" x="2462" y="-1198.8" font-family="Times,serif" font-size="14.00">Design and Implementation Phase 4</text>
</g>
<!-- ECC/tfl&#45;book#71 -->
<!-- ECC/zebra&#45;tfl#3 -->
<g id="node1" class="node open">
<title>ECC/zebra&#45;tfl#3</title>
<g id="a_node1"><a xlink:href="https://github.com/Electric-Coin-Company/zebra-tfl/issues/3" xlink:title="ECC/zebra&#45;tfl#3&#10;Add test harness" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="672,-46 535,-46 535,-8 672,-8 672,-46"/>
<text text-anchor="middle" x="603.5" y="-30.8" font-family="Times,serif" font-size="14.00">ECC/zebra&#45;tfl#3</text>
<text text-anchor="middle" x="603.5" y="-15.8" font-family="Times,serif" font-size="14.00">Add test harness</text>
</a>
</g>
</g>
<!-- ECC/zebra&#45;tfl#1 -->
<g id="node2" class="node open">
<title>ECC/zebra&#45;tfl#1</title>
<g id="a_node2"><a xlink:href="https://github.com/Electric-Coin-Company/zebra-tfl/issues/1" xlink:title="ECC/zebra&#45;tfl#1&#10;Prototype release 0.1" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="934.5,-130 764.5,-130 764.5,-92 934.5,-92 934.5,-130"/>
<text text-anchor="middle" x="849.5" y="-114.8" font-family="Times,serif" font-size="14.00">ECC/zebra&#45;tfl#1</text>
<text text-anchor="middle" x="849.5" y="-99.8" font-family="Times,serif" font-size="14.00">Prototype release 0.1</text>
</a>
</g>
</g>
<!-- ECC/zebra&#45;tfl#3&#45;&gt;ECC/zebra&#45;tfl#1 -->
<g id="edge1" class="edge">
<title>ECC/zebra&#45;tfl#3&#45;&gt;ECC/zebra&#45;tfl#1</title>
<path fill="none" stroke="black" d="M672.16,-42.45C686.43,-46.17 701.3,-50.42 715,-55 743.11,-64.4 773.65,-77.02 798.42,-87.91"/>
<polygon fill="black" stroke="black" points="797.05,-91.13 807.61,-91.98 799.89,-84.73 797.05,-91.13"/>
</g>
<!-- ECC/zebra&#45;tfl#4 -->
<g id="node29" class="node open">
<title>ECC/zebra&#45;tfl#4</title>
<g id="a_node29"><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>
<text text-anchor="middle" x="1084" y="-223.3" font-family="Times,serif" font-size="14.00">(for phase 2)</text>
</a>
</g>
</g>
<!-- ECC/zebra&#45;tfl#1&#45;&gt;ECC/zebra&#45;tfl#4 -->
<g id="edge58" class="edge">
<title>ECC/zebra&#45;tfl#1&#45;&gt;ECC/zebra&#45;tfl#4</title>
<path fill="none" stroke="black" d="M884.31,-130.05C921.66,-151.09 982.4,-185.32 1026.9,-210.4"/>
<polygon fill="black" stroke="black" points="1025.46,-213.61 1035.9,-215.44 1028.89,-207.5 1025.46,-213.61"/>
</g>
<!-- ECC/zebra&#45;tfl#5 -->
<g id="node3" class="node open">
<title>ECC/zebra&#45;tfl#5</title>
<g id="a_node3"><a xlink:href="https://github.com/Electric-Coin-Company/zebra-tfl/issues/5" xlink:title="ECC/zebra&#45;tfl#5&#10;Support building in Nix" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="696,-158 511,-158 511,-120 696,-120 696,-158"/>
<text text-anchor="middle" x="603.5" y="-142.8" font-family="Times,serif" font-size="14.00">ECC/zebra&#45;tfl#5</text>
<text text-anchor="middle" x="603.5" y="-127.8" font-family="Times,serif" font-size="14.00">Support building in Nix</text>
</a>
</g>
</g>
<!-- ECC/zebra&#45;tfl#5&#45;&gt;ECC/zebra&#45;tfl#1 -->
<g id="edge2" class="edge">
<title>ECC/zebra&#45;tfl#5&#45;&gt;ECC/zebra&#45;tfl#1</title>
<path fill="none" stroke="black" d="M696.05,-128.49C715.17,-126.3 735.35,-123.98 754.55,-121.78"/>
<polygon fill="black" stroke="black" points="754.95,-125.26 764.49,-120.64 754.16,-118.3 754.95,-125.26"/>
</g>
<!-- ECC/zebra&#45;tfl#6 -->
<g id="node4" class="node open">
<title>ECC/zebra&#45;tfl#6</title>
<g id="a_node4"><a xlink:href="https://github.com/Electric-Coin-Company/zebra-tfl/issues/6" xlink:title="ECC/zebra&#45;tfl#6&#10;Create a testnet" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="670,-102 537,-102 537,-64 670,-64 670,-102"/>
<text text-anchor="middle" x="603.5" y="-86.8" font-family="Times,serif" font-size="14.00">ECC/zebra&#45;tfl#6</text>
<text text-anchor="middle" x="603.5" y="-71.8" font-family="Times,serif" font-size="14.00">Create a testnet</text>
</a>
</g>
</g>
<!-- ECC/zebra&#45;tfl#6&#45;&gt;ECC/zebra&#45;tfl#1 -->
<g id="edge3" class="edge">
<title>ECC/zebra&#45;tfl#6&#45;&gt;ECC/zebra&#45;tfl#1</title>
<path fill="none" stroke="black" d="M670.21,-90.54C695.98,-93.5 726.04,-96.95 754.06,-100.16"/>
<polygon fill="black" stroke="black" points="753.94,-103.67 764.28,-101.34 754.75,-96.72 753.94,-103.67"/>
</g>
<!-- ECC/tfl&#45;book#86 -->
<g id="node5" class="node open">
<title>ECC/tfl&#45;book#86</title>
<g id="a_node5"><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>
<text text-anchor="middle" x="350" y="-571.8" font-family="Times,serif" font-size="14.00">can easily use Crosslink</text>
<text text-anchor="middle" x="350" y="-556.8" font-family="Times,serif" font-size="14.00">notation in the book</text>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#142 -->
<g id="node6" class="node open">
<title>ECC/tfl&#45;book#142</title>
<g id="a_node6"><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>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#86&#45;&gt;ECC/tfl&#45;book#142 -->
<g id="edge4" 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="node7" class="node open">
<title>ECC/tfl&#45;book#99</title>
<g id="a_node7"><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>
<text text-anchor="middle" x="849.5" y="-522.8" font-family="Times,serif" font-size="14.00">book v0.2.0 &#45; Integrated</text>
<text text-anchor="middle" x="849.5" y="-507.8" font-family="Times,serif" font-size="14.00">Crosslink</text>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#142&#45;&gt;ECC/tfl&#45;book#99 -->
<g id="edge5" 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"/>
</g>
<!-- ECC/tfl&#45;book#71 -->
<g id="node11" class="node open">
<title>ECC/tfl&#45;book#71</title>
<g id="a_node1"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/71" xlink:title="ECC/tfl&#45;book#71&#10;Analyze Crosslink against&#10;a set of known PoS&#10;attacks" target="_blank">
<g id="a_node11"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/71" xlink:title="ECC/tfl&#45;book#71&#10;Analyze Crosslink against&#10;a set of known PoS&#10;attacks" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="1184,-1045 984,-1045 984,-977 1184,-977 1184,-1045"/>
<text text-anchor="middle" x="1084" y="-1029.8" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#71</text>
<text text-anchor="middle" x="1084" y="-1014.8" font-family="Times,serif" font-size="14.00">Analyze Crosslink against</text>
@ -51,10 +172,94 @@
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#99&#45;&gt;ECC/tfl&#45;book#71 -->
<g id="edge49" class="edge">
<title>ECC/tfl&#45;book#99&#45;&gt;ECC/tfl&#45;book#71</title>
<path fill="none" stroke="black" d="M887.37,-568.35C909.42,-590.5 936.63,-620.9 955,-652 1017.1,-757.07 1056.1,-897.08 1073.1,-967.15"/>
<polygon fill="black" stroke="black" points="1069.73,-968.09 1075.5,-976.97 1076.53,-966.42 1069.73,-968.09"/>
</g>
<!-- ECC/tfl&#45;book#72 -->
<g id="node16" class="node open">
<title>ECC/tfl&#45;book#72</title>
<g id="a_node16"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/72" xlink:title="ECC/tfl&#45;book#72&#10;Analyze Crosslink against&#10;a set of known PoW&#10;attacks." target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="1184,-1131 984,-1131 984,-1063 1184,-1063 1184,-1131"/>
<text text-anchor="middle" x="1084" y="-1115.8" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#72</text>
<text text-anchor="middle" x="1084" y="-1100.8" font-family="Times,serif" font-size="14.00">Analyze Crosslink against</text>
<text text-anchor="middle" x="1084" y="-1085.8" font-family="Times,serif" font-size="14.00">a set of known PoW</text>
<text text-anchor="middle" x="1084" y="-1070.8" font-family="Times,serif" font-size="14.00">attacks.</text>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#99&#45;&gt;ECC/tfl&#45;book#72 -->
<g id="edge50" class="edge">
<title>ECC/tfl&#45;book#99&#45;&gt;ECC/tfl&#45;book#72</title>
<path fill="none" stroke="black" d="M891.76,-568.04C914.67,-589.53 941.25,-619.34 955,-652 989.75,-734.55 932.21,-980.92 984,-1054 984.28,-1054.4 984.57,-1054.8 984.87,-1055.2"/>
<polygon fill="black" stroke="black" points="982.41,-1057.7 991.64,-1062.9 987.67,-1053.08 982.41,-1057.7"/>
</g>
<!-- ECC/tfl&#45;book#99&#45;&gt;ECC/zebra&#45;tfl#4 -->
<g id="edge48" class="edge">
<title>ECC/tfl&#45;book#99&#45;&gt;ECC/zebra&#45;tfl#4</title>
<path fill="none" stroke="black" d="M877.63,-499.93C922.27,-443.87 1010.7,-332.77 1055.6,-276.45"/>
<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="node8" class="node open">
<title>ECC/tfl&#45;book#77</title>
<g id="a_node8"><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>
<text text-anchor="middle" x="603.5" y="-515.3" font-family="Times,serif" font-size="14.00">section in &quot;Terminology&quot;</text>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#77&#45;&gt;ECC/tfl&#45;book#99 -->
<g id="edge6" 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="node9" class="node open">
<title>ECC/tfl&#45;book#25</title>
<g id="a_node9"><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>
<text text-anchor="middle" x="603.5" y="-444.3" font-family="Times,serif" font-size="14.00">conventions.</text>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#25&#45;&gt;ECC/tfl&#45;book#99 -->
<g id="edge7" 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="node10" class="node open">
<title>ECC/tfl&#45;book#119</title>
<g id="a_node10"><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>
<text text-anchor="middle" x="603.5" y="-372.8" font-family="Times,serif" font-size="14.00">between pure PoW, the PoW</text>
<text text-anchor="middle" x="603.5" y="-357.8" font-family="Times,serif" font-size="14.00">subprotocol, NU5, and</text>
<text text-anchor="middle" x="603.5" y="-342.8" font-family="Times,serif" font-size="14.00">fork&#45;choice vs all of</text>
<text text-anchor="middle" x="603.5" y="-327.8" font-family="Times,serif" font-size="14.00">transaction semantics.</text>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#119&#45;&gt;ECC/tfl&#45;book#99 -->
<g id="edge8" 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>
<!-- ECC/tfl&#45;book#123 -->
<g id="node2" class="node open">
<g id="node12" class="node open">
<title>ECC/tfl&#45;book#123</title>
<g id="a_node2"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/123" xlink:title="ECC/tfl&#45;book#123&#10;Explain why we&#39;re more&#10;confident in Crosslink&#10;security vs the other&#10;hybrid construction&#10;candidates" target="_blank">
<g id="a_node12"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/123" xlink:title="ECC/tfl&#45;book#123&#10;Explain why we&#39;re more&#10;confident in Crosslink&#10;security vs the other&#10;hybrid construction&#10;candidates" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="1412,-1110 1223,-1110 1223,-1012 1412,-1012 1412,-1110"/>
<text text-anchor="middle" x="1317.5" y="-1094.8" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#123</text>
<text text-anchor="middle" x="1317.5" y="-1079.8" font-family="Times,serif" font-size="14.00">Explain why we&#39;re more</text>
@ -66,15 +271,15 @@
</g>
</g>
<!-- ECC/tfl&#45;book#71&#45;&gt;ECC/tfl&#45;book#123 -->
<g id="edge1" class="edge">
<g id="edge9" class="edge">
<title>ECC/tfl&#45;book#71&#45;&gt;ECC/tfl&#45;book#123</title>
<path fill="none" stroke="black" d="M1184.2,-1032.4C1193.7,-1034.5 1203.3,-1036.5 1212.8,-1038.6"/>
<polygon fill="black" stroke="black" points="1212.19,-1042.05 1222.7,-1040.7 1213.64,-1035.2 1212.19,-1042.05"/>
</g>
<!-- ECC/tfl&#45;book#81 -->
<g id="node3" class="node open">
<g id="node13" class="node open">
<title>ECC/tfl&#45;book#81</title>
<g id="a_node3"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/81" xlink:title="ECC/tfl&#45;book#81&#10;Write up conclusions of&#10;analyzing Crosslink&#10;against some known&#10;attacks" target="_blank">
<g id="a_node13"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/81" xlink:title="ECC/tfl&#45;book#81&#10;Write up conclusions of&#10;analyzing Crosslink&#10;against some known&#10;attacks" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="1634,-1081.5 1451,-1081.5 1451,-998.5 1634,-998.5 1634,-1081.5"/>
<text text-anchor="middle" x="1542.5" y="-1066.3" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#81</text>
<text text-anchor="middle" x="1542.5" y="-1051.3" font-family="Times,serif" font-size="14.00">Write up conclusions of</text>
@ -85,15 +290,15 @@
</g>
</g>
<!-- ECC/tfl&#45;book#123&#45;&gt;ECC/tfl&#45;book#81 -->
<g id="edge2" class="edge">
<g id="edge10" class="edge">
<title>ECC/tfl&#45;book#123&#45;&gt;ECC/tfl&#45;book#81</title>
<path fill="none" stroke="black" d="M1412.1,-1052.2C1421.7,-1051.3 1431.4,-1050.4 1441,-1049.5"/>
<polygon fill="black" stroke="black" points="1441.4,-1052.98 1451,-1048.5 1440.7,-1046.01 1441.4,-1052.98"/>
</g>
<!-- ECC/tfl&#45;book#137 -->
<g id="node4" class="node open">
<g id="node14" class="node open">
<title>ECC/tfl&#45;book#137</title>
<g id="a_node4"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/137" xlink:title="ECC/tfl&#45;book#137&#10;Improve Goals,&#10;Requirements, and&#10;Desiderata" target="_blank">
<g id="a_node14"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/137" xlink:title="ECC/tfl&#45;book#137&#10;Improve Goals,&#10;Requirements, and&#10;Desiderata" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="1618.5,-1168 1466.5,-1168 1466.5,-1100 1618.5,-1100 1618.5,-1168"/>
<text text-anchor="middle" x="1542.5" y="-1152.8" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#137</text>
<text text-anchor="middle" x="1542.5" y="-1137.8" font-family="Times,serif" font-size="14.00">Improve Goals,</text>
@ -103,15 +308,15 @@
</g>
</g>
<!-- ECC/tfl&#45;book#123&#45;&gt;ECC/tfl&#45;book#137 -->
<g id="edge3" class="edge">
<g id="edge11" class="edge">
<title>ECC/tfl&#45;book#123&#45;&gt;ECC/tfl&#45;book#137</title>
<path fill="none" stroke="black" d="M1412.1,-1091.6C1427,-1096.5 1442.3,-1101.5 1456.9,-1106.3"/>
<polygon fill="black" stroke="black" points="1455.81,-1109.63 1466.4,-1109.4 1457.98,-1102.97 1455.81,-1109.63"/>
</g>
<!-- ECC/tfl&#45;book#136 -->
<g id="node5" class="node open">
<g id="node15" class="node open">
<title>ECC/tfl&#45;book#136</title>
<g id="a_node5"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/136" xlink:title="ECC/tfl&#45;book#136&#10;Design Phase 3 &#45; tfl&#45;book&#10;v0.3.0 &#45; simtfl results &amp;&#10;PoS Goals / Reqs" target="_blank">
<g id="a_node15"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/136" xlink:title="ECC/tfl&#45;book#136&#10;Design Phase 3 &#45; tfl&#45;book&#10;v0.3.0 &#45; simtfl results &amp;&#10;PoS Goals / Reqs" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="1864,-1074 1861,-1078 1840,-1078 1837,-1074 1670,-1074 1670,-1006 1864,-1006 1864,-1074"/>
<text text-anchor="middle" x="1767" y="-1058.8" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#136</text>
<text text-anchor="middle" x="1767" y="-1043.8" font-family="Times,serif" font-size="14.00">Design Phase 3 &#45; tfl&#45;book</text>
@ -121,13 +326,13 @@
</g>
</g>
<!-- ECC/tfl&#45;book#81&#45;&gt;ECC/tfl&#45;book#136 -->
<g id="edge4" class="edge">
<g id="edge12" class="edge">
<title>ECC/tfl&#45;book#81&#45;&gt;ECC/tfl&#45;book#136</title>
<path fill="none" stroke="black" d="M1634.3,-1040C1642.6,-1040 1651,-1040 1659.5,-1040"/>
<polygon fill="black" stroke="black" points="1659.7,-1043.5 1669.7,-1040 1659.7,-1036.5 1659.7,-1043.5"/>
</g>
<!-- ECC/tfl&#45;book#137&#45;&gt;ECC/tfl&#45;book#136 -->
<g id="edge5" class="edge">
<g id="edge13" class="edge">
<title>ECC/tfl&#45;book#137&#45;&gt;ECC/tfl&#45;book#136</title>
<path fill="none" stroke="black" d="M1618.5,-1102.3C1636.9,-1094.5 1656.9,-1086.1 1675.9,-1078.1"/>
<polygon fill="black" stroke="black" points="1677.4,-1081.27 1685.2,-1074.1 1674.63,-1074.84 1677.4,-1081.27"/>
@ -210,28 +415,16 @@
<path fill="none" stroke="black" d="M1786.8,-1005.9C1808.3,-969.24 1846.5,-911.17 1892,-873 1895.7,-869.91 1899.6,-866.93 1903.6,-864.06"/>
<polygon fill="black" stroke="black" points="1905.7,-866.86 1912,-858.34 1901.76,-861.08 1905.7,-866.86"/>
</g>
<!-- ECC/tfl&#45;book#72 -->
<g id="node6" class="node open">
<title>ECC/tfl&#45;book#72</title>
<g id="a_node6"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/72" xlink:title="ECC/tfl&#45;book#72&#10;Analyze Crosslink against&#10;a set of known PoW&#10;attacks." target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="1184,-1131 984,-1131 984,-1063 1184,-1063 1184,-1131"/>
<text text-anchor="middle" x="1084" y="-1115.8" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#72</text>
<text text-anchor="middle" x="1084" y="-1100.8" font-family="Times,serif" font-size="14.00">Analyze Crosslink against</text>
<text text-anchor="middle" x="1084" y="-1085.8" font-family="Times,serif" font-size="14.00">a set of known PoW</text>
<text text-anchor="middle" x="1084" y="-1070.8" font-family="Times,serif" font-size="14.00">attacks.</text>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#72&#45;&gt;ECC/tfl&#45;book#123 -->
<g id="edge6" class="edge">
<g id="edge14" class="edge">
<title>ECC/tfl&#45;book#72&#45;&gt;ECC/tfl&#45;book#123</title>
<path fill="none" stroke="black" d="M1184.2,-1081.6C1193.6,-1080.1 1203.1,-1078.6 1212.5,-1077.2"/>
<polygon fill="black" stroke="black" points="1213.36,-1080.61 1222.7,-1075.6 1212.28,-1073.69 1213.36,-1080.61"/>
</g>
<!-- ECC/tfl&#45;book#134 -->
<g id="node7" class="node open">
<g id="node17" class="node open">
<title>ECC/tfl&#45;book#134</title>
<g id="a_node7"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/134" xlink:title="ECC/tfl&#45;book#134&#10;Decide on slashing&#10;requirements from the&#10;economic, security, and&#10;UX trade&#45;offs around&#10;slashing or no&#45;slashing&#10;staking protocols" target="_blank">
<g id="a_node17"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/134" xlink:title="ECC/tfl&#45;book#134&#10;Decide on slashing&#10;requirements from the&#10;economic, security, and&#10;UX trade&#45;offs around&#10;slashing or no&#45;slashing&#10;staking protocols" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="1175.5,-1262.5 992.5,-1262.5 992.5,-1149.5 1175.5,-1149.5 1175.5,-1262.5"/>
<text text-anchor="middle" x="1084" y="-1247.3" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#134</text>
<text text-anchor="middle" x="1084" y="-1232.3" font-family="Times,serif" font-size="14.00">Decide on slashing</text>
@ -244,9 +437,9 @@
</g>
</g>
<!-- ECC/tfl&#45;book#117 -->
<g id="node8" class="node open">
<g id="node18" class="node open">
<title>ECC/tfl&#45;book#117</title>
<g id="a_node8"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/117" xlink:title="ECC/tfl&#45;book#117&#10;Define PoS Subprotocol&#10;goals, requirements, and&#10;desiderata" target="_blank">
<g id="a_node18"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/117" xlink:title="ECC/tfl&#45;book#117&#10;Define PoS Subprotocol&#10;goals, requirements, and&#10;desiderata" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="1415,-1218 1220,-1218 1220,-1150 1415,-1150 1415,-1218"/>
<text text-anchor="middle" x="1317.5" y="-1202.8" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#117</text>
<text text-anchor="middle" x="1317.5" y="-1187.8" font-family="Times,serif" font-size="14.00">Define PoS Subprotocol</text>
@ -256,21 +449,21 @@
</g>
</g>
<!-- ECC/tfl&#45;book#134&#45;&gt;ECC/tfl&#45;book#117 -->
<g id="edge7" class="edge">
<g id="edge15" class="edge">
<title>ECC/tfl&#45;book#134&#45;&gt;ECC/tfl&#45;book#117</title>
<path fill="none" stroke="black" d="M1175.8,-1197.4C1187,-1196.3 1198.5,-1195.2 1209.9,-1194.1"/>
<polygon fill="black" stroke="black" points="1210.16,-1197.59 1219.8,-1193.2 1209.52,-1190.62 1210.16,-1197.59"/>
</g>
<!-- ECC/tfl&#45;book#117&#45;&gt;ECC/tfl&#45;book#137 -->
<g id="edge8" class="edge">
<g id="edge16" class="edge">
<title>ECC/tfl&#45;book#117&#45;&gt;ECC/tfl&#45;book#137</title>
<path fill="none" stroke="black" d="M1415,-1162.4C1428.8,-1159.3 1443,-1156.1 1456.6,-1153"/>
<polygon fill="black" stroke="black" points="1457.32,-1156.43 1466.3,-1150.8 1455.77,-1149.6 1457.32,-1156.43"/>
</g>
<!-- ECC/tfl&#45;book#140 -->
<g id="node9" class="node open">
<g id="node19" class="node open">
<title>ECC/tfl&#45;book#140</title>
<g id="a_node9"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/140" xlink:title="ECC/tfl&#45;book#140&#10;Analyse and improve&#10;Crosslink&#39;s security&#10;against combined eclipse&#10;/ validator key&#10;compromise attacks" target="_blank">
<g id="a_node19"><a xlink:href="https://github.com/Electric-Coin-Company/tfl-book/issues/140" xlink:title="ECC/tfl&#45;book#140&#10;Analyse and improve&#10;Crosslink&#39;s security&#10;against combined eclipse&#10;/ validator key&#10;compromise attacks" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="948,-1146 751,-1146 751,-1048 948,-1048 948,-1146"/>
<text text-anchor="middle" x="849.5" y="-1130.8" font-family="Times,serif" font-size="14.00">ECC/tfl&#45;book#140</text>
<text text-anchor="middle" x="849.5" y="-1115.8" font-family="Times,serif" font-size="14.00">Analyse and improve</text>
@ -282,15 +475,15 @@
</g>
</g>
<!-- ECC/tfl&#45;book#140&#45;&gt;ECC/tfl&#45;book#72 -->
<g id="edge9" class="edge">
<g id="edge17" class="edge">
<title>ECC/tfl&#45;book#140&#45;&gt;ECC/tfl&#45;book#72</title>
<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>
<!-- zcash/simtfl#14 -->
<g id="node10" class="node open">
<g id="node20" class="node open">
<title>zcash/simtfl#14</title>
<g id="a_node10"><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">
<g id="a_node20"><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>
@ -313,9 +506,9 @@
<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="node11" class="node open">
<g id="node21" class="node open">
<title>zcash/simtfl#10</title>
<g id="a_node11"><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">
<g id="a_node21"><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>
@ -324,15 +517,15 @@
</g>
</g>
<!-- zcash/simtfl#10&#45;&gt;zcash/simtfl#14 -->
<g id="edge10" class="edge">
<g id="edge18" 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="node12" class="node open">
<g id="node22" class="node open">
<title>zcash/simtfl#7</title>
<g id="a_node12"><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">
<g id="a_node22"><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>
@ -342,9 +535,9 @@
</g>
</g>
<!-- zcash/simtfl#8 -->
<g id="node13" class="node open">
<g id="node23" class="node open">
<title>zcash/simtfl#8</title>
<g id="a_node13"><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">
<g id="a_node23"><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>
@ -353,15 +546,15 @@
</g>
</g>
<!-- zcash/simtfl#7&#45;&gt;zcash/simtfl#8 -->
<g id="edge11" class="edge">
<g id="edge19" 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="node14" class="node open">
<g id="node24" class="node open">
<title>zcash/simtfl#9</title>
<g id="a_node14"><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">
<g id="a_node24"><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>
@ -370,27 +563,27 @@
</g>
</g>
<!-- zcash/simtfl#7&#45;&gt;zcash/simtfl#9 -->
<g id="edge12" class="edge">
<g id="edge20" 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="edge13" class="edge">
<g id="edge21" 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="edge14" class="edge">
<g id="edge22" 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="node15" class="node open">
<g id="node25" class="node open">
<title>zcash/simtfl#20</title>
<g id="a_node15"><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">
<g id="a_node25"><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>
@ -400,15 +593,15 @@
</g>
</g>
<!-- zcash/simtfl#20&#45;&gt;zcash/simtfl#9 -->
<g id="edge15" class="edge">
<g id="edge23" 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="node16" class="node open">
<g id="node26" class="node open">
<title>zcash/simtfl#15</title>
<g id="a_node16"><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">
<g id="a_node26"><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>
@ -418,9 +611,9 @@
</g>
</g>
<!-- zcash/simtfl#16 -->
<g id="node17" class="node open">
<g id="node27" class="node open">
<title>zcash/simtfl#16</title>
<g id="a_node17"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/16" xlink:title="zcash/simtfl#16&#10;Implement network layer" target="_blank">
<g id="a_node27"><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>
@ -428,33 +621,33 @@
</g>
</g>
<!-- zcash/simtfl#15&#45;&gt;zcash/simtfl#16 -->
<g id="edge16" class="edge">
<g id="edge24" 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="edge17" class="edge">
<g id="edge25" 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="edge18" class="edge">
<g id="edge26" 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="edge19" class="edge">
<g id="edge27" 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="node18" class="node open">
<g id="node28" class="node open">
<title>zcash/simtfl#25</title>
<g id="a_node18"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/25" xlink:title="zcash/simtfl#25&#10;Finish Streamlet" target="_blank">
<g id="a_node28"><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>
@ -462,28 +655,17 @@
</g>
</g>
<!-- zcash/simtfl#25&#45;&gt;zcash/simtfl#10 -->
<g id="edge20" class="edge">
<g id="edge28" 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="edge21" class="edge">
<g id="edge29" 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="node19" class="node open">
<title>ECC/zebra&#45;tfl#4</title>
<g id="a_node19"><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>
<text text-anchor="middle" x="1084" y="-223.3" font-family="Times,serif" font-size="14.00">(for phase 2)</text>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#70 -->
<g id="node34" class="node open">
<title>ECC/tfl&#45;book#70</title>
@ -503,9 +685,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="node20" class="node open">
<g id="node30" class="node open">
<title>ECC/zebra&#45;tfl#11</title>
<g id="a_node20"><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_node30"><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>
@ -515,193 +697,11 @@
</g>
</g>
<!-- ECC/zebra&#45;tfl#11&#45;&gt;ECC/zebra&#45;tfl#4 -->
<g id="edge22" class="edge">
<g id="edge30" 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="node21" class="node open">
<title>ECC/tfl&#45;book#86</title>
<g id="a_node21"><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>
<text text-anchor="middle" x="350" y="-571.8" font-family="Times,serif" font-size="14.00">can easily use Crosslink</text>
<text text-anchor="middle" x="350" y="-556.8" font-family="Times,serif" font-size="14.00">notation in the book</text>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#142 -->
<g id="node22" class="node open">
<title>ECC/tfl&#45;book#142</title>
<g id="a_node22"><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>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#86&#45;&gt;ECC/tfl&#45;book#142 -->
<g id="edge23" 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="node23" class="node open">
<title>ECC/tfl&#45;book#99</title>
<g id="a_node23"><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>
<text text-anchor="middle" x="849.5" y="-522.8" font-family="Times,serif" font-size="14.00">book v0.2.0 &#45; Integrated</text>
<text text-anchor="middle" x="849.5" y="-507.8" font-family="Times,serif" font-size="14.00">Crosslink</text>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#142&#45;&gt;ECC/tfl&#45;book#99 -->
<g id="edge24" 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"/>
</g>
<!-- ECC/tfl&#45;book#99&#45;&gt;ECC/tfl&#45;book#71 -->
<g id="edge49" class="edge">
<title>ECC/tfl&#45;book#99&#45;&gt;ECC/tfl&#45;book#71</title>
<path fill="none" stroke="black" d="M887.37,-568.35C909.42,-590.5 936.63,-620.9 955,-652 1017.1,-757.07 1056.1,-897.08 1073.1,-967.15"/>
<polygon fill="black" stroke="black" points="1069.73,-968.09 1075.5,-976.97 1076.53,-966.42 1069.73,-968.09"/>
</g>
<!-- ECC/tfl&#45;book#99&#45;&gt;ECC/tfl&#45;book#72 -->
<g id="edge50" class="edge">
<title>ECC/tfl&#45;book#99&#45;&gt;ECC/tfl&#45;book#72</title>
<path fill="none" stroke="black" d="M891.76,-568.04C914.67,-589.53 941.25,-619.34 955,-652 989.75,-734.55 932.21,-980.92 984,-1054 984.28,-1054.4 984.57,-1054.8 984.87,-1055.2"/>
<polygon fill="black" stroke="black" points="982.41,-1057.7 991.64,-1062.9 987.67,-1053.08 982.41,-1057.7"/>
</g>
<!-- ECC/tfl&#45;book#99&#45;&gt;ECC/zebra&#45;tfl#4 -->
<g id="edge48" class="edge">
<title>ECC/tfl&#45;book#99&#45;&gt;ECC/zebra&#45;tfl#4</title>
<path fill="none" stroke="black" d="M877.63,-499.93C922.27,-443.87 1010.7,-332.77 1055.6,-276.45"/>
<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="node24" class="node open">
<title>ECC/tfl&#45;book#77</title>
<g id="a_node24"><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>
<text text-anchor="middle" x="603.5" y="-515.3" font-family="Times,serif" font-size="14.00">section in &quot;Terminology&quot;</text>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#77&#45;&gt;ECC/tfl&#45;book#99 -->
<g id="edge25" 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="node25" class="node open">
<title>ECC/tfl&#45;book#25</title>
<g id="a_node25"><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>
<text text-anchor="middle" x="603.5" y="-444.3" font-family="Times,serif" font-size="14.00">conventions.</text>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#25&#45;&gt;ECC/tfl&#45;book#99 -->
<g id="edge26" 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="node26" class="node open">
<title>ECC/tfl&#45;book#119</title>
<g id="a_node26"><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>
<text text-anchor="middle" x="603.5" y="-372.8" font-family="Times,serif" font-size="14.00">between pure PoW, the PoW</text>
<text text-anchor="middle" x="603.5" y="-357.8" font-family="Times,serif" font-size="14.00">subprotocol, NU5, and</text>
<text text-anchor="middle" x="603.5" y="-342.8" font-family="Times,serif" font-size="14.00">fork&#45;choice vs all of</text>
<text text-anchor="middle" x="603.5" y="-327.8" font-family="Times,serif" font-size="14.00">transaction semantics.</text>
</a>
</g>
</g>
<!-- ECC/tfl&#45;book#119&#45;&gt;ECC/tfl&#45;book#99 -->
<g id="edge27" 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>
<!-- ECC/zebra&#45;tfl#3 -->
<g id="node27" class="node open">
<title>ECC/zebra&#45;tfl#3</title>
<g id="a_node27"><a xlink:href="https://github.com/Electric-Coin-Company/zebra-tfl/issues/3" xlink:title="ECC/zebra&#45;tfl#3&#10;Add test harness" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="672,-46 535,-46 535,-8 672,-8 672,-46"/>
<text text-anchor="middle" x="603.5" y="-30.8" font-family="Times,serif" font-size="14.00">ECC/zebra&#45;tfl#3</text>
<text text-anchor="middle" x="603.5" y="-15.8" font-family="Times,serif" font-size="14.00">Add test harness</text>
</a>
</g>
</g>
<!-- ECC/zebra&#45;tfl#1 -->
<g id="node28" class="node open">
<title>ECC/zebra&#45;tfl#1</title>
<g id="a_node28"><a xlink:href="https://github.com/Electric-Coin-Company/zebra-tfl/issues/1" xlink:title="ECC/zebra&#45;tfl#1&#10;Prototype release 0.1" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="934.5,-130 764.5,-130 764.5,-92 934.5,-92 934.5,-130"/>
<text text-anchor="middle" x="849.5" y="-114.8" font-family="Times,serif" font-size="14.00">ECC/zebra&#45;tfl#1</text>
<text text-anchor="middle" x="849.5" y="-99.8" font-family="Times,serif" font-size="14.00">Prototype release 0.1</text>
</a>
</g>
</g>
<!-- ECC/zebra&#45;tfl#3&#45;&gt;ECC/zebra&#45;tfl#1 -->
<g id="edge28" class="edge">
<title>ECC/zebra&#45;tfl#3&#45;&gt;ECC/zebra&#45;tfl#1</title>
<path fill="none" stroke="black" d="M672.16,-42.45C686.43,-46.17 701.3,-50.42 715,-55 743.11,-64.4 773.65,-77.02 798.42,-87.91"/>
<polygon fill="black" stroke="black" points="797.05,-91.13 807.61,-91.98 799.89,-84.73 797.05,-91.13"/>
</g>
<!-- ECC/zebra&#45;tfl#1&#45;&gt;ECC/zebra&#45;tfl#4 -->
<g id="edge58" class="edge">
<title>ECC/zebra&#45;tfl#1&#45;&gt;ECC/zebra&#45;tfl#4</title>
<path fill="none" stroke="black" d="M884.31,-130.05C921.66,-151.09 982.4,-185.32 1026.9,-210.4"/>
<polygon fill="black" stroke="black" points="1025.46,-213.61 1035.9,-215.44 1028.89,-207.5 1025.46,-213.61"/>
</g>
<!-- ECC/zebra&#45;tfl#5 -->
<g id="node29" class="node open">
<title>ECC/zebra&#45;tfl#5</title>
<g id="a_node29"><a xlink:href="https://github.com/Electric-Coin-Company/zebra-tfl/issues/5" xlink:title="ECC/zebra&#45;tfl#5&#10;Support building in Nix" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="696,-158 511,-158 511,-120 696,-120 696,-158"/>
<text text-anchor="middle" x="603.5" y="-142.8" font-family="Times,serif" font-size="14.00">ECC/zebra&#45;tfl#5</text>
<text text-anchor="middle" x="603.5" y="-127.8" font-family="Times,serif" font-size="14.00">Support building in Nix</text>
</a>
</g>
</g>
<!-- ECC/zebra&#45;tfl#5&#45;&gt;ECC/zebra&#45;tfl#1 -->
<g id="edge29" class="edge">
<title>ECC/zebra&#45;tfl#5&#45;&gt;ECC/zebra&#45;tfl#1</title>
<path fill="none" stroke="black" d="M696.05,-128.49C715.17,-126.3 735.35,-123.98 754.55,-121.78"/>
<polygon fill="black" stroke="black" points="754.95,-125.26 764.49,-120.64 754.16,-118.3 754.95,-125.26"/>
</g>
<!-- ECC/zebra&#45;tfl#6 -->
<g id="node30" class="node open">
<title>ECC/zebra&#45;tfl#6</title>
<g id="a_node30"><a xlink:href="https://github.com/Electric-Coin-Company/zebra-tfl/issues/6" xlink:title="ECC/zebra&#45;tfl#6&#10;Create a testnet" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="670,-102 537,-102 537,-64 670,-64 670,-102"/>
<text text-anchor="middle" x="603.5" y="-86.8" font-family="Times,serif" font-size="14.00">ECC/zebra&#45;tfl#6</text>
<text text-anchor="middle" x="603.5" y="-71.8" font-family="Times,serif" font-size="14.00">Create a testnet</text>
</a>
</g>
</g>
<!-- ECC/zebra&#45;tfl#6&#45;&gt;ECC/zebra&#45;tfl#1 -->
<g id="edge30" class="edge">
<title>ECC/zebra&#45;tfl#6&#45;&gt;ECC/zebra&#45;tfl#1</title>
<path fill="none" stroke="black" d="M670.21,-90.54C695.98,-93.5 726.04,-96.95 754.06,-100.16"/>
<polygon fill="black" stroke="black" points="753.94,-103.67 764.28,-101.34 754.75,-96.72 753.94,-103.67"/>
</g>
<!-- ECC/tfl&#45;book#132 -->
<g id="node31" class="node open">
<title>ECC/tfl&#45;book#132</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