This commit is contained in:
nuttycom 2024-04-19 20:06:56 +00:00
parent ec6597fba0
commit 8b2b66cee6
12 changed files with 7436 additions and 7436 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: 388 KiB

After

Width:  |  Height:  |  Size: 388 KiB

View File

@ -22,24 +22,35 @@
<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_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_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>
<g id="clust2" class="cluster">
<title>cluster_0</title>
<polygon fill="none" stroke="blue" points="262,-415.5 262,-609.5 1420,-609.5 1420,-415.5 262,-415.5"/>
<text text-anchor="middle" x="841" y="-594.3" font-family="Times,serif" font-size="14.00">First user&#45;facing recursion API</text>
</g>
<g id="clust3" class="cluster">
<title>cluster_2</title>
<polygon fill="none" stroke="blue" points="8.5,-617.5 8.5,-710.5 446.5,-710.5 446.5,-617.5 8.5,-617.5"/>
<text text-anchor="middle" x="227.5" y="-695.3" font-family="Times,serif" font-size="14.00">0.3.1</text>
</g>
<!-- zcash/halo2#247 -->
<!-- zcash/halo2#455 -->
<g id="node1" class="node open">
<title>zcash/halo2#455</title>
<g id="a_node1"><a xlink:href="https://github.com/zcash/halo2/issues/455" xlink:title="zcash/halo2#455&#10;[Book] add description of&#10;Poseidon gadget and chip" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="212,-386 12,-386 12,-333 212,-333 212,-386"/>
<text text-anchor="middle" x="112" y="-370.8" font-family="Times,serif" font-size="14.00">zcash/halo2#455</text>
<text text-anchor="middle" x="112" y="-355.8" font-family="Times,serif" font-size="14.00">[Book] add description of</text>
<text text-anchor="middle" x="112" y="-340.8" font-family="Times,serif" font-size="14.00">Poseidon gadget and chip</text>
</a>
</g>
</g>
<!-- zcash/halo2#247 -->
<g id="node2" class="node open">
<title>zcash/halo2#247</title>
<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">
<g id="a_node2"><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>
@ -49,9 +60,9 @@
</g>
</g>
<!-- zcash/halo2#251 -->
<g id="node2" class="node open">
<g id="node3" class="node open">
<title>zcash/halo2#251</title>
<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">
<g id="a_node3"><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>
@ -118,9 +129,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="node3" class="node open">
<g id="node4" class="node open">
<title>zcash/halo2#246</title>
<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">
<g id="a_node4"><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>
@ -129,9 +140,9 @@
</g>
</g>
<!-- zcash/halo2#435 -->
<g id="node4" class="node open">
<g id="node5" class="node open">
<title>zcash/halo2#435</title>
<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">
<g id="a_node5"><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>
@ -171,9 +182,9 @@
<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="node5" class="node open">
<g id="node6" class="node open">
<title>zcash/halo2#439</title>
<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">
<g id="a_node6"><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>
@ -205,9 +216,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="node6" class="node open">
<g id="node7" class="node open">
<title>zcash/halo2#643</title>
<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">
<g id="a_node7"><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,17 +258,6 @@
<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#455 -->
<g id="node7" class="node open">
<title>zcash/halo2#455</title>
<g id="a_node7"><a xlink:href="https://github.com/zcash/halo2/issues/455" xlink:title="zcash/halo2#455&#10;[Book] add description of&#10;Poseidon gadget and chip" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="212,-386 12,-386 12,-333 212,-333 212,-386"/>
<text text-anchor="middle" x="112" y="-370.8" font-family="Times,serif" font-size="14.00">zcash/halo2#455</text>
<text text-anchor="middle" x="112" y="-355.8" font-family="Times,serif" font-size="14.00">[Book] add description of</text>
<text text-anchor="middle" x="112" y="-340.8" font-family="Times,serif" font-size="14.00">Poseidon gadget and chip</text>
</a>
</g>
</g>
<!-- zcash/halo2#756 -->
<g id="node8" class="node open">
<title>zcash/halo2#756</title>

View File

