CIP-0140/images/rollback-posterior.svg

<?xml version='1.0' encoding='UTF-8' ?>
<svg xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink' class='svglite' width='576.00pt' height='432.00pt' viewBox='0 0 576.00 432.00'>
<defs>
  <style type='text/css'><![CDATA[
    .svglite line, .svglite polyline, .svglite polygon, .svglite path, .svglite rect, .svglite circle {
      fill: none;
      stroke: #000000;
      stroke-linecap: round;
      stroke-linejoin: round;
      stroke-miterlimit: 10.00;
    }
    .svglite text {
      white-space: pre;
    }
  ]]></style>
</defs>
<rect width='100%' height='100%' style='stroke: none; fill: #FFFFFF;'/>
<defs>
  <clipPath id='cpMC4wMHw1NzYuMDB8MC4wMHw0MzIuMDA='>
    <rect x='0.00' y='0.00' width='576.00' height='432.00' />
  </clipPath>
</defs>
<g clip-path='url(#cpMC4wMHw1NzYuMDB8MC4wMHw0MzIuMDA=)'>
<rect x='0.000000000000064' y='0.00' width='576.00' height='432.00' style='stroke-width: 1.07; stroke: #FFFFFF; fill: #FFFFFF;' />
</g>
<defs>
  <clipPath id='cpNDguODN8NDQ2LjEzfDUuNDh8NDAwLjI5'>
    <rect x='48.83' y='5.48' width='397.30' height='394.82' />
  </clipPath>
