diff options
Diffstat (limited to 'bip-0008')
-rw-r--r-- | bip-0008/states.dot | 34 | ||||
-rw-r--r-- | bip-0008/states.png | bin | 25677 -> 46310 bytes | |||
-rw-r--r-- | bip-0008/states.svg | 173 |
3 files changed, 153 insertions, 54 deletions
diff --git a/bip-0008/states.dot b/bip-0008/states.dot new file mode 100644 index 0000000..aa919ff --- /dev/null +++ b/bip-0008/states.dot @@ -0,0 +1,34 @@ +digraph { + rankdir=TD; + + node [style="rounded,filled,bold", shape=box, fixedsize=true, width=1.5, fontname="Arial"]; + + edge [weight = 100]; + "DEFINED" -> "STARTED" [label="height >= start_height"]; + "STARTED" -> "MUST_SIGNAL" [label="height + 2016 >= timeoutheight AND lockinontimeout"]; + "STARTED" -> "FAILED" [label="height >= timeoutheight\nAND\nNOT lockinontimeout"]; + "LOCKED_IN" -> "ACTIVE" [label="always"]; + "MUST_SIGNAL" -> "LOCKED_IN" [label="always"]; + + edge [weight = 1]; + "STARTED" -> "LOCKED_IN" [label="height < timeoutheight\nAND\nthreshold reached"]; + + "FAILED" -> "LOCKED_IN" [style=invis]; + + "DEFINED":sw -> "DEFINED":nw; + "STARTED":sw -> "STARTED":nw; + "ACTIVE":sw -> "ACTIVE":nw; + "FAILED":sw -> "FAILED":nw; + + "STARTED" [fillcolor="#a0a0ff"]; + "MUST_SIGNAL" [fillcolor="#a0a0ff"]; + "LOCKED_IN" [fillcolor="#ffffa0"]; + "ACTIVE" [fillcolor="#a0ffa0"]; + "FAILED" [fillcolor="#ffa0a0"]; + + { rank=same; "STARTED" "MUST_SIGNAL" } + { rank=same; "FAILED" "LOCKED_IN" } + { rank=sink; "ACTIVE" } +} + + diff --git a/bip-0008/states.png b/bip-0008/states.png Binary files differindex 76f6cb7..6477ed3 100644 --- a/bip-0008/states.png +++ b/bip-0008/states.png diff --git a/bip-0008/states.svg b/bip-0008/states.svg index f2e4b34..3503c34 100644 --- a/bip-0008/states.svg +++ b/bip-0008/states.svg @@ -1,55 +1,120 @@ -<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 848 464" width="905" height="495"> - <defs> - <style type="text/css"><![CDATA[ - rect { - fill: white; - stroke: black; - stroke-width: 1; - } - text { - fill: black; - } - svg>path { - stroke: black; - stroke-width: 2; - fill: none; - marker-end: url(#arrow); - } - ]]></style> - <marker id="arrow" markerWidth="13" markerHeight="13" refX="8" refY="6" orient="auto"> - <path d="M0,2 L0,11 L8,6 L0,2" style="fill: black;" /> - </marker> - </defs> - - <rect x="112" y="48" width="128" height="32"/> - <text x="176" y="72" font-size="20" text-anchor="middle">DEFINED</text> - <path d="M 128 80 a 24 32 0 1 1 0 -32"/><!-- loop --> - <path d="M 176 80 l 0 96"/> - <text x="182" y="128" font-size="12" text-anchor="start">startheight <= height</text> - <rect x="112" y="176" width="128" height="32"/> - <text x="176" y="200" font-size="20" text-anchor="middle">STARTED</text> - <path d="M 128 208 a 24 32 0 1 1 0 -32"/><!-- loop --> - <path d="M 176 208 l 0 96"/> - <text x="182" y="232" font-size="12" text-anchor="start">(lockinontimeout == false) AND (height < timeoutheight) AND (threshold reached)</text> - <text x="304" y="256" font-size="12" text-anchor="start">OR</text> - <text x="182" y="280" font-size="12" text-anchor="start">(lockinontimeout == true) AND ((height >= timeoutheight) OR (threshold reached))</text> - <rect x="112" y="304" width="128" height="32"/> - <text x="176" y="328" font-size="20" text-anchor="middle">LOCKED_IN</text> - <path d="M 176 336 l 0 48"/> - <text x="182" y="360" font-size="12" text-anchor="start">Always</text> - <rect x="112" y="384" width="128" height="32"/> - <text x="176" y="408" font-size="20" text-anchor="middle">ACTIVE</text> - <path d="M 128 416 a 24 32 0 1 1 0 -32"/><!-- loop --> - - <rect x="640" y="176" width="128" height="32"/> - <text x="704" y="200" font-size="20" text-anchor="middle">FAILING</text> - <path d="M 240 192 l 400 0"/> - <text x="408" y="184" font-size="12" text-anchor="middle">(lockinontimeout == false) AND (timeoutheight <= height)</text> - <path d="M 704 208 l 0 176"/> - <text x="720" y="296" font-size="12" text-anchor="start">NOT all blocks signal</text> - <path d="M 656 208 c 0 196 -416 176 -416 176"/> - <text x="544" y="352" font-size="12" text-anchor="start">all blocks signal</text> - <rect x="640" y="384" width="128" height="32"/> - <text x="704" y="408" font-size="20" text-anchor="middle">FAILED</text> - <path d="M 756 416 a 24 32 0 1 0 0 -32"/><!-- loop --> +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" + "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"> +<!-- Generated by graphviz version 2.42.3 (20191010.1750) + --> +<!-- Title: %3 Pages: 1 --> +<svg width="563pt" height="348pt" + viewBox="0.00 0.00 563.00 348.37" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> +<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 344.37)"> +<title>%3</title> +<polygon fill="white" stroke="transparent" points="-4,4 -4,-344.37 559,-344.37 559,4 -4,4"/> +<!-- DEFINED --> +<g id="node1" class="node"> +<title>DEFINED</title> +<path fill="lightgrey" stroke="black" stroke-width="2" d="M114,-333.75C114,-333.75 30,-333.75 30,-333.75 24,-333.75 18,-327.75 18,-321.75 18,-321.75 18,-309.75 18,-309.75 18,-303.75 24,-297.75 30,-297.75 30,-297.75 114,-297.75 114,-297.75 120,-297.75 126,-303.75 126,-309.75 126,-309.75 126,-321.75 126,-321.75 126,-327.75 120,-333.75 114,-333.75"/> +<text text-anchor="middle" x="72" y="-312.05" font-family="Arial" font-size="14.00">DEFINED</text> +</g> +<!-- DEFINED->DEFINED --> +<g id="edge8" class="edge"> +<title>DEFINED:sw->DEFINED:nw</title> +<path fill="none" stroke="black" d="M18,-297.75C12,-287.25 0,-287.25 0,-315.75 0,-334.01 4.92,-340.57 10.04,-340.17"/> +<polygon fill="black" stroke="black" points="12.41,-342.75 18,-333.75 8.02,-337.3 12.41,-342.75"/> +</g> +<!-- STARTED --> +<g id="node2" class="node"> +<title>STARTED</title> +<path fill="#a0a0ff" stroke="black" stroke-width="2" d="M114,-246.75C114,-246.75 30,-246.75 30,-246.75 24,-246.75 18,-240.75 18,-234.75 18,-234.75 18,-222.75 18,-222.75 18,-216.75 24,-210.75 30,-210.75 30,-210.75 114,-210.75 114,-210.75 120,-210.75 126,-216.75 126,-222.75 126,-222.75 126,-234.75 126,-234.75 126,-240.75 120,-246.75 114,-246.75"/> +<text text-anchor="middle" x="72" y="-225.05" font-family="Arial" font-size="14.00">STARTED</text> +</g> +<!-- DEFINED->STARTED --> +<g id="edge1" class="edge"> +<title>DEFINED->STARTED</title> +<path fill="none" stroke="black" d="M72,-297.55C72,-285.91 72,-270.3 72,-256.99"/> +<polygon fill="black" stroke="black" points="75.5,-256.93 72,-246.93 68.5,-256.93 75.5,-256.93"/> +<text text-anchor="middle" x="133" y="-268.55" font-family="Times,serif" font-size="14.00">height >= start_height</text> +</g> +<!-- STARTED->STARTED --> +<g id="edge9" class="edge"> +<title>STARTED:sw->STARTED:nw</title> +<path fill="none" stroke="black" d="M18,-210.75C12,-200.25 0,-200.25 0,-228.75 0,-247.01 4.92,-253.57 10.04,-253.17"/> +<polygon fill="black" stroke="black" points="12.41,-255.75 18,-246.75 8.02,-250.3 12.41,-255.75"/> +</g> +<!-- MUST_SIGNAL --> +<g id="node3" class="node"> +<title>MUST_SIGNAL</title> +<path fill="#a0a0ff" stroke="black" stroke-width="2" d="M543,-246.75C543,-246.75 459,-246.75 459,-246.75 453,-246.75 447,-240.75 447,-234.75 447,-234.75 447,-222.75 447,-222.75 447,-216.75 453,-210.75 459,-210.75 459,-210.75 543,-210.75 543,-210.75 549,-210.75 555,-216.75 555,-222.75 555,-222.75 555,-234.75 555,-234.75 555,-240.75 549,-246.75 543,-246.75"/> +<text text-anchor="middle" x="501" y="-225.05" font-family="Arial" font-size="14.00">MUST_SIGNAL</text> +</g> +<!-- STARTED->MUST_SIGNAL --> +<g id="edge2" class="edge"> +<title>STARTED->MUST_SIGNAL</title> +<path fill="none" stroke="black" d="M126.33,-228.75C205.44,-228.75 352.08,-228.75 436.54,-228.75"/> +<polygon fill="black" stroke="black" points="436.77,-232.25 446.77,-228.75 436.77,-225.25 436.77,-232.25"/> +<text text-anchor="middle" x="286.5" y="-235.55" font-family="Times,serif" font-size="14.00">height + 2016 >= timeoutheight AND lockinontimeout</text> +</g> +<!-- FAILED --> +<g id="node4" class="node"> +<title>FAILED</title> +<path fill="#ffa0a0" stroke="black" stroke-width="2" d="M114,-129.75C114,-129.75 30,-129.75 30,-129.75 24,-129.75 18,-123.75 18,-117.75 18,-117.75 18,-105.75 18,-105.75 18,-99.75 24,-93.75 30,-93.75 30,-93.75 114,-93.75 114,-93.75 120,-93.75 126,-99.75 126,-105.75 126,-105.75 126,-117.75 126,-117.75 126,-123.75 120,-129.75 114,-129.75"/> +<text text-anchor="middle" x="72" y="-108.05" font-family="Arial" font-size="14.00">FAILED</text> +</g> +<!-- STARTED->FAILED --> +<g id="edge3" class="edge"> +<title>STARTED->FAILED</title> +<path fill="none" stroke="black" d="M72,-210.28C72,-191.69 72,-161.99 72,-140.25"/> +<polygon fill="black" stroke="black" points="75.5,-140 72,-130 68.5,-140 75.5,-140"/> +<text text-anchor="middle" x="139" y="-181.55" font-family="Times,serif" font-size="14.00">height >= timeoutheight</text> +<text text-anchor="middle" x="139" y="-166.55" font-family="Times,serif" font-size="14.00">AND</text> +<text text-anchor="middle" x="139" y="-151.55" font-family="Times,serif" font-size="14.00">NOT lockinontimeout</text> +</g> +<!-- LOCKED_IN --> +<g id="node5" class="node"> +<title>LOCKED_IN</title> +<path fill="#ffffa0" stroke="black" stroke-width="2" d="M543,-129.75C543,-129.75 459,-129.75 459,-129.75 453,-129.75 447,-123.75 447,-117.75 447,-117.75 447,-105.75 447,-105.75 447,-99.75 453,-93.75 459,-93.75 459,-93.75 543,-93.75 543,-93.75 549,-93.75 555,-99.75 555,-105.75 555,-105.75 555,-117.75 555,-117.75 555,-123.75 549,-129.75 543,-129.75"/> +<text text-anchor="middle" x="501" y="-108.05" font-family="Arial" font-size="14.00">LOCKED_IN</text> +</g> +<!-- STARTED->LOCKED_IN --> +<g id="edge6" class="edge"> +<title>STARTED->LOCKED_IN</title> +<path fill="none" stroke="black" d="M126.15,-214.34C151.63,-207.94 182.41,-200.1 210,-192.75 281.79,-173.62 299.35,-167.41 371,-147.75 392.5,-141.85 416.03,-135.49 437.09,-129.83"/> +<polygon fill="black" stroke="black" points="438.14,-133.17 446.89,-127.19 436.32,-126.41 438.14,-133.17"/> +<text text-anchor="middle" x="434" y="-181.55" font-family="Times,serif" font-size="14.00">height < timeoutheight</text> +<text text-anchor="middle" x="434" y="-166.55" font-family="Times,serif" font-size="14.00">AND</text> +<text text-anchor="middle" x="434" y="-151.55" font-family="Times,serif" font-size="14.00">threshold reached</text> +</g> +<!-- MUST_SIGNAL->LOCKED_IN --> +<g id="edge5" class="edge"> +<title>MUST_SIGNAL->LOCKED_IN</title> +<path fill="none" stroke="black" d="M501,-210.28C501,-191.69 501,-161.99 501,-140.25"/> +<polygon fill="black" stroke="black" points="504.5,-140 501,-130 497.5,-140 504.5,-140"/> +<text text-anchor="middle" x="520" y="-166.55" font-family="Times,serif" font-size="14.00">always</text> +</g> +<!-- FAILED->FAILED --> +<g id="edge11" class="edge"> +<title>FAILED:sw->FAILED:nw</title> +<path fill="none" stroke="black" d="M18,-93.75C12,-83.25 0,-83.25 0,-111.75 0,-130.01 4.92,-136.57 10.04,-136.17"/> +<polygon fill="black" stroke="black" points="12.41,-138.75 18,-129.75 8.02,-133.3 12.41,-138.75"/> +</g> +<!-- FAILED->LOCKED_IN --> +<!-- ACTIVE --> +<g id="node6" class="node"> +<title>ACTIVE</title> +<path fill="#a0ffa0" stroke="black" stroke-width="2" d="M543,-42.75C543,-42.75 459,-42.75 459,-42.75 453,-42.75 447,-36.75 447,-30.75 447,-30.75 447,-18.75 447,-18.75 447,-12.75 453,-6.75 459,-6.75 459,-6.75 543,-6.75 543,-6.75 549,-6.75 555,-12.75 555,-18.75 555,-18.75 555,-30.75 555,-30.75 555,-36.75 549,-42.75 543,-42.75"/> +<text text-anchor="middle" x="501" y="-21.05" font-family="Arial" font-size="14.00">ACTIVE</text> +</g> +<!-- LOCKED_IN->ACTIVE --> +<g id="edge4" class="edge"> +<title>LOCKED_IN->ACTIVE</title> +<path fill="none" stroke="black" d="M501,-93.55C501,-81.91 501,-66.3 501,-52.99"/> +<polygon fill="black" stroke="black" points="504.5,-52.93 501,-42.93 497.5,-52.93 504.5,-52.93"/> +<text text-anchor="middle" x="520" y="-64.55" font-family="Times,serif" font-size="14.00">always</text> +</g> +<!-- ACTIVE->ACTIVE --> +<g id="edge10" class="edge"> +<title>ACTIVE:sw->ACTIVE:nw</title> +<path fill="none" stroke="black" d="M447,-6.75C441,3.75 429,3.75 429,-24.75 429,-43.01 433.92,-49.57 439.04,-49.17"/> +<polygon fill="black" stroke="black" points="441.41,-51.75 447,-42.75 437.02,-46.3 441.41,-51.75"/> +</g> +</g> </svg> |