@ -10,24 +10,35 @@
<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_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_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>
<g id="clust2" class="cluster">
<title>cluster_0</title>
<polygon fill="none" stroke="blue" points="262,-415.5 262,-609.5 1420,-609.5 1420,-415.5 262,-415.5"/>
<text text-anchor="middle" x="841" y="-594.3" font-family="Times,serif" font-size="14.00">First user&#45;facing recursion API</text>
</g>
<g id="clust3" class="cluster">
<title>cluster_2</title>
<polygon fill="none" stroke="blue" points="8.5,-617.5 8.5,-710.5 446.5,-710.5 446.5,-617.5 8.5,-617.5"/>
<text text-anchor="middle" x="227.5" y="-695.3" font-family="Times,serif" font-size="14.00">0.3.1</text>
</g>
<!-- zcash/halo2#247 -->
<!-- zcash/halo2#455 -->
<g id="node1" class="node open">
<title>zcash/halo2#455</title>
<g id="a_node1"><a xlink:href="https://github.com/zcash/halo2/issues/455" xlink:title="zcash/halo2#455&#10;[Book] add description of&#10;Poseidon gadget and chip" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="212,-386 12,-386 12,-333 212,-333 212,-386"/>
<text text-anchor="middle" x="112" y="-370.8" font-family="Times,serif" font-size="14.00">zcash/halo2#455</text>
<text text-anchor="middle" x="112" y="-355.8" font-family="Times,serif" font-size="14.00">[Book] add description of</text>
<text text-anchor="middle" x="112" y="-340.8" font-family="Times,serif" font-size="14.00">Poseidon gadget and chip</text>
</a>
</g>
</g>
<!-- zcash/halo2#247 -->
<g id="node2" class="node open">
<title>zcash/halo2#247</title>
<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">
<g id="a_node2"><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>
@ -37,9 +48,9 @@
</g>
</g>
<!-- zcash/halo2#251 -->
<g id="node2" class="node open">
<g id="node3" class="node open">
<title>zcash/halo2#251</title>
<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">
<g id="a_node3"><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>
@ -106,9 +117,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="node3" class="node open">
<g id="node4" class="node open">
<title>zcash/halo2#246</title>
<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">
<g id="a_node4"><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>
@ -117,9 +128,9 @@
</g>
</g>
<!-- zcash/halo2#435 -->
<g id="node4" class="node open">
<g id="node5" class="node open">
<title>zcash/halo2#435</title>
<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">
<g id="a_node5"><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>
@ -159,9 +170,9 @@
<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="node5" class="node open">
<g id="node6" class="node open">
<title>zcash/halo2#439</title>
<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">
<g id="a_node6"><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>
@ -193,9 +204,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="node6" class="node open">
<g id="node7" class="node open">
<title>zcash/halo2#643</title>
<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">
<g id="a_node7"><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,17 +246,6 @@
<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#455 -->
<g id="node7" class="node open">
<title>zcash/halo2#455</title>
<g id="a_node7"><a xlink:href="https://github.com/zcash/halo2/issues/455" xlink:title="zcash/halo2#455&#10;[Book] add description of&#10;Poseidon gadget and chip" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="212,-386 12,-386 12,-333 212,-333 212,-386"/>
<text text-anchor="middle" x="112" y="-370.8" font-family="Times,serif" font-size="14.00">zcash/halo2#455</text>
<text text-anchor="middle" x="112" y="-355.8" font-family="Times,serif" font-size="14.00">[Book] add description of</text>
<text text-anchor="middle" x="112" y="-340.8" font-family="Times,serif" font-size="14.00">Poseidon gadget and chip</text>
</a>
</g>
</g>
<!-- zcash/halo2#756 -->
<g id="node8" class="node open">
<title>zcash/halo2#756</title>

Before

Width:  |  Height:  |  Size: 54 KiB

After

Width:  |  Height:  |  Size: 54 KiB

View File

