Skip to content

Commit

Permalink
models: add dBFT 2.1 models
Browse files Browse the repository at this point in the history
  • Loading branch information
AnnaShaleva committed Mar 6, 2023
1 parent fc45057 commit cd34a68
Show file tree
Hide file tree
Showing 9 changed files with 1,261 additions and 1 deletion.
1 change: 1 addition & 0 deletions formal-models/.github/dbft2.1_centralizedCV.drawio
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
<mxfile host="app.diagrams.net" modified="2023-02-22T09:34:53.759Z" agent="5.0 (X11)" etag="ujNBuEQ-yA16Nh9TxRqs" version="20.8.20" type="google"><diagram name="Page-1" id="gx1AT7QsytIHyGW8taHa">7V1bc5s4FP41nrYPyXDHfvQl2e3MdrbT7Hbbp46CsU2LEcU4ifvrVwIJkBAYwjWpp9OJJYQQnKPvfOeCPVGX+6c/AuDvPsC17U4UaRs464m6miiKjP6jDh9sbaYDj7hzftFOifQenbV9YAaGELqh47OdFvQ82wqZPhAE8JEdtoFufhl3FnDtXO9/zjrcxb1TXUr7/7Sd7Y5eSJbIkT2gg0nHYQfW8DHTpd5M1GUAYRh/2j8tbRc/Gfpc4vNuC44mCwtsL6xyAnwP/MWfn/ffNt83D9aHT+a3tXGlksU9APdI7vj9e7Le8EQfQgCP3trG88gTdfG4c0L7zgcWPvqIZIr6duHeJYc30Atvwd5xT6hjCfeOhSa7A94B/flwRwYQucoabjuuu4QuDKKLqTfySr8xUf8hDOAPmx7xoIfOWGxdcMASlPAA+kRxg9yHHYT2U+ETkpPnjrTRhns7DE5oCDlhSh7GKW6qBmk/poKfUWnuMkJXNNIJiG5tk6lTeaAPRCQ1xKPMcuIZVjjL5e3tcjkC4chyn8L59bcx/7b7vAbK9uSv/tWXC+/zFXo+Z4VjrxGakCYMwh3cQg+4N2nvghXf9+PeJ49/iprpKX9B6NMxdhieyCBwDCEr4VgwFKuUujI3SDsjc03C/6KpQRDOMYamIo/6bh385CJJ296ajrCwNjjWPzvHiw+QYTI9jVxTi48yLSSfL3jGa502vyYXQI3VE9M6ZVsf7cBBArYDRvewIMo1D9kREGztsETihlhDA9sFofPAzi9SN3LqR+igKyearZkyizs6O8MBHgPLJidlAZ6bR59xW8TgND++v9xEkfInt9NgP+iC/WC46IEu1s4Dsy+Mn0ds9iJNuzpEgp+jAbLmP0USo8fRpy3569LxjSY6IEVDxz9+sn+iP299pCogOL2j86P7ji/BXhZ1R3fA9o7mptBGfdHrT4Vy8LFU7oH14+gnQrkPBPdT5TYFWPwXuEfskwFM4DpbD8MVggMMGgtsphzEAOfkwN5Zr2OottHNgPtoPowsPt5J0d7SFxN9VYCkZ6FXBLUMhyWXTKnkGUNaYq0Kzat0LZs6C0NxqyG4ySy28cYYbjYHuxM0UsvB6JkqbORUWNrEXCvty8s5p/GO54QOUrxfyPDX0WmAV/ng2I8TrArxCIcefMic4xTugjw/yJKHHfDxuP3TFvtq1xsXPlo7ZKqv0dbYOx4IsaYKSSaj6kh+wdYBgh3B8kZM9+fGwjDa4YiqxlnAPEeUVQFH1LuiiHQTDcoIW2VTDemlNgZ6WZ0RxtTrHCOswBzNhsyxmRaKHJUYKg4+8ITAh23wNtLEKyuWFca/YHv/VpHQdGghkqLr5IOkvRMzBHOZkq3kkkiDvG0x2m6ILuHreTCE3wJ7e3RBEKMttxiTLCH9+46gMgfckh+Kl3ijTKbTyXyeWSF6yHSR8SDKTOL7iU6ZTeY6VvCzD3KIe8rcR7SsM93D8iQKCSPhSTFkF5qYK+mabidiZK7kVogSO6ludsCTxCEmcwwm6skJv1CIR5+/ptYKtVL7hBunTKNH6/SSAxvPMWNCZSmgX01V32BpW8LbzgQukDzAKTOM4EzxdXTWw5E1ndtR8Yzt7q+pyPiCPebM3v0B/0FLvIV85yTJG7xMZHbxOhcJixDFkBuBdwmYlYG3aRhmq/DdvSdr5BTID2z8KO5ssh9+F/9O54BCVgZ38PQxWM+Lg9eZg2dWdPCmgzp4eYho4uAp1K+TVfJBlcscPKQTeycs948uTkep06Gfs1vyVJ6ydktpxe1QevMzGgPlgH5FgrAJ3GZmao6wFUGPBTkeAjk7Usy/boyVtLrpHCY7cSAaVVMUo6QgJdAxcIrYfuN0Ws1cBA08rbKdFOZySy72Uuqn6QrCUgNn7zrwR87BusSBejtJtys2mMSd352nYuY2mBVRg9/OUTEV1lFRp0M7KvkoxL0LrR9zy7L9EGchf2PpGPrQ0qFZ8jZLyZ5Bl2pXiqWeZwu8qBa9yesn412yNCrrZMos3yJuaEq0KAWM/WlNMzLUEQO2Ups8tkizZhW90YIcRlNfgasQmXKFal3XlymF/K1xCRIlN2LeMqyvOrZConJwxQkyWeEC7e2wGq4+adoXrRlHiuwS5ONyaS359m3Dc1PYrZvV4mPibFLr3HD6BkjRcE3Sy8azObN89R9fkGU+s7aZX0bFDGFrCCBM4glCB6xzHEdHP8tFodHUd+bLUWYZW5QeLD5hqhacsILo+m/ztYJvRMWC76KoRT0Pv6iwOC10xGIKM9OcWUT+ao8OginEena2aBYPV0OKppH8APrwANzq678EpXNmr6RiGDFAgwOHVgy9obB7vYv4hTBcMwo7T8wa/Xwphem3FEbgYvVZCsMHjmbVDN2LKIUpNqIdl6EK7fKrK0uld0nN322JKX9N6dgAhmjLQY/Bgjaj+GeLigxTa8fF5Xb/VW+WL3k849ib9ThrvAHyut4Z2dZaItu1tuNAFbkJ9fiaOfKMzPnIwxZjqzuqTEOavlnSezmj6CsNcn6j9SCLfTSkp2JPUl2hMQtZtNNy2+k1J7dyIZc+aySFKjobE5xdvKquvapib2mwxJXO0aoZN0NTpyp5ubkg9Jpct2asdVYSa22L+cnFL0r3XAJFmJ9Sm/kNxPTqLPRC814RzROluLrFSvE45ZxfKpnGrBW/lA8XqfqMnaJyHoebSFO5iQqguCOCKn6uxb5whWSP0gMqlSV76qBSy8kefrYekj8HsLefkf2Riu7pBYfBJk3iXmd8ilxcquxL1QpSwcwMNMXTw27WxmRmX7n70aYVLLBuz7Vk1HJV/FK0utxfl/vg6sXfsHbh6heu/kpApNWXrVpHpFaI+VRXuiHmRkV4q8Knm+aU9TPhDv77KmuP7wVylSrOgPWgiBllWbj6zSVePclUOFCPkFaVDxavVpQxgf2FMVbG55ZTYQX1tUrLBFJ8GUXv47tpBvtiuNay/pcs/xgoZcfvx79yyGqQ5s9QyqQYt9vXDRQuSUW/c7WItfHfyVp3fCkQ9hoWzr/d3FbhwoUJRkd5yVPWNxgTFL2V2w73vwhcQP17fUte/HM4eYnnfw0H3XA46SwfgI30gUggJwCSbMz+KAvtSgWn6FVNZnEaoZFcZxyXVaW8XEVi7exndNS8Ey/4laOxy1WVhpYrB9C6lper3s52Rc30l7FiC57+eJh68z8=</diagram></mxfile>
Binary file added formal-models/.github/dbft2.1_centralizedCV.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
1 change: 1 addition & 0 deletions formal-models/.github/dbft2.1_threeStagedCV.drawio
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
<mxfile host="app.diagrams.net" modified="2023-02-28T12:44:44.583Z" agent="5.0 (X11)" etag="VKb14Evzl_Epa14_ET2I" version="20.8.22" type="google"><diagram name="Page-1" id="gx1AT7QsytIHyGW8taHa">7V1tc6O2Fv41nmk/JMM79kfbiW87t9vuNG3u3U87BGObXYwoxom9v76SkQAJ8WIQGCfuTidBCAE6R+c85zkHZaTOt4f/hFaw+QSWjjdSpHXoLkfqw0hRZPg/bAistUM1oB5P7g/SKOHWvbt0dlTHCAAvcgO60Qa+79gR1WaFIXiju62Al3+MJ9vynFzr/9xltIlbx7qUtv/iuOsNuZEs4TNbi3TGDbuNtQRvmSb1caTOQwCi+LftYe54aGbIvMTXLQrOJg8WOn5U5wLwqxXMfnnefl19W73an/40vy6NO2USD/NqeXv8xvhpoyOZghDs/aWDRpFH6uxt40bOU2DZ6OwblChs20RbD59eAT9aWFvXO8KGOdi6NhzsyfJ38MenJ9wBS1XW0LHreXPggfB0M3U+Xyzmc9i+i0Lw3SFnfODDK2Zrz9oh+UmoA5lPdIDfwgkj51A4P3Iy61AXHbB1ovAIu+ALDCynYyLJ+PgtFbssj3HjJiNzRcONFlatdTJ2Kg74C5YIXzqL2X/BzvsCDru9s5Z2/jPQf7+Tc7JwllA78SEIow1YA9/yHtPWWdr6GwABlso3J4qOeNatfQRomTkHN/o/msh7HR99yZx5OOA5Ph0cMwefndCFL+qEpM2HL50ZCB1+yZ5LhzodHbNH7GC01sXaQFagcrpoOUXLGR7aSCtc+6+N68cnFq7nURdmFEw6/ZeoDJrQcoWB8w/2oY17/fjDmH7dPC8tZX0MHv7W5zP/+Q4vosgK105U0s/kK2DoeFbkvtLPwVMmfOln4MInTBR3zGiuYjL6GD8XvipVSTh91jHTLUAddsX3kVWdvo/OGBym/2Rc2h/+Ej9Buj6SOam1ZLgGTTUGZtBWq5Vi2wMwaEZtgyYrAgwaXzrSwKTzKD/oj+bZ0rFCmwxqdCIs1ejV+3CtFZyvSmFV+yNanN/22wDP3LiZs8p7grN0wMDHGR3QJPTvNLQVRsSpYBU4tWF/Ip3jduBl+J5afJY6Eugo6/uxSv9kdOKfNFOmdVunR4jda8495cbRJwxCM+r5uQauhb8edM56MDw4obOl+0qtC+OfPYL1J027250EP4UdZC04nCRGzsPf1vinR/q3GmgHFQ2e//yn8w/88VMAVcUKjz+T8eF7x7egbwubT29Atw7mpeBCvernT4WyC5BUXiz7+z5IhPISct6nzmtybPFv1guMrimDaXnu2kfmCpoDZDRmyE+5MMKd4hNbd7mMTbUDX8Z6OY2HLAsGhHBwfTbSHwosaaXp5ZnaUTZGx7dMItgqT1rirQr9q3QvmzQcVeOjlsbNUKhBWWcMVqud04k1UsuNUUMVNnIqLK0sm74mL+ecxru+G7lQ8X5Ax99Kp/PePgsFNlaA+m0Pa8Qs3a888GZvoOO9h4q+dX0rQnrHhZCU4kJphGvX4uh3Lnp8nBozQxDkU1l/xoF8Kgfx6V0BPrIkLorvhGKjlmBRGwJY7IXBMGoixLYMRjv95AUkFTYvabO2aN37L7sg02cXWD7XLnLQgDlPgVVyPZSNvy62rCusaci2+iACX0NnvfesEFtWxvhKQcGtH5XReDyaTjN3hhNIbh53Iugifs7TJZPRVEdqnX/7ZBgu9ohnpREkae+BCtEYnoSJ2CfKCnf+rKYTiJ5RKp8ncbdvoI5CxHVZBEnMayME6aHnnEEkvT55IF4KQTzIjD1koUe/k+6JjcI+nVD4LVGmTEfQsqZ1ADP5CSJzCJiAJChGaXoiTVbUT1B0CAeumRdqgg64ylKAd9vyR2x+Q+4mv6HpdIAoGzqzorrIV1RgmiHwFzn8gL2lLAwJ2fGKQifD9ctPKFJHt0h//twKGImDbB0/aAmCu2L+qwm84aA9MbD0WieEvwbBdutGOZ2BNkVaXIXOc4A3eVH82pKUe/VewpdB6En7mKfN3bNmvlg2xYIYTqiB4rnhhholwLs01FAmTGJNDKNNoy1CNHfPaOcrN4LQQfP05GBg91GYYVNmmGHt4tSwPoQw8EYNM/EijotJjNw0LhYYKpo1ieTxRYlkXpFYQ0a4AIKxsJ0GJe+Sd0tqqTrg3fQqZyiP5THttxQh3lBhBu2NeFPHQ7C4Q6wMrqGBQyf6ujW4fH0qWELnrY9zOTW2Blgbl9cMm2Zp/9YcXNkUZryBfTLqHw53ThQadyYVChfDneOcaF48YH+f2rYTRKi45ANJR5Z0WjzJYrmYeEheSmSJcAM3dXYFcOqPKG+UOqdz/BFbrkEbfsYJ5xWUihZol5INGmTa9+CwInU6xPXm3XXioS8RD9T9NKYgsdoWvTHuZMyUHnddMawUxhmtuUF49QIU8oKXDTCGVhpablcRlSYrTO5PSPBwp5q0PzU6iB74AdMg0vY3vobP17StY7hW+3xu9MDgHSYhX9WdfG1W1J3N9zP96VgjX5KjMQ9nNvysRZMY09PvVy1KHmLzq9aKSwB4xNf83KxdedUcKignzW7aL5tYTJotNLm+c0A/Xl3n7UpyVO1oOfFesyIBhfJPY4NZQEK85riHBBSXIhmEzxRE6Q+dARtqqRvHH/ZZ6lZEwLyHUre6jkZQaUz/5WnCC/p7r1vr85OEinKdelX03ZSUib/34Ku3xEq+ZlnX2TVc7wWthSCCbgL4o6qMVocFRpX1RYapiaFBNCYzywzQHQvC29wqt5ztV7mmhr3n5ILJRLN9Vhxx1XMyIDB+++6kczBeDLIvljxg6aQJM4IgLK7St9HkcpKL6X5nnklymSUklyikTyisZpyS0hOnxI4Wc0xSEX3kskNxb5nr9Y5QSysMUu5+FIlR68TZnPGRJDUC2Zijh0qtIfFGbSu1PmxxVV0HNKDiKta2X7q4ij81tUB4qS+44ji4iiro7vMrQi6UhtQDm9JKRqGIQ/rwZFHLh+S8rfjXysO7GyfUY2F9CXYpY4E0g6VvxGT5FHlC47Uudk7j7qqttIZrF8zrCa1czDFKmZKYhvttXyD672tPqrKHrKIYc0GkMmoeM75nHpLdFK/XEnS+icyL+NecSCLEF3TmY5A52WEJ5ASAC9ayG1uTpswH0Hob1yRArjIb4atSXrA8uYrY3povVyUv1+sTrNrqy3YRgpWZFavrecHqfS5YbRDbWApKHdy+nOuM3CH7kA+z9pXZAsCo4Plllj+Vz8wLMBd0QwaRfeuakUGZaoJbYmBIoetIeFyqlW+0CMNSzRBTnGD2Vl5K7E1VrKDewoDcDiiG1uOnjnyN5IQBN7zYBC+O+Z4tK1qjI8ly+aCzdtJvw+M25Uw/8qbTrUj3IWzAJvqJuMkAlkhflE71O9vIu0EO4rx9vntM/NxyHUJyHRV/a43Z4k5jP7mrgRqpAcz2EBIepn8KNu6e/rVc9fFf</diagram></mxfile>
Binary file added formal-models/.github/dbft2.1_threeStagedCV.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading

0 comments on commit cd34a68

Please sign in to comment.