tlsnotary/website
1
0
Fork 0
mirror of https://github.com/tlsnotary/website.git synced 2026-01-08 21:48:05 -05:00
Code Issues Packages Projects Releases Wiki Activity

Update landing page: Prover/Verifier (#2)

Browse Source 
Updated landing page

Co-authored-by: sinu.eth <65924192+sinui0@users.noreply.github.com>
This commit is contained in:
Hendrik Eeckhaut
2023-10-05 13:18:46 +02:00
committed by GitHub
parent 3b2a37cfee
commit ea5deeb24c
5 changed files with 315 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

61
src/components/How.tsx
View File

@@ -1,35 +1,44 @@
import "./How.css";
import diagram from "../images/overview-pretty.png";
// import diagram from "../images/overview-pretty.png";
import diagram from "../images/overview-new.drawio.svg"
export default function How() {
return (
<div id="How">
<div className="body">
<div className="diagram-container">
<img className="diagram" src={diagram}></img>
</div>
<div className="text-container">
<h2>How it works</h2>
<div style={{ height: "1.375rem" }} />
<p>
TLSNotary leverages the ubiquitous TLS (Transport Layer Security) protocol to securely and privately prove a transcript of communications took place with a webserver.
<br/>
<br/>
At the core of the TLSNotary protocol is dividing TLS session keys between two parties (Client and Notary) and then using secure two-party computation (2PC) to encrypt and authenticate requests from the Client to a TLS-enabled webserver.
<br/>
<br/>
During the protocol neither the Client nor Notary are in posession of the full TLS session keys, they only know their shares of those keys.
This preserves the security assumptions of TLS while at the same time allows the Client to prove to the Notary the authenticity of the transcript.
<br/>
<br/>
This is all achieved with full privacy. The Notary is never aware of which webserver is being queried, nor do they ever see the unencrypted communications.
<br/>
<br/>
Furthermore, our protocol is transparent to the webserver.
In fact, the webserver is never aware that this process took place.
</p>
</div>
<div className="body">
<div className="diagram-container">
<img className="diagram" src={diagram}></img>
</div>
<div className="text-container">
<h2>How it works</h2>
<div style={{ height: "1.375rem" }} />
<p>
TLSNotary leverages the widely-used TLS (Transport Layer Security) protocol to securely and privately prove a transcript of communications took place with a webserver.
</p>
<br />
<p>
The core of the TLSNotary protocol involves splitting TLS session keys between two parties, the Prover and the Verifier. Through secure multi-party computation (MPC), the Prover's requests to a TLS-enabled webserver are encrypted and authenticated.
</p>
<br />
<p>
During the protocol neither the Prover nor Verifier are in possession of the full TLS session keys, they only hold respective shares of those keys. This preserves the security properties of TLS while enabling the Prover to prove the authenticity of the communication to the Verifier.
</p>
<br />
<p>
All of this is achieved while maintaining full privacy. The unencrypted communications remain hidden to the Verifier, and optionally the identity of the server can remain private as well.
</p>
<br />
<p>
Moreover, our protocol operates transparently to the webserver.
In fact, the webserver remains unaware that this process is taking place.
</p>
<br />
<p>
Since the validation of the TLS traffic neither reveals anything about the plaintext of the TLS session nor about the Server, it is possible to outsource the MPC-TLS verification to a general-purpose TLS verifier, which we term a <em>Notary</em>. This Notary can sign (aka <em>notarize</em>) the data, making it portable in a privacy preserving way.
</p>
</div>
</div>
</div>
);
}

158
src/images/overview-new.drawio.svg Normal file
View File

@@ -0,0 +1,158 @@
<svg host="65bd71144e" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" version="1.1" width="443px" height="190px" viewBox="-0.5 -0.5 443 190" content="&lt;mxfile&gt;&lt;diagram id=&quot;KXpQsmKgV8OItgqWGwwX&quot; name=&quot;Page-1&quot;&gt;7VrLcts2FP2WLjSTLqThU7KWtmwni2TiqTtpuupAJEhhBBEsCL3y9b0gAQokIZuu/GojecYi7sXznnMPAVIDf7bafeQoX3xhMaYDz4l3A/964Hn+xIH/0rBXBm9SGVJO4srkHgz35AdWRtUuXZMYF42KgjEqSN40RizLcCQaNsQ52zarJYw2R81RijuG+wjRrvUPEotFZb3Qq5D2T5ikCz2yO55WnhXSldVKigWK2dYw+TcDf8YZE9XVajfDVMZOx6Vqd3vEW0+M40z0aSB95TzEXi8Ox7BWVcxYBl9XC7GiUHLhEu+I+G5c/wnXzihUpWuJsKMLe13IBN9/NwtGK1k8NCtLul3CMnGLVoRKwydMN1iQCCmHYoWnK84YZbxcgX9bfsBeCM6WNURhaUFcXEoKgCGiqChIpM23hOpVdsOoIluwNY9UoDxfUQ/xFKtqXljZZBCNhir4HzFbYVghVOCYIkE2TUIhxcu0rneADi4UenYkfYXkBtG16vX3z/dWdD+jOeRjA1ZESZrJkMCCMYTxaoO5DDa9VI45E4KtwMFxQX6gedmfjH3OSCbKeYdXg/D6CDpHYTRgc8oP2Kmc3xWKliln6yzWVRQZu9hoEss5451NAdR8G0nWgEMJkUKvNziqozsZA6MKS5ICGNFGrx6vF6CaXgagA29MhQpcA9bx32umHcOijP0lVIAw7cqIaT9cpfL7HnMIlu4OZlL1WDm7nKEUlFXGfrsgAt/nqEyBLWh7i0VFXsltQnY4tiZgAklmYH5xfRnM3Lqm4fECPwmTJyT70Zzt0KILv/JqVd43i1tD45VpYci7tp2SvV7wjnXYguLpytxLh3EWdyuB8clSHVqkevpmUt3N7C93s59DqoP/pVSHLyfVd5y9olTbBPgF0v/YXeAZNNydTt5MxKcvR4NvmJOEnInQnwj+5OKtiOAHFiK0AJKCmVvUe0XimNrF81gI+munbuUGjdC4TtgrNq7zHFkyOTlL3OBIllwjgfpmCBy982pvJXqkyby+x31dC0rk7a20x4gvv0IrIsrd0sgJ328K+cduvl2ivAYRfNdChDZISyyihdq/sCrys/qpjiUs8Hcrh7tKOYoJPvjUlqQVrdajglblGBULqYnlQDpRyy3ZHSuIIKyx3WpnsmC5bbtmkMqA2PV0WS3esWlzuYPD/GaDq41ceXJSPF7tUvmwbYS2RTCK5FwSmI3Af61QhtJy6JMoob3NM5LbVVXPGXnjLme88Ugr8kmsse21emprDZVJGoV1xtRe++FTxeni603Hj4pvnV/Pn3TjHkn38yljeATdN1JG2y3yrIyvq4z9KfFelNF2/GixpszTGrhHMtuKfDNP3b7P6WHH2TtRkTdJ/OhlUAm6YjsOLGkcno5H4JzxeBSPsVtz34DEv3gZSHS/lrNHkaPMevaIqkDIcwdP5x+8EOYxk0d14+LXMjhOeUxJVORlAzP42m85xihHNbT0ZIyvEDV8G8QJgm+QTCTWXL78fLBehPJjVbYqptIZlA/x4IJiAeo5LOT9Oku7LRnPFyhTXXqVDQAXQyXi0lzruPYRoHamRtLPNSqP4NBZAv3rkdTjQsmB8u2sMcyW8bg5sbovWMt8SaA72WeVCEPFou6YMY4YR/LWNBQLEi0zXKiBSAZ3LL3Sdl0DlQfrGTRp1EsoQ6K9zJgUOUV7Xb3cNXnOL2SVMy5QJqyH299wjCIBYnE44Fak1QfcyjznVhrPIYyAsDFN4MqH4dC0KxqfGX9m/L9nfJu2Z4E90+2/IbCtp4dNcW1t3OTsHt+x2TZcT3q/Zu7E1Oqe+srt5C2aD8eTyfTwmXS2a6HlIBw8/RwMxcMvn6rXcIefj/k3/wA=&lt;/diagram&gt;&lt;/mxfile&gt;">
<defs/>
<g>
<path d="M 95.84 42 L 165.16 42" fill="none" stroke="rgb(0, 0, 0)" stroke-width="5" stroke-miterlimit="10" pointer-events="stroke"/>
<path d="M 87.59 42 L 98.59 36.5 L 95.84 42 L 98.59 47.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="5" stroke-miterlimit="10" pointer-events="all"/>
<path d="M 173.41 42 L 162.41 47.5 L 165.16 42 L 162.41 36.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="5" stroke-miterlimit="10" pointer-events="all"/>
<g transform="translate(-0.5 -0.5)">
<switch>
<foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
<div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe flex-end; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 34px; margin-left: 131px;">
<div data-drawio-colors="color: #000000; " style="box-sizing: border-box; font-size: 0px; text-align: center;">
<div style="display: inline-block; font-size: 20px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: nowrap;">
TLS
</div>
</div>
</div>
</foreignObject>
<text x="131" y="34" fill="#000000" font-family="Helvetica" font-size="20px" text-anchor="middle">
TLS
</text>
</switch>
</g>
<ellipse cx="42" cy="42" rx="40" ry="40" fill="#8da4c1" stroke="#243f5f" stroke-width="5" pointer-events="all"/>
<g transform="translate(-0.5 -0.5)">
<switch>
<foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
<div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 78px; height: 1px; padding-top: 42px; margin-left: 3px;">
<div data-drawio-colors="color: #FFFFFF; " style="box-sizing: border-box; font-size: 0px; text-align: center;">
<div style="display: inline-block; font-size: 20px; font-family: Helvetica; color: rgb(255, 255, 255); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">
<font style="font-size: 20px;">
Server
</font>
</div>
</div>
</div>
</foreignObject>
<text x="42" y="48" fill="#FFFFFF" font-family="Helvetica" font-size="20px" text-anchor="middle">
Server
</text>
</switch>
</g>
<path d="M 272.84 42 L 346.16 42" fill="none" stroke="rgb(0, 0, 0)" stroke-width="5" stroke-miterlimit="10" pointer-events="stroke"/>
<path d="M 264.59 42 L 275.59 36.5 L 272.84 42 L 275.59 47.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="5" stroke-miterlimit="10" pointer-events="all"/>
<path d="M 354.41 42 L 343.41 47.5 L 346.16 42 L 343.41 36.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="5" stroke-miterlimit="10" pointer-events="all"/>
<g transform="translate(-0.5 -0.5)">
<switch>
<foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
<div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe flex-end; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 34px; margin-left: 310px;">
<div data-drawio-colors="color: #000000; " style="box-sizing: border-box; font-size: 0px; text-align: center;">
<div style="display: inline-block; font-size: 20px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: nowrap;">
MPC
</div>
</div>
</div>
</foreignObject>
<text x="310" y="34" fill="#000000" font-family="Helvetica" font-size="20px" text-anchor="middle">
MPC
</text>
</switch>
</g>
<ellipse cx="219" cy="42" rx="40" ry="40" fill="#8da4c1" stroke="#243f5f" stroke-width="5" pointer-events="all"/>
<g transform="translate(-0.5 -0.5)">
<switch>
<foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
<div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 78px; height: 1px; padding-top: 42px; margin-left: 180px;">
<div data-drawio-colors="color: #FFFFFF; " style="box-sizing: border-box; font-size: 0px; text-align: center;">
<div style="display: inline-block; font-size: 20px; font-family: Helvetica; color: rgb(255, 255, 255); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">
<font style="font-size: 20px;">
Prover
</font>
</div>
</div>
</div>
</foreignObject>
<text x="219" y="48" fill="#FFFFFF" font-family="Helvetica" font-size="20px" text-anchor="middle">
Prover
</text>
</switch>
</g>
<ellipse cx="400" cy="42" rx="40" ry="40" fill="#8da4c1" stroke="#243f5f" stroke-width="5" pointer-events="all"/>
<g transform="translate(-0.5 -0.5)">
<switch>
<foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
<div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 78px; height: 1px; padding-top: 42px; margin-left: 361px;">
<div data-drawio-colors="color: #FFFFFF; " style="box-sizing: border-box; font-size: 0px; text-align: center;">
<div style="display: inline-block; font-size: 20px; font-family: Helvetica; color: rgb(255, 255, 255); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">
<font style="font-size: 20px;">
Verifier
</font>
</div>
</div>
</div>
</foreignObject>
<text x="400" y="48" fill="#FFFFFF" font-family="Helvetica" font-size="20px" text-anchor="middle">
Verifier
</text>
</switch>
</g>
<path d="M 96 87 L 146 87 L 176 117 L 176 187 L 96 187 L 96 87 Z" fill="#8da4c1" stroke="#243f5f" stroke-width="5" stroke-miterlimit="10" pointer-events="none"/>
<path d="M 146 87 L 146 117 L 176 117 Z" fill-opacity="0.05" fill="#000000" stroke="none" pointer-events="none"/>
<path d="M 146 87 L 146 117 L 176 117" fill="none" stroke="#243f5f" stroke-width="5" stroke-miterlimit="10" pointer-events="none"/>
<g transform="translate(-0.5 -0.5)">
<switch>
<foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
<div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 78px; height: 1px; padding-top: 137px; margin-left: 97px;">
<div data-drawio-colors="color: #FFFFFF; " style="box-sizing: border-box; font-size: 0px; text-align: center;">
<div style="display: inline-block; font-size: 20px; font-family: Helvetica; color: rgb(255, 255, 255); line-height: 1.2; pointer-events: none; white-space: normal; overflow-wrap: normal;">
<font style="font-size: 14px;">
Data
</font>
</div>
</div>
</div>
</foreignObject>
<text x="136" y="143" fill="#FFFFFF" font-family="Helvetica" font-size="20px" text-anchor="middle">
Data
</text>
</switch>
</g>
<path d="M 119.66 116.94 L 120.85 116.94 L 120.85 122.87 C 120.85 123.09 120.73 123.29 120.53 123.4 C 120.44 123.44 120.35 123.47 120.25 123.47 C 120.13 123.47 120.02 123.43 119.92 123.36 L 116.13 120.76 L 112.34 123.36 C 112.16 123.49 111.93 123.5 111.73 123.4 C 111.53 123.29 111.41 123.09 111.41 122.87 L 111.41 116.94 L 112.6 116.94 L 112.6 121.74 L 115.79 119.55 C 116 119.41 116.26 119.41 116.47 119.55 L 119.66 121.74 Z M 107.19 107.41 C 107.19 102.48 111.2 98.47 116.13 98.47 C 121.06 98.47 125.07 102.48 125.07 107.41 C 125.07 112.34 121.06 116.35 116.13 116.35 C 111.2 116.35 107.19 112.34 107.19 107.41 Z M 106 107.41 C 106 112.99 110.54 117.54 116.13 117.54 C 121.72 117.54 126.26 112.99 126.26 107.41 C 126.26 101.82 121.72 97.28 116.13 97.28 C 110.54 97.28 106 101.82 106 107.41 Z M 110.92 107.67 C 110.92 107.39 111.15 107.16 111.42 107.16 C 111.7 107.16 111.93 107.39 111.93 107.67 C 111.93 107.94 111.7 108.17 111.42 108.17 C 111.15 108.17 110.92 107.94 110.92 107.67 Z M 109.73 107.67 C 109.73 108.6 110.49 109.36 111.42 109.36 C 112.36 109.36 113.12 108.6 113.12 107.67 C 113.12 106.73 112.36 105.97 111.42 105.97 C 110.49 105.97 109.73 106.73 109.73 107.67 Z M 122.46 108.1 L 115.96 108.1 C 115.7 108.1 115.46 108.27 115.39 108.52 C 115 109.81 113.85 110.68 112.52 110.68 C 110.86 110.68 109.51 109.33 109.51 107.67 C 109.51 106.01 110.86 104.65 112.52 104.65 C 113.85 104.65 115 105.52 115.39 106.81 C 115.46 107.06 115.7 107.23 115.96 107.23 L 117.07 107.23 C 117.24 107.23 117.39 107.16 117.51 107.04 L 118.01 106.5 L 118.52 107.04 C 118.63 107.16 118.79 107.23 118.95 107.23 L 119.58 107.23 C 119.75 107.23 119.9 107.16 120.02 107.04 L 120.52 106.5 L 121.03 107.04 C 121.14 107.16 121.3 107.23 121.46 107.23 L 122.19 107.23 L 122.8 107.73 Z M 122.78 106.18 C 122.68 106.09 122.54 106.04 122.4 106.04 L 121.72 106.04 L 120.96 105.22 C 120.73 104.98 120.31 104.98 120.09 105.22 L 119.32 106.04 L 119.21 106.04 L 118.45 105.22 C 118.33 105.1 118.18 105.03 118.01 105.03 C 117.85 105.03 117.69 105.1 117.58 105.22 L 116.81 106.04 L 116.37 106.04 C 115.72 104.48 114.23 103.46 112.52 103.46 C 110.2 103.46 108.32 105.35 108.32 107.67 C 108.32 109.98 110.2 111.87 112.52 111.87 C 114.23 111.87 115.72 110.85 116.37 109.29 L 122.72 109.29 C 122.89 109.29 123.04 109.22 123.16 109.1 L 124.1 108.07 C 124.21 107.95 124.26 107.79 124.25 107.62 C 124.24 107.46 124.16 107.31 124.04 107.21 Z" fill="#ffffff" stroke="none" pointer-events="none"/>
<path d="M 278 87 L 328 87 L 358 117 L 358 187 L 278 187 L 278 87 Z" fill="#8da4c1" stroke="#243f5f" stroke-width="5" stroke-miterlimit="10" pointer-events="none"/>
<path d="M 328 87 L 328 117 L 358 117 Z" fill-opacity="0.05" fill="#000000" stroke="none" pointer-events="none"/>
<path d="M 328 87 L 328 117 L 358 117" fill="none" stroke="#243f5f" stroke-width="5" stroke-miterlimit="10" pointer-events="none"/>
<path d="M 301.66 116.94 L 302.85 116.94 L 302.85 122.87 C 302.85 123.09 302.73 123.29 302.53 123.4 C 302.44 123.44 302.35 123.47 302.25 123.47 C 302.13 123.47 302.02 123.43 301.92 123.36 L 298.13 120.76 L 294.34 123.36 C 294.16 123.49 293.93 123.5 293.73 123.4 C 293.53 123.29 293.41 123.09 293.41 122.87 L 293.41 116.94 L 294.6 116.94 L 294.6 121.74 L 297.79 119.55 C 298 119.41 298.26 119.41 298.47 119.55 L 301.66 121.74 Z M 289.19 107.41 C 289.19 102.48 293.2 98.47 298.13 98.47 C 303.06 98.47 307.07 102.48 307.07 107.41 C 307.07 112.34 303.06 116.35 298.13 116.35 C 293.2 116.35 289.19 112.34 289.19 107.41 Z M 288 107.41 C 288 112.99 292.54 117.54 298.13 117.54 C 303.72 117.54 308.26 112.99 308.26 107.41 C 308.26 101.82 303.72 97.28 298.13 97.28 C 292.54 97.28 288 101.82 288 107.41 Z M 292.92 107.67 C 292.92 107.39 293.15 107.16 293.42 107.16 C 293.7 107.16 293.93 107.39 293.93 107.67 C 293.93 107.94 293.7 108.17 293.42 108.17 C 293.15 108.17 292.92 107.94 292.92 107.67 Z M 291.73 107.67 C 291.73 108.6 292.49 109.36 293.42 109.36 C 294.36 109.36 295.12 108.6 295.12 107.67 C 295.12 106.73 294.36 105.97 293.42 105.97 C 292.49 105.97 291.73 106.73 291.73 107.67 Z M 304.46 108.1 L 297.96 108.1 C 297.7 108.1 297.46 108.27 297.39 108.52 C 297 109.81 295.85 110.68 294.52 110.68 C 292.86 110.68 291.51 109.33 291.51 107.67 C 291.51 106.01 292.86 104.65 294.52 104.65 C 295.85 104.65 297 105.52 297.39 106.81 C 297.46 107.06 297.7 107.23 297.96 107.23 L 299.07 107.23 C 299.24 107.23 299.39 107.16 299.51 107.04 L 300.01 106.5 L 300.52 107.04 C 300.63 107.16 300.79 107.23 300.95 107.23 L 301.58 107.23 C 301.75 107.23 301.9 107.16 302.02 107.04 L 302.52 106.5 L 303.03 107.04 C 303.14 107.16 303.3 107.23 303.46 107.23 L 304.19 107.23 L 304.8 107.73 Z M 304.78 106.18 C 304.68 106.09 304.54 106.04 304.4 106.04 L 303.72 106.04 L 302.96 105.22 C 302.73 104.98 302.31 104.98 302.09 105.22 L 301.32 106.04 L 301.21 106.04 L 300.45 105.22 C 300.33 105.1 300.18 105.03 300.01 105.03 C 299.85 105.03 299.69 105.1 299.58 105.22 L 298.81 106.04 L 298.37 106.04 C 297.72 104.48 296.23 103.46 294.52 103.46 C 292.2 103.46 290.32 105.35 290.32 107.67 C 290.32 109.98 292.2 111.87 294.52 111.87 C 296.23 111.87 297.72 110.85 298.37 109.29 L 304.72 109.29 C 304.89 109.29 305.04 109.22 305.16 109.1 L 306.1 108.07 C 306.21 107.95 306.26 107.79 306.25 107.62 C 306.24 107.46 306.16 107.31 306.04 107.21 Z" fill="#ffffff" stroke="none" pointer-events="none"/>
<rect x="288" y="132" width="64" height="15" fill="#a27f3c" stroke="none" pointer-events="none"/>
<rect x="288" y="148.78" width="38" height="15" fill="#a27f3c" stroke="none" pointer-events="none"/>
<g transform="translate(-0.5 -0.5)">
<switch>
<foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
<div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe flex-start; justify-content: unsafe flex-start; width: 48px; height: 1px; padding-top: 131px; margin-left: 290px;">
<div data-drawio-colors="color: #000000; " style="box-sizing: border-box; font-size: 0px; text-align: left;">
<div style="display: inline-block; font-size: 14px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: none; white-space: normal; overflow-wrap: normal;">
<span style="color: rgb(255, 255, 255); font-family: Helvetica; font-size: 14px; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: center; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial; float: none; display: inline !important;">
Redacted
</span>
<br style="border-color: var(--border-color); color: rgb(255, 255, 255); font-family: Helvetica; font-size: 14px; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: center; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;"/>
<span style="color: rgb(255, 255, 255); font-family: Helvetica; font-size: 14px; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: center; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial; float: none; display: inline !important;">
Data
</span>
</div>
</div>
</div>
</foreignObject>
<text x="290" y="145" fill="#000000" font-family="Helvetica" font-size="14px">
Redacte...
</text>
</switch>
</g>
</g>
<switch>
<g requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"/>
<a transform="translate(0,-5)" xlink:href="https://www.diagrams.net/doc/faq/svg-export-text-problems" target="_blank">
<text text-anchor="middle" font-size="10px" x="50%" y="100%">
Text is not SVG - cannot display
</text>
</a>
</switch>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 20 KiB

BIN
src/images/overview-new.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 25 KiB

122
src/images/overview.drawio.svg Normal file
View File

@@ -0,0 +1,122 @@
<svg host="65bd71144e" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" version="1.1" width="394px" height="254px" viewBox="-0.5 -0.5 394 254" content="&lt;mxfile&gt;&lt;diagram id=&quot;KXpQsmKgV8OItgqWGwwX&quot; name=&quot;Page-1&quot;&gt;7Vjbbts4EP0aPa6hiyXbj4kTtw9bJECA3fZpQUu0RIQSXYq+7dfvUCIlSpQTJXGaoNgYiDnD4W3mnOGYTrDMj1842mbfWIKp47vJ0QluHN+PwgX8l4pTrZiG81qRcpLUKq9VPJB/sVK6SrsjCS47hoIxKsi2q4xZUeBYdHSIc3bomm0Y7a66RSm2FA8xorb2b5KIrNbO/Vmr/4pJmumVvUgdOEfaWJ2kzFDCDoYquHWCJWdM1K38uMRU+k77pR63OtPbbIzjQowZoPxeipM+G07gqEosWAFf15nIKUgeNPGRiO9G+we03UmopBsZYFcLJy0Ugp++m4IxSortsErS4zasECuUEyoVXzHdY0FipDoUKHxtuGSU8eoEwar6A30pOHtsIhRWGsTFlUQAKGKKypLEWr0iVJ/S9qJybMl2PFaO8hXwEE+xsprWKulCY5jy/BfMcgznAwOOKRJk30UTUqBMG7s2btBQoRsOo9rLHtGdmtTxIyqUbzoBjn7umO74o6y8eAUGcNxjdXLdD61Ufj9gvsdcTwcbqWesO230UAoklKA5ZETghy2q3HWANNAFEiq3NTM35IgTK1hTuUMIiBHW+c3VdOk1lkaPPw024eYFwDgbXzipwMcnY6d6NYFPXfFgpAOlyoxMoHVvibX3mTlrU+4CLB7FWVwkthEoX0rrqU3r2UfRevp+tL7n7BfSeoisA4R/K1TOZYwL8N2bhR9F+MUr+d5y/IdJ8WG+g3CPOYHNYf6ZuKyO1xLZfSqel6OoGnrPSEU0jYJg3kFB1AtvnTXUILPsemYeb9abqM5I1kQVVJrjjEJPZOWQGySQBSkoRLc1nMQImq9R/JhytiuSu52gRIao0ieIP97BKCIqYE3c8HdKAa47HLRnckAz7k23/mWygPdkFnhvxqtdmnR3x13dTT3SCOPqkXgH1Wvykvt/Zt//Ote/d3Zp0okG2GJcegHnoZNhtpUG5fl1gllvnbD3I/G5fUVhD7r1Dl6bombvV+b8BXfahvxf6IzPckHwYb9s9FJPAEE/Bek4e2bI3bhxSasM/HgRh9iGhp56PQZg4TmAObe+s1g6i8BA2Lq/xHOog9CILry6aFJ504y6UiFK0kLmTQi4LNyuZaABS/RKdeQkSeg5PFc3eJUe7ezvXeQJ5hLXbtSrlUIbkcEAIoNLINIbQGS/cnrEIs6UD1ldDi2bh8cB58BnJZe7TjlKCG77BsJsP2f1jBNUZk0EdfD/RGtM71lJBGESBGsmBMsH0CHYdghEBhCNQHu+ltXh3aE8WF0+mN/usbyDFJpVcZkfU/kePEGHcjqJ5V42sBuB/8lRgdJq6UsAxutdV3MbML470ZWxiRk/mszmL4YNiO2LbX3/tc/ewe1/&lt;/diagram&gt;&lt;/mxfile&gt;">
<defs/>
<g>
<path d="M 95.84 42 L 143.16 42" fill="none" stroke="rgb(0, 0, 0)" stroke-width="5" stroke-miterlimit="10" pointer-events="stroke"/>
<path d="M 87.59 42 L 98.59 36.5 L 95.84 42 L 98.59 47.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="5" stroke-miterlimit="10" pointer-events="all"/>
<path d="M 151.41 42 L 140.41 47.5 L 143.16 42 L 140.41 36.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="5" stroke-miterlimit="10" pointer-events="all"/>
<ellipse cx="42" cy="42" rx="40" ry="40" fill="#8da4c1" stroke="#243f5f" stroke-width="4" pointer-events="all"/>
<g transform="translate(-0.5 -0.5)">
<switch>
<foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
<div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 78px; height: 1px; padding-top: 42px; margin-left: 3px;">
<div data-drawio-colors="color: #FFFFFF; " style="box-sizing: border-box; font-size: 0px; text-align: center;">
<div style="display: inline-block; font-size: 20px; font-family: Helvetica; color: rgb(255, 255, 255); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">
<font style="font-size: 20px;">
Server
</font>
</div>
</div>
</div>
</foreignObject>
<text x="42" y="48" fill="#FFFFFF" font-family="Helvetica" font-size="20px" text-anchor="middle">
Server
</text>
</switch>
</g>
<path d="M 250.84 42 L 298.16 42" fill="none" stroke="rgb(0, 0, 0)" stroke-width="5" stroke-miterlimit="10" pointer-events="stroke"/>
<path d="M 242.59 42 L 253.59 36.5 L 250.84 42 L 253.59 47.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="5" stroke-miterlimit="10" pointer-events="all"/>
<path d="M 306.41 42 L 295.41 47.5 L 298.16 42 L 295.41 36.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="5" stroke-miterlimit="10" pointer-events="all"/>
<ellipse cx="197" cy="42" rx="40" ry="40" fill="#8da4c1" stroke="#243f5f" stroke-width="4" pointer-events="all"/>
<g transform="translate(-0.5 -0.5)">
<switch>
<foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
<div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 78px; height: 1px; padding-top: 42px; margin-left: 158px;">
<div data-drawio-colors="color: #FFFFFF; " style="box-sizing: border-box; font-size: 0px; text-align: center;">
<div style="display: inline-block; font-size: 20px; font-family: Helvetica; color: rgb(255, 255, 255); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">
<font style="font-size: 20px;">
Prover
</font>
</div>
</div>
</div>
</foreignObject>
<text x="197" y="48" fill="#FFFFFF" font-family="Helvetica" font-size="20px" text-anchor="middle">
Prover
</text>
</switch>
</g>
<path d="M 120 138.16 L 120 42" fill="none" stroke="rgb(0, 0, 0)" stroke-width="5" stroke-miterlimit="10" pointer-events="stroke"/>
<path d="M 120 146.41 L 114.5 135.41 L 120 138.16 L 125.5 135.41 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="5" stroke-miterlimit="10" pointer-events="all"/>
<path d="M 82 152 L 132 152 L 162 182 L 162 252 L 82 252 L 82 152 Z" fill="#8da4c1" stroke="#243f5f" stroke-width="4" stroke-miterlimit="10" pointer-events="all"/>
<path d="M 132 152 L 132 182 L 162 182 Z" fill-opacity="0.05" fill="#000000" stroke="none" pointer-events="all"/>
<path d="M 132 152 L 132 182 L 162 182" fill="none" stroke="#243f5f" stroke-width="4" stroke-miterlimit="10" pointer-events="all"/>
<g transform="translate(-0.5 -0.5)">
<switch>
<foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
<div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 78px; height: 1px; padding-top: 202px; margin-left: 83px;">
<div data-drawio-colors="color: #FFFFFF; " style="box-sizing: border-box; font-size: 0px; text-align: center;">
<div style="display: inline-block; font-size: 20px; font-family: Helvetica; color: rgb(255, 255, 255); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">
Data
</div>
</div>
</div>
</foreignObject>
<text x="122" y="208" fill="#FFFFFF" font-family="Helvetica" font-size="20px" text-anchor="middle">
Data
</text>
</switch>
</g>
<path d="M 352 82 Q 352 132 297 139.5 Q 242 147 193.84 147" fill="none" stroke="rgb(0, 0, 0)" stroke-width="5" stroke-miterlimit="10" pointer-events="stroke"/>
<path d="M 185.59 147 L 196.59 141.5 L 193.84 147 L 196.59 152.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="5" stroke-miterlimit="10" pointer-events="all"/>
<ellipse cx="352" cy="42" rx="40" ry="40" fill="#8da4c1" stroke="#243f5f" stroke-width="4" pointer-events="all"/>
<g transform="translate(-0.5 -0.5)">
<switch>
<foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
<div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 78px; height: 1px; padding-top: 42px; margin-left: 313px;">
<div data-drawio-colors="color: #FFFFFF; " style="box-sizing: border-box; font-size: 0px; text-align: center;">
<div style="display: inline-block; font-size: 20px; font-family: Helvetica; color: rgb(255, 255, 255); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">
<font style="font-size: 20px;">
Verifier
</font>
</div>
</div>
</div>
</foreignObject>
<text x="352" y="48" fill="#FFFFFF" font-family="Helvetica" font-size="20px" text-anchor="middle">
Verifier
</text>
</switch>
</g>
<rect x="150" y="132" width="30" height="30" fill="none" stroke="none" pointer-events="all"/>
<g transform="translate(-0.5 -0.5)">
<switch>
<foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;">
<div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 28px; height: 1px; padding-top: 147px; margin-left: 151px;">
<div data-drawio-colors="color: #FFFFFF; " style="box-sizing: border-box; font-size: 0px; text-align: center;">
<div style="display: inline-block; font-size: 20px; font-family: Helvetica; color: rgb(255, 255, 255); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">
<font color="#2c9c5e" size="1">
<b style="font-size: 50px;">
✓
</b>
</font>
</div>
</div>
</div>
</foreignObject>
<text x="165" y="153" fill="#FFFFFF" font-family="Helvetica" font-size="20px" text-anchor="middle">
✓
</text>
</switch>
</g>
<rect x="92" y="162" width="20.26" height="26.78" fill="none" stroke="none" pointer-events="all"/>
<path d="M 105.66 181.94 L 106.85 181.94 L 106.85 187.87 C 106.85 188.09 106.73 188.29 106.53 188.4 C 106.44 188.44 106.35 188.47 106.25 188.47 C 106.13 188.47 106.02 188.43 105.92 188.36 L 102.13 185.76 L 98.34 188.36 C 98.16 188.49 97.93 188.5 97.73 188.4 C 97.53 188.29 97.41 188.09 97.41 187.87 L 97.41 181.94 L 98.6 181.94 L 98.6 186.74 L 101.79 184.55 C 102 184.41 102.26 184.41 102.47 184.55 L 105.66 186.74 Z M 93.19 172.41 C 93.19 167.48 97.2 163.47 102.13 163.47 C 107.06 163.47 111.07 167.48 111.07 172.41 C 111.07 177.34 107.06 181.35 102.13 181.35 C 97.2 181.35 93.19 177.34 93.19 172.41 Z M 92 172.41 C 92 177.99 96.54 182.54 102.13 182.54 C 107.72 182.54 112.26 177.99 112.26 172.41 C 112.26 166.82 107.72 162.28 102.13 162.28 C 96.54 162.28 92 166.82 92 172.41 Z M 96.92 172.67 C 96.92 172.39 97.15 172.16 97.42 172.16 C 97.7 172.16 97.93 172.39 97.93 172.67 C 97.93 172.94 97.7 173.17 97.42 173.17 C 97.15 173.17 96.92 172.94 96.92 172.67 Z M 95.73 172.67 C 95.73 173.6 96.49 174.36 97.42 174.36 C 98.36 174.36 99.12 173.6 99.12 172.67 C 99.12 171.73 98.36 170.97 97.42 170.97 C 96.49 170.97 95.73 171.73 95.73 172.67 Z M 108.46 173.1 L 101.96 173.1 C 101.7 173.1 101.46 173.27 101.39 173.52 C 101 174.81 99.85 175.68 98.52 175.68 C 96.86 175.68 95.51 174.33 95.51 172.67 C 95.51 171.01 96.86 169.65 98.52 169.65 C 99.85 169.65 101 170.52 101.39 171.81 C 101.46 172.06 101.7 172.23 101.96 172.23 L 103.07 172.23 C 103.24 172.23 103.39 172.16 103.51 172.04 L 104.01 171.5 L 104.52 172.04 C 104.63 172.16 104.79 172.23 104.95 172.23 L 105.58 172.23 C 105.75 172.23 105.9 172.16 106.02 172.04 L 106.52 171.5 L 107.03 172.04 C 107.14 172.16 107.3 172.23 107.46 172.23 L 108.19 172.23 L 108.8 172.73 Z M 108.78 171.18 C 108.68 171.09 108.54 171.04 108.4 171.04 L 107.72 171.04 L 106.96 170.22 C 106.73 169.98 106.31 169.98 106.09 170.22 L 105.32 171.04 L 105.21 171.04 L 104.45 170.22 C 104.33 170.1 104.18 170.03 104.01 170.03 C 103.85 170.03 103.69 170.1 103.58 170.22 L 102.81 171.04 L 102.37 171.04 C 101.72 169.48 100.23 168.46 98.52 168.46 C 96.2 168.46 94.32 170.35 94.32 172.67 C 94.32 174.98 96.2 176.87 98.52 176.87 C 100.23 176.87 101.72 175.85 102.37 174.29 L 108.72 174.29 C 108.89 174.29 109.04 174.22 109.16 174.1 L 110.1 173.07 C 110.21 172.95 110.26 172.79 110.25 172.62 C 110.24 172.46 110.16 172.31 110.04 172.21 Z" fill="#ffffff" stroke="none" pointer-events="all"/>
</g>
<switch>
<g requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"/>
<a transform="translate(0,-5)" xlink:href="https://www.diagrams.net/doc/faq/svg-export-text-problems" target="_blank">
<text text-anchor="middle" font-size="10px" x="50%" y="100%">
Text is not SVG - cannot display
</text>
</a>
</switch>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 13 KiB

BIN
src/images/overview.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 20 KiB