apply_tx_diagram.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->

<svg
   xmlns:dc="http://purl.org/dc/elements/1.1/"
   xmlns:cc="http://creativecommons.org/ns#"
   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
   xmlns:svg="http://www.w3.org/2000/svg"
   xmlns="http://www.w3.org/2000/svg"
   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
   version="1.2"
   width="1059.9375"
   height="1067.0938"
   id="svg2"
   inkscape:version="0.48.4 r9939"
   sodipodi:docname="apply_tx_diagram.svg"
   inkscape:export-filename="/home/vub/Work/ethereum/docs/diagrams/state_transition.png"
   inkscape:export-xdpi="90"
   inkscape:export-ydpi="90">
  <sodipodi:namedview
     pagecolor="#ffffff"
     bordercolor="#666666"
     borderopacity="1"
     objecttolerance="10"
     gridtolerance="10"
     guidetolerance="10"
     inkscape:pageopacity="0"
     inkscape:pageshadow="2"
     inkscape:window-width="1600"
     inkscape:window-height="851"
     id="namedview186"
     showgrid="false"
     inkscape:zoom="0.33714286"
     inkscape:cx="634.79319"
     inkscape:cy="790.53507"
     inkscape:window-x="0"
     inkscape:window-y="25"
     inkscape:window-maximized="1"
     inkscape:current-layer="layer1"
     fit-margin-top="50"
     fit-margin-left="50"
     fit-margin-bottom="50"
     fit-margin-right="50" />
  <defs
     id="defs4" />
  <metadata
     id="metadata7">
    <rdf:RDF>
      <cc:Work
         rdf:about="">
        <dc:format>image/svg+xml</dc:format>
        <dc:type
           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
        <dc:title></dc:title>
      </cc:Work>
    </rdf:RDF>
  </metadata>
  <g
     transform="translate(6.71875,183.34375)"
     id="layer1">
    <rect
       width="206.02386"
       height="83.461945"
       x="234.98808"
       y="-131.84447"
       id="rect2985"
       style="fill:none;stroke:#000000;stroke-width:2.97613692;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
    <flowRoot
       transform="translate(173,-252)"
       id="flowRoot2987"
       xml:space="preserve"
       style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"><flowRegion
         id="flowRegion2989"><rect
           width="178"
           height="74"
           x="76"
           y="122.36218"
           id="rect2991" /></flowRegion><flowPara
         id="flowPara2993"
         style="font-size:20px;text-align:center;text-anchor:middle">Determine sending address from sig</flowPara></flowRoot>    <rect
       width="206.19284"
       height="74.192841"
       x="234.90356"
       y="285.26575"
       id="rect2985-9-2"
       style="fill:none;stroke:#000000;stroke-width:2.80716348;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
    <flowRoot
       transform="translate(164.98047,174.00826)"
       id="flowRoot2987-4-2"
       xml:space="preserve"
       style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"><flowRegion
         id="flowRegion2989-4-0"><rect
           width="192.68146"
           height="75.048676"
           x="76"
           y="122.36218"
           id="rect2991-1-7" /></flowRegion><flowPara
         id="flowPara3040-63"
         style="font-size:20px;text-align:center;text-anchor:middle">COST &lt;= sending account balance?</flowPara></flowRoot>    <rect
       width="205.59845"
       height="109.25343"
       x="235.20076"
       y="126.56294"
       id="rect2985-9-3-0"
       style="fill:none;stroke:#000000;stroke-width:3.40155363;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
    <flowRoot
       transform="translate(168.98047,9.00827)"
       id="flowRoot2987-4-9-4"
       xml:space="preserve"
       style="font-size:40px;font-style:normal;font-weight:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"><flowRegion
         id="flowRegion2989-4-9-4"><rect
           width="189.53543"
           height="123.28774"
           x="76"
           y="122.36218"
           id="rect2991-1-5-3"
           style="text-align:start;text-anchor:start" /></flowRegion><flowPara
         id="flowPara4182"
         style="font-size:18px;text-align:start;text-anchor:start">Set:</flowPara><flowPara
         style="font-size:6px;text-align:start;text-anchor:start"
         id="flowPara4944"> </flowPara><flowPara
         style="font-size:15px;text-align:start;text-anchor:start"
         id="flowPara4950">FEE = (GAS + TXLEN * DATAGAS) * GASPRICE</flowPara><flowPara
         style="font-size:6px;text-align:start;text-anchor:start"
         id="flowPara4948">  </flowPara><flowPara
         style="font-size:15px;text-align:start;text-anchor:start"
         id="flowPara4946">COST = FEE+ VALUE</flowPara></flowRoot>    <flowRoot
       id="flowRoot4638"
       xml:space="preserve"
       style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"><flowRegion
         id="flowRegion4640"><rect
           width="52.325901"
           height="42.426407"
           x="420.02142"
           y="780.83319"
           id="rect4642" /></flowRegion><flowPara
         id="flowPara4644" /></flowRoot>    <path
       d="m 333.99999,406.12327 0,-45.18486"
       id="path3116-9-6-8-7"
       style="fill:none;stroke:#000000;stroke-width:3.24507594;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="M 350,391.90848 334,409.9085"
       id="path3118-1-7-8-2"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 316,393.90848 18,14.00002"
       id="path3120-5-2-2-4"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 332.99999,283.12327 0,-45.18486"
       id="path3116-9-6-8-8"
       style="fill:none;stroke:#000000;stroke-width:3.24507594;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="M 349,268.90848 333,286.9085"
       id="path3118-1-7-8-1"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 315,270.90848 18,14.00002"
       id="path3120-5-2-2-9"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 331.99999,123.12327 0,-45.184864"
       id="path3116-9-6-8-3"
       style="fill:none;stroke:#000000;stroke-width:3.24507594;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="M 348,108.90848 332,126.9085"
       id="path3118-1-7-8-81"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 314,110.90848 18,14.00002"
       id="path3120-5-2-2-1"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <rect
       width="92.556381"
       height="75.107681"
       x="44.790779"
       y="-127.56929"
       id="rect2985-9-4-0-7-3"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
    <flowRoot
       transform="translate(44.178106,-1024.9979)"
       id="flowRoot4319-5-4"
       xml:space="preserve"
       style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"><flowRegion
         id="flowRegion4321-2-6"><rect
           width="76.367531"
           height="48.08326"
           x="15.556349"
           y="920.84033"
           id="rect4323-1-7" /></flowRegion><flowPara
         id="flowPara4325-9-8"
         style="font-size:20px">START</flowPara></flowRoot>    <rect
       width="206.19284"
       height="74.192841"
       x="236.31483"
       y="4.0700684"
       id="rect2985-9-1"
       style="fill:none;stroke:#000000;stroke-width:2.80716348;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
    <flowRoot
       transform="translate(172.39171,-107.18741)"
       id="flowRoot2987-4-1"
       xml:space="preserve"
       style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"><flowRegion
         id="flowRegion2989-4-6"><rect
           width="178"
           height="74"
           x="76"
           y="122.36218"
           id="rect2991-1-0" /></flowRegion><flowPara
         id="flowPara5488"
         style="font-size:20px;text-align:center;text-anchor:middle">Sending account exists?</flowPara></flowRoot>    <path
       d="m 332.41123,-2.07239 0,-45.18486"
       id="path3116-9-6-8-1-7"
       style="fill:none;stroke:#000000;stroke-width:3.24507594;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 348.41124,-16.28718 -16,18.00002"
       id="path3118-1-7-8-12-06"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 314.41124,-14.28718 18,14.00002"
       id="path3120-5-2-2-7-7"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 135.36473,-91.18793 94.57921,0"
       id="path3116-1-9-5-2-0-7"
       style="fill:none;stroke:#000000;stroke-width:2.9780252;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 232.80509,-91.18793 -18,-15.99999"
       id="path3118-9-2-1-5-4-8"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 230.80509,-91.18793 -14,18"
       id="path3120-2-9-5-8-0-2"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <rect
       width="109.08379"
       height="74.856285"
       x="541.21619"
       y="-130.31676"
       id="rect2985-9-4-0-7-5"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
    <flowRoot
       transform="translate(534.47785,-1037.8712)"
       id="flowRoot4319-5-3"
       xml:space="preserve"
       style="font-size:40px;font-style:normal;font-weight:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"><flowRegion
         id="flowRegion4321-2-5"><rect
           width="90.000313"
           height="80.592194"
           x="15.556349"
           y="920.84033"
           id="rect4323-1-2"
           style="text-align:center;text-anchor:middle" /></flowRegion><flowPara
         id="flowPara4325-9-7"
         style="font-size:20px;text-align:center;text-anchor:middle">Exit with error</flowPara></flowRoot>    <flowRoot
       transform="translate(174.78376,-742.14751)"
       id="flowRoot3958-4-1-9-3"
       xml:space="preserve"
       style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"><flowRegion
         id="flowRegion3960-7-9-3-7"><rect
           width="66"
           height="46"
           x="288"
           y="618.36218"
           id="rect3962-4-5-6-0" /></flowRegion><flowPara
         id="flowPara3964-2-8-7-8"
         style="font-size:20px">Error</flowPara></flowRoot>    <path
       d="m 442.15172,-89.914705 94.57921,0"
       id="path3116-1-9-5-2-0-2-8"
       style="fill:none;stroke:#000000;stroke-width:2.9780252;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 539.59208,-89.914705 -18,-15.999985"
       id="path3118-9-2-1-5-4-0-2"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 537.59208,-89.914705 -14,18"
       id="path3120-2-9-5-8-0-29-1"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 588.25816,-50.831157 0,374.208287"
       id="path3116-9-6-8-1-7-5"
       style="fill:none;stroke:#000000;stroke-width:3.16715527;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 604.25817,-36.514388 -16,-18.00002"
       id="path3118-1-7-8-12-06-9"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 570.25817,-40.514388 18,-14.00002"
       id="path3120-5-2-2-7-7-5"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 589.05413,39.341827 -146.21175,0"
       id="path3116-1-9-5-2-4-3-7"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <flowRoot
       transform="translate(208.67168,-613.8419)"
       id="flowRoot3958-4-1-9-6"
       xml:space="preserve"
       style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"><flowRegion
         id="flowRegion3960-7-9-3-1"><rect
           width="66"
           height="46"
           x="288"
           y="618.36218"
           id="rect3962-4-5-6-4" /></flowRegion><flowPara
         id="flowPara3964-2-8-7-88"
         style="font-size:20px">No</flowPara></flowRoot>    <path
       d="m 589.05413,322.8292 -146.21175,0"
       id="path3116-1-9-5-2-4-3-7-6"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <flowRoot
       transform="translate(210.76902,-329.30585)"
       id="flowRoot3958-4-1-9-6-0"
       xml:space="preserve"
       style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"><flowRegion
         id="flowRegion3960-7-9-3-1-2"><rect
           width="66"
           height="46"
           x="288"
           y="618.36218"
           id="rect3962-4-5-6-4-6" /></flowRegion><flowPara
         id="flowPara3964-2-8-7-88-3"
         style="font-size:20px">No</flowPara></flowRoot>    <rect
       width="205.59845"
       height="109.25341"
       x="233.7282"
       y="411.97595"
       id="rect2985-9-3-1-9"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
    <flowRoot
       transform="translate(163.50791,294.42129)"
       id="flowRoot2987-4-9-2-8"
       xml:space="preserve"
       style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"><flowRegion
         id="flowRegion2989-4-9-6-3"><rect
           width="192.09735"
           height="103.36291"
           x="76"
           y="122.36218"
           id="rect2991-1-5-5-0" /></flowRegion><flowPara
         id="flowPara3077-8-1"
         style="font-size:20px;text-align:center;text-anchor:middle">Subtract COST from sender balance and increment nonce</flowPara></flowRoot>    <rect
       width="205.96964"
       height="86.553749"
       x="234.68861"
       y="697.95917"
       id="rect2985-9-3-1-9-8"
       style="fill:none;stroke:#000000;stroke-width:3.03036165;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
    <flowRoot
       transform="translate(164.65394,590.5901)"
       id="flowRoot2987-4-9-2-8-7"
       xml:space="preserve"
       style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"><flowRegion
         id="flowRegion2989-4-9-6-3-8"><rect
           width="192.09735"
           height="103.36291"
           x="76"
           y="122.36218"
           id="rect2991-1-5-5-0-6" /></flowRegion><flowPara
         id="flowPara3077-8-1-8"
         style="font-size:20px;text-align:center;text-anchor:middle">Receiving account has a contract?</flowPara></flowRoot>    <path
       d="m 331.47877,567.91274 0,-45.18486"
       id="path3116-9-6-8-7-6-5"
       style="fill:none;stroke:#000000;stroke-width:3.24507594;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 347.47878,553.69795 -16,18.00002"
       id="path3118-1-7-8-2-8-8"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 313.47877,555.69795 18.00001,14.00002"
       id="path3120-5-2-2-4-9-5"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 333.16051,832.19374 561.93877,0"
       id="path3116-1-9-5-2-0-2-8-0"
       style="fill:none;stroke:#000000;stroke-width:3.12106323;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 333.5761,830.83877 0,-45.18486"
       id="path3116-9-6-8-7-6-5-4"
       style="fill:none;stroke:#000000;stroke-width:3.24507594;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <rect
       width="205.91638"
       height="89.6465"
       x="566.12817"
       y="698.92957"
       id="rect2985-9-8-4"
       style="fill:none;stroke:#000000;stroke-width:3.08362842;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
    <flowRoot
       transform="translate(494.06684,582.8746)"
       id="flowRoot2987-4-91-7"
       xml:space="preserve"
       style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"><flowRegion
         id="flowRegion2989-4-1-6"><rect
           width="198.97351"
           height="114.89834"
           x="76"
           y="122.36218"
           id="rect2991-1-3-2" /></flowRegion><flowPara
         id="flowPara3040-0-1"
         style="font-size:20px;text-align:center;text-anchor:middle">MSGCALL(FROM,TO,VALUE,GAS,DATA)</flowPara></flowRoot>    <path
       d="m 444.37703,741.7016 116.94581,0"
       id="path3116-1-9-5-2-6"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 564.53612,741.7016 -18,-15.99998"
       id="path3118-9-2-1-5-5"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 562.53612,741.7016 -14,18"
       id="path3120-2-9-5-8-9"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <flowRoot
       transform="translate(192.57565,89.287111)"
       id="flowRoot3958-7-5-8-6"
       xml:space="preserve"
       style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"><flowRegion
         id="flowRegion3960-8-8-9-7"><rect
           width="102.76955"
           height="40.343147"
           x="288"
           y="618.36218"
           id="rect3962-2-2-1-8" /></flowRegion><flowPara
         id="flowPara3964-7-4-5-5"
         style="font-size:20px">Yes</flowPara></flowRoot>    <path
       d="m 667.7936,605.65281 0,91.81832"
       id="path3116-9-6-8-7-6-5-7-3"
       style="fill:none;stroke:#000000;stroke-width:3.59966445;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 683.79361,616.54046 -16,-18.00002"
       id="path3118-1-7-8-2-8-8-6-4"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 649.7936,616.54046 18.00001,-14.00002"
       id="path3120-5-2-2-4-9-5-3-0"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <rect
       width="206.19284"
       height="74.192841"
       x="564.9184"
       y="525.50458"
       id="rect2985-9-3-1-6"
       style="fill:none;stroke:#000000;stroke-width:2.80716348;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
    <flowRoot
       transform="translate(494.99528,426.24713)"
       id="flowRoot2987-4-9-2-2"
       xml:space="preserve"
       style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"><flowRegion
         id="flowRegion2989-4-9-6-6"><rect
           width="192.09735"
           height="103.36291"
           x="76"
           y="122.36218"
           id="rect2991-1-5-5-4" /></flowRegion><flowPara
         id="flowPara3077-8-7"
         style="font-size:20px;text-align:center;text-anchor:middle">Revert to S'</flowPara></flowRoot>    <rect
       width="206.19284"
       height="74.192841"
       x="234.47969"
       y="572.61981"
       id="rect2985-9-2-6"
       style="fill:none;stroke:#000000;stroke-width:2.80716348;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
    <flowRoot
       transform="translate(164.55658,461.36233)"
       id="flowRoot2987-4-2-6"
       xml:space="preserve"
       style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"><flowRegion
         id="flowRegion2989-4-0-2"><rect
           width="192.68146"
           height="75.048676"
           x="76"
           y="122.36218"
           id="rect2991-1-7-8" /></flowRegion><flowPara
         id="flowPara3040-63-4"
         style="font-size:20px;text-align:center;text-anchor:middle">Let S' be the current state</flowPara></flowRoot>    <path
       d="m 333.57611,693.47734 0,-45.18485"
       id="path3116-9-6-8-7-4"
       style="fill:none;stroke:#000000;stroke-width:3.24507594;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 349.57612,679.26255 -16,18.00002"
       id="path3118-1-7-8-2-4"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 315.57611,681.26255 18.00001,14.00002"
       id="path3120-5-2-2-4-0"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <flowRoot
       transform="translate(206.80398,12.217262)"
       id="flowRoot3958-7-5-8-6-2"
       xml:space="preserve"
       style="font-size:18px;font-style:normal;font-weight:normal;text-align:end;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:end;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"><flowRegion
         id="flowRegion3960-8-8-9-7-0"><rect
           width="157.30066"
           height="61.316654"
           x="288"
           y="618.36218"
           id="rect3962-2-2-1-8-5"
           style="font-size:18px;text-align:end;text-anchor:end" /></flowRegion><flowPara
         id="flowPara3964-7-4-5-5-5"
         style="font-size:18px;text-align:end;text-anchor:end">Execution runs out of gas</flowPara></flowRoot>    <flowRoot
       transform="translate(474.35569,44.746994)"
       id="flowRoot3958-7-5-8-6-9"
       xml:space="preserve"
       style="font-size:40px;font-style:normal;font-weight:normal;text-align:end;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:end;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"><flowRegion
         id="flowRegion3960-8-8-9-7-4"><rect
           width="120.59703"
           height="87.533539"
           x="288"
           y="618.36218"
           id="rect3962-2-2-1-8-0"
           style="text-align:end;text-anchor:end" /></flowRegion><flowPara
         id="flowPara3964-7-4-5-5-7"
         style="font-size:18px;text-align:end;text-anchor:end">Success</flowPara><flowPara
         style="font-size:18px;text-align:end;text-anchor:end"
         id="flowPara5140">(G gas remaining)</flowPara></flowRoot>    <path
       d="m 892.57303,831.15205 0,-378.61735"
       id="path3116-9-6-8-7-6-5-4-8"
       style="fill:none;stroke:#000000;stroke-width:2.93612623;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 774.66601,742.35188 116.94581,0"
       id="path3116-1-9-5-2-6-2"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <flowRoot
       transform="translate(60.250686,175.81061)"
       id="flowRoot3958-7-5-8-6-1"
       xml:space="preserve"
       style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"><flowRegion
         id="flowRegion3960-8-8-9-7-6"><rect
           width="102.76955"
           height="40.343147"
           x="288"
           y="618.36218"
           id="rect3962-2-2-1-8-07" /></flowRegion><flowPara
         id="flowPara3964-7-4-5-5-8"
         style="font-size:20px">No</flowPara></flowRoot>    <path
       d="m 892.6174,334.47519 0,45.18486"
       id="path3116-9-6-8-7-6-5-8"
       style="fill:none;stroke:#000000;stroke-width:3.24507594;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 908.61741,348.68998 -16,-18.00002"
       id="path3118-1-7-8-2-8-8-9"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 874.6174,346.68998 18.00001,-14.00002"
       id="path3120-5-2-2-4-9-5-7"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <rect
       width="206.19284"
       height="74.192841"
       x="795.61835"
       y="380.70444"
       id="rect2985-9-2-6-2"
       style="fill:none;stroke:#000000;stroke-width:2.80716348;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
    <flowRoot
       transform="translate(725.69521,269.44695)"
       id="flowRoot2987-4-2-6-8"
       xml:space="preserve"
       style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"><flowRegion
         id="flowRegion2989-4-0-2-7"><rect
           width="192.68146"
           height="75.048676"
           x="76"
           y="122.36218"
           id="rect2991-1-7-8-0" /></flowRegion><flowPara
         id="flowPara3040-63-4-7"
         style="font-size:20px;text-align:center;text-anchor:middle">Add G * GASPRICE to sender balance</flowPara></flowRoot>    <rect
       width="206.19284"
       height="74.192841"
       x="794.56964"
       y="252.87881"
       id="rect2985-9-2-6-2-2"
       style="fill:none;stroke:#000000;stroke-width:2.80716348;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
    <flowRoot
       transform="translate(724.64651,141.62133)"
       id="flowRoot2987-4-2-6-8-0"
       xml:space="preserve"
       style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"><flowRegion
         id="flowRegion2989-4-0-2-7-3"><rect
           width="192.68146"
           height="75.048676"
           x="76"
           y="122.36218"
           id="rect2991-1-7-8-0-6" /></flowRegion><flowPara
         id="flowPara3040-63-4-7-7"
         style="font-size:20px;text-align:center;text-anchor:middle">Add FEE to miner balance </flowPara></flowRoot>    <text
       xml:space="preserve"
       style="font-size:15px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
       x="1068.6001"
       y="671.17065"
       id="text5190"
       sodipodi:linespacing="125%"
       transform="translate(0,-345.54047)"><tspan
         sodipodi:role="line"
         id="tspan5192"
         x="1068.6001"
         y="671.17065" /></text>
    <path
       d="m 667.80603,288.27548 125.12539,0"
       id="path3116-1-9-5-2-6-4"
       style="fill:none;stroke:#000000;stroke-width:3.10314178;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 796.24961,288.27548 -18,-15.99998"
       id="path3118-9-2-1-5-5-0"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 794.24961,288.27548 -14,18"
       id="path3120-2-9-5-8-9-9"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 668.00617,287.90135 0,235.90501"
       id="path3116-9-6-8-1-7-5-5"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 891.56873,208.44736 0,45.18486"
       id="path3116-9-6-8-7-6-5-8-3"
       style="fill:none;stroke:#000000;stroke-width:3.24507594;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 907.56874,222.66215 -16,-18.00002"
       id="path3118-1-7-8-2-8-8-9-8"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <path
       d="m 873.56873,220.66215 18.00001,-14.00002"
       id="path3120-5-2-2-4-9-5-7-7"
       style="fill:none;stroke:#000000;stroke-width:3;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       inkscape:connector-curvature="0" />
    <rect
       width="206.19284"
       height="74.192841"
       x="793.521"
       y="126.85097"
       id="rect2985-9-2-6-2-2-0"
       style="fill:none;stroke:#000000;stroke-width:2.80716348;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
    <flowRoot
       transform="translate(723.59784,27.593499)"
       id="flowRoot2987-4-2-6-8-0-1"
       xml:space="preserve"
       style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"><flowRegion
         id="flowRegion2989-4-0-2-7-3-5"><rect
           width="192.68146"
           height="75.048676"
           x="76"
           y="122.36218"
           id="rect2991-1-7-8-0-6-2" /></flowRegion><flowPara
         id="flowPara3040-63-4-7-7-9"
         style="font-size:20px;text-align:center;text-anchor:middle">Return new state</flowPara></flowRoot>  </g>
</svg>