diff --git a/diagrams/overview_prover_verifier.drawio b/diagrams/overview_prover_verifier.drawio
index 76e88c3..37f1268 100644
--- a/diagrams/overview_prover_verifier.drawio
+++ b/diagrams/overview_prover_verifier.drawio
@@ -1,6 +1,6 @@
 <mxfile host="65bd71144e">
     <diagram id="kcIGn_kX_1L25iIxUXLg" name="Page-1">
-        <mxGraphModel dx="1757" dy="531" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="850" pageHeight="1100" math="0" shadow="0">
+        <mxGraphModel dx="746" dy="423" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="850" pageHeight="1100" math="0" shadow="0">
             <root>
                 <mxCell id="0"/>
                 <mxCell id="1" parent="0"/>
@@ -28,7 +28,7 @@
                         <mxPoint x="400" y="440" as="targetPoint"/>
                     </mxGeometry>
                 </mxCell>
-                <mxCell id="10" value="MPC-TLS" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=10;" parent="GdnXkJGOJiVmK7E47u4y-49" vertex="1" connectable="0">
+                <mxCell id="10" value="MPC-TLS" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=10;labelBackgroundColor=none;" parent="GdnXkJGOJiVmK7E47u4y-49" vertex="1" connectable="0">
                     <mxGeometry x="-0.5071" relative="1" as="geometry">
                         <mxPoint x="20" y="-9" as="offset"/>
                     </mxGeometry>
@@ -51,7 +51,7 @@
                         <mxPoint x="360" y="310" as="targetPoint"/>
                     </mxGeometry>
                 </mxCell>
-                <mxCell id="21" value="&lt;span style=&quot;font-size: 10px;&quot;&gt;Selective d&lt;/span&gt;&lt;span style=&quot;font-size: 10px;&quot;&gt;isclosure&lt;/span&gt;" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=10;" parent="14" vertex="1" connectable="0">
+                <mxCell id="21" value="&lt;span style=&quot;font-size: 10px;&quot;&gt;Selective d&lt;/span&gt;&lt;span style=&quot;font-size: 10px;&quot;&gt;isclosure&lt;/span&gt;" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=10;labelBackgroundColor=none;" parent="14" vertex="1" connectable="0">
                     <mxGeometry x="-0.2624" y="-1" relative="1" as="geometry">
                         <mxPoint x="10" y="29" as="offset"/>
                     </mxGeometry>
