images/proof.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
 -->

<!-- Title: MerkleTree Pages: 1 -->

<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="891pt"
   height="385pt"
   viewBox="0.00 0.00 890.50 384.81"
   version="1.1"
   id="svg315"
   sodipodi:docname="proof.svg"
   inkscape:version="0.92.3 (2405546, 2018-03-11)">
  <metadata
     id="metadata321">
    <rdf:RDF>
      <cc:Work
         rdf:about="">
        <dc:format>image/svg+xml</dc:format>
        <dc:type
           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
      </cc:Work>
    </rdf:RDF>
  </metadata>
  <defs
     id="defs319" />
  <sodipodi:namedview
     pagecolor="#ffffff"
     bordercolor="#666666"
     borderopacity="1"
     objecttolerance="10"
     gridtolerance="10"
     guidetolerance="10"
     inkscape:pageopacity="0"
     inkscape:pageshadow="2"
     inkscape:window-width="1916"
     inkscape:window-height="1016"
     id="namedview317"
     showgrid="false"
     inkscape:zoom="1.5761101"
     inkscape:cx="525.49746"
     inkscape:cy="246.0443"
     inkscape:window-x="0"
     inkscape:window-y="62"
     inkscape:window-maximized="0"
     inkscape:current-layer="svg315" />
  <g
     id="graph0"
     class="graph"
     transform="translate(4,383.80972)">
    <title
       id="title2">MerkleTree</title>
    <polygon
       stroke="transparent"
       points="886.5,-380.8112 886.5,4 -4,4 -4,-380.8112 "
       id="polygon4"
       style="fill:#ffffff" />
    <!-- Foo -->
    <g
       id="node1"
       class="node">
      <title
         id="title6">Foo</title>
      <ellipse
         cx="47"
         cy="-346.40561"
         rx="35.2113"
         ry="30.311501"
         id="ellipse8"
         style="fill:none;stroke:#000000" />
      <text
         x="47"
         y="-342.7056"
         font-size="14.00"
         id="text10"
         style="font-size:14px;font-family:Times, serif;text-anchor:middle;fill:#000000">Foo</text>
    </g>
    <!-- 8 -->
    <g
       id="node2"
       class="node">
      <title
         id="title13">8</title>
      <polygon
         points="0,-237 94,-237 94,-280 0,-280 "
         id="polygon15"
         style="fill:none;stroke:#000000" />
      <text
         x="47"
         y="-254.8"
         font-size="14.00"
         id="text17"
         style="font-size:14px;font-family:Times, serif;text-anchor:middle;fill:#000000">7b50…c81f</text>
    </g>
    <!-- Foo&#45;&gt;8 -->
    <g
       id="edge1"
       class="edge">
      <title
         id="title20">Foo-&gt;8</title>
      <path
         d="m 47,-315.6605 c 0,8.2157 0,17.1101 0,25.3803"
         id="path22"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="43.5001,-290.2366 50.5001,-290.2365 47,-280.2365 "
         id="polygon24"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- 4 -->
    <g
       id="node3"
       class="node">
      <title
         id="title27">4</title>
      <polygon
         points="206.5,-158 206.5,-201 113.5,-201 113.5,-158 "
         id="polygon29"
         style="fill:#00ff00;stroke:#000000" />
      <text
         x="160"
         y="-175.8"
         font-size="14.00"
         id="text31"
         style="font-size:14px;font-family:Times, serif;text-anchor:middle;fill:#000000">e9e0…f637</text>
    </g>
    <!-- 8&#45;&gt;4 -->
    <g
       id="edge2"
       class="edge">
      <title
         id="title34">8-&gt;4</title>
      <path
         d="m 77.8777,-236.9129 c 13.204,9.2311 28.7767,20.1182 42.7918,29.9164"
         id="path36"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="118.9584,-203.9223 122.9693,-209.6593 129.1596,-201.061 "
         id="polygon38"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- 9 -->
    <g
       id="node5"
       class="node">
      <title
         id="title41">9</title>
      <polygon
         points="112,-237 208,-237 208,-280 112,-280 "
         id="polygon43"
         style="fill:none;stroke:#000000" />
      <text
         x="160"
         y="-254.8"
         font-size="14.00"
         id="text45"
         style="font-size:14px;font-family:Times, serif;text-anchor:middle;fill:#000000">03c7…6406</text>
    </g>
    <!-- 8&#45;&gt;9 -->
    <g
       id="edge4"
       class="edge">
      <title
         id="title48">8-&gt;9</title>
    </g>
    <!-- 2 -->
    <g
       id="node20"
       class="node">
      <title
         id="title51">2</title>
      <polygon
         points="280.5,-79 377.5,-79 377.5,-122 280.5,-122 "
         id="polygon53"
         style="fill:none;stroke:#000000" />
      <text
         x="329"
         y="-96.800003"
         font-size="14.00"
         id="text55"
         style="font-size:14px;font-family:Times, serif;text-anchor:middle;fill:#000000">7799…9592</text>
    </g>
    <!-- 4&#45;&gt;2 -->
    <g
       id="edge25"
       class="edge">
      <title
         id="title58">4-&gt;2</title>
      <path
         d="m 206.18,-157.9129 c 20.8654,9.7536 45.6856,21.356 67.5343,31.5693"
         id="path60"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="272.3346,-123.1251 275.2989,-129.4665 282.8758,-122.061 "
         id="polygon62"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- Bar -->
    <g
       id="node4"
       class="node">
      <title
         id="title65">Bar</title>
      <ellipse
         cx="160"
         cy="-346.40561"
         rx="33.882401"
         ry="30.311501"
         id="ellipse67"
         style="fill:none;stroke:#000000" />
      <text
         x="160"
         y="-342.7056"
         font-size="14.00"
         id="text69"
         style="font-size:14px;font-family:Times, serif;text-anchor:middle;fill:#000000">Bar</text>
    </g>
    <!-- Bar&#45;&gt;9 -->
    <g
       id="edge3"
       class="edge">
      <title
         id="title72">Bar-&gt;9</title>
      <path
         d="m 160,-315.6605 c 0,8.2157 0,17.1101 0,25.3803"
         id="path74"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="156.5001,-290.2366 163.5001,-290.2365 160,-280.2365 "
         id="polygon76"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- 9&#45;&gt;4 -->
    <g
       id="edge5"
       class="edge">
      <title
         id="title79">9-&gt;4</title>
      <path
         d="m 160,-236.9129 c 0,7.9248 0,17.0701 0,25.6991"
         id="path81"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="156.5001,-211.061 163.5001,-211.061 160,-201.061 "
         id="polygon83"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- 10 -->
    <g
       id="node7"
       class="node">
      <title
         id="title86">10</title>
      <polygon
         points="226.5,-237 319.5,-237 319.5,-280 226.5,-280 "
         id="polygon88"
         style="fill:none;stroke:#000000" />
      <text
         x="273"
         y="-254.8"
         font-size="14.00"
         id="text90"
         style="font-size:14px;font-family:Times, serif;text-anchor:middle;fill:#000000">6d5f…2ae0</text>
    </g>
    <!-- 9&#45;&gt;10 -->
    <g
       id="edge7"
       class="edge">
      <title
         id="title93">9-&gt;10</title>
    </g>
    <!-- Baz -->
    <g
       id="node6"
       class="node">
      <title
         id="title96">Baz</title>
      <ellipse
         cx="273"
         cy="-346.40561"
         rx="35.2113"
         ry="30.311501"
         id="ellipse98"
         style="fill:#ff4040;stroke:#000000" />
      <text
         x="273"
         y="-342.7056"
         font-size="14.00"
         id="text100"
         style="font-size:14px;font-family:Times, serif;text-anchor:middle;fill:#000000">Baz</text>
    </g>
    <!-- Baz&#45;&gt;10 -->
    <g
       id="edge6"
       class="edge">
      <title
         id="title103">Baz-&gt;10</title>
      <path
         d="m 273,-315.6605 c 0,8.2157 0,17.1101 0,25.3803"
         id="path105"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="269.5001,-290.2366 276.5001,-290.2365 273,-280.2365 "
         id="polygon107"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- 5 -->
    <g
       id="node8"
       class="node">
      <title
         id="title110">5</title>
      <polygon
         points="283,-158 375,-158 375,-201 283,-201 "
         id="polygon112"
         style="fill:none;stroke:#000000" />
      <text
         x="329"
         y="-175.8"
         font-size="14.00"
         id="text114"
         style="font-size:14px;font-family:Times, serif;text-anchor:middle;fill:#000000">f277…7fd5</text>
    </g>
    <!-- 10&#45;&gt;5 -->
    <g
       id="edge8"
       class="edge">
      <title
         id="title117">10-&gt;5</title>
      <path
         d="m 288.3022,-236.9129 c 6.0498,8.5344 13.1028,18.4843 19.6217,27.6805"
         id="path119"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="305.0778,-207.1952 310.7886,-211.2433 313.7163,-201.061 "
         id="polygon121"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- 11 -->
    <g
       id="node10"
       class="node">
      <title
         id="title124">11</title>
      <polygon
         points="432.5,-237 432.5,-280 337.5,-280 337.5,-237 "
         id="polygon126"
         style="fill:#00ff00;stroke:#000000" />
      <text
         x="385"
         y="-254.8"
         font-size="14.00"
         id="text128"
         style="font-size:14px;font-family:Times, serif;text-anchor:middle;fill:#000000">d5d1…3cda</text>
    </g>
    <!-- 10&#45;&gt;11 -->
    <g
       id="edge10"
       class="edge">
      <title
         id="title131">10-&gt;11</title>
    </g>
    <!-- 5&#45;&gt;2 -->
    <g
       id="edge24"
       class="edge">
      <title
         id="title134">5-&gt;2</title>
      <path
         d="m 329,-157.9129 c 0,7.9248 0,17.0701 0,25.6991"
         id="path136"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="325.5001,-132.061 332.5001,-132.061 329,-122.061 "
         id="polygon138"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- Qux -->
    <g
       id="node9"
       class="node">
      <title
         id="title141">Qux</title>
      <ellipse
         cx="385"
         cy="-346.40561"
         rx="36.540501"
         ry="30.311501"
         id="ellipse143"
         style="fill:none;stroke:#000000" />
      <text
         x="385"
         y="-342.7056"
         font-size="14.00"
         id="text145"
         style="font-size:14px;font-family:Times, serif;text-anchor:middle;fill:#000000">Qux</text>
    </g>
    <!-- Qux&#45;&gt;11 -->
    <g
       id="edge9"
       class="edge">
      <title
         id="title148">Qux-&gt;11</title>
      <path
         d="m 385,-315.6605 c 0,8.2157 0,17.1101 0,25.3803"
         id="path150"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="381.5001,-290.2366 388.5001,-290.2365 385,-280.2365 "
         id="polygon152"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- 11&#45;&gt;5 -->
    <g
       id="edge11"
       class="edge">
      <title
         id="title155">11-&gt;5</title>
      <path
         d="m 369.6978,-236.9129 c -6.0498,8.5344 -13.1028,18.4843 -19.6217,27.6805"
         id="path157"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="347.2114,-211.2433 352.9222,-207.1952 344.2837,-201.061 "
         id="polygon159"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- 12 -->
    <g
       id="node12"
       class="node">
      <title
         id="title162">12</title>
      <polygon
         points="450.5,-237 543.5,-237 543.5,-280 450.5,-280 "
         id="polygon164"
         style="fill:none;stroke:#000000" />
      <text
         x="497"
         y="-254.8"
         font-size="14.00"
         id="text166"
         style="font-size:14px;font-family:Times, serif;text-anchor:middle;fill:#000000">2fec…1151</text>
    </g>
    <!-- 11&#45;&gt;12 -->
    <g
       id="edge13"
       class="edge">
      <title
         id="title169">11-&gt;12</title>
    </g>
    <!-- Quux -->
    <g
       id="node11"
       class="node">
      <title
         id="title172">Quux</title>
      <ellipse
         cx="497"
         cy="-346.40561"
         rx="41.9398"
         ry="30.311501"
         id="ellipse174"
         style="fill:none;stroke:#000000" />
      <text
         x="497"
         y="-342.7056"
         font-size="14.00"
         id="text176"
         style="font-size:14px;font-family:Times, serif;text-anchor:middle;fill:#000000">Quux</text>
    </g>
    <!-- Quux&#45;&gt;12 -->
    <g
       id="edge12"
       class="edge">
      <title
         id="title179">Quux-&gt;12</title>
      <path
         d="m 497,-315.6605 c 0,8.2157 0,17.1101 0,25.3803"
         id="path181"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="493.5001,-290.2366 500.5001,-290.2365 497,-280.2365 "
         id="polygon183"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- 6 -->
    <g
       id="node13"
       class="node">
      <title
         id="title186">6</title>
      <polygon
         points="501.5,-158 598.5,-158 598.5,-201 501.5,-201 "
         id="polygon188"
         style="fill:none;stroke:#000000" />
      <text
         x="550"
         y="-175.8"
         font-size="14.00"
         id="text190"
         style="font-size:14px;font-family:Times, serif;text-anchor:middle;fill:#000000">3705…4377</text>
    </g>
    <!-- 12&#45;&gt;6 -->
    <g
       id="edge14"
       class="edge">
      <title
         id="title193">12-&gt;6</title>
      <path
         d="m 511.4825,-236.9129 c 5.6672,8.4473 12.2647,18.2814 18.3814,27.3987"
         id="path195"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="527.0572,-207.4154 532.8703,-211.3153 535.535,-201.061 "
         id="polygon197"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- 13 -->
    <g
       id="node15"
       class="node">
      <title
         id="title200">13</title>
      <polygon
         points="561.5,-237 652.5,-237 652.5,-280 561.5,-280 "
         id="polygon202"
         style="fill:none;stroke:#000000" />
      <text
         x="607"
         y="-254.8"
         font-size="14.00"
         id="text204"
         style="font-size:14px;font-family:Times, serif;text-anchor:middle;fill:#000000">aff2…62e5</text>
    </g>
    <!-- 12&#45;&gt;13 -->
    <g
       id="edge16"
       class="edge">
      <title
         id="title207">12-&gt;13</title>
    </g>
    <!-- 3 -->
    <g
       id="node19"
       class="node">
      <title
         id="title210">3</title>
      <polygon
         points="597.5,-79 597.5,-122 502.5,-122 502.5,-79 "
         id="polygon212"
         style="fill:#00ff00;stroke:#000000" />
      <text
         x="550"
         y="-96.800003"
         font-size="14.00"
         id="text214"
         style="font-size:14px;font-family:Times, serif;text-anchor:middle;fill:#000000">5082…d5f0</text>
    </g>
    <!-- 6&#45;&gt;3 -->
    <g
       id="edge23"
       class="edge">
      <title
         id="title217">6-&gt;3</title>
      <path
         d="m 550,-157.9129 c 0,7.9248 0,17.0701 0,25.6991"
         id="path219"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="546.5001,-132.061 553.5001,-132.061 550,-122.061 "
         id="polygon221"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- Quuz -->
    <g
       id="node14"
       class="node">
      <title
         id="title224">Quuz</title>
      <ellipse
         cx="607"
         cy="-346.40561"
         rx="41.024399"
         ry="30.311501"
         id="ellipse226"
         style="fill:none;stroke:#000000" />
      <text
         x="607"
         y="-342.7056"
         font-size="14.00"
         id="text228"
         style="font-size:14px;font-family:Times, serif;text-anchor:middle;fill:#000000">Quuz</text>
    </g>
    <!-- Quuz&#45;&gt;13 -->
    <g
       id="edge15"
       class="edge">
      <title
         id="title231">Quuz-&gt;13</title>
      <path
         d="m 607,-315.6605 c 0,8.2157 0,17.1101 0,25.3803"
         id="path233"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="603.5001,-290.2366 610.5001,-290.2365 607,-280.2365 "
         id="polygon235"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- 13&#45;&gt;6 -->
    <g
       id="edge17"
       class="edge">
      <title
         id="title238">13-&gt;6</title>
      <path
         d="m 591.4245,-236.9129 c -6.1578,8.5344 -13.3368,18.4843 -19.972,27.6805"
         id="path240"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="568.5695,-211.2184 574.2462,-207.1226 565.5567,-201.061 "
         id="polygon242"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- 14 -->
    <g
       id="node16"
       class="node">
      <title
         id="title245">14</title>
      <polygon
         points="670.5,-237 767.5,-237 767.5,-280 670.5,-280 "
         id="polygon247"
         style="fill:none;stroke:#000000" />
      <text
         x="719"
         y="-254.8"
         font-size="14.00"
         id="text249"
         style="font-size:14px;font-family:Times, serif;text-anchor:middle;fill:#000000">0000…0000</text>
    </g>
    <!-- 13&#45;&gt;14 -->
    <g
       id="edge18"
       class="edge">
      <title
         id="title252">13-&gt;14</title>
    </g>
    <!-- 7 -->
    <g
       id="node17"
       class="node">
      <title
         id="title255">7</title>
      <polygon
         points="671,-158 767,-158 767,-201 671,-201 "
         id="polygon257"
         style="fill:none;stroke:#000000" />
      <text
         x="719"
         y="-175.8"
         font-size="14.00"
         id="text259"
         style="font-size:14px;font-family:Times, serif;text-anchor:middle;fill:#000000">0eb9…9761</text>
    </g>
    <!-- 14&#45;&gt;7 -->
    <g
       id="edge19"
       class="edge">
      <title
         id="title262">14-&gt;7</title>
      <path
         d="m 719,-236.9129 c 0,7.9248 0,17.0701 0,25.6991"
         id="path264"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="715.5001,-211.061 722.5001,-211.061 719,-201.061 "
         id="polygon266"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- 15 -->
    <g
       id="node18"
       class="node">
      <title
         id="title269">15</title>
      <polygon
         points="785.5,-237 882.5,-237 882.5,-280 785.5,-280 "
         id="polygon271"
         style="fill:none;stroke:#000000" />
      <text
         x="834"
         y="-254.8"
         font-size="14.00"
         id="text273"
         style="font-size:14px;font-family:Times, serif;text-anchor:middle;fill:#000000">0000…0000</text>
    </g>
    <!-- 14&#45;&gt;15 -->
    <g
       id="edge20"
       class="edge">
      <title
         id="title276">14-&gt;15</title>
    </g>
    <!-- 7&#45;&gt;3 -->
    <g
       id="edge22"
       class="edge">
      <title
         id="title279">7-&gt;3</title>
      <path
         d="m 672.82,-157.9129 c -20.8654,9.7536 -45.6856,21.356 -67.5343,31.5693"
         id="path281"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="603.7011,-129.4665 606.6654,-123.1251 596.1242,-122.061 "
         id="polygon283"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- 15&#45;&gt;7 -->
    <g
       id="edge21"
       class="edge">
      <title
         id="title286">15-&gt;7</title>
      <path
         d="m 802.5757,-236.9129 c -13.4377,9.2311 -29.2859,20.1182 -43.5491,29.9164"
         id="path288"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="756.647,-209.6082 760.6106,-203.8384 750.3863,-201.061 "
         id="polygon290"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- 1 -->
    <g
       id="node21"
       class="node">
      <title
         id="title293">1</title>
      <polygon
         points="489.5,0 489.5,-43 392.5,-43 392.5,0 "
         id="polygon295"
         style="fill:#8080ff;stroke:#000000" />
      <text
         x="441"
         y="-17.799999"
         font-size="14.00"
         id="text297"
         style="font-size:14px;font-family:Times, serif;text-anchor:middle;fill:#000000">9db4…516d</text>
    </g>
    <!-- 3&#45;&gt;1 -->
    <g
       id="edge26"
       class="edge">
      <title
         id="title300">3-&gt;1</title>
      <path
         d="m 520.2153,-78.9129 c -12.7366,9.2311 -27.758,20.1182 -41.2771,29.9164"
         id="path302"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="476.7917,-51.7634 480.8997,-46.0955 470.7487,-43.061 "
         id="polygon304"
         style="fill:#000000;stroke:#000000" />
    </g>
    <!-- 2&#45;&gt;1 -->
    <g
       id="edge27"
       class="edge">
      <title
         id="title307">2-&gt;1</title>
      <path
         d="m 359.6045,-78.9129 c 13.0871,9.2311 28.522,20.1182 42.4131,29.9164"
         id="path309"
         inkscape:connector-curvature="0"
         style="fill:none;stroke:#000000" />
      <polygon
         points="400.2434,-45.9649 404.2782,-51.6851 410.4325,-43.061 "
         id="polygon311"
         style="fill:#000000;stroke:#000000" />
    </g>
  </g>
</svg>