channels.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"
   width="1260.9863"
   height="2004.1786"
   id="svg6518"
   version="1.1"
   inkscape:version="0.48.4 r9939"
   sodipodi:docname="drawing-9.svg"
   inkscape:export-filename="/home/vub/drawing-9.png"
   inkscape:export-xdpi="90"
   inkscape:export-ydpi="90">
  <defs
     id="defs6520" />
  <sodipodi:namedview
     id="base"
     pagecolor="#ffffff"
     bordercolor="#666666"
     borderopacity="1.0"
     inkscape:pageopacity="0.0"
     inkscape:pageshadow="2"
     inkscape:zoom="0.35"
     inkscape:cx="171.70958"
     inkscape:cy="1480.3756"
     inkscape:document-units="px"
     inkscape:current-layer="layer1"
     showgrid="false"
     fit-margin-top="0"
     fit-margin-left="0"
     fit-margin-right="0"
     fit-margin-bottom="0"
     inkscape:window-width="1301"
     inkscape:window-height="744"
     inkscape:window-x="65"
     inkscape:window-y="24"
     inkscape:window-maximized="1" />
  <metadata
     id="metadata6523">
    <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
     inkscape:label="Layer 1"
     inkscape:groupmode="layer"
     id="layer1"
     transform="translate(152.58539,124.27233)">
    <path
       transform="translate(586.30748,-151.42242)"
       sodipodi:type="arc"
       style="fill:#ff00ff;stroke:#000000;stroke-width:1.5"
       id="path3795-1"
       sodipodi:cx="92.85714"
       sodipodi:cy="85.933609"
       sodipodi:rx="25.714285"
       sodipodi:ry="26.428572"
       d="m 118.57142,85.933609 a 25.714285,26.428572 0 1 1 -51.428565,0 25.714285,26.428572 0 1 1 51.428565,0 z" />
    <path
       transform="translate(379.16461,-151.99385)"
       sodipodi:type="arc"
       style="fill:#ffff00;stroke:#000000;stroke-width:1.5"
       id="path3795-2"
       sodipodi:cx="92.85714"
       sodipodi:cy="85.933609"
       sodipodi:rx="25.714285"
       sodipodi:ry="26.428572"
       d="m 118.57142,85.933609 a 25.714285,26.428572 0 1 1 -51.428565,0 25.714285,26.428572 0 1 1 51.428565,0 z" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 517.73608,3.9397666 486.30748,-43.203094"
       id="path3831"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 522.17988,-19.075513 -4.602,20.3162796"
       id="path3833"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 492.59318,-9.4888034 22.8571,12.85714"
       id="path3835"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 635.38658,4.6540566 31.4285,-47.1428606"
       id="path3831-6"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 626.95668,-13.389973 10.9785,17.7031596"
       id="path3833-1"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 658.52938,-8.7745134 -22.8571,12.85714"
       id="path3835-5"
       inkscape:connector-curvature="0" />
    <text
       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"
       x="457.49399"
       y="-57.755501"
       id="text3969-3"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-9"
         x="457.49399"
         y="-57.755501"
         style="font-size:22px">U1</tspan></text>
    <text
       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"
       x="663.8913"
       y="-56.766243"
       id="text3969-2-0-2-9"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-7-1-1-6"
         x="663.8913"
         y="-56.766243"
         style="font-size:22px">U2</tspan></text>
    <rect
       style="fill:none;stroke:#000000;stroke-width:1.57722878"
       id="rect3829-5"
       width="152.77992"
       height="104.20848"
       x="502.48898"
       y="21.710503" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 501.30748,68.814787 154.2857,0"
       id="path3911-6"
       inkscape:connector-curvature="0" />
    <text
       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"
       x="505.92245"
       y="46.690971"
       id="text3969-1-5"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-5-6"
         x="505.92245"
         y="46.690971"
         style="font-size:22px">Balance: 20</tspan></text>
    <text
       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"
       x="531.07501"
       y="-9.7376165"
       id="text3969-1-3"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-5-63"
         x="531.07501"
         y="-9.7376165"
         style="font-size:22px">+10</tspan></text>
    <text
       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"
       x="678.80853"
       y="-6.5947948"
       id="text3969-1-3-6"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-5-63-37"
         x="678.80853"
         y="-6.5947948"
         style="font-size:22px">+10</tspan></text>
    <flowRoot
       xml:space="preserve"
       id="flowRoot5444"
       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"
       transform="translate(455.59318,-587.83313)"><flowRegion
         id="flowRegion5446"><rect
           id="rect5448"
           width="174.28572"
           height="194.28574"
           x="35.714287"
           y="659.50507" /></flowRegion><flowPara
         id="flowPara5450"
         style="font-size:20px;text-align:center;text-anchor:middle">hash(code)= 0x57a8b164</flowPara></flowRoot>    <rect
       style="fill:none;stroke:#000000;stroke-width:2.95917511"
       id="rect3829-5-5"
       width="478.54083"
       height="117.11224"
       x="-77.248703"
       y="41.687187" />
    <flowRoot
       xml:space="preserve"
       id="flowRoot5478"
       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"
       transform="translate(-92.97825,-732.11884)"><flowRegion
         id="flowRegion5480"><rect
           id="rect5482"
           width="578.57141"
           height="211.42853"
           x="31.428572"
           y="776.64789" /></flowRegion><flowPara
         id="flowPara5486"
         style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:Ubuntu Mono;-inkscape-font-specification:Ubuntu Mono">if timestamp &gt; 1452835800 and \</flowPara><flowPara
         style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:Ubuntu Mono;-inkscape-font-specification:Ubuntu Mono"
         id="flowPara5490">        verify_signature(input[0], input[1]):</flowPara><flowPara
         style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:Ubuntu Mono;-inkscape-font-specification:Ubuntu Mono"
         id="flowPara5492">    send(U1, 10 + (input[0] - 517) * 0.2)</flowPara><flowPara
         style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:Ubuntu Mono;-inkscape-font-specification:Ubuntu Mono"
         id="flowPara5494">    send(U2, 10 - (input[0] - 517) * 0.2)</flowPara></flowRoot>    <path
       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 398.45032,40.243337 104.28576,27.14286"
       id="path5496"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 502.73608,124.52905 -101.4286,31.42857"
       id="path5498"
       inkscape:connector-curvature="0" />
    <flowRoot
       xml:space="preserve"
       id="flowRoot5500"
       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"
       transform="translate(198.45032,-594.97599)"><flowRegion
         id="flowRegion5502"><rect
           id="rect5504"
           width="445.71432"
           height="344.28574"
           x="568.57141"
           y="506.64789" /></flowRegion><flowPara
         id="flowPara5506"
         style="font-size:32px">1. Parties agree on</flowPara><flowPara
         id="flowPara5508"
         style="font-size:32px">    terms (ie. code),</flowPara><flowPara
         id="flowPara5510"
         style="font-size:32px">    send funds to</flowPara><flowPara
         id="flowPara5512"
         style="font-size:32px">    smart contract </flowPara><flowPara
         id="flowPara5514"
         style="font-size:32px">    containing the </flowPara><flowPara
         id="flowPara5516"
         style="font-size:32px">    hash of the code </flowPara></flowRoot>    <flowRoot
       xml:space="preserve"
       id="flowRoot5500-9"
       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"
       transform="translate(-687.08985,-636.3792)"><flowRegion
         id="flowRegion5502-0"><rect
           id="rect5504-3"
           width="542.85724"
           height="335.71426"
           x="568.57141"
           y="506.64789" /></flowRegion><flowPara
         id="flowPara5516-4"
         style="font-size:23px">&quot;If the time is at least 05:30 GMT on 2016 Jan 15, and the input contains a value and a valid signature from a given oracle, then distribute the funds between user 1 and user 2 based on the value provided  byu the oracle&quot;</flowPara></flowRoot>    <path
       transform="translate(348.94317,384.08652)"
       sodipodi:type="arc"
       style="fill:#ffff00;stroke:#000000;stroke-width:1.5"
       id="path3795-2-5"
       sodipodi:cx="92.85714"
       sodipodi:cy="85.933609"
       sodipodi:rx="25.714285"
       sodipodi:ry="26.428572"
       d="m 118.57142,85.933609 a 25.714285,26.428572 0 1 1 -51.428565,0 25.714285,26.428572 0 1 1 51.428565,0 z" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 487.51458,540.02014 -31.4286,-47.14286"
       id="path3831-4"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 491.95848,517.00486 -4.602,20.31628"
       id="path3833-4"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 462.37178,526.59157 22.8571,12.85714"
       id="path3835-2"
       inkscape:connector-curvature="0" />
    <text
       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"
       x="427.27255"
       y="478.32483"
       id="text3969-3-8"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-9-8"
         x="427.27255"
         y="478.32483"
         style="font-size:22px">U1</tspan></text>
    <rect
       style="fill:none;stroke:#000000;stroke-width:1.57722878"
       id="rect3829-5-4"
       width="152.77992"
       height="104.20848"
       x="506.26755"
       y="539.79089" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 505.08598,586.8952 154.2858,0"
       id="path3911-6-9"
       inkscape:connector-curvature="0" />
    <text
       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"
       x="509.70102"
       y="564.7713"
       id="text3969-1-5-9"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-5-6-4"
         x="509.70102"
         y="564.7713"
         style="font-size:22px">Balance: 20</tspan></text>
    <flowRoot
       xml:space="preserve"
       id="flowRoot5444-6"
       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"
       transform="translate(459.37178,-69.75277)"><flowRegion
         id="flowRegion5446-3"><rect
           id="rect5448-1"
           width="174.28572"
           height="194.28574"
           x="35.714287"
           y="659.50507" /></flowRegion><flowPara
         id="flowPara5450-6"
         style="font-size:20px;text-align:center;text-anchor:middle">hash(code)= 0x57a8b164</flowPara></flowRoot>    <rect
       style="fill:none;stroke:#000000;stroke-width:0.84013379"
       id="rect3829-5-4-8"
       width="91.756248"
       height="49.231293"
       x="343.00446"
       y="522.87421" />
    <text
       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"
       x="350.01434"
       y="553.54865"
       id="text3969-1-5-9-3"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-5-6-4-3"
         x="350.01434"
         y="553.54865"
         style="font-size:22px">(15, 5)</tspan></text>
    <flowRoot
       xml:space="preserve"
       id="flowRoot5500-9-1"
       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"
       transform="translate(-273.34616,75.140415)"><flowRegion
         id="flowRegion5502-0-9"><rect
           id="rect5504-3-0"
           width="168.93256"
           height="313.98114"
           x="568.57141"
           y="506.64789" /></flowRegion><flowPara
         id="flowPara5516-4-8"
         style="font-size:23px">&quot;You should give me 15 coins and give U2 5 coins&quot;</flowPara></flowRoot>    <rect
       style="fill:none;stroke:#000000;stroke-width:1.69437838"
       id="rect3829-5-4-8-5"
       width="379.80563"
       height="48.377048"
       x="-151.7382"
       y="445.33295" />
    <text
       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"
       x="-53.726849"
       y="476.43744"
       id="text3969-1-5-9-5-4"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-5-6-4-0-9"
         x="-53.726849"
         y="476.43744"
         style="font-size:22px">Sig: 0x6079a91c5b204...</tspan></text>
    <path
       style="fill:none;stroke:#000000;stroke-width:0.57308549px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m -59.69254,445.61423 0,50.6716"
       id="path3911-6-5-9"
       inkscape:connector-curvature="0" />
    <text
       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"
       x="-125.15541"
       y="477.58026"
       id="text3969-1-5-9-3-2"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-5-6-4-3-7"
         x="-125.15541"
         y="477.58026"
         style="font-size:22px">567</tspan></text>
    <path
       style="fill:none;stroke:#000000;stroke-width:1.14551556;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 412.60898,470.99401 230.38207,470.89373"
       id="path3831-4-0"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 396.06846,454.53045 14.28582,15.16065"
       id="path3833-4-7"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 410.73608,471.80587 -14.2858,15.16065"
       id="path3833-4-7-4"
       inkscape:connector-curvature="0" />
    <flowRoot
       xml:space="preserve"
       id="flowRoot5500-7"
       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"
       transform="translate(-668.8041,-273.23635)"><flowRegion
         id="flowRegion5502-1"><rect
           id="rect5504-34"
           width="445.71432"
           height="344.28574"
           x="568.57141"
           y="506.64789" /></flowRegion><flowPara
         id="flowPara5516-3"
         style="font-size:32px">2. Oracle provides data (in </flowPara><flowPara
         style="font-size:32px"
         id="flowPara5999">    this case; not all smart </flowPara><flowPara
         style="font-size:32px"
         id="flowPara6001">    contracts require </flowPara><flowPara
         style="font-size:32px"
         id="flowPara6003">    oracles)</flowPara></flowRoot>    <flowRoot
       xml:space="preserve"
       id="flowRoot5500-7-1"
       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"
       transform="translate(184.93582,-187.76648)"><flowRegion
         id="flowRegion5502-1-9"><rect
           id="rect5504-34-8"
           width="445.71432"
           height="344.28574"
           x="568.57141"
           y="506.64789" /></flowRegion><flowPara
         style="font-size:32px"
         id="flowPara6017">3. One party tells the</flowPara><flowPara
         style="font-size:32px"
         id="flowPara6921">    contract how much</flowPara><flowPara
         style="font-size:32px"
         id="flowPara6923">    to send to whom</flowPara></flowRoot>    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m -12.30759,1489.0849 -31.4285,47.1429"
       id="path3831-4-8"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 141.13631,1514.7115 -4.602,20.3163"
       id="path3833-7"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 113.54961,1524.2982 22.8571,12.8572"
       id="path3835-4"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 105.34291,1488.3706 31.4286,47.1429"
       id="path3831-6-2"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m -52.08689,1519.3971 10.9785,17.7031"
       id="path3833-1-00"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m -20.51419,1524.0125 -22.8572,12.8572"
       id="path3835-5-6"
       inkscape:connector-curvature="0" />
    <text
       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"
       x="-21.894699"
       y="1517.2686"
       id="text3969-1-3-2"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-5-63-16"
         x="-21.894699"
         y="1517.2686"
         style="font-size:22px">+15</tspan></text>
    <text
       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"
       x="125.9537"
       y="1509.2271"
       id="text3969-1-3-6-5"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-5-63-37-5"
         x="125.9537"
         y="1509.2271"
         style="font-size:22px">+5</tspan></text>
    <path
       transform="translate(59.12101,1479.428)"
       sodipodi:type="arc"
       style="fill:#ff00ff;stroke:#000000;stroke-width:1.5"
       id="path3795-1-1"
       sodipodi:cx="92.85714"
       sodipodi:cy="85.933609"
       sodipodi:rx="25.714285"
       sodipodi:ry="26.428572"
       d="m 118.57142,85.933609 a 25.714285,26.428572 0 1 1 -51.428565,0 25.714285,26.428572 0 1 1 51.428565,0 z" />
    <path
       transform="translate(-148.02184,1478.8566)"
       sodipodi:type="arc"
       style="fill:#ffff00;stroke:#000000;stroke-width:1.5"
       id="path3795-2-3"
       sodipodi:cx="92.85714"
       sodipodi:cy="85.933609"
       sodipodi:rx="25.714285"
       sodipodi:ry="26.428572"
       d="m 118.57142,85.933609 a 25.714285,26.428572 0 1 1 -51.428565,0 25.714285,26.428572 0 1 1 51.428565,0 z" />
    <text
       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"
       x="-69.692551"
       y="1573.0947"
       id="text3969-3-5"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-9-2"
         x="-69.692551"
         y="1573.0947"
         style="font-size:22px">U1</tspan></text>
    <text
       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"
       x="136.70493"
       y="1574.084"
       id="text3969-2-0-2-9-4"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-7-1-1-6-9"
         x="136.70493"
         y="1574.084"
         style="font-size:22px">U2</tspan></text>
    <rect
       style="fill:none;stroke:#000000;stroke-width:1.57722878"
       id="rect3829-5-4-9"
       width="152.77992"
       height="104.20848"
       x="-23.268967"
       y="1383.8286" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m -24.45039,1430.933 154.2857,0"
       id="path3911-6-9-4"
       inkscape:connector-curvature="0" />
    <flowRoot
       xml:space="preserve"
       id="flowRoot5444-6-7"
       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"
       transform="translate(-70.16469,774.28509)"><flowRegion
         id="flowRegion5446-3-1"><rect
           id="rect5448-1-1"
           width="174.28572"
           height="194.28574"
           x="35.714287"
           y="659.50507" /></flowRegion><flowPara
         id="flowPara5450-6-8"
         style="font-size:20px;text-align:center;text-anchor:middle">hash(code)= 0x57a8b164</flowPara></flowRoot>    <flowRoot
       xml:space="preserve"
       id="flowRoot5500-7-1-8"
       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"
       transform="translate(-661.24171,739.92318)"><flowRegion
         id="flowRegion5502-1-9-4"><rect
           id="rect5504-34-8-3"
           width="445.71432"
           height="344.28574"
           x="568.57141"
           y="506.64789" /></flowRegion><flowPara
         style="font-size:32px"
         id="flowPara6358">5a. Contract distributes</flowPara><flowPara
         style="font-size:32px"
         id="flowPara6362">      funds</flowPara></flowRoot>    <path
       transform="translate(643.58967,384.91569)"
       sodipodi:type="arc"
       style="fill:#ff00ff;stroke:#000000;stroke-width:1.5"
       id="path3795-1-6"
       sodipodi:cx="92.85714"
       sodipodi:cy="85.933609"
       sodipodi:rx="25.714285"
       sodipodi:ry="26.428572"
       d="m 118.57142,85.933609 a 25.714285,26.428572 0 1 1 -51.428565,0 25.714285,26.428572 0 1 1 51.428565,0 z" />
    <text
       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"
       x="721.17346"
       y="479.57187"
       id="text3969-2-0-2-9-2"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-7-1-1-6-5"
         x="721.17346"
         y="479.57187"
         style="font-size:22px">U2</tspan></text>
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 694.11816,452.61096 14.28582,15.16065"
       id="path3833-4-7-6"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 708.78578,469.88638 -14.2858,15.16065"
       id="path3833-4-7-4-4"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1.10201073;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 709.34856,468.90088 591.72791,468.7571"
       id="path3831-4-0-8"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1.19460416;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 596.16519,412.28604 207.91624,412.2349"
       id="path3831-4-0-8-9"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.98913139;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 593.84136,467.08662 0.25666,-53.08378"
       id="path3831-4-0-8-1"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.91353011;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 207.9253,444.90105 0.33226,-34.97663"
       id="path3831-4-0-8-1-0"
       inkscape:connector-curvature="0" />
    <path
       transform="translate(-179.72348,885.14146)"
       sodipodi:type="arc"
       style="fill:#ffff00;stroke:#000000;stroke-width:1.5"
       id="path3795-2-5-4"
       sodipodi:cx="92.85714"
       sodipodi:cy="85.933609"
       sodipodi:rx="25.714285"
       sodipodi:ry="26.428572"
       d="m 118.57142,85.933609 a 25.714285,26.428572 0 1 1 -51.428565,0 25.714285,26.428572 0 1 1 51.428565,0 z" />
    <text
       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"
       x="-101.3941"
       y="979.37988"
       id="text3969-3-8-0"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-9-8-1"
         x="-101.3941"
         y="979.37988"
         style="font-size:22px">U1</tspan></text>
    <rect
       style="fill:none;stroke:#000000;stroke-width:1.57722878"
       id="rect3829-5-4-83"
       width="152.77992"
       height="104.20848"
       x="-22.399094"
       y="1040.8458" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m -23.58066,1087.9501 154.2858,0"
       id="path3911-6-9-5"
       inkscape:connector-curvature="0" />
    <text
       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"
       x="-18.965622"
       y="1065.8262"
       id="text3969-1-5-9-6"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-5-6-4-39"
         x="-18.965622"
         y="1065.8262"
         style="font-size:22px">Balance: 20</tspan></text>
    <flowRoot
       xml:space="preserve"
       id="flowRoot5444-6-9"
       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"
       transform="translate(-69.29486,431.30216)"><flowRegion
         id="flowRegion5446-3-0"><rect
           id="rect5448-1-4"
           width="174.28572"
           height="194.28574"
           x="35.714287"
           y="659.50507" /></flowRegion><flowPara
         id="flowPara5450-6-3"
         style="font-size:20px;text-align:center;text-anchor:middle">hash(code)= 0x57a8b164</flowPara></flowRoot>    <path
       transform="translate(114.92303,885.97063)"
       sodipodi:type="arc"
       style="fill:#ff00ff;stroke:#000000;stroke-width:1.5"
       id="path3795-1-6-9"
       sodipodi:cx="92.85714"
       sodipodi:cy="85.933609"
       sodipodi:rx="25.714285"
       sodipodi:ry="26.428572"
       d="m 118.57142,85.933609 a 25.714285,26.428572 0 1 1 -51.428565,0 25.714285,26.428572 0 1 1 51.428565,0 z" />
    <text
       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"
       x="192.50684"
       y="980.62671"
       id="text3969-2-0-2-9-2-3"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-7-1-1-6-5-0"
         x="192.50684"
         y="980.62671"
         style="font-size:22px">U2</tspan></text>
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 151.93921,1036.1366 31.4286,-47.1429"
       id="path3831-4-09-5"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 147.49531,1013.1213 4.602,20.3163"
       id="path3833-4-0-1"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 177.08201,1022.708 -22.8571,12.8571"
       id="path3835-2-1-3"
       inkscape:connector-curvature="0" />
    <rect
       style="fill:none;stroke:#000000;stroke-width:0.84013379"
       id="rect3829-5-4-8-1"
       width="91.756248"
       height="49.231293"
       x="212.61292"
       y="1023.0176" />
    <text
       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"
       x="219.6228"
       y="1053.6921"
       id="text3969-1-5-9-3-9"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-5-6-4-3-5"
         x="219.6228"
         y="1053.6921"
         style="font-size:22px">(15, 5)</tspan></text>
    <flowRoot
       xml:space="preserve"
       id="flowRoot5500-9-1-3"
       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"
       transform="translate(-351.18948,575.28386)"><flowRegion
         id="flowRegion5502-0-9-0"><rect
           id="rect5504-3-0-9"
           width="168.93256"
           height="313.98114"
           x="568.57141"
           y="506.64789" /></flowRegion><flowPara
         id="flowPara5516-4-8-5"
         style="font-size:20px">&quot;I agree&quot;</flowPara></flowRoot>    <flowRoot
       xml:space="preserve"
       id="flowRoot5500-7-1-8-9"
       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"
       transform="translate(-674.04987,214.06299)"><flowRegion
         id="flowRegion5502-1-9-4-1"><rect
           id="rect5504-34-8-3-6"
           width="445.71432"
           height="344.28574"
           x="568.57141"
           y="506.64789" /></flowRegion><flowPara
         style="font-size:32px"
         id="flowPara6362-5">4a. The other party</flowPara><flowPara
         style="font-size:32px"
         id="flowPara7092">      sends a message</flowPara><flowPara
         style="font-size:32px"
         id="flowPara7094">      to the contract to</flowPara><flowPara
         style="font-size:32px"
         id="flowPara7096">      signify agreement</flowPara></flowRoot>    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 756.95011,1757.041 -31.4285,47.1429"
       id="path3831-4-8-5"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 910.39399,1782.6676 -4.602,20.3163"
       id="path3833-7-6"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 882.80729,1792.2543 22.8571,12.8572"
       id="path3835-4-0"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 874.60059,1756.3267 31.4286,47.1429"
       id="path3831-6-2-3"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 717.17083,1787.3532 10.97848,17.7031"
       id="path3833-1-00-0"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 748.74351,1791.9686 -22.8572,12.8572"
       id="path3835-5-6-1"
       inkscape:connector-curvature="0" />
    <text
       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"
       x="747.36298"
       y="1785.2246"
       id="text3969-1-3-2-5"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-5-63-16-0"
         x="747.36298"
         y="1785.2246"
         style="font-size:22px">+15</tspan></text>
    <text
       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"
       x="895.21149"
       y="1777.1831"
       id="text3969-1-3-6-5-5"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-5-63-37-5-8"
         x="895.21149"
         y="1777.1831"
         style="font-size:22px">+5</tspan></text>
    <path
       transform="translate(828.37869,1747.3841)"
       sodipodi:type="arc"
       style="fill:#ff00ff;stroke:#000000;stroke-width:1.5"
       id="path3795-1-1-9"
       sodipodi:cx="92.85714"
       sodipodi:cy="85.933609"
       sodipodi:rx="25.714285"
       sodipodi:ry="26.428572"
       d="m 118.57142,85.933609 a 25.714285,26.428572 0 1 1 -51.428565,0 25.714285,26.428572 0 1 1 51.428565,0 z" />
    <path
       transform="translate(621.23588,1746.8127)"
       sodipodi:type="arc"
       style="fill:#ffff00;stroke:#000000;stroke-width:1.5"
       id="path3795-2-3-0"
       sodipodi:cx="92.85714"
       sodipodi:cy="85.933609"
       sodipodi:rx="25.714285"
       sodipodi:ry="26.428572"
       d="m 118.57142,85.933609 a 25.714285,26.428572 0 1 1 -51.428565,0 25.714285,26.428572 0 1 1 51.428565,0 z" />
    <text
       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"
       x="699.56519"
       y="1841.0508"
       id="text3969-3-5-8"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-9-2-2"
         x="699.56519"
         y="1841.0508"
         style="font-size:22px">U1</tspan></text>
    <text
       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"
       x="905.96271"
       y="1842.04"
       id="text3969-2-0-2-9-4-4"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-7-1-1-6-9-5"
         x="905.96271"
         y="1842.04"
         style="font-size:22px">U2</tspan></text>
    <rect
       style="fill:none;stroke:#000000;stroke-width:2.16019678"
       id="rect3829-5-4-9-9"
       width="267.35434"
       height="111.70673"
       x="697.79297"
       y="1643.9951" />
    <flowRoot
       xml:space="preserve"
       id="flowRoot5444-6-7-1"
       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"
       transform="translate(703.37874,590.24114)"><flowRegion
         id="flowRegion5446-3-1-0"><rect
           id="rect5448-1-1-4"
           width="174.28572"
           height="194.28574"
           x="35.714287"
           y="659.50507" /></flowRegion><flowPara
         id="flowPara5450-6-8-6"
         style="font-size:20px;text-align:center;text-anchor:middle" /></flowRoot>    <flowRoot
       xml:space="preserve"
       id="flowRoot5500-7-1-8-5"
       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"
       transform="translate(68.441171,638.91329)"><flowRegion
         id="flowRegion5502-1-9-4-6"><rect
           id="rect5504-34-8-3-7"
           width="445.71432"
           height="344.28574"
           x="568.57141"
           y="506.64789" /></flowRegion><flowPara
         style="font-size:32px"
         id="flowPara6362-8">5b. Either party submits</flowPara><flowPara
         style="font-size:32px"
         id="flowPara7417">      the input and original  </flowPara><flowPara
         style="font-size:32px"
         id="flowPara7453">      code</flowPara></flowRoot>    <path
       transform="translate(573.71842,812.47816)"
       sodipodi:type="arc"
       style="fill:#ffff00;stroke:#000000;stroke-width:1.5"
       id="path3795-2-5-4-8"
       sodipodi:cx="92.85714"
       sodipodi:cy="85.933609"
       sodipodi:rx="25.714285"
       sodipodi:ry="26.428572"
       d="m 118.57142,85.933609 a 25.714285,26.428572 0 1 1 -51.428565,0 25.714285,26.428572 0 1 1 51.428565,0 z" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 712.28989,968.4118 680.86124,921.26892"
       id="path3831-4-09-7"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 716.73379,945.3965 -4.602,20.3163"
       id="path3833-4-0-9"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 687.14704,954.9832 22.85715,12.8571"
       id="path3835-2-1-34"
       inkscape:connector-curvature="0" />
    <text
       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"
       x="652.04779"
       y="906.71655"
       id="text3969-3-8-0-8"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-9-8-1-5"
         x="652.04779"
         y="906.71655"
         style="font-size:22px">U1</tspan></text>
    <rect
       style="fill:none;stroke:#000000;stroke-width:1.57722878"
       id="rect3829-5-4-83-8"
       width="152.77992"
       height="104.20848"
       x="731.04291"
       y="968.18262" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 729.86129,1015.2868 154.28581,0"
       id="path3911-6-9-5-0"
       inkscape:connector-curvature="0" />
    <text
       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"
       x="734.47626"
       y="993.16309"
       id="text3969-1-5-9-6-9"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-5-6-4-39-5"
         x="734.47626"
         y="993.16309"
         style="font-size:22px">Balance: 20</tspan></text>
    <flowRoot
       xml:space="preserve"
       id="flowRoot5444-6-9-0"
       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"
       transform="translate(684.14704,358.63885)"><flowRegion
         id="flowRegion5446-3-0-4"><rect
           id="rect5448-1-4-3"
           width="174.28572"
           height="194.28574"
           x="35.714287"
           y="659.50507" /></flowRegion><flowPara
         id="flowPara5450-6-3-1"
         style="font-size:20px;text-align:center;text-anchor:middle">hash(code)= 0x57a8b164</flowPara></flowRoot>    <path
       transform="translate(868.3649,813.30733)"
       sodipodi:type="arc"
       style="fill:#ff00ff;stroke:#000000;stroke-width:1.5"
       id="path3795-1-6-9-7"
       sodipodi:cx="92.85714"
       sodipodi:cy="85.933609"
       sodipodi:rx="25.714285"
       sodipodi:ry="26.428572"
       d="m 118.57142,85.933609 a 25.714285,26.428572 0 1 1 -51.428565,0 25.714285,26.428572 0 1 1 51.428565,0 z" />
    <text
       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"
       x="945.94873"
       y="907.96356"
       id="text3969-2-0-2-9-2-3-3"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-7-1-1-6-5-0-5"
         x="945.94873"
         y="907.96356"
         style="font-size:22px">U2</tspan></text>
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 905.3811,963.4733 31.4286,-47.1429"
       id="path3831-4-09-5-1"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 900.9372,940.458 4.602,20.3163"
       id="path3833-4-0-1-9"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 930.5239,950.0447 -22.8571,12.8571"
       id="path3835-2-1-3-6"
       inkscape:connector-curvature="0" />
    <rect
       style="fill:none;stroke:#000000;stroke-width:0.84013379"
       id="rect3829-5-4-8-1-8"
       width="91.756248"
       height="49.231293"
       x="966.05487"
       y="950.35437" />
    <text
       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"
       x="973.06482"
       y="981.02881"
       id="text3969-1-5-9-3-9-2"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-5-6-4-3-5-8"
         x="973.06482"
         y="981.02881"
         style="font-size:22px">(8, 12)</tspan></text>
    <flowRoot
       xml:space="preserve"
       id="flowRoot5500-9-1-3-4"
       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"
       transform="translate(371.94784,504.64086)"><flowRegion
         id="flowRegion5502-0-9-0-8"><rect
           id="rect5504-3-0-9-4"
           width="168.93256"
           height="313.98114"
           x="568.57141"
           y="506.64789" /></flowRegion><flowPara
         id="flowPara5516-4-8-5-3"
         style="font-size:20px">&quot;I disagree, you should give U1 8 coins and give me 12 coins&quot;</flowPara></flowRoot>    <flowRoot
       xml:space="preserve"
       id="flowRoot5500-7-1-8-9-5"
       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"
       transform="translate(84.347963,214.50192)"><flowRegion
         id="flowRegion5502-1-9-4-1-7"><rect
           id="rect5504-34-8-3-6-1"
           width="445.71432"
           height="344.28574"
           x="568.57141"
           y="506.64789" /></flowRegion><flowPara
         style="font-size:32px"
         id="flowPara6362-5-5">4b. The other party</flowPara><flowPara
         style="font-size:32px"
         id="flowPara7096-9">      challenges</flowPara></flowRoot>    <path
       transform="translate(579.81839,1225.6593)"
       sodipodi:type="arc"
       style="fill:#ffff00;stroke:#000000;stroke-width:1.5"
       id="path3795-2-5-4-8-1"
       sodipodi:cx="92.85714"
       sodipodi:cy="85.933609"
       sodipodi:rx="25.714285"
       sodipodi:ry="26.428572"
       d="m 118.57142,85.933609 a 25.714285,26.428572 0 1 1 -51.428565,0 25.714285,26.428572 0 1 1 51.428565,0 z" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 718.38986,1381.5929 686.96121,1334.45"
       id="path3831-4-09-7-0"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 722.83376,1358.5777 -4.602,20.3162"
       id="path3833-4-0-9-6"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 693.24701,1368.1644 22.85715,12.8571"
       id="path3835-2-1-34-1"
       inkscape:connector-curvature="0" />
    <text
       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"
       x="658.14777"
       y="1319.8976"
       id="text3969-3-8-0-8-0"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-9-8-1-5-5"
         x="658.14777"
         y="1319.8976"
         style="font-size:22px">U1</tspan></text>
    <rect
       style="fill:none;stroke:#000000;stroke-width:1.57722878"
       id="rect3829-5-4-83-8-6"
       width="152.77992"
       height="104.20848"
       x="737.14288"
       y="1381.3635" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 735.96126,1428.468 154.28583,0"
       id="path3911-6-9-5-0-2"
       inkscape:connector-curvature="0" />
    <text
       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"
       x="740.57623"
       y="1406.3441"
       id="text3969-1-5-9-6-9-2"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-5-6-4-39-5-1"
         x="740.57623"
         y="1406.3441"
         style="font-size:22px">Balance: 20</tspan></text>
    <flowRoot
       xml:space="preserve"
       id="flowRoot5444-6-9-0-5"
       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"
       transform="translate(690.24701,771.81996)"><flowRegion
         id="flowRegion5446-3-0-4-9"><rect
           id="rect5448-1-4-3-4"
           width="174.28572"
           height="194.28574"
           x="35.714287"
           y="659.50507" /></flowRegion><flowPara
         id="flowPara5450-6-3-1-0"
         style="font-size:20px;text-align:center;text-anchor:middle">hash(code)= 0x57a8b164</flowPara></flowRoot>    <path
       transform="translate(874.46489,1226.4884)"
       sodipodi:type="arc"
       style="fill:#ff00ff;stroke:#000000;stroke-width:1.5"
       id="path3795-1-6-9-7-2"
       sodipodi:cx="92.85714"
       sodipodi:cy="85.933609"
       sodipodi:rx="25.714285"
       sodipodi:ry="26.428572"
       d="m 118.57142,85.933609 a 25.714285,26.428572 0 1 1 -51.428565,0 25.714285,26.428572 0 1 1 51.428565,0 z" />
    <text
       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"
       x="952.04877"
       y="1321.1448"
       id="text3969-2-0-2-9-2-3-3-5"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3971-7-1-1-6-5-0-5-8"
         x="952.04877"
         y="1321.1448"
         style="font-size:22px">U2</tspan></text>
    <rect
       style="fill:none;stroke:#000000;stroke-width:1.55084014"
       id="rect3829-5-5-6"
       width="265.79681"
       height="57.911427"
       x="414.35919"
       y="1356.8176" />
    <flowRoot
       xml:space="preserve"
       id="flowRoot5478-5"
       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"
       transform="matrix(0.55543187,0,0,0.49449506,405.62247,974.1744)"><flowRegion
         id="flowRegion5480-3"><rect
           id="rect5482-1"
           width="578.57141"
           height="211.42853"
           x="31.428572"
           y="776.64789" /></flowRegion><flowPara
         id="flowPara5486-2"
         style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:Ubuntu Mono;-inkscape-font-specification:Ubuntu Mono">if timestamp &gt; 1452835800 and \</flowPara><flowPara
         style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:Ubuntu Mono;-inkscape-font-specification:Ubuntu Mono"
         id="flowPara5490-0">        verify_signature(input[0], input[1]):</flowPara><flowPara
         style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:Ubuntu Mono;-inkscape-font-specification:Ubuntu Mono"
         id="flowPara5492-2">    send(U1, 10 + (input[0] - 517) * 0.2)</flowPara><flowPara
         style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:Ubuntu Mono;-inkscape-font-specification:Ubuntu Mono"
         id="flowPara5494-8">    send(U2, 10 - (input[0] - 517) * 0.2)</flowPara></flowRoot>    <flowRoot
       xml:space="preserve"
       id="flowRoot5500-7-1-8-6"
       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"
       transform="translate(46.899383,998.4445)"><flowRegion
         id="flowRegion5502-1-9-4-5"><rect
           id="rect5504-34-8-3-9"
           width="445.71432"
           height="344.28574"
           x="568.57141"
           y="506.64789" /></flowRegion><flowPara
         style="font-size:32px"
         id="flowPara6362-55">6b. Contract executes the</flowPara><flowPara
         style="font-size:32px"
         id="flowPara7451">      code and distributes funds correctly</flowPara></flowRoot>    <rect
       style="fill:none;stroke:#000000;stroke-width:0.90913314"
       id="rect3829-5-4-8-5-0"
       width="220.96143"
       height="23.93969"
       x="415.56366"
       y="1319.7668" />
    <text
       xml:space="preserve"
       style="font-size:21.46234131px;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="435.85406"
       y="1447.6749"
       id="text3969-1-5-9-5-4-8"
       sodipodi:linespacing="125%"
       transform="scale(1.0842713,0.9222784)"><tspan
         sodipodi:role="line"
         id="tspan3971-5-6-4-0-9-3"
         x="435.85406"
         y="1447.6749"
         style="font-size:11.80428791px">Sig: 0x6079a91c5b204...</tspan></text>
    <path
       style="fill:none;stroke:#000000;stroke-width:0.3074939px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 467.11353,1319.906 0,25.0751"
       id="path3911-6-5-9-8"
       inkscape:connector-curvature="0" />
    <text
       xml:space="preserve"
       style="font-size:21.46234131px;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="395.68243"
       y="1448.288"
       id="text3969-1-5-9-3-2-0"
       sodipodi:linespacing="125%"
       transform="scale(1.0842713,0.9222784)"><tspan
         sodipodi:role="line"
         id="tspan3971-5-6-4-3-7-5"
         x="395.68243"
         y="1448.288"
         style="font-size:11.80428791px">567</tspan></text>
    <flowRoot
       xml:space="preserve"
       id="flowRoot5478-5-1"
       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"
       transform="matrix(0.55543187,0,0,0.49449506,688.64429,1314.3491)"><flowRegion
         id="flowRegion5480-3-6"><rect
           id="rect5482-1-6"
           width="578.57141"
           height="211.42853"
           x="31.428572"
           y="776.64789" /></flowRegion><flowPara
         id="flowPara5486-2-8"
         style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:Ubuntu Mono;-inkscape-font-specification:Ubuntu Mono">if timestamp &gt; 1452835800 and \</flowPara><flowPara
         style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:Ubuntu Mono;-inkscape-font-specification:Ubuntu Mono"
         id="flowPara5490-0-8">        verify_signature(input[0], input[1]):</flowPara><flowPara
         style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:Ubuntu Mono;-inkscape-font-specification:Ubuntu Mono"
         id="flowPara5492-2-8">    send(U1, 10 + (input[0] - 517) * 0.2)</flowPara><flowPara
         style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:Ubuntu Mono;-inkscape-font-specification:Ubuntu Mono"
         id="flowPara5494-8-3">    send(U2, 10 - (input[0] - 517) * 0.2)</flowPara></flowRoot>    <path
       style="fill:none;stroke:#000000;stroke-width:0.88295859px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 374.04411,707.81359 0,1171.65121"
       id="path4381"
       inkscape:connector-curvature="0" />
  </g>
</svg>