diff --git a/src/diagrams/overview_prover_verifier.svg b/src/diagrams/overview_prover_verifier.svg
index 67b1f62..2b77813 100644
--- a/src/diagrams/overview_prover_verifier.svg
+++ b/src/diagrams/overview_prover_verifier.svg
@@ -1,3 +1,3 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" version="1.1" width="1014px" height="218px" viewBox="-0.5 -0.5 1014 218"><defs><style type="text/css"> @media (prefers-color-scheme: dark) { svg { filter: invert(93%) hue-rotate(180deg); background-color: transparent !important; } image { filter: invert(100%) hue-rotate(180deg) saturate(1.25); } } </style></defs><g><ellipse cx="505" cy="100" rx="100" ry="100" fill="#000000" stroke="#000000" stroke-width="2.5" pointer-events="all" transform="translate(5,7.5)" opacity="0.25"/><ellipse cx="505" cy="100" rx="100" ry="100" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="2.5" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(2.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: 40px; margin-left: 163px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; font-weight: bold; white-space: normal; overflow-wrap: normal;">Prover</div></div></div></foreignObject><text x="202" y="44" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle" font-weight="bold">Prover</text></switch></g><ellipse cx="100" cy="100" rx="100" ry="100" fill="#000000" stroke="#000000" stroke-width="2.5" pointer-events="all" transform="translate(5,7.5)" opacity="0.25"/><ellipse cx="100" cy="100" rx="100" ry="100" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="2.5" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(2.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: 40px; margin-left: 1px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; font-weight: bold; white-space: normal; overflow-wrap: normal;">Server</div></div></div></foreignObject><text x="40" y="44" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle" font-weight="bold">Server</text></switch></g><ellipse cx="905" cy="100" rx="100" ry="100" fill="#000000" stroke="#000000" stroke-width="2.5" pointer-events="all" transform="translate(5,7.5)" opacity="0.25"/><ellipse cx="905" cy="100" rx="100" ry="100" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="2.5" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(2.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: 40px; margin-left: 323px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; font-weight: bold; white-space: normal; overflow-wrap: normal;">Verifier</div></div></div></foreignObject><text x="362" y="44" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle" font-weight="bold">Verifier</text></switch></g><path d="M 215.92 100 L 389.08 100" fill="none" stroke="rgb(0, 0, 0)" stroke-width="2.5" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 202.79 100 L 220.29 91.25 L 215.92 100 L 220.29 108.75 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="2.5" stroke-miterlimit="10" pointer-events="all"/><path d="M 402.21 100 L 384.71 108.75 L 389.08 100 L 384.71 91.25 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="2.5" stroke-miterlimit="10" pointer-events="all"/><rect x="221.25" y="65" width="168.75" height="25" fill="none" stroke="none" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(2.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: 66px; height: 1px; padding-top: 31px; margin-left: 90px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 10px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">TLS</div></div></div></foreignObject><text x="122" y="34" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="10px" text-anchor="middle">TLS</text></switch></g><path d="M 619.92 72.29 L 795.28 73.31" fill="none" stroke="rgb(0, 0, 0)" stroke-width="2.5" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 606.79 72.22 L 624.35 63.57 L 619.92 72.29 L 624.24 81.07 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="2.5" stroke-miterlimit="10" pointer-events="all"/><path d="M 808.41 73.38 L 790.85 82.03 L 795.28 73.31 L 790.96 64.53 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="2.5" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(2.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: 1px; height: 1px; padding-top: 20px; margin-left: 282px;"><div data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 10px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;">MPC-TLS</div></div></div></foreignObject><text x="282" y="23" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="10px" text-anchor="middle">MPC-TLS</text></switch></g><ellipse cx="305.63" cy="41.25" rx="16.25" ry="16.25" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="2.5" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(2.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: 11px; height: 1px; padding-top: 17px; margin-left: 117px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 10px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">1</div></div></div></foreignObject><text x="122" y="20" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="10px" text-anchor="middle">1</text></switch></g><ellipse cx="871.25" cy="160" rx="16.25" ry="16.25" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="2.5" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(2.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: 11px; height: 1px; padding-top: 64px; margin-left: 343px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 10px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">3</div></div></div></foreignObject><text x="349" y="67" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="10px" text-anchor="middle">3</text></switch></g><ellipse cx="705" cy="166.25" rx="16.25" ry="16.25" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="2.5" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(2.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: 11px; height: 1px; padding-top: 67px; margin-left: 277px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 10px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">2</div></div></div></foreignObject><text x="282" y="70" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="10px" text-anchor="middle">2</text></switch></g><rect x="887.5" y="110" width="75" height="100" rx="11.25" ry="11.25" fill="none" stroke="none" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(2.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 flex-start; width: 28px; height: 1px; padding-top: 64px; margin-left: 357px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: left;"><div style="display: inline-block; font-size: 10px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">Verify</div></div></div></foreignObject><text x="357" y="67" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="10px">Verify</text></switch></g><path d="M 605 125 L 790.68 124.45" fill="none" stroke="rgb(0, 0, 0)" stroke-width="2.5" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 803.81 124.41 L 786.33 133.21 L 790.68 124.45 L 786.28 115.71 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="2.5" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(2.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: 1px; height: 1px; padding-top: 80px; margin-left: 282px;"><div data-drawio-colors="color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 10px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; background-color: rgb(255, 255, 255); white-space: nowrap;"><span style="font-size: 10px;">Selective d</span><span style="font-size: 10px;">isclosure</span></div></div></div></foreignObject><text x="282" y="83" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="10px" text-anchor="middle">Selective disclosure</text></switch></g><ellipse cx="705" cy="16.25" rx="16.25" ry="16.25" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="2.5" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(2.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: 11px; height: 1px; padding-top: 7px; margin-left: 277px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 10px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">1</div></div></div></foreignObject><text x="282" y="10" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="10px" text-anchor="middle">1</text></switch></g></g><switch><g requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"/><a transform="translate(0,-5)" xlink:href="https://www.drawio.com/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>
\ No newline at end of file
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" version="1.1" width="1014px" height="218px" viewBox="-0.5 -0.5 1014 218"><defs><style type="text/css"> @media (prefers-color-scheme: dark) { svg { filter: invert(93%) hue-rotate(180deg); background-color: transparent !important; } image { filter: invert(100%) hue-rotate(180deg) saturate(1.25); } } </style></defs><g><ellipse cx="505" cy="100" rx="100" ry="100" fill="#000000" stroke="#000000" stroke-width="2.5" pointer-events="all" transform="translate(5,7.5)" opacity="0.25"/><ellipse cx="505" cy="100" rx="100" ry="100" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="2.5" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(2.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: 40px; margin-left: 163px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; font-weight: bold; white-space: normal; overflow-wrap: normal;">Prover</div></div></div></foreignObject><text x="202" y="44" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle" font-weight="bold">Prover</text></switch></g><ellipse cx="100" cy="100" rx="100" ry="100" fill="#000000" stroke="#000000" stroke-width="2.5" pointer-events="all" transform="translate(5,7.5)" opacity="0.25"/><ellipse cx="100" cy="100" rx="100" ry="100" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="2.5" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(2.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: 40px; margin-left: 1px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; font-weight: bold; white-space: normal; overflow-wrap: normal;">Server</div></div></div></foreignObject><text x="40" y="44" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle" font-weight="bold">Server</text></switch></g><ellipse cx="905" cy="100" rx="100" ry="100" fill="#000000" stroke="#000000" stroke-width="2.5" pointer-events="all" transform="translate(5,7.5)" opacity="0.25"/><ellipse cx="905" cy="100" rx="100" ry="100" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="2.5" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(2.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: 40px; margin-left: 323px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; font-weight: bold; white-space: normal; overflow-wrap: normal;">Verifier</div></div></div></foreignObject><text x="362" y="44" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="12px" text-anchor="middle" font-weight="bold">Verifier</text></switch></g><path d="M 215.92 100 L 389.08 100" fill="none" stroke="rgb(0, 0, 0)" stroke-width="2.5" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 202.79 100 L 220.29 91.25 L 215.92 100 L 220.29 108.75 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="2.5" stroke-miterlimit="10" pointer-events="all"/><path d="M 402.21 100 L 384.71 108.75 L 389.08 100 L 384.71 91.25 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="2.5" stroke-miterlimit="10" pointer-events="all"/><rect x="221.25" y="65" width="168.75" height="25" fill="none" stroke="none" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(2.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: 66px; height: 1px; padding-top: 31px; margin-left: 90px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 10px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">TLS</div></div></div></foreignObject><text x="122" y="34" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="10px" text-anchor="middle">TLS</text></switch></g><path d="M 619.92 72.29 L 795.28 73.31" fill="none" stroke="rgb(0, 0, 0)" stroke-width="2.5" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 606.79 72.22 L 624.35 63.57 L 619.92 72.29 L 624.24 81.07 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="2.5" stroke-miterlimit="10" pointer-events="all"/><path d="M 808.41 73.38 L 790.85 82.03 L 795.28 73.31 L 790.96 64.53 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="2.5" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(2.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: 1px; height: 1px; padding-top: 20px; margin-left: 282px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 10px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: nowrap;">MPC-TLS</div></div></div></foreignObject><text x="282" y="23" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="10px" text-anchor="middle">MPC-TLS</text></switch></g><ellipse cx="305.63" cy="41.25" rx="16.25" ry="16.25" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="2.5" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(2.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: 11px; height: 1px; padding-top: 17px; margin-left: 117px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 10px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">1</div></div></div></foreignObject><text x="122" y="20" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="10px" text-anchor="middle">1</text></switch></g><ellipse cx="871.25" cy="160" rx="16.25" ry="16.25" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="2.5" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(2.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: 11px; height: 1px; padding-top: 64px; margin-left: 343px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 10px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">3</div></div></div></foreignObject><text x="349" y="67" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="10px" text-anchor="middle">3</text></switch></g><ellipse cx="705" cy="166.25" rx="16.25" ry="16.25" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="2.5" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(2.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: 11px; height: 1px; padding-top: 67px; margin-left: 277px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 10px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">2</div></div></div></foreignObject><text x="282" y="70" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="10px" text-anchor="middle">2</text></switch></g><rect x="887.5" y="110" width="75" height="100" rx="11.25" ry="11.25" fill="none" stroke="none" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(2.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 flex-start; width: 28px; height: 1px; padding-top: 64px; margin-left: 357px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: left;"><div style="display: inline-block; font-size: 10px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">Verify</div></div></div></foreignObject><text x="357" y="67" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="10px">Verify</text></switch></g><path d="M 605 125 L 790.68 124.45" fill="none" stroke="rgb(0, 0, 0)" stroke-width="2.5" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 803.81 124.41 L 786.33 133.21 L 790.68 124.45 L 786.28 115.71 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="2.5" stroke-miterlimit="10" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(2.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: 1px; height: 1px; padding-top: 80px; margin-left: 282px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 10px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: nowrap;"><span style="font-size: 10px;">Selective d</span><span style="font-size: 10px;">isclosure</span></div></div></div></foreignObject><text x="282" y="83" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="10px" text-anchor="middle">Selective disclosure</text></switch></g><ellipse cx="705" cy="16.25" rx="16.25" ry="16.25" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="2.5" pointer-events="all"/><g transform="translate(-0.5 -0.5)scale(2.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: 11px; height: 1px; padding-top: 7px; margin-left: 277px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 10px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">1</div></div></div></foreignObject><text x="282" y="10" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="10px" text-anchor="middle">1</text></switch></g></g><switch><g requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"/><a transform="translate(0,-5)" xlink:href="https://www.drawio.com/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>
\ No newline at end of file