{ "type": "excalidraw", "version": 2, "source": "https://excalidraw.com", "elements": [ { "type": "rectangle", "id": "frame", "x": 0, "y": 0, "width": 1160, "height": 1110, "strokeColor": "transparent", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "angle": 0, "seed": 1007, "version": 1, "versionNonce": 5013, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null }, { "type": "text", "id": "t2", "x": 40, "y": 36, "width": 770.0000000000001, "height": 70.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1014, "version": 1, "versionNonce": 5026, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "A block is certified about 3.05 ms after it opens:\n1 ms of filling, then four 0.5 ms metro hops", "originalText": "A block is certified about 3.05 ms after it opens:\n1 ms of filling, then four 0.5 ms metro hops", "fontSize": 28, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t3", "x": 40, "y": 116, "width": 412.8, "height": 20.0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1021, "version": 1, "versionNonce": 5039, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "03 §6.17 · a maximum under a timely network", "originalText": "03 §6.17 · a maximum under a timely network", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "rectangle", "id": "b4", "x": 25.0, "y": 160, "width": 170, "height": 56, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1028, "version": 1, "versionNonce": 5052, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": { "type": 3 } }, { "type": "text", "id": "t5", "x": 36.849999999999994, "y": 176.125, "width": 146.3, "height": 23.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1035, "version": 1, "versionNonce": 5065, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "vyrn-seq c4/c7", "originalText": "vyrn-seq c4/c7", "fontSize": 19, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t6", "x": 74.0, "y": 220, "width": 72.0, "height": 18.75, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1042, "version": 1, "versionNonce": 5078, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "(STREAM)", "originalText": "(STREAM)", "fontSize": 15, "fontFamily": 3, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "rectangle", "id": "b7", "x": 340.0, "y": 160, "width": 180, "height": 56, "strokeColor": "#191B26", "backgroundColor": "#F4B7C2", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1049, "version": 1, "versionNonce": 5091, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": { "type": 3 } }, { "type": "text", "id": "t8", "x": 351.625, "y": 176.125, "width": 156.75, "height": 23.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1056, "version": 1, "versionNonce": 5104, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "replicas R1..Rn", "originalText": "replicas R1..Rn", "fontSize": 19, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "rectangle", "id": "b9", "x": 700.0, "y": 160, "width": 200, "height": 56, "strokeColor": "#5A2D91", "backgroundColor": "#EDE5F6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1063, "version": 1, "versionNonce": 5117, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": { "type": 3 } }, { "type": "text", "id": "t10", "x": 711.175, "y": 176.125, "width": 177.65, "height": 23.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1070, "version": 1, "versionNonce": 5130, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "Simplex leader Rℓ", "originalText": "Simplex leader Rℓ", "fontSize": 19, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "rectangle", "id": "b11", "x": 955, "y": 160, "width": 190, "height": 56, "strokeColor": "#191B26", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1077, "version": 1, "versionNonce": 5143, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": { "type": 3 } }, { "type": "text", "id": "t12", "x": 989.225, "y": 166.75, "width": 121.55000000000001, "height": 42.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1084, "version": 1, "versionNonce": 5156, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "clients,\nvyrn-dropcopy", "originalText": "clients,\nvyrn-dropcopy", "fontSize": 17, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "line", "id": "l13", "x": 110, "y": 244, "width": 0, "height": 226, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1091, "version": 1, "versionNonce": 5169, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 226 ] ] }, { "type": "line", "id": "l14", "x": 430, "y": 216, "width": 0, "height": 624, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1098, "version": 1, "versionNonce": 5182, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 624 ] ] }, { "type": "line", "id": "l15", "x": 800, "y": 216, "width": 0, "height": 624, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1105, "version": 1, "versionNonce": 5195, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 624 ] ] }, { "type": "line", "id": "l16", "x": 1050, "y": 216, "width": 0, "height": 584, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1112, "version": 1, "versionNonce": 5208, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 584 ] ] }, { "type": "text", "id": "t17", "x": 124, "y": 250, "width": 27.0, "height": 18.75, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1119, "version": 1, "versionNonce": 5221, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "t=0", "originalText": "t=0", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t18", "x": 158.0, "y": 250, "width": 193.60000000000002, "height": 20.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1126, "version": 1, "versionNonce": 5234, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "the block opens at the", "originalText": "the block opens at the", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t19", "x": 124, "y": 272, "width": 281.6, "height": 20.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1133, "version": 1, "versionNonce": 5247, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "first step after the ms boundary", "originalText": "first step after the ms boundary", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t20", "x": 124, "y": 302, "width": 237.60000000000002, "height": 20.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1140, "version": 1, "versionNonce": 5260, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "hash the frames as they are", "originalText": "hash the frames as they are", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t21", "x": 124, "y": 324, "width": 52.800000000000004, "height": 20.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1147, "version": 1, "versionNonce": 5273, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "posted", "originalText": "posted", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t22", "x": 180.92000000000002, "y": 324, "width": 108.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1154, "version": 1, "versionNonce": 5286, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "(order_root)", "originalText": "(order_root)", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t23", "x": 124, "y": 354, "width": 81.0, "height": 18.75, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1161, "version": 1, "versionNonce": 5299, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "t=1.00 ms", "originalText": "t=1.00 ms", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t24", "x": 212.0, "y": 354, "width": 211.20000000000002, "height": 20.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1168, "version": 1, "versionNonce": 5312, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "close at a step boundary", "originalText": "close at a step boundary", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t25", "x": 124, "y": 384, "width": 81.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1175, "version": 1, "versionNonce": 5325, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "data_root", "originalText": "data_root", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t26", "x": 212.0, "y": 384, "width": 70.4, "height": 20.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1182, "version": 1, "versionNonce": 5338, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "over the", "originalText": "over the", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t27", "x": 285.56, "y": 384, "width": 90.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1189, "version": 1, "versionNonce": 5351, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "pkt_hashes", "originalText": "pkt_hashes", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t28", "x": 124, "y": 406, "width": 70.4, "height": 20.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1196, "version": 1, "versionNonce": 5364, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "· prev ·", "originalText": "· prev ·", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t29", "x": 197.56, "y": 406, "width": 135.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1203, "version": 1, "versionNonce": 5377, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "Ed25519 seq_sig", "originalText": "Ed25519 seq_sig", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t30", "x": 339.56, "y": 406, "width": 63.0, "height": 18.75, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1210, "version": 1, "versionNonce": 5390, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "(+0.05)", "originalText": "(+0.05)", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t31", "x": 124, "y": 430, "width": 135.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1217, "version": 1, "versionNonce": 5403, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "BlockHeader A|B", "originalText": "BlockHeader A|B", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "arrow", "id": "a32", "x": 110, "y": 458, "width": 320, "height": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1224, "version": 1, "versionNonce": 5416, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 320, 0 ] ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "type": "text", "id": "t33", "x": 444, "y": 444, "width": 63.0, "height": 18.75, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1231, "version": 1, "versionNonce": 5429, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "+0.5 ms", "originalText": "+0.5 ms", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "diamond", "id": "hold", "x": 366, "y": 486, "width": 128, "height": 84, "strokeColor": "#191B26", "backgroundColor": "#F4B7C2", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1238, "version": 1, "versionNonce": 5442, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null }, { "type": "text", "id": "t35", "x": 390.4, "y": 508, "width": 79.2, "height": 40.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1245, "version": 1, "versionNonce": 5455, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "hold all\nthe data?", "originalText": "hold all\nthe data?", "fontSize": 16, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t36", "x": 506, "y": 492, "width": 290.40000000000003, "height": 60.0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1252, "version": 1, "versionNonce": 5468, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "every PacketRecord, StepRecord\nand payload the block references?\n(§6.20)", "originalText": "every PacketRecord, StepRecord\nand payload the block references?\n(§6.20)", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t37", "x": 444, "y": 586, "width": 180.0, "height": 18.75, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1259, "version": 1, "versionNonce": 5481, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "propose(header hash)", "originalText": "propose(header hash)", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "arrow", "id": "a38", "x": 800, "y": 612, "width": 370, "height": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1266, "version": 1, "versionNonce": 5494, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ -370, 0 ] ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "type": "text", "id": "t39", "x": 812, "y": 600, "width": 63.0, "height": 18.75, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1273, "version": 1, "versionNonce": 5507, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "+0.5 ms", "originalText": "+0.5 ms", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t40", "x": 444, "y": 632, "width": 243.10000000000002, "height": 21.25, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1280, "version": 1, "versionNonce": 5520, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "notarize vote (all-to-all)", "originalText": "notarize vote (all-to-all)", "fontSize": 17, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "arrow", "id": "a41", "x": 430, "y": 660, "width": 370, "height": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1287, "version": 1, "versionNonce": 5533, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 370, 0 ] ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "type": "text", "id": "t42", "x": 812, "y": 648, "width": 63.0, "height": 18.75, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1294, "version": 1, "versionNonce": 5546, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "+0.5 ms", "originalText": "+0.5 ms", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t43", "x": 444, "y": 680, "width": 243.10000000000002, "height": 21.25, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1301, "version": 1, "versionNonce": 5559, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "finalize vote (all-to-all)", "originalText": "finalize vote (all-to-all)", "fontSize": 17, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "arrow", "id": "a44", "x": 430, "y": 708, "width": 370, "height": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1308, "version": 1, "versionNonce": 5572, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 370, 0 ] ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "type": "text", "id": "t45", "x": 812, "y": 696, "width": 63.0, "height": 18.75, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1315, "version": 1, "versionNonce": 5585, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "+0.5 ms", "originalText": "+0.5 ms", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t46", "x": 444, "y": 724, "width": 243.10000000000002, "height": 21.25, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1322, "version": 1, "versionNonce": 5598, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "Q valid sigs = certificate", "originalText": "Q valid sigs = certificate", "fontSize": 17, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t47", "x": 444, "y": 748, "width": 115.19999999999999, "height": 20.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1329, "version": 1, "versionNonce": 5611, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "(INV-QUORUM)", "originalText": "(INV-QUORUM)", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t48", "x": 566.2, "y": 748, "width": 86.39999999999999, "height": 20.0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1336, "version": 1, "versionNonce": 5624, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "t≈3.05 ms", "originalText": "t≈3.05 ms", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t49", "x": 814, "y": 774, "width": 102.85000000000001, "height": 21.25, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1343, "version": 1, "versionNonce": 5637, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "certificate", "originalText": "certificate", "fontSize": 17, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "arrow", "id": "a50", "x": 430, "y": 800, "width": 620, "height": 0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 3, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1350, "version": 1, "versionNonce": 5650, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 620, 0 ] ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "type": "text", "id": "t51", "x": 995.55, "y": 812, "width": 108.9, "height": 22.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1357, "version": 1, "versionNonce": 5663, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "fills final", "originalText": "fills final", "fontSize": 18, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t52", "x": 130, "y": 500, "width": 227.70000000000002, "height": 67.5, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1364, "version": 1, "versionNonce": 5676, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "a replica votes once it\nholds the data; it does\nnot wait for replay", "originalText": "a replica votes once it\nholds the data; it does\nnot wait for replay", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "arrow", "id": "a53", "x": 352, "y": 530, "width": 12, "height": 2, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1371, "version": 1, "versionNonce": 5689, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": { "type": 2 }, "points": [ [ 0, 0 ], [ 8, -2 ], [ 12, -2 ] ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "type": "rectangle", "id": "b54", "x": 100, "y": 940, "width": 100, "height": 30, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1378, "version": 1, "versionNonce": 5702, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null }, { "type": "rectangle", "id": "b55", "x": 200, "y": 940, "width": 5.0, "height": 30, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1385, "version": 1, "versionNonce": 5715, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null }, { "type": "rectangle", "id": "b56", "x": 205.0, "y": 940, "width": 200.0, "height": 30, "strokeColor": "#5A2D91", "backgroundColor": "#EDE5F6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1392, "version": 1, "versionNonce": 5728, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null }, { "type": "line", "id": "l57", "x": 255.0, "y": 940, "width": 0.0, "height": 30, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1399, "version": 1, "versionNonce": 5741, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0.0, 0 ], [ 0.0, 30 ] ] }, { "type": "line", "id": "l58", "x": 305.0, "y": 940, "width": 0.0, "height": 30, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1406, "version": 1, "versionNonce": 5754, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0.0, 0 ], [ 0.0, 30 ] ] }, { "type": "line", "id": "l59", "x": 355.0, "y": 940, "width": 0.0, "height": 30, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1413, "version": 1, "versionNonce": 5767, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0.0, 0 ], [ 0.0, 30 ] ] }, { "type": "rectangle", "id": "b60", "x": 405.0, "y": 940, "width": 300.0, "height": 30, "strokeColor": "#565A6B", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1420, "version": 1, "versionNonce": 5780, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null }, { "type": "line", "id": "l61", "x": 1100, "y": 936, "width": 0, "height": 54, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 3, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1427, "version": 1, "versionNonce": 5793, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "points": [ [ 0, 0 ], [ 0, 54 ] ] }, { "type": "text", "id": "t62", "x": 95.5, "y": 916, "width": 9.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1434, "version": 1, "versionNonce": 5806, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "0", "originalText": "0", "fontSize": 15, "fontFamily": 3, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t63", "x": 187.0, "y": 916, "width": 36.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1441, "version": 1, "versionNonce": 5819, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "1.05", "originalText": "1.05", "fontSize": 15, "fontFamily": 3, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t64", "x": 387.0, "y": 916, "width": 36.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1448, "version": 1, "versionNonce": 5832, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "3.05", "originalText": "3.05", "fontSize": 15, "fontFamily": 3, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t65", "x": 687.0, "y": 916, "width": 36.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1455, "version": 1, "versionNonce": 5845, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "6.05", "originalText": "6.05", "fontSize": 15, "fontFamily": 3, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t66", "x": 1077.5, "y": 916, "width": 45.0, "height": 18.75, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1462, "version": 1, "versionNonce": 5858, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "10 ms", "originalText": "10 ms", "fontSize": 15, "fontFamily": 3, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t67", "x": 88.39999999999999, "y": 980, "width": 123.20000000000002, "height": 40.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1469, "version": 1, "versionNonce": 5871, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "block wait ≤ 1\n+ close 0.05", "originalText": "block wait ≤ 1\n+ close 0.05", "fontSize": 16, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t68", "x": 221.39999999999998, "y": 980, "width": 167.20000000000002, "height": 60.0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1476, "version": 1, "versionNonce": 5884, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "4 hops ≤ 2: header,\npropose, notarize,\nfinalize", "originalText": "4 hops ≤ 2: header,\npropose, notarize,\nfinalize", "fontSize": 16, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t69", "x": 413.0, "y": 980, "width": 140.8, "height": 20.0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1483, "version": 1, "versionNonce": 5897, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "a data miss adds", "originalText": "a data miss adds", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t70", "x": 413.0, "y": 1002, "width": 218.4, "height": 17.5, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1490, "version": 1, "versionNonce": 5910, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "≤ ARC_DATA_FETCH_MS + 1 ms", "originalText": "≤ ARC_DATA_FETCH_MS + 1 ms", "fontSize": 14, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t71", "x": 966.0, "y": 998, "width": 126.0, "height": 17.5, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1497, "version": 1, "versionNonce": 5923, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "FINALITY_MAX_MS", "originalText": "FINALITY_MAX_MS", "fontSize": 14, "fontFamily": 3, "textAlign": "right", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t72", "x": 770, "y": 856, "width": 287.1, "height": 45.0, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1504, "version": 1, "versionNonce": 5936, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "every accepted order is final\n≤ 6.05 ms, inside 10", "originalText": "every accepted order is final\n≤ 6.05 ms, inside 10", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "arrow", "id": "a73", "x": 764, "y": 872, "width": 59.0, "height": 42, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1511, "version": 1, "versionNonce": 5949, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": { "type": 2 }, "points": [ [ 0, 0 ], [ -44, 8 ], [ -59.0, 42 ] ], "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "type": "text", "id": "t74", "x": 40, "y": 1072, "width": 352.0, "height": 20.0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1518, "version": 1, "versionNonce": 5962, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "In both modes the sequencer runs at most", "originalText": "In both modes the sequencer runs at most", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t75", "x": 379.8, "y": 1072, "width": 171.0, "height": 18.75, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1525, "version": 1, "versionNonce": 5975, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "FIN_GATE_BLOCKS = 8", "originalText": "FIN_GATE_BLOCKS = 8", "fontSize": 15, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null }, { "type": "text", "id": "t76", "x": 557.8, "y": 1072, "width": 220.00000000000003, "height": 20.0, "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "angle": 0, "seed": 1532, "version": 1, "versionNonce": 5988, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "roundness": null, "text": "blocks ahead of finality.", "originalText": "blocks ahead of finality.", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "lineHeight": 1.25, "containerId": null } ], "appState": { "viewBackgroundColor": "#ffffff", "gridSize": 20 }, "files": {} }