@ -27,15 +27,15 @@
<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="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="clust3" class="cluster">
<title>cluster_3</title>
<polygon fill="none" stroke="blue" points="0,-656 0,-961 955,-961 955,-656 0,-656"/>
<text text-anchor="middle" x="477.5" y="-945.8" font-family="Times,serif" font-size="14.00">Implementation Phase 1: Simulation Codebase</text>
</g>
<g id="clust4" class="cluster">
<title>cluster_1</title>
<polygon fill="none" stroke="blue" points="243.5,-312 243.5,-648 951.5,-648 951.5,-312 243.5,-312"/>
@ -299,196 +299,10 @@
<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">
<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">
<polygon fill="#c2e0c6" stroke="black" points="947,-898.5 944,-902.5 923,-902.5 920,-898.5 752,-898.5 752,-815.5 947,-815.5 947,-898.5"/>
<text text-anchor="middle" x="849.5" y="-883.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#14</text>
<text text-anchor="middle" x="849.5" y="-868.3" font-family="Times,serif" font-size="14.00">simtfl 0.2.0</text>
<text text-anchor="middle" x="849.5" y="-853.3" font-family="Times,serif" font-size="14.00">(corresponding to</text>
<text text-anchor="middle" x="849.5" y="-838.3" font-family="Times,serif" font-size="14.00">Implementation Phase 1:</text>
<text text-anchor="middle" x="849.5" y="-823.3" font-family="Times,serif" font-size="14.00">Simulation Codebase)</text>
</a>
</g>
</g>
<!-- zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#71 -->
<g id="edge52" class="edge">
<title>zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#71</title>
<path fill="none" stroke="black" d="M913.42,-898.67C947.51,-921.26 989.42,-949.02 1023,-971.29"/>
<polygon fill="black" stroke="black" points="1021.12,-974.24 1031.4,-976.82 1024.97,-968.4 1021.12,-974.24"/>
</g>
<!-- zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#72 -->
<g id="edge53" class="edge">
<title>zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#72</title>
<path fill="none" stroke="black" d="M899.52,-898.58C919.01,-917.23 940.26,-940.53 955,-965 976.46,-1000.6 956.01,-1023.2 984,-1054 984.63,-1054.7 985.28,-1055.4 985.94,-1056.1"/>
<polygon fill="black" stroke="black" points="983.72,-1058.81 993.5,-1062.9 988.41,-1053.61 983.72,-1058.81"/>
</g>
<!-- zcash/simtfl#10 -->
<g id="node11" 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">
<polygon fill="#c2e0c6" stroke="black" points="714,-741.5 493,-741.5 493,-688.5 714,-688.5 714,-741.5"/>
<text text-anchor="middle" x="603.5" y="-726.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#10</text>
<text text-anchor="middle" x="603.5" y="-711.3" font-family="Times,serif" font-size="14.00">Implement some known BFT</text>
<text text-anchor="middle" x="603.5" y="-696.3" font-family="Times,serif" font-size="14.00">and/or PoS attacks</text>
</a>
</g>
</g>
<!-- zcash/simtfl#10&#45;&gt;zcash/simtfl#14 -->
<g id="edge10" 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">
<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">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="456,-844 244,-844 244,-776 456,-776 456,-844"/>
<text text-anchor="middle" x="350" y="-828.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#7</text>
<text text-anchor="middle" x="350" y="-813.8" font-family="Times,serif" font-size="14.00">Define BC abstractions</text>
<text text-anchor="middle" x="350" y="-798.8" font-family="Times,serif" font-size="14.00">and PoW (honest behaviour</text>
<text text-anchor="middle" x="350" y="-783.8" font-family="Times,serif" font-size="14.00">only)</text>
</a>
</g>
</g>
<!-- zcash/simtfl#8 -->
<g id="node13" 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">
<polygon fill="#c2e0c6" stroke="black" points="699,-812.5 508,-812.5 508,-759.5 699,-759.5 699,-812.5"/>
<text text-anchor="middle" x="603.5" y="-797.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#8</text>
<text text-anchor="middle" x="603.5" y="-782.3" font-family="Times,serif" font-size="14.00">Define Crosslink (honest</text>
<text text-anchor="middle" x="603.5" y="-767.3" font-family="Times,serif" font-size="14.00">behaviour only)</text>
</a>
</g>
</g>
<!-- zcash/simtfl#7&#45;&gt;zcash/simtfl#8 -->
<g id="edge11" 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">
<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">
<polygon fill="#c2e0c6" stroke="black" points="715,-883.5 492,-883.5 492,-830.5 715,-830.5 715,-883.5"/>
<text text-anchor="middle" x="603.5" y="-868.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#9</text>
<text text-anchor="middle" x="603.5" y="-853.3" font-family="Times,serif" font-size="14.00">Implement some known PoW</text>
<text text-anchor="middle" x="603.5" y="-838.3" font-family="Times,serif" font-size="14.00">attacks</text>
</a>
</g>
</g>
<!-- zcash/simtfl#7&#45;&gt;zcash/simtfl#9 -->
<g id="edge12" 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">
<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">
<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">
<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">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="445,-930 255,-930 255,-862 445,-862 445,-930"/>
<text text-anchor="middle" x="350" y="-914.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#20</text>
<text text-anchor="middle" x="350" y="-899.8" font-family="Times,serif" font-size="14.00">Add test coverage that</text>
<text text-anchor="middle" x="350" y="-884.8" font-family="Times,serif" font-size="14.00">ensures edge cases lead</text>
<text text-anchor="middle" x="350" y="-869.8" font-family="Times,serif" font-size="14.00">to invalid blocks</text>
</a>
</g>
</g>
<!-- zcash/simtfl#20&#45;&gt;zcash/simtfl#9 -->
<g id="edge15" 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">
<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">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="208,-773 8,-773 8,-705 208,-705 208,-773"/>
<text text-anchor="middle" x="108" y="-757.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#15</text>
<text text-anchor="middle" x="108" y="-742.8" font-family="Times,serif" font-size="14.00">Design/document the</text>
<text text-anchor="middle" x="108" y="-727.8" font-family="Times,serif" font-size="14.00">network layer used in the</text>
<text text-anchor="middle" x="108" y="-712.8" font-family="Times,serif" font-size="14.00">simulation</text>
</a>
</g>
</g>
<!-- zcash/simtfl#16 -->
<g id="node17" 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">
<polygon fill="#c2e0c6" stroke="black" points="448.5,-758 251.5,-758 251.5,-720 448.5,-720 448.5,-758"/>
<text text-anchor="middle" x="350" y="-742.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#16</text>
<text text-anchor="middle" x="350" y="-727.8" font-family="Times,serif" font-size="14.00">Implement network layer</text>
</a>
</g>
</g>
<!-- zcash/simtfl#15&#45;&gt;zcash/simtfl#16 -->
<g id="edge16" 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">
<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">
<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">
<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">
<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">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="418.5,-702 281.5,-702 281.5,-664 418.5,-664 418.5,-702"/>
<text text-anchor="middle" x="350" y="-686.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#25</text>
<text text-anchor="middle" x="350" y="-671.8" font-family="Times,serif" font-size="14.00">Finish Streamlet</text>
</a>
</g>
</g>
<!-- zcash/simtfl#25&#45;&gt;zcash/simtfl#10 -->
<g id="edge20" 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">
<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">
<g id="node10" 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">
<g id="a_node10"><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>
@ -515,9 +329,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="node11" 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_node11"><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,11 +341,197 @@
</g>
</g>
<!-- ECC/zebra&#45;tfl#11&#45;&gt;ECC/zebra&#45;tfl#4 -->
<g id="edge22" class="edge">
<g id="edge10" 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>
<!-- zcash/simtfl#14 -->
<g id="node12" class="node open">
<title>zcash/simtfl#14</title>
<g id="a_node12"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/14" xlink:title="zcash/simtfl#14&#10;simtfl 0.2.0&#10;(corresponding to&#10;Implementation Phase 1:&#10;Simulation Codebase)" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="947,-898.5 944,-902.5 923,-902.5 920,-898.5 752,-898.5 752,-815.5 947,-815.5 947,-898.5"/>
<text text-anchor="middle" x="849.5" y="-883.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#14</text>
<text text-anchor="middle" x="849.5" y="-868.3" font-family="Times,serif" font-size="14.00">simtfl 0.2.0</text>
<text text-anchor="middle" x="849.5" y="-853.3" font-family="Times,serif" font-size="14.00">(corresponding to</text>
<text text-anchor="middle" x="849.5" y="-838.3" font-family="Times,serif" font-size="14.00">Implementation Phase 1:</text>
<text text-anchor="middle" x="849.5" y="-823.3" font-family="Times,serif" font-size="14.00">Simulation Codebase)</text>
</a>
</g>
</g>
<!-- zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#71 -->
<g id="edge52" class="edge">
<title>zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#71</title>
<path fill="none" stroke="black" d="M913.42,-898.67C947.51,-921.26 989.42,-949.02 1023,-971.29"/>
<polygon fill="black" stroke="black" points="1021.12,-974.24 1031.4,-976.82 1024.97,-968.4 1021.12,-974.24"/>
</g>
<!-- zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#72 -->
<g id="edge53" class="edge">
<title>zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#72</title>
<path fill="none" stroke="black" d="M899.52,-898.58C919.01,-917.23 940.26,-940.53 955,-965 976.46,-1000.6 956.01,-1023.2 984,-1054 984.63,-1054.7 985.28,-1055.4 985.94,-1056.1"/>
<polygon fill="black" stroke="black" points="983.72,-1058.81 993.5,-1062.9 988.41,-1053.61 983.72,-1058.81"/>
</g>
<!-- zcash/simtfl#10 -->
<g id="node13" class="node open">
<title>zcash/simtfl#10</title>
<g id="a_node13"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/10" xlink:title="zcash/simtfl#10&#10;Implement some known BFT&#10;and/or PoS attacks" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="714,-741.5 493,-741.5 493,-688.5 714,-688.5 714,-741.5"/>
<text text-anchor="middle" x="603.5" y="-726.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#10</text>
<text text-anchor="middle" x="603.5" y="-711.3" font-family="Times,serif" font-size="14.00">Implement some known BFT</text>
<text text-anchor="middle" x="603.5" y="-696.3" font-family="Times,serif" font-size="14.00">and/or PoS attacks</text>
</a>
</g>
</g>
<!-- zcash/simtfl#10&#45;&gt;zcash/simtfl#14 -->
<g id="edge11" 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="node14" class="node open">
<title>zcash/simtfl#7</title>
<g id="a_node14"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/7" xlink:title="zcash/simtfl#7&#10;Define BC abstractions&#10;and PoW (honest behaviour&#10;only)" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="456,-844 244,-844 244,-776 456,-776 456,-844"/>
<text text-anchor="middle" x="350" y="-828.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#7</text>
<text text-anchor="middle" x="350" y="-813.8" font-family="Times,serif" font-size="14.00">Define BC abstractions</text>
<text text-anchor="middle" x="350" y="-798.8" font-family="Times,serif" font-size="14.00">and PoW (honest behaviour</text>
<text text-anchor="middle" x="350" y="-783.8" font-family="Times,serif" font-size="14.00">only)</text>
</a>
</g>
</g>
<!-- zcash/simtfl#8 -->
<g id="node15" class="node open">
<title>zcash/simtfl#8</title>
<g id="a_node15"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/8" xlink:title="zcash/simtfl#8&#10;Define Crosslink (honest&#10;behaviour only)" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="699,-812.5 508,-812.5 508,-759.5 699,-759.5 699,-812.5"/>
<text text-anchor="middle" x="603.5" y="-797.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#8</text>
<text text-anchor="middle" x="603.5" y="-782.3" font-family="Times,serif" font-size="14.00">Define Crosslink (honest</text>
<text text-anchor="middle" x="603.5" y="-767.3" font-family="Times,serif" font-size="14.00">behaviour only)</text>
</a>
</g>
</g>
<!-- zcash/simtfl#7&#45;&gt;zcash/simtfl#8 -->
<g id="edge12" 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="node16" class="node open">
<title>zcash/simtfl#9</title>
<g id="a_node16"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/9" xlink:title="zcash/simtfl#9&#10;Implement some known PoW&#10;attacks" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="715,-883.5 492,-883.5 492,-830.5 715,-830.5 715,-883.5"/>
<text text-anchor="middle" x="603.5" y="-868.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#9</text>
<text text-anchor="middle" x="603.5" y="-853.3" font-family="Times,serif" font-size="14.00">Implement some known PoW</text>
<text text-anchor="middle" x="603.5" y="-838.3" font-family="Times,serif" font-size="14.00">attacks</text>
</a>
</g>
</g>
<!-- zcash/simtfl#7&#45;&gt;zcash/simtfl#9 -->
<g id="edge13" 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="edge14" 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="edge15" 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="node17" class="node open">
<title>zcash/simtfl#20</title>
<g id="a_node17"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/20" xlink:title="zcash/simtfl#20&#10;Add test coverage that&#10;ensures edge cases lead&#10;to invalid blocks" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="445,-930 255,-930 255,-862 445,-862 445,-930"/>
<text text-anchor="middle" x="350" y="-914.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#20</text>
<text text-anchor="middle" x="350" y="-899.8" font-family="Times,serif" font-size="14.00">Add test coverage that</text>
<text text-anchor="middle" x="350" y="-884.8" font-family="Times,serif" font-size="14.00">ensures edge cases lead</text>
<text text-anchor="middle" x="350" y="-869.8" font-family="Times,serif" font-size="14.00">to invalid blocks</text>
</a>
</g>
</g>
<!-- zcash/simtfl#20&#45;&gt;zcash/simtfl#9 -->
<g id="edge16" 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="node18" class="node open">
<title>zcash/simtfl#15</title>
<g id="a_node18"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/15" xlink:title="zcash/simtfl#15&#10;Design/document the&#10;network layer used in the&#10;simulation" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="208,-773 8,-773 8,-705 208,-705 208,-773"/>
<text text-anchor="middle" x="108" y="-757.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#15</text>
<text text-anchor="middle" x="108" y="-742.8" font-family="Times,serif" font-size="14.00">Design/document the</text>
<text text-anchor="middle" x="108" y="-727.8" font-family="Times,serif" font-size="14.00">network layer used in the</text>
<text text-anchor="middle" x="108" y="-712.8" font-family="Times,serif" font-size="14.00">simulation</text>
</a>
</g>
</g>
<!-- zcash/simtfl#16 -->
<g id="node19" class="node open">
<title>zcash/simtfl#16</title>
<g id="a_node19"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/16" xlink:title="zcash/simtfl#16&#10;Implement network layer" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="448.5,-758 251.5,-758 251.5,-720 448.5,-720 448.5,-758"/>
<text text-anchor="middle" x="350" y="-742.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#16</text>
<text text-anchor="middle" x="350" y="-727.8" font-family="Times,serif" font-size="14.00">Implement network layer</text>
</a>
</g>
</g>
<!-- zcash/simtfl#15&#45;&gt;zcash/simtfl#16 -->
<g id="edge17" 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="edge18" 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="edge19" 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="edge20" 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="node20" class="node open">
<title>zcash/simtfl#25</title>
<g id="a_node20"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/25" xlink:title="zcash/simtfl#25&#10;Finish Streamlet" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="418.5,-702 281.5,-702 281.5,-664 418.5,-664 418.5,-702"/>
<text text-anchor="middle" x="350" y="-686.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#25</text>
<text text-anchor="middle" x="350" y="-671.8" font-family="Times,serif" font-size="14.00">Finish Streamlet</text>
</a>
</g>
</g>
<!-- zcash/simtfl#25&#45;&gt;zcash/simtfl#10 -->
<g id="edge21" 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="edge22" 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/tfl&#45;book#86 -->
<g id="node21" class="node open">
<title>ECC/tfl&#45;book#86</title>