</defs>
<g clip-path='url(#cpNDguODN8NDQ2LjEzfDUuNDh8NDAwLjI5)'>
<rect x='48.83' y='5.48' width='397.30' height='394.82' style='stroke-width: 1.07; stroke: none; fill: #EBEBEB;' />
<polyline points='48.83,370.78 446.13,370.78 ' style='stroke-width: 0.53; stroke: #FFFFFF; stroke-linecap: butt;' />
<polyline points='48.83,276.63 446.13,276.63 ' style='stroke-width: 0.53; stroke: #FFFFFF; stroke-linecap: butt;' />
<polyline points='48.83,182.49 446.13,182.49 ' style='stroke-width: 0.53; stroke: #FFFFFF; stroke-linecap: butt;' />
<polyline points='48.83,88.35 446.13,88.35 ' style='stroke-width: 0.53; stroke: #FFFFFF; stroke-linecap: butt;' />
<polyline points='100.06,400.29 100.06,5.48 ' style='stroke-width: 0.53; stroke: #FFFFFF; stroke-linecap: butt;' />
<polyline points='173.77,400.29 173.77,5.48 ' style='stroke-width: 0.53; stroke: #FFFFFF; stroke-linecap: butt;' />
<polyline points='247.48,400.29 247.48,5.48 ' style='stroke-width: 0.53; stroke: #FFFFFF; stroke-linecap: butt;' />
<polyline points='321.19,400.29 321.19,5.48 ' style='stroke-width: 0.53; stroke: #FFFFFF; stroke-linecap: butt;' />
<polyline points='394.90,400.29 394.90,5.48 ' style='stroke-width: 0.53; stroke: #FFFFFF; stroke-linecap: butt;' />
<polyline points='48.83,323.71 446.13,323.71 ' style='stroke-width: 1.07; stroke: #FFFFFF; stroke-linecap: butt;' />
<polyline points='48.83,229.56 446.13,229.56 ' style='stroke-width: 1.07; stroke: #FFFFFF; stroke-linecap: butt;' />
<polyline points='48.83,135.42 446.13,135.42 ' style='stroke-width: 1.07; stroke: #FFFFFF; stroke-linecap: butt;' />
<polyline points='48.83,41.28 446.13,41.28 ' style='stroke-width: 1.07; stroke: #FFFFFF; stroke-linecap: butt;' />
<polyline points='63.21,400.29 63.21,5.48 ' style='stroke-width: 1.07; stroke: #FFFFFF; stroke-linecap: butt;' />
<polyline points='136.92,400.29 136.92,5.48 ' style='stroke-width: 1.07; stroke: #FFFFFF; stroke-linecap: butt;' />
<polyline points='210.63,400.29 210.63,5.48 ' style='stroke-width: 1.07; stroke: #FFFFFF; stroke-linecap: butt;' />
<polyline points='284.34,400.29 284.34,5.48 ' style='stroke-width: 1.07; stroke: #FFFFFF; stroke-linecap: butt;' />
<polyline points='358.05,400.29 358.05,5.48 ' style='stroke-width: 1.07; stroke: #FFFFFF; stroke-linecap: butt;' />
<polyline points='431.76,400.29 431.76,5.48 ' style='stroke-width: 1.07; stroke: #FFFFFF; stroke-linecap: butt;' />
<polyline points='66.89,66.03 70.58,60.33 74.26,56.98 77.95,54.59 81.63,52.73 85.32,51.20 89.01,49.90 92.69,48.78 96.38,47.78 100.06,46.88 103.75,46.07 107.43,45.32 111.12,44.63 114.80,43.99 118.49,43.39 122.18,42.83 125.86,42.30 129.55,41.80 133.23,41.33 136.92,40.87 140.60,40.44 144.29,40.03 147.97,39.63 151.66,39.25 155.35,38.89 159.03,38.53 162.72,38.19 166.40,37.86 170.09,37.55 173.77,37.24 177.46,36.94 181.14,36.65 184.83,36.37 188.51,36.09 192.20,35.83 195.89,35.56 199.57,35.31 203.26,35.06 206.94,34.81 210.63,34.56 214.31,34.32 218.00,34.08 221.68,33.83 225.37,33.59 229.06,33.33 232.74,33.08 236.43,32.82 240.11,32.56 243.80,32.29 247.48,32.02 251.17,31.74 254.85,31.47 258.54,31.20 262.23,30.94 265.91,30.68 269.60,30.43 273.28,30.19 276.97,29.95 280.65,29.73 284.34,29.51 288.02,29.30 291.71,29.09 295.39,28.89 299.08,28.70 302.77,28.51 306.45,28.32 310.14,28.13 313.82,27.95 317.51,27.76 321.19,27.58 324.88,27.40 328.56,27.23 332.25,27.05 335.94,26.88 339.62,26.70 343.31,26.53 346.99,26.36 350.68,26.20 354.36,26.03 358.05,25.87 361.73,25.71 365.42,25.55 369.10,25.40 372.79,25.25 376.48,25.10 380.16,24.95 383.85,24.81 387.53,24.67 391.22,24.54 394.90,24.41 398.59,24.28 402.27,24.16 405.96,24.04 409.65,23.92 413.33,23.82 417.02,23.71 420.70,23.61 424.39,23.52 428.07,23.43 ' style='stroke-width: 1.60; stroke: #F8766D; stroke-linecap: butt;' />
<polyline points='66.89,65.94 70.58,60.23 74.26,56.87 77.95,54.47 81.63,52.60 85.32,51.07 89.01,49.77 92.69,48.63 96.38,47.62 100.06,46.71 103.75,45.89 107.43,45.13 111.12,44.43 114.80,43.78 118.49,43.17 122.18,42.60 125.86,42.05 129.55,41.54 133.23,41.05 136.92,40.58 140.60,40.14 144.29,39.71 147.97,39.30 151.66,38.90 155.35,38.52 159.03,38.15 162.72,37.79 166.40,37.44 170.09,37.11 173.77,36.78 177.46,36.46 181.14,36.15 184.83,35.85 188.51,35.55 192.20,35.26 195.89,34.98 199.57,34.71 203.26,34.43 206.94,34.17 210.63,33.91 214.31,33.65 218.00,33.40 221.68,33.16 225.37,32.91 229.06,32.68 232.74,32.44 236.43,32.21 240.11,31.98 243.80,31.76 247.48,31.54 251.17,31.32 254.85,31.10 258.54,30.89 262.23,30.68 265.91,30.47 269.60,30.26 273.28,30.06 276.97,29.86 280.65,29.66 284.34,29.46 288.02,29.27 291.71,29.07 295.39,28.88 299.08,28.69 302.77,28.50 306.45,28.31 310.14,28.13 313.82,27.94 317.51,27.76 321.19,27.58 324.88,27.40 328.56,27.22 332.25,27.05 335.94,26.88 339.62,26.70 343.31,26.53 346.99,26.36 350.68,26.20 354.36,26.03 358.05,25.87 361.73,25.71 365.42,25.55 369.10,25.40 372.79,25.25 376.48,25.10 380.16,24.95 383.85,24.81 387.53,24.67 391.22,24.54 394.90,24.41 398.59,24.28 402.27,24.16 405.96,24.04 409.65,23.92 413.33,23.82 417.02,23.71 420.70,23.61 424.39,23.52 428.07,23.43 ' style='stroke-width: 1.60; stroke: #F8766D; stroke-dasharray: 4.27,4.27; stroke-linecap: butt;' />
<polyline points='66.89,382.35 70.58,366.55 74.26,353.19 77.95,341.00 81.63,329.50 85.32,318.51 89.01,307.91 92.69,297.65 96.38,287.69 100.06,278.00 103.75,268.56 107.43,259.35 111.12,250.37 114.80,241.60 118.49,233.05 122.18,224.70 125.86,216.55 129.55,208.60 133.23,200.85 136.92,193.30 140.60,185.93 144.29,178.77 147.97,171.79 151.66,165.01 155.35,158.42 159.03,152.02 162.72,145.81 166.40,139.79 170.09,133.97 173.77,128.34 177.46,122.90 181.14,117.66 184.83,112.61 188.51,107.75 192.20,103.09 195.89,98.62 199.57,94.35 203.26,90.27 206.94,86.38 210.63,82.69 214.31,79.19 218.00,75.88 221.68,72.77 225.37,69.84 229.06,67.09 232.74,64.53 236.43,62.15 240.11,59.94 243.80,57.90 247.48,56.02 251.17,54.31 254.85,52.74 258.54,51.31 262.23,50.01 265.91,48.84 269.60,47.77 273.28,46.80 276.97,45.92 280.65,45.10 284.34,44.35 288.02,43.65 291.71,42.98 295.39,42.35 299.08,41.74 302.77,41.15 306.45,40.57 310.14,40.00 313.82,39.44 317.51,38.89 321.19,38.34 324.88,37.80 328.56,37.26 332.25,36.73 335.94,36.20 339.62,35.68 343.31,35.17 346.99,34.66 350.68,34.16 354.36,33.67 358.05,33.18 361.73,32.71 365.42,32.24 369.10,31.78 372.79,31.33 376.48,30.88 380.16,30.45 383.85,30.03 387.53,29.62 391.22,29.22 394.90,28.83 398.59,28.45 402.27,28.08 405.96,27.73 409.65,27.39 413.33,27.06 417.02,26.75 420.70,26.44 424.39,26.15 428.07,25.88 ' style='stroke-width: 1.60; stroke: #00BFC4; stroke-linecap: butt;' />
<polyline points='66.89,114.39 70.58,107.69 74.26,103.37 77.95,100.05 81.63,97.29 85.32,94.89 89.01,92.75 92.69,90.80 96.38,89.00 100.06,87.32 103.75,85.75 107.43,84.26 111.12,82.84 114.80,81.49 118.49,80.19 122.18,78.95 125.86,77.75 129.55,76.59 133.23,75.46 136.92,74.37 140.60,73.32 144.29,72.29 147.97,71.28 151.66,70.31 155.35,69.35 159.03,68.42 162.72,67.50 166.40,66.61 170.09,65.73 173.77,64.87 177.46,64.03 181.14,63.20 184.83,62.39 188.51,61.59 192.20,60.80 195.89,60.02 199.57,59.26 203.26,58.51 206.94,57.76 210.63,57.03 214.31,56.31 218.00,55.60 221.68,54.89 225.37,54.20 229.06,53.51 232.74,52.83 236.43,52.16 240.11,51.50 243.80,50.84 247.48,50.19 251.17,49.55 254.85,48.91 258.54,48.28 262.23,47.65 265.91,47.03 269.60,46.42 273.28,45.81 276.97,45.21 280.65,44.61 284.34,44.01 288.02,43.42 291.71,42.84 295.39,42.26 299.08,41.69 302.77,41.12 306.45,40.55 310.14,39.99 313.82,39.43 317.51,38.88 321.19,38.34 324.88,37.79 328.56,37.26 332.25,36.73 335.94,36.20 339.62,35.68 343.31,35.17 346.99,34.66 350.68,34.16 354.36,33.67 358.05,33.18 361.73,32.71 365.42,32.24 369.10,31.78 372.79,31.33 376.48,30.88 380.16,30.45 383.85,30.03 387.53,29.62 391.22,29.22 394.90,28.83 398.59,28.45 402.27,28.08 405.96,27.73 409.65,27.39 413.33,27.06 417.02,26.75 420.70,26.44 424.39,26.15 428.07,25.88 ' style='stroke-width: 1.60; stroke: #00BFC4; stroke-dasharray: 4.27,4.27; stroke-linecap: butt;' />
</g>
<g clip-path='url(#cpMC4wMHw1NzYuMDB8MC4wMHw0MzIuMDA=)'>
<text x='43.90' y='326.91' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Arial";' textLength='25.37px' lengthAdjust='spacingAndGlyphs'>1e-16</text>
<text x='43.90' y='232.77' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Arial";' textLength='25.37px' lengthAdjust='spacingAndGlyphs'>1e-11</text>
<text x='43.90' y='138.63' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Arial";' textLength='25.37px' lengthAdjust='spacingAndGlyphs'>1e-06</text>
<text x='43.90' y='44.48' text-anchor='end' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Arial";' textLength='25.37px' lengthAdjust='spacingAndGlyphs'>1e-01</text>
<polyline points='46.09,323.71 48.83,323.71 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polyline points='46.09,229.56 48.83,229.56 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polyline points='46.09,135.42 48.83,135.42 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polyline points='46.09,41.28 48.83,41.28 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polyline points='63.21,403.03 63.21,400.29 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polyline points='136.92,403.03 136.92,400.29 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polyline points='210.63,403.03 210.63,400.29 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polyline points='284.34,403.03 284.34,400.29 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polyline points='358.05,403.03 358.05,400.29 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<polyline points='431.76,403.03 431.76,400.29 ' style='stroke-width: 1.07; stroke: #333333; stroke-linecap: butt;' />
<text x='63.21' y='411.64' text-anchor='middle' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Arial";' textLength='5.59px' lengthAdjust='spacingAndGlyphs'>0</text>
<text x='136.92' y='411.64' text-anchor='middle' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Arial";' textLength='11.19px' lengthAdjust='spacingAndGlyphs'>10</text>
<text x='210.63' y='411.64' text-anchor='middle' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Arial";' textLength='11.19px' lengthAdjust='spacingAndGlyphs'>20</text>
<text x='284.34' y='411.64' text-anchor='middle' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Arial";' textLength='11.19px' lengthAdjust='spacingAndGlyphs'>30</text>
<text x='358.05' y='411.64' text-anchor='middle' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Arial";' textLength='11.19px' lengthAdjust='spacingAndGlyphs'>40</text>
<text x='431.76' y='411.64' text-anchor='middle' style='font-size: 8.80px;fill: #4D4D4D; font-family: "Arial";' textLength='11.19px' lengthAdjust='spacingAndGlyphs'>50</text>
<text x='247.48' y='424.23' text-anchor='middle' style='font-size: 11.00px; font-family: "Arial";' textLength='117.53px' lengthAdjust='spacingAndGlyphs'>Adversarial stake [%]</text>
<text transform='translate(13.50,202.89) rotate(-90)' text-anchor='middle' style='font-size: 11.00px; font-family: "Arial";' textLength='221.39px' lengthAdjust='spacingAndGlyphs'>Probability of eventual roll-back of block</text>
<rect x='457.09' y='111.87' width='57.85' height='61.31' style='stroke-width: 1.07; stroke: none; fill: #FFFFFF;' />
<text x='462.57' y='126.52' style='font-size: 11.00px; font-family: "Arial";' textLength='44.33px' lengthAdjust='spacingAndGlyphs'>Protocol</text>
<rect x='462.57' y='133.14' width='17.28' height='17.28' style='stroke-width: 1.07; stroke: none; fill: #F2F2F2;' />
<line x1='464.30' y1='141.78' x2='478.12' y2='141.78' style='stroke-width: 1.60; stroke-linecap: butt;' />
<rect x='462.57' y='150.42' width='17.28' height='17.28' style='stroke-width: 1.07; stroke: none; fill: #F2F2F2;' />
<line x1='464.30' y1='159.06' x2='478.12' y2='159.06' style='stroke-width: 1.60; stroke-dasharray: 4.27,4.27; stroke-linecap: butt;' />
<text x='485.33' y='144.99' style='font-size: 8.80px; font-family: "Arial";' textLength='24.00px' lengthAdjust='spacingAndGlyphs'>Peras</text>
<text x='485.33' y='162.27' style='font-size: 8.80px; font-family: "Arial";' textLength='24.13px' lengthAdjust='spacingAndGlyphs'>Praos</text>
<rect x='457.09' y='184.14' width='113.43' height='109.76' style='stroke-width: 1.07; stroke: none; fill: #FFFFFF;' />
<text x='462.57' y='198.78' style='font-size: 11.00px; font-family: "Arial";' textLength='47.82px' lengthAdjust='spacingAndGlyphs'>Scenario</text>
<rect x='462.57' y='205.41' width='17.28' height='36.76' style='stroke-width: 1.07; stroke: none; fill: #F2F2F2;' />
<line x1='464.30' y1='223.79' x2='478.12' y2='223.79' style='stroke-width: 1.60; stroke: #F8766D; stroke-linecap: butt;' />
<rect x='462.57' y='242.16' width='17.28' height='46.26' style='stroke-width: 1.07; stroke: none; fill: #F2F2F2;' />
<line x1='464.30' y1='265.29' x2='478.12' y2='265.29' style='stroke-width: 1.60; stroke: #00BFC4; stroke-linecap: butt;' />
<text x='485.33' y='212.74' style='font-size: 8.80px; font-family: "Arial";' textLength='36.98px' lengthAdjust='spacingAndGlyphs'>Ex Ante:</text>
<text x='485.33' y='222.24' style='font-size: 8.80px; font-family: "Arial";' textLength='79.71px' lengthAdjust='spacingAndGlyphs'>block is on honest</text>
<text x='485.33' y='231.75' style='font-size: 8.80px; font-family: "Arial";' textLength='58.48px' lengthAdjust='spacingAndGlyphs'>chain initially</text>
<text x='485.33' y='241.25' style='font-size: 8.80px; font-family: "Arial";' textLength='2.79px' lengthAdjust='spacingAndGlyphs'> </text>
<text x='485.33' y='249.49' style='font-size: 8.80px; font-family: "Arial";' textLength='46.33px' lengthAdjust='spacingAndGlyphs'>Post facto:</text>
<text x='485.33' y='259.00' style='font-size: 8.80px; font-family: "Arial";' textLength='65.11px' lengthAdjust='spacingAndGlyphs'>block is still on</text>
<text x='485.33' y='268.50' style='font-size: 8.80px; font-family: "Arial";' textLength='56.60px' lengthAdjust='spacingAndGlyphs'>honest chain</text>
<text x='485.33' y='278.01' style='font-size: 8.80px; font-family: "Arial";' textLength='63.64px' lengthAdjust='spacingAndGlyphs'>after 120 slots</text>
<text x='485.33' y='287.51' style='font-size: 8.80px; font-family: "Arial";' textLength='2.79px' lengthAdjust='spacingAndGlyphs'> </text>
</g>
</svg>