diff --git a/.gitignore b/.gitignore
index 7585238..bd3a7c8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
book
+.DS_Store
diff --git a/README.md b/README.md
index 3bfd19f..35f425d 100644
--- a/README.md
+++ b/README.md
@@ -13,4 +13,9 @@ Then build and serve
```bash
mdbook serve
-```
\ No newline at end of file
+```
+
+## Diagrams
+
+All diagrams are made with [draw.io](https://app.diagrams.net/). The diagram source files are stored in the `diagrams` folder.
+The diagram sources can be converted to `png` with the `convert_all.sh` script in the diagrams folder.
\ No newline at end of file
diff --git a/diagrams/client-state-diagram.drawio b/diagrams/client-state-diagram.drawio
new file mode 100644
index 0000000..79194e3
--- /dev/null
+++ b/diagrams/client-state-diagram.drawio
@@ -0,0 +1 @@
+7Vxbd5s4EP41fmyOuQjDY+q4zW67m54kp00fCcg2W4wcIcf2/voVRtxxInvBAz04D0EjCcsz+uYijTTSpqvdZ2qvl38RF/sjdezuRtrNSOUfZPF/EWUfUxR1YsaUBfVcQcsID96/WBDHgrrxXBwWGjJCfOati0SHBAF2WIFmU0q2xWZz4he/dW0vcIXw4Nh+lfrDc9lSUCfjcVZxi73FMvlqJalZ2UlrQQiXtku2OZI2G2lTSgiLn1a7KfYj9iWMift9OlKbjozigMl0+LJEn9HDt/CH+efLbGuZ1tP94wdFE4Nj++QnY5dzQBQJZUuyIIHtzzLqR2dDX3H0VoUXKNkE7qE05qWsw1dC1qLJP5ixvZCtvWGEk5Zs5YtavPPYU+75Z/SqKyRKNzvx5kNhnxQCRvdP+UKuV1TMuh1KSb/4x0a/8CgTBSkkG+rgtzgnZqNNF5i90Q6louYowWSF+Xh4P4p9m3mvxXHYYrYu0naZPPmDEOkp4tUH8bYrXh1UvPF7X21/I77pj8Bjnu1zYbgVyWeijGSxXXoMP6ztAxe2XH0XxTb3fH9KfEIPfbU5iv4iOglYjh5/OD1klPzCuRrj8EmF8oopw7u3xVJlo+igCxUqrAhKdOw2U8mmIC1zyjihNc93pcLcAVZSsNIlYTUBhZU6iLdd8RqQ4tUrWnO2W3Pn8QFzCdKRavh86B+fo6dF9HTL30l+I22qWCV1agCrU2uA23lwQ32AWxLKDeJtS7ygxhKdo03vqFCq5dr7aEz3+GWDQ/Ybq1xdg/ZgjQGU54HSkASlAhr4GxVUTslq7WOGq5iLkXoEkLd24PpesGgUjC7CpqvXgc5Un7WmQKdNiqAzVGDQ6RN40MEDaCIJIB3Ua0EdcEp7JCtQZTc54oJUtdkscOh+zaLFsUrVjuEg9EgQNqvqbGzOnVr/wjHx87wdVachYFVnnoGexjyK8ZWauBE/817EOy7F1QQVgPYOzApgB/D6/y/kDl2vKbX3uQZr4gUszL35W0TIJlq6MZc4skpp06ncHr3Znj/EI8hmWvpTzp986hBxnrvrITv5FBNS4asdiF76JCzY1fRjKwRVGzzlNtCbe44dhSm9izeQ2rF4Q+uAHuwATGSdWNUChYm8FxsH7F92PcSIWcaIBYwRtQMJMB3AiClrSkAxog4LKCcJC9bum+fZ/Yq2YzbbhHc1Wwk91oPGpGN7sOo5EXtb0Lo6KRBvElpWP6BlNQmtHsKn7EaAw0cb3IjUg5aAj6ZCwkfrQFZsn4R1BIsX8vnkdV3sD9yQoEbV3dFIE97jlx5qO6trG5ka6hCAwJwFTTZHHFjbVbPEz3IW2sjKuQx+FEXpmrvQJW8bzALFuJABEGgqgDakApwkLNDQKBmmdD5i7C70X6cZJrBO07u02wDnFMjmBwLDpJogGMPkb7ytYuTRc37hXlp+1eiY5dfVDqEEzphIJ5aBxp7asT25qdPHVbMKGuBtxrASk05yGTRokGjQ5QPJT17ghcuGzyBfCCR65xwrTZrvj9Se8/i9j2xHXdNNaIjR08xumXRUUH9Wl08ya0c3XSTNu7ztlaoqMIx04CKEDmBENubTQbNnEHzoAcF0NIZkun4s0D5x9b2l/auLqC1UOgSgQp9OQV3av4JTW7IbwAj0kqNkmJD54xeBiVE6JK5BX3OEOpDUkh7pyp/oSmrePdEFtQqcKLiuewTjZoxTK1vDIJhToPPRUZeONsHhR/YiKdiDx+jYVVIn4uc7pt5830P4lANSeJMlf4qmlbWyi3DdMktc14G5blTtyBtsHb/PVtc+rNBUeRxEu/XNHJkvrTcqkyoTJ3oNF1NuN8/G6gJ779iIanITFdW6LB/VGj4K+CfoTwjRdVAFDhsvG5JUfAgPNvKaN1DV9S7uJupTNfL1QbnSktfx8cZvLH4LJ+e+uSRSznxWlFtRewhh1cjP9r1FwIsOFxbm9I+RKLmN8a9Fxcpz3YOHUDdRilOpMFea8KzK+Kq58kqpxVdr06JqrVueFuowLSq2qzQtzBq129S04MXsevX4consmnpt9h8=
\ No newline at end of file
diff --git a/diagrams/convert_all.sh b/diagrams/convert_all.sh
new file mode 100755
index 0000000..5bbe1d0
--- /dev/null
+++ b/diagrams/convert_all.sh
@@ -0,0 +1,26 @@
+#!/bin/bash
+
+# Convert all diagrams in the diagrams folder to pngs in the mdbook src/png-diagrams folder
+SOURCE_DIR=$(dirname "$0")
+TARGET_DIR=$(realpath "$(dirname "$0")/../src/png-diagrams/")
+
+OS=$(uname)
+case "$OS" in
+"Darwin") # Mac
+ DRAW_IO="/Applications/draw.io.app/Contents/MacOS/draw.io"
+ ;;
+"Linux") # Linux
+ DRAW_IO="drawio"
+ ;;
+esac
+
+if ! command -v "$DRAW_IO" &>/dev/null; then
+ echo "Error: draw.io executable not found. Please install draw.io and make sure it's in your PATH."
+ exit 1
+fi
+
+pushd "$SOURCE_DIR" >/dev/null
+for file in *.drawio; do
+ "$DRAW_IO" -x -f png --scale 2.5 -o "${TARGET_DIR}/${file%.drawio}.png" "$file"
+done
+popd >/dev/null
diff --git a/diagrams/crate_structure.drawio b/diagrams/crate_structure.drawio
new file mode 100644
index 0000000..16c244e
--- /dev/null
+++ b/diagrams/crate_structure.drawio
@@ -0,0 +1 @@
+5VrbcpswEP0aP6YDAmL7Mc2lmbaZtpN0EvelI4MKuAIxQvjSr68I4mqMscEWaZ+MVgtIZ4/OroRH2rW3/kBh4DwQC+ERUKz1SLsZAaAqU8B/YssmsRjTcWKwqWsJp9zw6P5B6Z3CGrkWCkuOjBDM3KBsNInvI5OVbJBSsiq7/SK4/NYA2mjL8GhCvG19di3mJNaJoeT2e+TaTvpmVRE9c2j+timJfPE+n/go6fFg+hjhGjrQIqvC+7TbkXZNCWHJlbe+RjiGNUUsue9uR282ZIp81uYG/BHP7qMZtZ7vpvZirtpPTLnQJmJwbJNigSwOjWgSyhxiEx/i29z6/nW+KH6swluLyAtSf0hNbsnv+kxIwM1q7IYY24jIw4gRbnKYh0UvnwPdvBQbs/jx74y0ebMWr0tam6yVsknjrWQu8QR2YiRMIYmoKbx+mJ8mT+Him7fCj+76ylj+fFhdpCyE1EasyS8PJV8diHiID4/fSBGGzF2WBwIFTe3ML48XvxAhqw9f0yiXEEfiTV5gXpiEoq2w5kGLIV45LkOPAXzFYMUXdTkcO3FbIsrQukri0sxFr57yXkiCni6mVWGBCZNTWFu60h2reqrrjVRHeE5Wp2b52mUvKXP5dYHjvJVTPG7kDB/YytDbrgztTCujPtqG/GinkSsEa1aK1VAjJ1PS9FpJgy4ZnKJpk/MpWn2cmhWtTfLuImKZcM0KPXtErIelcAzzjYM0a2u5SROx8UCqsyzkYzkx70X+2pJA7xjy11uvKIWbgkNAXJ+FhSd/jQ25uGRikorLpVGu5iv++mWjP79IRpCTL5tKBz5Oh8ZHcBQfx4MlZC3swJDCSP0wRoJmBh/KyO8hol/mi3i3DxQM5wgnj2U4zKsBcUhQ09OYOIt4Ct5LrCu0al2hnqyu4M0CroeUGjt2mi41Izdh0aAwPOdus7GSKAAWMbfI0AGhJb2SBc27tRNXsmohh7TejiulFHLUdvyoc6lxyyoG6LWZSlYpC4DMCB9buIJhFAqtgy6lUKgmfjBtLhSqhUXF/zSlq6525t+/eShUx61aBNXpmfSjcZiFfBpQwlNet2RqwdDJfHvIrKCSWbOUKS2zXkrVXUkH3UcthMkbzaya3Mz6prfgrYMuJbPqulFWk0nlE+8+/32ZuDlzd87EjZAXlNwnHP/NsJS8etovX8m3v4x0/9DbN2rVneU5UatXRznfSHrcJR6qcw3F2xl0rlOwUhb8z0V66/Cd5qh4R/yaTmNN7MYTAu0OZPfvLXo5kd2SrBrgW1fx5z2RbcQ6U/wjkQa9n333i/TpTiJrkOam/P93SX2T/79Ru/0L
\ No newline at end of file
diff --git a/diagrams/data_provenance.drawio b/diagrams/data_provenance.drawio
new file mode 100644
index 0000000..57f2480
--- /dev/null
+++ b/diagrams/data_provenance.drawio
@@ -0,0 +1,131 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/diagrams/gc-types.drawio b/diagrams/gc-types.drawio
new file mode 100644
index 0000000..13219a7
--- /dev/null
+++ b/diagrams/gc-types.drawio
@@ -0,0 +1 @@
+7V1bc9o4FP41PDZjWb4+5tJ2d6edyUxmd5unjotVcGsQY0Qh++tXxrLBkghKCj6yyRNICGF/R5/O0bmYEb6dbT4WyWL6maYkH7lOuhnhu5HrIowc/lL2PFU9YYSrjkmRpWLQruMh+4+ITvG9ySpLybI1kFGas2zR7hzT+ZyMWasvKQq6bg/7TvP2ry6SCVE6HsZJrvb+m6VsWvV6QbT3wR8km0zFT2PsiCufJfVoMXQ5TVK6rrq2Y/D7Eb4tKGXVu9nmluQlejUw1UQfDnzaXEBB5szkC9n9+O7L5x8/l3/7K/rucf3rL+a8i9xqml9JvhK3LK6WPdUYFHQ1T0k5Cxrhm/U0Y+RhkYzLT9dc6rxvyma5+DhNltNm7Pcsz29pTgventM5/8bNkhX0Z4NlOUhcACkY2Ry8NdQAxpcaoTPCiic+RHwhFrfuiFUWeH7VXu9khn0xZronrliMS8QymTRT74DkbwSWL8A1jIeIqxc7Zrgi91zABv4QgEXIkVZsoK5YFGiQrftODqwfKTiSlO+FokkLNqUTOk/y97vemx3SDm/txnyidCHQ+kEYexIbe7JitI0+x6t4+lJ+/8qvm49ium3jbtNqPYlWda3lBT4vAX4/dFWMyXM3XuuVpJgQ9sxAz9PLtCB5wrJf7Ss5vXzQEBZ+jNvr3kfqjqJd9/G51r0BrOUdZ9wm+JR8I/k9XWYso3P+0TfKGJ2VUNWq3dnHtWwkeTYph445PqRoC6Ce9lqMYSVnyrkW5e/ONpPSpLoiObdrinLcVU4n2fjrJGFkufe+JN6CFIm4qGSebonJ6o7YOY/omva+6JwutywD2+VNdJVYkG2yw2+yM5VdbJvsvDfZmZp5oW2yCxXZ/TlfrBjvulaEyG+ctfGvbALJUNDYDooMZcHNsjTdWpA6I6VtVbbslBMIJYraMoli1fTWWSD4XCKJDork5kJEghrAbZGJwfGdzNPr0sNUYpony2U2bgumDdnI8MCiYrQHge6oXfcZn0LEL9zTbM72WCEdSCNXgrY6R4lv7buZpIlkM7GhWz1Rdc5SJtqKqbnt37DnHUV0/2YF+cjFsbgQOoWeJAJH1TqdsqleS1C+hZZn4SpsPA0HnAvb1j0pMn73pWxP7XFAph6HA2LuxuGA1JOxKsa2kI54HFSPwj6xUvI9WeXsRIdVScmHGs+lq6GAvOudjgJIwQ6QAi44BdxeUED1MKhitJUC/FxhGwc0RtQlqwFsyAEXlAOqp6ZPHHBt4wC2iQPwesDrBQdUj1d/TCHkeLZxwLOJA/B6wDfkAAblgBp475EeQNZxwLeJA/B6IOgFB4JecyCwjQOBTRyA1wOhIQdA81CQGkHqkS2ErPMLhTZxAF4PRL3ggBqy6xEHXOv8QiqcKimGFW2T3RJyvN842iYlGDShno6iba4aKP1n+1aWnx2RthPQJ5QQb4JtUME1bFXi7jvnCnkRsBbBxgE20PBCfZmtfY8rNm898t+PwhtnFN59Fa/VB71RMrHfZkkQqSzBnbIktoklHaa3Y1PvEgJ1sWJdXcceF5DgAuohFyLLuOCpxuqFcMHUy4RA3UxYdTNpueD2jwtKJjo8GYATM+DIYOpuQqBnbaz6m7RGEu4jGTzbyOBqwP6tkzjZZOxLvej5+8fdmuet3SovG2dY5N6BjbyjY/4hK/jFx3w/aE8kFy6f+ZjvqUkgZVLttrpDWSCDOepH+Dg9Oz3qD6L2OZazkzWodlv6rDO3egerUlIOj6tnUChmP7ByQQN8qb5nsA8MzF8uPy7h9dUpniTMoFtFqu41WyW6HLlBMiuX+9a4FAVg/Dec6/EWt/rjyc72HKLKDaXjoa+JTSFdcOp8JrHh+WMATlrf1zw2p1OsdYFADdYDcALCY60rcdRgPQQnEzjYNdEuwYkBD7bqxDiiYz+sylkvU8N6IbSG9Q2eBTIwc1ZK//DlrA1zcxa1J0Ld+oV83QlPE6kYgnHkQm9rlxMhhcf6giJw8GAfOWGhIRlH4GBfah5M7Y07Gu6s3HtQ4c5Ad1I4uNpt9Zkqzmj45zyGwEWHcAvfOBkSduEfSYastYDXQy2AJHsfPM4fAldewZHBNSVDAEoG1YWhJYPfRzLYlhocApdgwZHB9AEkVc0fGBl0/iGN8zToIxlsyw0Oraom6ZIMpk8iqYr/wMhwxONWkyHsIRlc23KDgyNuIGdANil42CYwDLQPweaBB9sw0j4EnQoPtmGofQh7NjjYdTjzEvwI4N7k0NBpM4g9GxxsQ6fAIPZscLCPHDrRkPZsaLAjdc+uMnYe+EnsLWnH3fsjzUbNauIpXqcyUwlyXGaXlcysSC3Q/f1Lt1IzKMl4YYFf7bpBV46DW86bK4zDIw4c7ZNA6prB+v3jaFc/ePaKwcjUKVr9dSpUChnC8hMtX1sSgbD0B1NBKM105iSySE1saooL75OsGO4GEcnZIdDPEooMSuGGlYoZH1KsLy/R9SVZet2ySOc+uyzRvfohanVSVD1RiLoVnc4/9HtKWaNBnWc1aEuNh2017jnua9T4KZWyafJW9b/bYErZlVSp/9qCf0W9+/Kef+Y1Wd9Iv/PQ4rC9KYeRetKNu1Swsc5h1jtYEcKd4cqbBaVsf3WXf/L5maakHPE/
\ No newline at end of file
diff --git a/diagrams/intro-diagram.drawio b/diagrams/intro-diagram.drawio
new file mode 100644
index 0000000..58558be
--- /dev/null
+++ b/diagrams/intro-diagram.drawio
@@ -0,0 +1,286 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/diagrams/key_exchange.drawio b/diagrams/key_exchange.drawio
new file mode 100644
index 0000000..ba55fdf
--- /dev/null
+++ b/diagrams/key_exchange.drawio
@@ -0,0 +1 @@
+7Ztbk6I4FIB/jY9NAQHER7V1pmpmtpyxtnZnX7bSEDHbSJwQu3V//SaQyCXeuhsvvY0vwiHkcs6Xk5MDdMBwsf5E4XL+jYQo7thmuO6A+45tW65n8j8h2eQS37dzQURxKAsVgin+F0mhvC9a4RCllYKMkJjhZVUYkCRBAavIIKXkuVpsRuJqq0sYIU0wDWCsS//AIZvLUbhmIf+McDRXLVumvLKAqrAUpHMYkueSCIw6YEgJYfnRYj1EsVCe0kt+33jP1W3HKErYKTeM/ur/Ci3/23eKP7PRl4ffwff+nevk1TzBeCVHLHvLNkoF6SNigRiL2QGDJcEJQ3T0xFsVqrW4bDsycRLCdI5CWXrOFrEqxCh5REMSE8olIZrBVcz7PYjhA4onJMUMk4RfCZCon194QpRhboivtQIPhDGyKBXoxzgSFxhZcilZsRgnvCHFg+gHlEW2lfMuL8XwFutIcGuQ2QwHyEhRsKKYbYxHtPl7iegCpylvlQ90MMNxrHrfsUF3POg73IYDDh6DvEEqx0mWMOA18DNXtDzjl6dSlztMJkViKGhdEkkTfkJkgRjd8CLyqqfIk/PJtaUFnws6bTcXzUtgukDOCTkfom3N28Z+cH3BJOJd3bYGzGprAJhaaz1Tb00xr1qDMVd7Ahni5knCtMwpPyiNsxBl9L6EZI1bFPKZLE8JZXMSkQTGo0I6oKI3W1iLMl+JQCkz5z+IsY10S3DFSBXqvQZNyYoG6EB3ZTnRx4NmpyiGDD9VvdEBI07E/CwM6DhVA3a9mmUYpBFi8q7mraL4LtzLD/RrhVIxCzV7xTH36sIuz3PM0JRPJHHlmU/QqtZhusyn9gyvhfWqDqiBSebUsLdNHXt/B/a+ud8+Fc2+VI3ONeBOORusL9ZQLkhIgt4EvOtdhnjbvC7xtkb8FNGnm8bd8m4Md+99+XJwGbI9/7pkA43s3whvcnPDZHvOjZFt9zQl6upLQuV1gxjyADSoaq1K+l4tHcWxpAN3hw6U7O3+2FAB6aYWlKha8hmmgbsrmjG6R+o69yQwP5oB6yHkq61X91+XNp21f2n2sq3ogziKxNFk9RBzq9nmF6S7t3Y//JL9cANeHFi6C7F0R/4ht72ghfp9Qu06zRP9ptAEeB9tZfO6PcP3qzPd7hm298roBJxU3bn3n7oZVZjeOoS3OgTxG4+bcgCOhsuO7cllfUD3o/kAsaXwQGM+QOx2rOPVnXuT4rc+4F34ANvVl4yr+wA9RVHK2ZtbYHSWWoRORGg8FhA1tDm6QYQcfVOigyGViBfZE/iytXfb5qhJMxgGMHiMsiWopO9Z9uNFssb6Kuto7kpByv7czxkTrxj0hSbscRAmjoH5NmCG+eJGjYC3aI9DyCD/E/JU/JNEHboi2ZBduFvGq/TOsn1jmURl3kXrldlRhbwjzCh+NXyOPYh5ATkm0MhRa1eJHAB0csDZyPH1eOP8qX+0xuxPcbtIM+SnP0uX7tey6uxkcyyyOfq8wHFODIEaztxt3x04Eobw8A5uSsUyt53ub8dVYWOtnQKEvMZGYxynd11Suv8nUuqp2bOR4l+DlBPecaqCceSxVSVkeYUL5/JebzhsbCOpEtvqlaAdmaTta2nz6stq53LjrqbyqYiORI7Vngw19fORskMRn1z0dqyDWnBWDx4WOAzjfc8iq2bfvzQ3YqUq+q59Wk4ZnM1Gjef7uHLoRnhHyzAtdf4z85aO6ytB4SOzs035bIIo5qPL8qwH9Z77oyY854VSjTUH69af3Z+cZKy//3eip27MmTaeIdpSc2captltuTkUwr2aG+DU3I9vGqDbK34XpUhpp0TR5NtUZaHM6RyKpaJNJZySShiPzYaWKKfrVaMz78p5BFd/fbTF5OqYeJZ7Y5job6aVMpZaxpviJ8hQp015vzxfWfu4oQmf49lGFSfX7inJ1YDS85d7n5+0NL36AUrzNHnAuTmW9K1wi0mTX1idIfBpP6qqfbSxOwBrKb5s4GX5XePWQq9T0gEXSMsXGYc3f6gkB3A0U3DrHzQdrUj7ymFPLuG4M+GnxXfMefHia3Aw+g8=
\ No newline at end of file
diff --git a/diagrams/overview.drawio b/diagrams/overview.drawio
new file mode 100644
index 0000000..9af3a0b
--- /dev/null
+++ b/diagrams/overview.drawio
@@ -0,0 +1,198 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/diagrams/overview2.drawio b/diagrams/overview2.drawio
new file mode 100644
index 0000000..fb4597f
--- /dev/null
+++ b/diagrams/overview2.drawio
@@ -0,0 +1,76 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/diagrams/overview3.drawio b/diagrams/overview3.drawio
new file mode 100644
index 0000000..cb4f0aa
--- /dev/null
+++ b/diagrams/overview3.drawio
@@ -0,0 +1,73 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/diagrams/overview_notarization.drawio b/diagrams/overview_notarization.drawio
new file mode 100644
index 0000000..ed0dbbc
--- /dev/null
+++ b/diagrams/overview_notarization.drawio
@@ -0,0 +1,213 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/diagrams/protocol.drawio b/diagrams/protocol.drawio
new file mode 100644
index 0000000..f947461
--- /dev/null
+++ b/diagrams/protocol.drawio
@@ -0,0 +1 @@
+7V3fd5u4Ev5rck73wTmIX4bH1mmTc7fdm1vf0+59uofYxGaLwQWcxvvXrzDINhqwHTxIyEkfGiNAgGa+kebTjHRljBbPt4m3nH+Jp354pWvT5yvj5krXDX1o0z95ybooIY5lFCWzJJiWZbuCcfC3XxZqZekqmPpp5cIsjsMsWFYLJ3EU+ZOsUuYlSfyretljHFafuvRmPigYT7wQln4Pptm8LCWatjtx5wezOXv0kJ1ZeOzqsiCde9P4116R8fHKGCVxnBW/Fs8jP8ybjzVMcd+nhrPbN0v8KDvlhn9/+PnTXNwOVt//ZcxXwfjmm6YPylrSbM2+2J/SBigP4ySbx7M48sKPu9IPSbyKpn5eq0aPdtd8juMlLSS08C8/y9alNL1VFtOiebYIy7PwzdlrxKtk4h94Xb24Ln/HvRvL773144WfJWt6QeKHXhY8VYXolbow2163vfU+Duir6FqpuMQsZcbUlthatY7MS2Z+Vt62a3T6Y+89dkUbUbxALOV3PnnhqvyGsZ88+QmUVhhSKORS+TUPMn+89Dbt94vC8cQ2p7Vm/vPB1izPOtVGYYe/9nDBdH2+BwlHa27+Sru9tJEMtXTXFKO7pi1Zd02gu1/9nys/zSSrr6n1TH8ttfTXFqO/ritZf22gv3/E9JFrqcrrGj1T3qEM5aXtl6z/LO/fHPwvP7jWLXZ887x/9mZdHjVKoNClQwMkS47ZNggnuQKfnWm9A7T+PgmevMynhb/7NcpP2+Oz90DH+xUJeWEwi+jvCW1oau+ND7mKB3Q8/b48sQim00IZ/DT423vY1JeLaJl/2eZbrQ9X1k2t0A5pIsDS1ikoH3K1P+yuw5h2TfSysrbCLIU34O6IHx9TvxOxuVJhSC4OhnzvIxqG7HEK4tDFwuFAu9Zs3arIgXlEZ4p3QEh1cCEKp0SKo+0/B9m2u6S/C5gOrfJwh9L84ChIj44QpfWVltgRIoHu+f2XMS0Yz2mr9RiipGnc2QajrBWQECoAg1IIA4ZBclkYBB2laAxCmkERDBpYGKTdpGMgdYumsI7QAnIb+5MkfxgTnbYRJCfAHQ6JEIfb5voY3ZXtcRNITEA1j6bv81mPXKVDL02DSbVhqtassZmOGo+9RrBq2oCVYVOZ7mmD8eN8Pl9R18ZqCEQ3CgPa6nf05rjPxorpHIKxMuyhWx0xEBwtcYXZLkiSXDgCeeDoJ7rDR6EMKuoagS4QXTGj1nsEMp3DoLc0w+4CgQNGmwmnv3RIl1w4Ivlx9xALkaCirqe4CRDd6FOh6MHj+v9TL/N6DMut4qGwzrpZxQ8O2aU7lVrFgRLSI//9nLtm5DovHuQj/SCahf5gAz0gZdqgWVXAaZbEP/xRHMZUujdRHOWyfAzCkCs6XRHqHIiqIXiMo4xRA4QdF06+4eL4GITrE2s8DM2pMSVGVy6GbgDJnWlO91qNHPTMemJegVXEcjlARV2bV8iPFC7HpyAK0rkPYSfAuB7XhsNqiTIGGlanAM41tsKtK/QlXxlGeWhZRLvW9v/Z7SDLY/9YvQ0Ipi3vrfcuK2HQ+DmGdtJjd2pUPABXqaBnW7hHKloLzIAAbGvBPCajvloB5gM6wmeaD9XMBRg+teYw+Io67tIN6OwWIB3lGHukKMv6PPGx1bw3JqNOuNAdfm245GcQW+NS8FSkAf3dApe/++uPz5O5F836jEujyW99w2XeOugusXK4HGLhkq+oa1xCF3iP87/JKaMeoxLV5704VMIogjNRqZoTDNIksFAKKuoapc35Ftr96iGkYpMW+drSA91qJwZ2nXNj0pmcDWHgfPUMlWlVo5dbD215lAsf2jbxQgqDE40e2sSpO1VJ43SsRBxW0ekg5bDaFOh37owPqKjrvFtIDxUzPpLd0LY4xaSLDIsbqeo4ONXrwN89ak2p2STVSHb9cCQ7L30JuWMsQFB0SLxJqOaZumMNy/9PsitoOgJZKckB8i0NAVN2nKQV4lRdYawAes6+COvATalJLRqKKRCXzS3KFPCDCsmmoHe5Mm1NARopRk2BrllcPDrOoEDa1K4pZUGRVjmmJzsJx1fVkYVo6yCiux7rQ9Js44UXiE5VgjQaV7bp3U0ubRyJ6BY3spezrkqbHFX1MAwG6HIxDLk1VTGMSakRx6h2y0iuejXEXhyg6xKPqvmudpiHuz8k9Ncs/zX20zSIo6sNs5rC8+/uv376DaiH7ARZQ3qCLCMEFRz/NLlCw+5cIcuRM3CyhzJdIQuGWd150TSdez/yzPM7L50rZHiZxuNkIXExAmfaXeHuj6X3B/79Z0Kkwd+QCn8YzaXomItpO840poOLffY+9fyKAFNgyjQFkrwoUYjmvagjHXrHXpQFI8H6kEbcFtWMqUUhOF2k0CGdS3zqELh2f4Db/4lNaYiX24fD8DJV+3DE1XV0y62m+2MtImBUahXGm1h1a+0UTMg0eGJUyCheLFfZlkOhT9o7WXc9lwJ94m2VzqT+np6xMTaRzsbIWZpYUVNuS1q2cXiYAu/YlNswZE1VU44Yraabjotju7mZaGHG25Yan6YaFSMK+2BtE7nYZwSG8ti3m3rrNiu6WsPaiar+rqps9ygATRjXIg2yrkyuxb6gNYVszGWYbad2qbVz6VNZ2ZV2XXYlcIo+RpNkvcyQfa+e+VFDQ7YfZaMv+6x6ho7ZNtWVz9ABFXVtP5uWgR6N4ILnPTadiLSV8suxDV99sitAVdsEOoDzExPozl1wjT2n0xXWhk2ZtGphf/i2uNqh1pHKearGezB4i3ainFa8x0utjOmCpx62foev78YqORdDwA4RCVhia3pFFkh2qRpkI2yI4vSIjRXG0EgzLlIZGgeSqqWb7k/LXbgVwrTT5L63mVTROEwjpQbxa4B2COMeEa04Y4sLHFpIDW53ID/LaLZ06UUV3bF/ruL8xKTYQeF93hazB+8d/R76cI3789tGGlou2MGjtwjCdXHLIo7itODjtufTjeTzs9ryuSjPd3QYlAbl/eY1vKSg+7QHb/JjttHSQfVV3ul5glT+9M0OT5sfVvki7OUZbZibtj1CsfjYBkaxx+auE0q6vzNHDqSZFeyjMFPSwewfUidF6pd/FCDit3jOHvZafBBQO4cYTUcuJp7TwYzn1DlyDMkSyErJYN1RHyzBxTmhANBynVCY8qyyE4q2AWOekmHoHABxYM3XKgzWLiQQXx4qwOmC7Dl/R/qcvwuzlCFiLnpSsYZWO2lQcnR2ElTUsTF0L4qRc5vA1Wpla7eaW4KVscKtZy7KFBIidYij2uwfYTZNNEdHtKq7Y7snWRY8NYHDo69+uoyjVKWl+AjqxtR27dTYufNtQ2HQZzanD9AX5t1IRLB7EMFd7yWvw+HZKF4sgmzhRyr15lu17WTSHMu1EZZ8vtXnw87MrR/5ifeSpNM93VDCASKadA+IvG1FzXsuLta+laCizu0lnJfc84HUG/rg7Uedr3eoc3vF4CiPLCdIf/U7cx2FW9vNf8TjFqaeqI1b1LWGO8GtXptIJgK3rz6PAeC2bZoRwK3gNCNSs5v7l/d5AE0xr5oqtuo/wdvR/QJxC9kkINrJKnnauhOXDeKj2GsLYqKR01D80jyBpjdunNDQ9DNv2H5Kp6kFpGa7+m+bdZTgitbUOqkU57EDHYpBMtz6RG/c1V/EkaH4W9mrboUo4k6LqTqB+uRr6nowUbO7vaLhWQRzp3vNZhus4c5esi0FReD0BIrtFQ0djkOtPWhP3Lb3xTmGTa/c+GbG2TeISEskBmQMb/xKDNFu8LClJOApFUkKA5VcdO2qY2KhQGW7wznTClOc0XrjF3nQEyyCEdbU+eACMoxqzqQauNuYOdWxOxJHISn/mBhv3CLPLfIDgrbhjKCizhELucVyDaMwTv0/4mzj4CsEXMwFTdSNaAxt8tftd/c/d39Ovg8myXS8/kbY27/5B7UYttpSi2BLnI6YxaYXPnWs/9LrbWRasVYnoc/aRCoWyyv1e2nKg7DrswPA7bPKa3B3NsmsFeRbQmltYzEySXT+mSVqg5Dar4YeYv8Jy0O6jkJXuizE+kxRW6KALjVzvMfJFFKBDoYUUoGuYuL4IV3v4wLyTPCiYN+jHKouEin6hV5RO/fVfjUMXBkrsXHfIbXF2Yi3o0QKXRSGmTfQBxD3aKWyfmFf1Jov9V8NQ0TU2Ib7oL7jLIrcsHrxuftwG8LQX0cbnr1zH8/mXOzOfVaHO/fRwyTOV87byZt+0vxLPM1R9fEf7V1Zc5tKFv41rkoe5GJfHh05y9SNb7miO3Mn8zKFJSwxQUIB7Fj59QOClkWf1mJ06AUpVUkkEA30Od/ps/eVOZy/fE6D5ewumYTxlaFNXq7M2yvDMA3XKf4rj6yqI7pnm9WRaRpN6mOvB0bR77A+qNVHn6JJmDV+mCdJnEfL5sFxsliE47xxLEjT5FfzZ49J3LzrMpiG4MBoHMTw6N/RJJ/VR3VNez3xJYymM3Jrl5yZB+TX9YFsFkySX1uHzI9X5jBNkrz6NH8ZhnE5fWRiqus+7Ti7ebI0XOTHXDCeDj//Iwyzv37/08//Hjo3zpd4UNMny1fkjcNJMQH11yTNZ8k0WQTxx9ejH9LkaTEJy1G14tvrb74mybI4qBcH/xfm+aqmZvCUJ8WhWT6P67PwyeuXyZKndBzuedz6d+Uzbl1Yv+/nMJmHeboqfpCGcZBHz00iBjUvTDe/21x6n0TFoxhazbi6VdOMsK3paM0x8iCdhnl92eukFx+2nuP10JoUbyBL/cTPQfxUv8MoTJ/DFFIrjgsolFT5NYvycLQM1vP3q4DjkXNejJqHL3tnsz7rNSeFfP21hQvC67MtSHja7ulvzNtbJ8lSi3cNPrxrOYJ51wC8+y38+RRmuWD2tTTJ+NdWi39NPvzr+4L51wT8+2dS3HIllHl9UzLm1YVwbzGB6erf9fXrL9/LL9eGTb7fvmyfvV3V33aSoGKmPS/qihHbpk5RrsJndxqHA9j+Po2egzwsDv4RMri/mJCvwUOh8DcoFMTRdFF8HhcTXQh880PJ41GhUN/UJ+bRZFIxQ5hFv4OH9XgliZblq61f1v5wZd8yibaXFQGaNmZBfZerbcWbhTLtWjdqerclZ02+AXVF8viYhd0QzhUKRL1vQKTXH+5A9NQFoosFxIF2rTmG3SAEUSxPpO9A15v6BTeg+kKA+hLlmwWz+FzB1LXrr68oLb8cBOlBJVHUamlztnE0CNK7UXFgNCsmTWaI+ogQ1Q1UgHYPwQ0bC4Gg3isIgnWSNwShn0ENCO40/lqoq5pnIi2KFq9l0AVkG4XjtLwXoZy2piNFv1cU6lwMbodaYQxftMUN9ULI5IvJTRn0KBk6DrIsGjfnpSnKds7SQdGxNQc2YwrIMWxPpn+cJn7YnU8P1LGo8gHlhnFUTPqX4tpEYklFOA5BUJmO6zeVBR2HR3xeckuHKl/P8UfDxjjSEj4IZDBQ19E0qCpU4TTZAbjhOQzPlmY6XSBwQDxm3D1flgXI+tfXUgPUr8vDg+Lv3VOcR4M17ACZixnNmxTO8jT5EQ6TOCnIe7tIFiUxH6M4pg4dzwksPaUpBB6TRU7sD518rywJ08dRZXQKfQxFRvMYYsTsSpNxYIjl3EQpPbetRSk9UMei1IGYq0TpsITAYwGCXGbba8N5F4HKmh0bEPfccEk7MVrjkrM3xIHhuwqXf4Srjy/jWbCYSo1LzBBe/3AJfSbnhksXC5f0QF3jEnpttkyP21KflBiVaPG8XqISunVOROWW7q/vdWNKglKQqoWFUjBQxyglt2PkfGn3Tw9xQTZhsffDTLGfOzGw652aFUPobPICpwszqM8MnJbdTJ9ordrSKOet2rrGjiVUXXC6u3w47RJlvCalcRZWnR9W0d1BymF1V7Dx1EgXGKhrrEL3UBXqEmyGtsUpprvItClN1cDBqcECf/eoJZkHMuTSGPtzaWjqC0he9YwjBQ6ySm7pBedZhme79b9HyRU0HmEklYvN0WkpCDw0QVCmzele0xTGyuGh5Au3BdwTUonHzmxtKwr4FZTwEgW0UiFYFMDYgqKigKg4GKLA0GwqLQZHKTB15qgcRIGYapQ2Se5HGwkHM26FIdrei+ius9qg02xthVeIzlSCNGbdiq5bVN0KkqObn2bvicTwm7Lk1cMwUNCFYtiDMQxVMYyWrFpi2DObyzKSqW41BuUHaJYHtZlz78RlLtxDWnyalp9GYZZFyeJq7VnN4Pl3998+vQfsITpJ3xSepK+LLTFSzRbaEIe36uTtF7s7jKGbNA1WWz+rpdfuu/rgrtvDvfX3xYfqCVClg25A8aDoIqDvFCFtHLaO1nSt4iwCg6bvh1/5sSHUYSvINBMnYHyRep1uwEDMx8U4XS3zcFK3Y1IK14iBGEOjcI1koNGZ2F1CWUzzHSaUcXSMPqoYrkh/q27A2AtR47NlsGhwj/PzqexC+WFc1bnclJMxfQjeFS9U3F2j/nu/podWknbwGMyjeFVdMk8WSVap+5vz2Zr25Vlt+VIdL+tuBrVQuVk/RpDm1amHYPxjuubTQfNR3hmWV919XfG3/mDXD0IenpgmpXgjb1pMXfWy1SmlRB5iSrTmEPNY3t4Mm85LsHHgeZKtTO2x3abLAGmp0tmpuDyILJFvUf6sAW5rF+2VbGce43FJb9ySG4ZH0VwNQgjcTD92CJKDNCAqswzSoH8mKQC1WJOUxKR7YpIS3sXJAzANCoQ40KZH5QdtRoc0opRPomeikNcMsKWub50E3CA6vOCZwsMLJvTVQtCcVa60h5UrDQbqXCDCvHelBSJhTZSKI99kSq5T5SFVZ8ZP0xGy0YayYUHT4qMi0cLEF2v3mLBaWFW7hzA8TiSOGTM7NRDn8kO/RK1/pffXC8O+WH+9BRXmLW0gWyaLTKU06Q3P49hHFp0njRSzY6dqchAJlkR5QvxcH8KwLdb1YUGrTUVIW7ssaIzsGiyPh8MPwpcKSBnXddrtKVinZ3SpVFWntzDLoW2k4AVHGx5SkuHSvA1Vcmn6Erg00bsOqubSpD2RvuNfHymmDms+jLE6d2zCTA61TRnMnA6d2tYIx7Gpi3JsWhKlIirg2LQdPkoQ6KimUVrQUdLl1HqH8q77pdWBCzqqeLBgbqSyOhlm59SeVTxY51iMLlDE+PtETOc+Fhg7UTmaaiH2Xu1BxYN1iaCooGS4LZQMNB6xYQTlUvGgkshDbFmrRMUDcYGpXfGAR7ZeVjzYDG/WJUogfO0CvctbGch4XAJzAVW1SAnDXyoeWJMjtFWiqIoHcaAWapLaMLKhsklKePdS8bCXyftU8aBr4uODNvruR6rFB1metqPUk8M7IYOROpeJ/XLT2ZhbJPWt6MGWyGmnQGyQbLfF3W1nCDV9HOi2UzFJwEb0Xilf8OCcZa8xcQAWauYw9gQeJvN5lM/DhVKLOeruwOrnNzO3HQUGzedwEabrXZ/ZFg24YJs31DCCDPFGEGMfUYisXhtBwHTRsfZQhyN1LjFhfxulEyQd1Obb/UqQZOwtembIPYy3tltR8kcuY19RpZG74U55kUs6aPFHrnFBLo23tjs8Q+Ry3uJZZ+wyendTptVUcdZMsW2oXrnzglw4N6xQDEXa8VP6vDEq+g3jw+BrDeONXnUAxm+tJNj5yDsjGxrt5n77FeRlui0+cKEp968wjR5XcJeVQkAplfrhojV9KWWS6VMbWiJ5UJoZJfycoi60+s5Mn2CID6QyRzhS1/qEBy0BVTO2NoyJknhLml3gBjHJNtcccLrZ4fOiPRwHtfagtbvRHnY+8s4nM0++gEvhImMXXarfwKvysPFLwFMqeipQ993Vfadpm9goUBlQ/aTIhn88hNYRJs+ZySkTzc0IRupcuYChNzVDqh6qRbBRunDdFKLqk72zD+pBByOtEbTObAQjdY5ZaN4N46iY+GGcZOGfSb428RWCLuLOFQqnNtrp928/vz7Y3wejb3+mw//4y1AbQNvvRODKDlR6SXRpv19bGwAMhAdTJuUMCNJPFZMX8PzvJMgDERiF5N/LdhiINMgWkciI7N7nz5waGN0586XUxaoRAAN1jFBGNuF6Gf0ULaJsVpqzMq6he5kSA68aVQl5Kl55A/TS5Y/Cla1r19rWHxNnQT0wLJKHzdT231VzKB46zRvG5Cjo8RiFaYE1BQUFZhMvbEGx8W2xh+1ecgjt4iVxAwW2imgfKfSQDQJL59RlmfnW0JFyfze6qmNxCskBtGrCylvWdGyZOHJAp6Ly1ALTnRy4VBNKKAdo9UOsHCDOBOUFAWZPJUOjN0/B0QiEKQQk/iyDJOiiulAuQO/fPqFjZwBJ+1Aqy2Yv0yKt7RZ756KTF3duGJZo85TeYRgo52IxDD16qmIYzaFXYtgzm8syzqpMZpt7SAw6+EbhOC1vRrQvOg1pFGZZlJSNWQt+yOD5d/ffPr0H7CG6HNgk4OJRDcyeaok2k32j7NxlCbndWUIkzsVbcXJ47SfJ5hGYQfQlWEyyWfCjQKL2JchmKglezN1kqXwfpEAKR/PHkwf+8jtChMHfFAp/mIykqs6F2VtA83CxT56HQ9NJNnNrIkWBICuKF6JpK+rAgt514hLMOZMhc6klqgnj4jg4fVLFJ2NzJfb7G/IAV/6gpjDEC13DDRV7wu/ldpSW8LbfTDHESlxsJihz85sY0DvGbpq2fHpLkzUqZe7IyxqLiRLN2RxdtDfGELoDpmqinAQNeYtyl9cu4GweUXHDyb3cjiLKLVIzg9vSgV8Uy5Boh0n5XTG8sA9S4cViHyanqYp9xGb3YKOvEwPYHLAuUf4ZN1+LMMj6In0tJkwjU7YGhbAt7q6KOKAlj8Pu88ShaIxVx/nWLXta2l6S2VEuzx7XbGIYDGLQMOt1hRBIvWvbpo8uNQIDdS0/oeeqLoUfjhQSnRuOlLEsh3uB7RFdsfoNT4CqthW2AOdHVtieWqRH7tNpVZ7JygMry/IUwz5au6k+luSZlwa7e2tw2y7cIImko/a6ux742HZ3b/29g9xZl82UMOVtV2NdZQuFTdR+Wh11waNqE2ge7lAsCc2MUy0UYwnaldkWGlUnSffqu2NNxAZdmk+2HDyR2DYvrBNlXAZ3rPyhF15YB4qFUKxb0L+nKNYJt8sYeiGk54Z8huOh94EYYQAWmvRqQUfiSN2kV8K4OFUsHe0vys2HYFnywBhn/e7h8i00c8KCrkSFa9gsVI/iDtffqUVs3Jr5WCwP4slpr7Rfp7dpr3aHaa/F1zRJ8m16F680u0smJao+/h8=7V1fc6M4Ev80qZp9cAqB+feYcZKZq53Zyk2u9vb25YrYxOaCwQM4iefTnzDINmpsE9xIyMk8TIwAAer+tbpbre4LYzR//ZJ4i9n3eOKHF7o2eb0wri903dBti/7JW1ZFC3FMo2iZJsGkbNs23Ae//LJRK1uXwcRPKxdmcRxmwaLaOI6jyB9nlTYvSeKX6mWPcVh96sKb+qDhfuyFsPXfwSSbla1E07YnvvrBdMYebbMzc49dXTakM28Sv+w0GTcXxiiJ46z4NX8d+WE+fGxgivtu95zdvFniR1mTG+6Xz3e///Pv23g1+Kn/bfx4cu9ng7KXNFuxL/YndADKwzjJZvE0jrzwZtv6OYmX0cTPe9Xo0faab3G8oI2ENv7Pz7JVSU1vmcW0aZbNw/IsfHP2GvEyGfsHXlcvrsvfcefG8nu/+PHcz5IVvSDxQy8LnqtE9EpemG6u29x6Fwf0VXStZFwyLGnG2JZYWrWPzEumflbeth10+mPnPbZNa1K8gSzldz574ZINh588+wmkVhhSKORUeZkFmX+/8Nbj90Lh2HDMaa+Z/3pwNMuzTnVQ2OHLDi4Yr892IOFo+4e/Mm5vHSRDLd4diuHdoSWZd4eAd3/4P5d+mklm36HWM/411eJfSwz/uq5k/rUA//4R00eupDKva/SMeW0ZzEvHL1n9Vd6/PvhPfnCpm+z4+nX37PWqPNpLgYKXDilIphyxrZsc5Qp8dsb1DuD6uyR49jKfNv7u1zA/HY9v3gPV9ysU8sJgGtHfYzrQVN4bn3MWD6g+fVWemAeTScEMfhr88h7W/eUkWuRftv5W8/OFeV1LtEOcCLC0MQrKh1zsqt11GNMuiV521paYJfEG3B3x42Pqd0I2VyoMydnBkJ99RMOQ2b0K4tDFwuFAu9Qs3azQgVlEJ5J3QEhVuRCFUyLF0PZfg2wzXdLfBUxtszzcojQ/OArSoxqitLnSFashEmie332/pw33MzpqPYYo2ad3tsEoGwUkhArAoBSHAcMgOS8MgolSNAahm0ERDBpYGKTTpGMgTYtDYROhCeh274+T/GGMdNqakBwBtzgkQgxui59jDNkWN4GOCcjm0eQqX/XIWTr00jQYVwemKs32DtNR4bEzCGbNGLA2bFcmL2P2KOPH/fmihZUNSDcKAzrqX+nNcZ+FFeM5BGFlWLZb1RgIDpe4wmQXdJKcOQJ54GzWZd+KQKCy8x11jUAXkK5YUes9AhnPYbi3NMPqAoED5jYT7v5iANwh67++5VoguaSakTbIlYogmob+YI07QGc6pFmVxGmWxE/+KA5jSt/rKI5yaj4GYcg1NWeFOl2lKgUe4yhjVghhx4U9Ybg46gzh4FejzGhOjRwxutJmdKgHAuqMlxShTOV7m2DdGUJyUCPsiaDl5aPZ0O94vKOGqg4dW2+1c1kpsN78wnvfyzjxerdyPf1RvDGuOIEq9p9+EjzSgbHCXFA8JPTXNP9VzB63QRSkMx8KFgETyHEWPww8FB+QazlVMuFMKMOq95dXFrqbUAwCOADS9rxVPF7kt1bx+I46VvEMqAvcek+5P6HA6mgEvQr90fOMfVP6h56Xj04DbeG8FQQQFmMjwRR01DVM98fXaHfLh5CSTdpKZ8sp1UCbUil2nVNjEDYKlDBwQu/WOwPnUe9GU3CCVRXBbhIDerhY4LGy4ESLD1rHJTicZorCP0QYVodS4xCqa6D64TVQnt4Soo6Ya1n0Yqph0olgqDumXf7fSJqg8QhUpCUvrbaE/hBNp85NXeJUlWqspVdOpxYnCqSGQ2gookBcHLAoUcCrEpJFQe+iLNqKArSoCyoKdM3kVjJ1FFnAfABcrwJEgZStKK2iExubBsf3Y8lCtHsQ0V3vzoLm91qfLxCdqgRpVEc24VzOWC4zYS6yoZwdOW2iG9XDMFDQ5WIYWumqYhjTOCeOUZ2WcWZlFhspessA4+0DkZJwUTJNgzgqfDQpPP/p7sftb4A9ZIdWGtJDKy300ErVPZhD0szQOLqcCDrqevcudEaXq4BFxKWkVcCW8tFCjL8kml1vX5zIOlX/hTDxyAIP+qDv9N+TaUvavW8Sme4LC06hiipKFmIYqOYysXIisU1RWGdL1H3wT/TfVSkK6yAEUCrW2ePUxzrjdhSsm3at+XIq6YUhv0YRP3vPpDQAH15r6Fhzt5mLfsfevS1gEDyu/jvxMk8lEOt4IKbGsF4hFJJzklm5AmA87A+McebvM5y+DanTN4zw/OpFk3RWGO9fvXSmEvrZuilONC+u3S480sCuc68VvslJ8Myck6N4vlhmG68mfdLOyZrr+R0YDW+rTCf19/TMPzp0ZftH2cbdPojv/ttfjFyiBbjTKlTkzRu/XPDU3e7een03G7kYEs7AGERLq0WZw+L0SBwH8KAaFyfMA+xIjWWVZBtKEy5SV7wdZk1t8XwTjZPVIvMnZXZhhTDt7FMJWmBa17qxDfnNex3CuEdxqH23DaWh35ZpGzowCpWp7unCiyq8Y/1c5gUVPo+LdA1X+VhMH7xP9HvowzXuz29ramg5YQeP3jwIV8Ut8ziK00LH35xP15TPz2qL16I9Tx8xKAXK1fo1vKQwIbQHb/w0XXPpoPoqn/Q8fCd/+jpzzfqHWb4Ie3lmiuSibcdIKT52j5XSY3GHmfHMcpzT5JsAgQZdGQrOUZgB02AVAmmSIvXbnAWQ2JI5Z6kWfCBq1uKDD9oZxGg8AiORFLVBHcQoJF3nopCQJEH9hgwBkqBHYUhnZ4QCQMs1QmE0kcpGKFpEUb4jytA7ye3I9yoM1i50INasJZTkV2QdwZEeZ+3CGB2ImHcVZ+1gpbQFHXUsDN2z8si5+8DVKoOLa9RKrVNlIZe3R5go7JF/ToHFP1uMagTSOGlVY4eFPgsydlzoovvhp4s4SlXaJe4ieqqIVbssdupamy0M9u9xT7g89LoH0dv1ZA4DdEbxfB5kcz9SahrHTMTGL5ZjmTSWMATX5WUDNswXP/IT7w1xV7ucoYTdQzT5hg965QDVDB/eXnGx0syCjrqWlQe9QOqpPJhuIMJV7cMxfIgkw4dodU6gd4Xao2Brm9hSNGqJBl1PKsN2y5v9xa1eTQ0vELfQN/Xecds2WzTAreBs0VR3A7T8fpUHzRRrqalieei2vPmBWzg2dXFeHGnfUU2Yo9hrC2I6GTZD8Vv3Bux7472LGJp+4g2bT+l0OwHRYEjXvsIwVDqpFNuxBR2KQDLc+hIRp4qkasyIMCco0d59Zqga4dEsjqqB01NwbiiinU1I1pYxUYJqWcpv3BVLViFcBE4bONjekepwHGrtQctXpuuooNzmlZtWiGtxg4itiESDDsNrvxI3tFUeNi4JeEpJJwWqc7GjWnMGV9FDWG4bwrTw96tcANATLAcj7Klr5YJJWNUXUbdsiVQ2o6q7I/koJO05Jkyn+cDsxmZvW6oWLAk21CzwaAl9i2WS2DBO/T/ibG3gKwRcxpsfUYw1g9PAuXjelV2HWEvuoKPOgQrdb0X2n42+fPOa+VGe+1yKEd8YoLhpoc6syCsh6M425SA6dC/5wp2tUVrTV+dAhQ62svhyDq5HCq9MigHbGKCo+dbPD6DoYWzKAdTWLrXdf1w0Z2uwHum3c+DWFRvhgMtWvHoMX8Qs6WcIX6Z7v2P4uh3B90i/XcN3EyTNw3ebHrO/qNXR/E2Ko/ZPY3TnvP56+sdq/iUI/zJuwx+vA0jZM8cs78m12m6R5UEKOsJDZS3ldEC5UQ/ymUPyH2Q7lPTlrF4AsivJEYVB6Cc8EYOq+3zttqFo/IQMOuoYk9AJWHh8Zc6Tx5nhIFP2sTRYh97d2rFQd6/qvi3qNsoW9XrRbjSULchCwxKVjqv2q6FvUY36Aof4HWd25hRmHOh3kqqndiyk1j3ucXqKfmFfVG2w2q9WsV7yIV7HScrp4AJfYCa+2rGRWqOi+0R8UuEMbHJRlcLqvxr6MftgWbfENFqBhzwPn8v8VH3MUlFPTFJLq49Uuv0CvNT5uyboTtEJfBMkipFK13SrAdFYfrUuCoMd5GbcwmC8R+dsC4OZIguD1RNw+CG8mwtvRhrRwtsWVdmxnkdg8J6qwhsxfE8fsnTSuFtjBS5MSq2BoJrjRRT2wUqNXOyruOH2ILf3sSi7AKxLrXLQfTLQfkH2cLGtrp0rMBJQ2SVSzHjAbeUpHNCy15EVV1QbDPjWCgctba+e2VE26c6OoodJnBd129KOftLsezzJ8XLzfw==
\ No newline at end of file
diff --git a/diagrams/transcript.drawio b/diagrams/transcript.drawio
new file mode 100644
index 0000000..d8b4452
--- /dev/null
+++ b/diagrams/transcript.drawio
@@ -0,0 +1 @@
+7Vxbd9o4EP41eWyO78BjQkja3SbNKU13uy97FFsYN7ZFZBGgv35lLIFtDYEsvqUJeQgayWB9cx+NOTGH0fKKotn0mng4PDE0b3liXpwYhm47Gv+XUlYZpd83MoJPA08s2hLGwS8siOI6fx54OCksZISELJgViS6JY+yyAg1RShbFZRMSFr91hnysEMYuClXqX4HHpoLa07TtxEcc+FP51bqciZBcLQjJFHlkkSOZoxNzSAlh2btoOcRhip4EJrvucsfs5s4ojtkhF0zi+RXWb+4Wfef60+RqNP7xz/0Hs599zBMK52LL4m7ZSmJAyTz2cPop2ol5vpgGDI9nyE1nF5zrnDZlUchHOn87CcJwSEJC19eak8nEcF1OTxglDzg34zn3ju3wGXUfYmtPmDK8zJHEvq4wiTCjK75EzFoDgbGUMjFcbFm2YcM0xy1HMgsJMfE3H70Fkr8RWL4AV71XM652+pfSScxy9OwF4e2sX9Xg3esX8dYdAHAdANw26gJ8s4nKAOfACntkaCoDhutXRXCWxNcwbQVOfQDAaZkVwLm6j/84f7gZXT9Gj1/O775Hrn/9wawczi7Jr62VANcB+dUgwJ3aADcAwJ2Qf+/5fQF253Geeow1cB+StYCe8QUckeUaHDnP3/np/28UxYlLgxmTn8fv717OKkzlCLIi54qciEmMS+wUJBQGfsyHLucL5vTzlB8Bd6VnYiIKPC/9GlBUisJUVr4qeO70Tu29XHcAptenZNbrtVm2XlQh21LB1PsAmnoVLgCG01bgHJIoCljEt5l0X9J1Q47FTQIh3sv5ZJXFHuQUZOyqkHs46LQUZmCPh91iSCibEp/EKBxtqSXYtms+EzIT/PuJGVsJMNGckSJ3OYZ09be4fj34kQ5ObTm8WOYnL1ZilDBE2VmaS2wlYE27DNJtiys8ucINUZIEbkYUS/TndC4hc+riZ+Ra5j2I+pg9s04YjxTKZyWD4hCx4KmY4UBMXl/K94VWuQUzEghtEp98mxJywYxVMgz9UlqyZ72p2SUBy+5gK26brfx/U6FGN5oiki+yvFVoqlECrgfoKeSfaouppUF919PD9NQ4UFGdbiiqXZQ3mQzvVNTSeqsRRVXDYl0RytY1ddC6pjrvmvoSTTUP1FQZ5Latqk5JVculvj3r7UZU1VRU9ch0pgZVdYCcr2FV7b2r6ktU1TpUVQfdUNVeSeCsPapaXt+IqqqFB7N7qmq2rao1lpSzXL+58owF2b3ayjOw4VPQHGPKd/QVxR6JOid+FpR+2XaD4ucogH3kUCVT9IAvEEMKYh0qaNVawAJludECVuWHpu0ZBsM+1DDYFaAJeiNLrdveUsKIS8LvmCYBiatFtwZjAZ041+arYBBVlz4MZlNMx3MOTucBNJuMy2EAVf+0PT0Yu1McvQIUodJ+oyHTQPVZGHncp7wRZ9Xbb12bPWJUg4hvQYR5ChfNui/OrVfAdcjTV3EqP8ZJ6tjG2KU4TSff8sl83y7Gd1A3UV1KM730k9WvH4Mncz6P/RX5ePPzi8z7WqrQbAYtVGhKxZO9JRtYaYQTyJdsdufXjRdozJKJFnXLnQWa0nqZF1ZVoHkWQiVZHqaaO+G628GYTmlj0wDzDbWxGXZN5lvmZTkYz2azMIWPG983lET3S4fsUIchxJna4hKVMUeKczFjvtewiR2FeXxGw32t36/IcZXbCB2gb7MHwNqvLdxTYB1FKAiPw7YKpMpVhwGAlN1ouqcgdcsd44JQr3NgmXrbYKkFGhmxJjMUy4j1K36c88wii3w/Ez+Ic3FtfuErMLpaFXw0S/2mkHmoq275XOPJ72V1TftAq6tX8bQHiKv6sMeZ6/IM7xtH4cjiZQ32RDbutGdP1Kz6K55QnEw7CpjRNmBqOgAb4GRG4kTUHsbztQy+cRuslU+PQHMBnevVZoV19Vz5LsH0Uwcjj37bgi9v6PdyWVbriYK+L6TbVdtciLtLLUxMaIRCsL5ZiAWvcFpPuaWEg49frz2qJBEvuxZIEiANq88aqUFhl4MXu/VkCDgT6Kj5tlrPsoE65m9gvu32Mw5D9YufsY/CG3TsMXUNcui0nnAAT4efeR5dh8ddA6v1ZEPqaCE9y2cWG0/eSZddicIrD022njUYam23o27HbjJrgM99FKiGYcA32NVWU6htp9FWU7Uanh03jmZp3xNF4Z941TnYbOh8sVHYzN11mePaQ24IQ5Qv895/vUGGsuZpr2iSoR/50Y3TmmwyIuTyzrtz/iXj6ys2eLj8db45xWy4UWQZsM2TPPx9rk2Ej7ZdIulANol04vGfSppLpKnc+zyQ2Up3iVVqAJT9Dru6S8rrreLjQvV0l1hq8rA2OFzm/BixOe1eb0n5F3t0SPuhs7T6XKbqMzMQj43ImkDPaB09tf6YodflBicFRqC7tyoY+XD704CZ4m9/YdEc/Qc=7Vxde6I6EP41XnYfIIB42dpuu2e7ffrU7Z6ze5dClGyB0BBXPb/+BAkKJNb2yJdt7YVmEpC8M+9kZpI6AONweUlh7H8jHgoGhuYtB+B8YBg60DX+lkpWmWRo6plgRrEnBm0FE/wvEkJx3WyOPZSUBjJCAobjstAlUYRcVpJBSsmiPGxKgvK3xnCGJMHEhYEs/Rt7zBfSoaZtO64Qnvn5V+t5Twjz0UKQ+NAji4IIXAzAmBLCsk/hcoyCFL0cmOy6zzt6N09GUcRecsGPm3tw+XV19xecPv5yv9wsrjE+MbK7/IHBXMxYPCxb5RBQMo88lN5EG4CzhY8ZmsTQTXsXXOlc5rMw4C2df5ziIBiTgND1tWBqpX+pnESsIM9eXJ4wSh5Rocdev3iPeDBEGVrunLG+wZFbICIhYnTFh4gLho6AXhifbov2YqvKjaX5BS1auc6gMJ/Z5t5bgPkHgfEr8AZ1481xFawxNBn/8fpVE5qjMpoGsCQ09ZECTRM0hab5lq3X0ip46wrr1VR4203hbSnwtgP+tWcPJdTtp3nq1da4nSRr8zzlA/jsl2ts8n7+aZa+f6cwSlyKY5bfjz/eQ94r6ZRjysqKKysiIhGqaFOIYIBnEW+6XAeIy89SDWHu7k9FR4g9L/0apaWUbalKvTpUbg8/WXuVbit03hjF7ON1WJZeJpBlyljqjgJMvTH3P5TQHJMwxCzkU0r6b+e6kbfFQ+p1qMmsGr1SUSpP15jVO5IukMfjQtEklPlkRiIYXGylFdS2Y64JiYX6fiPGVgJLOGekrFyOF139I65fN36mjU9W3jxfFjvPV6KVMEjZaRrsbg1gLfuM01mLK7x8hBvAJMFuJhRD9A3j0nk+r0gOC5lTFz0D3ygbx59hhthz0aejtgyKAsjwn/KDqJS8vpRPDK4KA2KCBZvEnW9TQSGQMSt+wakEznvGA82qGFj2BFtz20zl/1vgSPIUmmSTr3K8dTDVqAA3VPBUtTo15k91GZQPor6CqHqeU+9jKjA6YapVNjhb28PUynizDabmGBaoqktW2TlVR51TVQ4cP6j6GqqCl1J12AlV7QpVq9WoPeOtVqgql18OTGcaoKqtSPlapqr5QdWDqGq9kKrmDstomKrDisGZe6haHd8KVeVaE+gfVUHnVG2wPpNl++3VZ0yV42u3PqPLBZoJonyWdzDySNg7AzRVGZhltWmAjoTYFccq8eEjOocMSpD1qKjVaBFLac2tFrF0uYZwtL7BsF7qG6ym4MwpVIDzlhJGXBL8QDTBJKoX3QbcheF0vV4ZcrI8xrGP6GTOwek9gKDz2DznsHILYeL6KDwCFFX1/XZRlBPBKwQ9vqq8k+VquN+9trrNaMhb+d9xiHgeF8b9t+fO6+BGUzvzE5SkK9sEuRSlOeV73p13rHKEpzpO1BRpft0b92E8fjof0pvfy59n2l307UQuM7dZptk0jrVMY4jceW+ZJkuyWy/TgIqPFtXLnWWayvg8N2y0TGPI9YcsYR6n1J1y8vYwqpNOsmkK/606yZa72fr9t1x3OI3jIIWPe993lEc7lb121SFDlWaaC0zk+saB9lxOmh80BJAtaY/3aMjRHKempat6ltBWnN0cKnB1GsNVLk5chBAHh4FbB1TVysNIAZXVZnCX23ax8MAXxwWhXu/QAnrnaMkVhjxsTWIY5WHrHXqa8/QiC3+vyQxHheC2OPAIHK9WhyJB5eCpykO0Wr4EcqXjDXheYL3Q827Arh9Yufhx6ro80fvOYTiwiNmAS8kP8XToUuTixB2aUpT4PUXM6Byx3fWIshNOYhIloggxma+t8J37Ya26kaT0GKo9vuY8sZzk3SeIfulh+OF0bvlyJvcGVi2z83wBqPKwokfZVeRciKdLPUxEaAgDZaGzFA9eorSucksJBx8drz+qJSGvri0qS1AxrDlvJGeOfQ5frM4zIlPOH3vqvs3Oc21TlT0evfu2uk86TDmbu0YzGNzAQzesG7BDu/OUw1TkaJ5H1+Fx38DqPNswVflZMbPYrOS9XLJrIbz0P5SdZw2mnAP2dNmxOs8aTDnDGgeYT6ev505VJ3haPXdq7jqpexGnZ6AoDL6iVe9ws1Q7jTXhxpvbH5PJ9ne3v8kDLv4D
\ No newline at end of file
diff --git a/src/overview.md b/src/overview.md
index 8956338..b8b3c5d 100644
--- a/src/overview.md
+++ b/src/overview.md
@@ -3,4 +3,4 @@
The following diagram is a high-level protocol overview introducing the main components of
TLSNotary.
-
+
diff --git a/src/png-diagrams/client-state-diagram.png b/src/png-diagrams/client-state-diagram.png
new file mode 100644
index 0000000..dfe5ee1
Binary files /dev/null and b/src/png-diagrams/client-state-diagram.png differ
diff --git a/src/png-diagrams/crate_structure.png b/src/png-diagrams/crate_structure.png
new file mode 100644
index 0000000..51f0525
Binary files /dev/null and b/src/png-diagrams/crate_structure.png differ
diff --git a/src/png-diagrams/data_provenance.png b/src/png-diagrams/data_provenance.png
new file mode 100644
index 0000000..af7903d
Binary files /dev/null and b/src/png-diagrams/data_provenance.png differ
diff --git a/src/png-diagrams/gc-types.png b/src/png-diagrams/gc-types.png
new file mode 100644
index 0000000..b3d0bcc
Binary files /dev/null and b/src/png-diagrams/gc-types.png differ
diff --git a/src/png-diagrams/intro-diagram.png b/src/png-diagrams/intro-diagram.png
new file mode 100644
index 0000000..2121b4c
Binary files /dev/null and b/src/png-diagrams/intro-diagram.png differ
diff --git a/src/png-diagrams/key_exchange.png b/src/png-diagrams/key_exchange.png
new file mode 100644
index 0000000..48db956
Binary files /dev/null and b/src/png-diagrams/key_exchange.png differ
diff --git a/src/png-diagrams/overview.png b/src/png-diagrams/overview.png
new file mode 100644
index 0000000..6cec5a8
Binary files /dev/null and b/src/png-diagrams/overview.png differ
diff --git a/src/png-diagrams/overview2.png b/src/png-diagrams/overview2.png
new file mode 100644
index 0000000..5e8ebb7
Binary files /dev/null and b/src/png-diagrams/overview2.png differ
diff --git a/src/png-diagrams/overview3.png b/src/png-diagrams/overview3.png
new file mode 100644
index 0000000..780521b
Binary files /dev/null and b/src/png-diagrams/overview3.png differ
diff --git a/src/png-diagrams/overview_notarization.png b/src/png-diagrams/overview_notarization.png
new file mode 100644
index 0000000..f1ab879
Binary files /dev/null and b/src/png-diagrams/overview_notarization.png differ
diff --git a/src/png-diagrams/protocol.png b/src/png-diagrams/protocol.png
new file mode 100644
index 0000000..f6bfd4f
Binary files /dev/null and b/src/png-diagrams/protocol.png differ
diff --git a/src/png-diagrams/tls12-multiround.png b/src/png-diagrams/tls12-multiround.png
new file mode 100644
index 0000000..5bd0457
Binary files /dev/null and b/src/png-diagrams/tls12-multiround.png differ
diff --git a/src/png-diagrams/transcript.png b/src/png-diagrams/transcript.png
new file mode 100644
index 0000000..df738b2
Binary files /dev/null and b/src/png-diagrams/transcript.png differ
diff --git a/src/protocol/notarization/README.md b/src/protocol/notarization/README.md
index 286b068..c8acb0c 100644
--- a/src/protocol/notarization/README.md
+++ b/src/protocol/notarization/README.md
@@ -20,7 +20,7 @@ The `Notary` is the party of which the authenticity of the `Transcript` relies o
The `Server` can be any server which supports TLS. The TLSNotary protocol is entirely transparent to the `Server`, thus it can not be censored nor does it have to support any additional functionality.
-
+
## Transcript
@@ -29,4 +29,4 @@ The primary artifact generated from this phase is called the `Transcript`. It co
> Note that the server ephemeral key does not reveal the identity of the server to the `Notary`.
-
\ No newline at end of file
+
\ No newline at end of file
diff --git a/src/protocol/notarization/key_exchange.md b/src/protocol/notarization/key_exchange.md
index d34e636..5712a5e 100644
--- a/src/protocol/notarization/key_exchange.md
+++ b/src/protocol/notarization/key_exchange.md
@@ -2,7 +2,7 @@
In TLS, the first step towards obtaining TLS session keys is to compute a shared secret between the client and the server by running the [ECDH protocol](https://en.wikipedia.org/wiki/Elliptic-curve_Diffie–Hellman). The resulting shared secret in TLS terms is called the pre-master secret `PMS`.
-
+
Using the notation from Wikipedia, below is the 3-party ECDH protocol between the `Server` the `Requester` and the `Notary`, enabling the `Requester` and the `Notary` to arrive at shares of `PMS`.
diff --git a/src/tlsnotary_overview.png b/src/tlsnotary_overview.png
deleted file mode 100644
index 8b12fd1..0000000
Binary files a/src/tlsnotary_overview.png and /dev/null differ