View File

@ -15,15 +15,15 @@
<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="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="clust3" class="cluster">
<title>cluster_3</title>
<polygon fill="none" stroke="blue" points="0,-656 0,-961 955,-961 955,-656 0,-656"/>
<text text-anchor="middle" x="477.5" y="-945.8" font-family="Times,serif" font-size="14.00">Implementation Phase 1: Simulation Codebase</text>
</g>
<g id="clust4" class="cluster">
<title>cluster_1</title>
<polygon fill="none" stroke="blue" points="243.5,-312 243.5,-648 951.5,-648 951.5,-312 243.5,-312"/>
@ -287,196 +287,10 @@
<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">
<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">
<polygon fill="#c2e0c6" stroke="black" points="947,-898.5 944,-902.5 923,-902.5 920,-898.5 752,-898.5 752,-815.5 947,-815.5 947,-898.5"/>
<text text-anchor="middle" x="849.5" y="-883.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#14</text>
<text text-anchor="middle" x="849.5" y="-868.3" font-family="Times,serif" font-size="14.00">simtfl 0.2.0</text>
<text text-anchor="middle" x="849.5" y="-853.3" font-family="Times,serif" font-size="14.00">(corresponding to</text>
<text text-anchor="middle" x="849.5" y="-838.3" font-family="Times,serif" font-size="14.00">Implementation Phase 1:</text>
<text text-anchor="middle" x="849.5" y="-823.3" font-family="Times,serif" font-size="14.00">Simulation Codebase)</text>
</a>
</g>
</g>
<!-- zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#71 -->
<g id="edge52" class="edge">
<title>zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#71</title>
<path fill="none" stroke="black" d="M913.42,-898.67C947.51,-921.26 989.42,-949.02 1023,-971.29"/>
<polygon fill="black" stroke="black" points="1021.12,-974.24 1031.4,-976.82 1024.97,-968.4 1021.12,-974.24"/>
</g>
<!-- zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#72 -->
<g id="edge53" class="edge">
<title>zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#72</title>
<path fill="none" stroke="black" d="M899.52,-898.58C919.01,-917.23 940.26,-940.53 955,-965 976.46,-1000.6 956.01,-1023.2 984,-1054 984.63,-1054.7 985.28,-1055.4 985.94,-1056.1"/>
<polygon fill="black" stroke="black" points="983.72,-1058.81 993.5,-1062.9 988.41,-1053.61 983.72,-1058.81"/>
</g>
<!-- zcash/simtfl#10 -->
<g id="node11" 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">
<polygon fill="#c2e0c6" stroke="black" points="714,-741.5 493,-741.5 493,-688.5 714,-688.5 714,-741.5"/>
<text text-anchor="middle" x="603.5" y="-726.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#10</text>
<text text-anchor="middle" x="603.5" y="-711.3" font-family="Times,serif" font-size="14.00">Implement some known BFT</text>
<text text-anchor="middle" x="603.5" y="-696.3" font-family="Times,serif" font-size="14.00">and/or PoS attacks</text>
</a>
</g>
</g>
<!-- zcash/simtfl#10&#45;&gt;zcash/simtfl#14 -->
<g id="edge10" 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">
<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">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="456,-844 244,-844 244,-776 456,-776 456,-844"/>
<text text-anchor="middle" x="350" y="-828.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#7</text>
<text text-anchor="middle" x="350" y="-813.8" font-family="Times,serif" font-size="14.00">Define BC abstractions</text>
<text text-anchor="middle" x="350" y="-798.8" font-family="Times,serif" font-size="14.00">and PoW (honest behaviour</text>
<text text-anchor="middle" x="350" y="-783.8" font-family="Times,serif" font-size="14.00">only)</text>
</a>
</g>
</g>
<!-- zcash/simtfl#8 -->
<g id="node13" 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">
<polygon fill="#c2e0c6" stroke="black" points="699,-812.5 508,-812.5 508,-759.5 699,-759.5 699,-812.5"/>
<text text-anchor="middle" x="603.5" y="-797.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#8</text>
<text text-anchor="middle" x="603.5" y="-782.3" font-family="Times,serif" font-size="14.00">Define Crosslink (honest</text>
<text text-anchor="middle" x="603.5" y="-767.3" font-family="Times,serif" font-size="14.00">behaviour only)</text>
</a>
</g>
</g>
<!-- zcash/simtfl#7&#45;&gt;zcash/simtfl#8 -->
<g id="edge11" 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">
<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">
<polygon fill="#c2e0c6" stroke="black" points="715,-883.5 492,-883.5 492,-830.5 715,-830.5 715,-883.5"/>
<text text-anchor="middle" x="603.5" y="-868.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#9</text>
<text text-anchor="middle" x="603.5" y="-853.3" font-family="Times,serif" font-size="14.00">Implement some known PoW</text>
<text text-anchor="middle" x="603.5" y="-838.3" font-family="Times,serif" font-size="14.00">attacks</text>
</a>
</g>
</g>
<!-- zcash/simtfl#7&#45;&gt;zcash/simtfl#9 -->
<g id="edge12" 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">
<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">
<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">
<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">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="445,-930 255,-930 255,-862 445,-862 445,-930"/>
<text text-anchor="middle" x="350" y="-914.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#20</text>
<text text-anchor="middle" x="350" y="-899.8" font-family="Times,serif" font-size="14.00">Add test coverage that</text>
<text text-anchor="middle" x="350" y="-884.8" font-family="Times,serif" font-size="14.00">ensures edge cases lead</text>
<text text-anchor="middle" x="350" y="-869.8" font-family="Times,serif" font-size="14.00">to invalid blocks</text>
</a>
</g>
</g>
<!-- zcash/simtfl#20&#45;&gt;zcash/simtfl#9 -->
<g id="edge15" 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">
<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">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="208,-773 8,-773 8,-705 208,-705 208,-773"/>
<text text-anchor="middle" x="108" y="-757.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#15</text>
<text text-anchor="middle" x="108" y="-742.8" font-family="Times,serif" font-size="14.00">Design/document the</text>
<text text-anchor="middle" x="108" y="-727.8" font-family="Times,serif" font-size="14.00">network layer used in the</text>
<text text-anchor="middle" x="108" y="-712.8" font-family="Times,serif" font-size="14.00">simulation</text>
</a>
</g>
</g>
<!-- zcash/simtfl#16 -->
<g id="node17" 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">
<polygon fill="#c2e0c6" stroke="black" points="448.5,-758 251.5,-758 251.5,-720 448.5,-720 448.5,-758"/>
<text text-anchor="middle" x="350" y="-742.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#16</text>
<text text-anchor="middle" x="350" y="-727.8" font-family="Times,serif" font-size="14.00">Implement network layer</text>
</a>
</g>
</g>
<!-- zcash/simtfl#15&#45;&gt;zcash/simtfl#16 -->
<g id="edge16" 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">
<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">
<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">
<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">
<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">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="418.5,-702 281.5,-702 281.5,-664 418.5,-664 418.5,-702"/>
<text text-anchor="middle" x="350" y="-686.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#25</text>
<text text-anchor="middle" x="350" y="-671.8" font-family="Times,serif" font-size="14.00">Finish Streamlet</text>
</a>
</g>
</g>
<!-- zcash/simtfl#25&#45;&gt;zcash/simtfl#10 -->
<g id="edge20" 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">
<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">
<g id="node10" 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">
<g id="a_node10"><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>
@ -503,9 +317,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="node11" 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_node11"><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,11 +329,197 @@
</g>
</g>
<!-- ECC/zebra&#45;tfl#11&#45;&gt;ECC/zebra&#45;tfl#4 -->
<g id="edge22" class="edge">
<g id="edge10" 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>
<!-- zcash/simtfl#14 -->
<g id="node12" class="node open">
<title>zcash/simtfl#14</title>
<g id="a_node12"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/14" xlink:title="zcash/simtfl#14&#10;simtfl 0.2.0&#10;(corresponding to&#10;Implementation Phase 1:&#10;Simulation Codebase)" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="947,-898.5 944,-902.5 923,-902.5 920,-898.5 752,-898.5 752,-815.5 947,-815.5 947,-898.5"/>
<text text-anchor="middle" x="849.5" y="-883.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#14</text>
<text text-anchor="middle" x="849.5" y="-868.3" font-family="Times,serif" font-size="14.00">simtfl 0.2.0</text>
<text text-anchor="middle" x="849.5" y="-853.3" font-family="Times,serif" font-size="14.00">(corresponding to</text>
<text text-anchor="middle" x="849.5" y="-838.3" font-family="Times,serif" font-size="14.00">Implementation Phase 1:</text>
<text text-anchor="middle" x="849.5" y="-823.3" font-family="Times,serif" font-size="14.00">Simulation Codebase)</text>
</a>
</g>
</g>
<!-- zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#71 -->
<g id="edge52" class="edge">
<title>zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#71</title>
<path fill="none" stroke="black" d="M913.42,-898.67C947.51,-921.26 989.42,-949.02 1023,-971.29"/>
<polygon fill="black" stroke="black" points="1021.12,-974.24 1031.4,-976.82 1024.97,-968.4 1021.12,-974.24"/>
</g>
<!-- zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#72 -->
<g id="edge53" class="edge">
<title>zcash/simtfl#14&#45;&gt;ECC/tfl&#45;book#72</title>
<path fill="none" stroke="black" d="M899.52,-898.58C919.01,-917.23 940.26,-940.53 955,-965 976.46,-1000.6 956.01,-1023.2 984,-1054 984.63,-1054.7 985.28,-1055.4 985.94,-1056.1"/>
<polygon fill="black" stroke="black" points="983.72,-1058.81 993.5,-1062.9 988.41,-1053.61 983.72,-1058.81"/>
</g>
<!-- zcash/simtfl#10 -->
<g id="node13" class="node open">
<title>zcash/simtfl#10</title>
<g id="a_node13"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/10" xlink:title="zcash/simtfl#10&#10;Implement some known BFT&#10;and/or PoS attacks" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="714,-741.5 493,-741.5 493,-688.5 714,-688.5 714,-741.5"/>
<text text-anchor="middle" x="603.5" y="-726.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#10</text>
<text text-anchor="middle" x="603.5" y="-711.3" font-family="Times,serif" font-size="14.00">Implement some known BFT</text>
<text text-anchor="middle" x="603.5" y="-696.3" font-family="Times,serif" font-size="14.00">and/or PoS attacks</text>
</a>
</g>
</g>
<!-- zcash/simtfl#10&#45;&gt;zcash/simtfl#14 -->
<g id="edge11" 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="node14" class="node open">
<title>zcash/simtfl#7</title>
<g id="a_node14"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/7" xlink:title="zcash/simtfl#7&#10;Define BC abstractions&#10;and PoW (honest behaviour&#10;only)" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="456,-844 244,-844 244,-776 456,-776 456,-844"/>
<text text-anchor="middle" x="350" y="-828.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#7</text>
<text text-anchor="middle" x="350" y="-813.8" font-family="Times,serif" font-size="14.00">Define BC abstractions</text>
<text text-anchor="middle" x="350" y="-798.8" font-family="Times,serif" font-size="14.00">and PoW (honest behaviour</text>
<text text-anchor="middle" x="350" y="-783.8" font-family="Times,serif" font-size="14.00">only)</text>
</a>
</g>
</g>
<!-- zcash/simtfl#8 -->
<g id="node15" class="node open">
<title>zcash/simtfl#8</title>
<g id="a_node15"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/8" xlink:title="zcash/simtfl#8&#10;Define Crosslink (honest&#10;behaviour only)" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="699,-812.5 508,-812.5 508,-759.5 699,-759.5 699,-812.5"/>
<text text-anchor="middle" x="603.5" y="-797.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#8</text>
<text text-anchor="middle" x="603.5" y="-782.3" font-family="Times,serif" font-size="14.00">Define Crosslink (honest</text>
<text text-anchor="middle" x="603.5" y="-767.3" font-family="Times,serif" font-size="14.00">behaviour only)</text>
</a>
</g>
</g>
<!-- zcash/simtfl#7&#45;&gt;zcash/simtfl#8 -->
<g id="edge12" 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="node16" class="node open">
<title>zcash/simtfl#9</title>
<g id="a_node16"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/9" xlink:title="zcash/simtfl#9&#10;Implement some known PoW&#10;attacks" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="715,-883.5 492,-883.5 492,-830.5 715,-830.5 715,-883.5"/>
<text text-anchor="middle" x="603.5" y="-868.3" font-family="Times,serif" font-size="14.00">zcash/simtfl#9</text>
<text text-anchor="middle" x="603.5" y="-853.3" font-family="Times,serif" font-size="14.00">Implement some known PoW</text>
<text text-anchor="middle" x="603.5" y="-838.3" font-family="Times,serif" font-size="14.00">attacks</text>
</a>
</g>
</g>
<!-- zcash/simtfl#7&#45;&gt;zcash/simtfl#9 -->
<g id="edge13" 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="edge14" 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="edge15" 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="node17" class="node open">
<title>zcash/simtfl#20</title>
<g id="a_node17"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/20" xlink:title="zcash/simtfl#20&#10;Add test coverage that&#10;ensures edge cases lead&#10;to invalid blocks" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="445,-930 255,-930 255,-862 445,-862 445,-930"/>
<text text-anchor="middle" x="350" y="-914.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#20</text>
<text text-anchor="middle" x="350" y="-899.8" font-family="Times,serif" font-size="14.00">Add test coverage that</text>
<text text-anchor="middle" x="350" y="-884.8" font-family="Times,serif" font-size="14.00">ensures edge cases lead</text>
<text text-anchor="middle" x="350" y="-869.8" font-family="Times,serif" font-size="14.00">to invalid blocks</text>
</a>
</g>
</g>
<!-- zcash/simtfl#20&#45;&gt;zcash/simtfl#9 -->
<g id="edge16" 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="node18" class="node open">
<title>zcash/simtfl#15</title>
<g id="a_node18"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/15" xlink:title="zcash/simtfl#15&#10;Design/document the&#10;network layer used in the&#10;simulation" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="208,-773 8,-773 8,-705 208,-705 208,-773"/>
<text text-anchor="middle" x="108" y="-757.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#15</text>
<text text-anchor="middle" x="108" y="-742.8" font-family="Times,serif" font-size="14.00">Design/document the</text>
<text text-anchor="middle" x="108" y="-727.8" font-family="Times,serif" font-size="14.00">network layer used in the</text>
<text text-anchor="middle" x="108" y="-712.8" font-family="Times,serif" font-size="14.00">simulation</text>
</a>
</g>
</g>
<!-- zcash/simtfl#16 -->
<g id="node19" class="node open">
<title>zcash/simtfl#16</title>
<g id="a_node19"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/16" xlink:title="zcash/simtfl#16&#10;Implement network layer" target="_blank">
<polygon fill="#c2e0c6" stroke="black" points="448.5,-758 251.5,-758 251.5,-720 448.5,-720 448.5,-758"/>
<text text-anchor="middle" x="350" y="-742.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#16</text>
<text text-anchor="middle" x="350" y="-727.8" font-family="Times,serif" font-size="14.00">Implement network layer</text>
</a>
</g>
</g>
<!-- zcash/simtfl#15&#45;&gt;zcash/simtfl#16 -->
<g id="edge17" 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="edge18" 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="edge19" 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="edge20" 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="node20" class="node open">
<title>zcash/simtfl#25</title>
<g id="a_node20"><a xlink:href="https://github.com/Electric-Coin-Company/simtfl/issues/25" xlink:title="zcash/simtfl#25&#10;Finish Streamlet" target="_blank">
<polygon fill="#c2e0c6" stroke="black" stroke-width="2" points="418.5,-702 281.5,-702 281.5,-664 418.5,-664 418.5,-702"/>
<text text-anchor="middle" x="350" y="-686.8" font-family="Times,serif" font-size="14.00">zcash/simtfl#25</text>
<text text-anchor="middle" x="350" y="-671.8" font-family="Times,serif" font-size="14.00">Finish Streamlet</text>
</a>
</g>
</g>
<!-- zcash/simtfl#25&#45;&gt;zcash/simtfl#10 -->
<g id="edge21" 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="edge22" 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/tfl&#45;book#86 -->
<g id="node21" class="node open">
<title>ECC/tfl&#45;book#86</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: 344 KiB

After

Width:  |  Height:  |  Size: 344 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: 95 KiB

After

Width:  |  Height:  |  Size: 95 KiB