mirror of
https://github.com/AtHeartEngineer/docs-mdbook.git
synced 2026-01-09 00:58:13 -05:00
deploy: a6849aa610
This commit is contained in:
sinui0
2
404.html
2
404.html
@@ -86,7 +86,7 @@
|
||||
|
||||
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
|
||||
<div class="sidebar-scrollbox">
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="protocol/notarization/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="protocol/notarization/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="protocol/notarization/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="protocol/notarization/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="protocol/notarization/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="glossary.html">Glossary</a></li></ol>
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="protocol/mpc-tls/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="protocol/mpc-tls/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="protocol/mpc-tls/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="protocol/mpc-tls/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="protocol/mpc-tls/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="glossary.html">Glossary</a></li></ol>
|
||||
</div>
|
||||
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
|
||||
</nav>
|
||||
|
||||
@@ -85,7 +85,7 @@
|
||||
|
||||
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
|
||||
<div class="sidebar-scrollbox">
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="../intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="../motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="../developers/quick_start.html" class="active">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="../protocol/notarization/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../protocol/notarization/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="../protocol/notarization/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="../protocol/notarization/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="../protocol/notarization/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="../protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="../mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="../mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="../mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="../mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="../mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="../glossary.html">Glossary</a></li></ol>
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="../intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="../motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="../developers/quick_start.html" class="active">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="../protocol/mpc-tls/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../protocol/mpc-tls/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="../protocol/mpc-tls/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="../protocol/mpc-tls/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="../protocol/mpc-tls/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="../protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="../mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="../mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="../mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="../mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="../mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="../glossary.html">Glossary</a></li></ol>
|
||||
</div>
|
||||
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
|
||||
</nav>
|
||||
@@ -229,7 +229,7 @@ user-agent: XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
|
||||
<i class="fa fa-angle-left"></i>
|
||||
</a>
|
||||
|
||||
<a rel="next" href="../protocol/notarization/index.html" class="mobile-nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
|
||||
<a rel="next" href="../protocol/mpc-tls/index.html" class="mobile-nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
|
||||
<i class="fa fa-angle-right"></i>
|
||||
</a>
|
||||
|
||||
@@ -243,7 +243,7 @@ user-agent: XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
|
||||
<i class="fa fa-angle-left"></i>
|
||||
</a>
|
||||
|
||||
<a rel="next" href="../protocol/notarization/index.html" class="nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
|
||||
<a rel="next" href="../protocol/mpc-tls/index.html" class="nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
|
||||
<i class="fa fa-angle-right"></i>
|
||||
</a>
|
||||
</nav>
|
||||
|
||||
@@ -85,7 +85,7 @@
|
||||
|
||||
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
|
||||
<div class="sidebar-scrollbox">
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="protocol/notarization/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="protocol/notarization/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="protocol/notarization/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="protocol/notarization/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="protocol/notarization/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="glossary.html" class="active">Glossary</a></li></ol>
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="protocol/mpc-tls/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="protocol/mpc-tls/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="protocol/mpc-tls/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="protocol/mpc-tls/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="protocol/mpc-tls/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="glossary.html" class="active">Glossary</a></li></ol>
|
||||
</div>
|
||||
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
|
||||
</nav>
|
||||
|
||||
@@ -85,7 +85,7 @@
|
||||
|
||||
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
|
||||
<div class="sidebar-scrollbox">
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="intro.html" class="active">Introduction</a></li><li class="chapter-item expanded affix "><a href="motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="protocol/notarization/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="protocol/notarization/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="protocol/notarization/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="protocol/notarization/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="protocol/notarization/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="glossary.html">Glossary</a></li></ol>
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="intro.html" class="active">Introduction</a></li><li class="chapter-item expanded affix "><a href="motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="protocol/mpc-tls/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="protocol/mpc-tls/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="protocol/mpc-tls/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="protocol/mpc-tls/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="protocol/mpc-tls/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="glossary.html">Glossary</a></li></ol>
|
||||
</div>
|
||||
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
|
||||
</nav>
|
||||
|
||||
@@ -85,7 +85,7 @@
|
||||
|
||||
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
|
||||
<div class="sidebar-scrollbox">
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="intro.html" class="active">Introduction</a></li><li class="chapter-item expanded affix "><a href="motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="protocol/notarization/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="protocol/notarization/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="protocol/notarization/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="protocol/notarization/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="protocol/notarization/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="glossary.html">Glossary</a></li></ol>
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="intro.html" class="active">Introduction</a></li><li class="chapter-item expanded affix "><a href="motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="protocol/mpc-tls/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="protocol/mpc-tls/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="protocol/mpc-tls/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="protocol/mpc-tls/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="protocol/mpc-tls/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="glossary.html">Glossary</a></li></ol>
|
||||
</div>
|
||||
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
|
||||
</nav>
|
||||
|
||||
@@ -85,7 +85,7 @@
|
||||
|
||||
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
|
||||
<div class="sidebar-scrollbox">
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="motivation.html" class="active">Motivation</a></li><li class="chapter-item expanded affix "><a href="developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="protocol/notarization/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="protocol/notarization/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="protocol/notarization/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="protocol/notarization/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="protocol/notarization/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="glossary.html">Glossary</a></li></ol>
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="motivation.html" class="active">Motivation</a></li><li class="chapter-item expanded affix "><a href="developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="protocol/mpc-tls/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="protocol/mpc-tls/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="protocol/mpc-tls/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="protocol/mpc-tls/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="protocol/mpc-tls/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="glossary.html">Glossary</a></li></ol>
|
||||
</div>
|
||||
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
|
||||
</nav>
|
||||
|
||||
@@ -85,7 +85,7 @@
|
||||
|
||||
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
|
||||
<div class="sidebar-scrollbox">
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="../intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="../motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="../developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="../protocol/notarization/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../protocol/notarization/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="../protocol/notarization/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="../protocol/notarization/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="../protocol/notarization/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="../protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="../mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="../mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="../mpc/deap.html" class="active"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="../mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="../mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="../glossary.html">Glossary</a></li></ol>
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="../intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="../motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="../developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="../protocol/mpc-tls/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../protocol/mpc-tls/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="../protocol/mpc-tls/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="../protocol/mpc-tls/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="../protocol/mpc-tls/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="../protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="../mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="../mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="../mpc/deap.html" class="active"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="../mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="../mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="../glossary.html">Glossary</a></li></ol>
|
||||
</div>
|
||||
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
|
||||
</nav>
|
||||
|
||||
@@ -85,7 +85,7 @@
|
||||
|
||||
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
|
||||
<div class="sidebar-scrollbox">
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="../intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="../motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="../developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="../protocol/notarization/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../protocol/notarization/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="../protocol/notarization/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="../protocol/notarization/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="../protocol/notarization/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="../protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="../mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="../mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="../mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="../mpc/encryption.html" class="active"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="../mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="../glossary.html">Glossary</a></li></ol>
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="../intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="../motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="../developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="../protocol/mpc-tls/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../protocol/mpc-tls/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="../protocol/mpc-tls/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="../protocol/mpc-tls/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="../protocol/mpc-tls/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="../protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="../mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="../mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="../mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="../mpc/encryption.html" class="active"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="../mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="../glossary.html">Glossary</a></li></ol>
|
||||
</div>
|
||||
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
|
||||
</nav>
|
||||
|
||||
@@ -85,7 +85,7 @@
|
||||
|
||||
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
|
||||
<div class="sidebar-scrollbox">
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="../intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="../motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="../developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="../protocol/notarization/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../protocol/notarization/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="../protocol/notarization/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="../protocol/notarization/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="../protocol/notarization/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="../protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="../mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="../mpc/ff-arithmetic.html" class="active"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="../mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="../mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="../mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="../glossary.html">Glossary</a></li></ol>
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="../intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="../motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="../developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="../protocol/mpc-tls/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../protocol/mpc-tls/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="../protocol/mpc-tls/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="../protocol/mpc-tls/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="../protocol/mpc-tls/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="../protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="../mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="../mpc/ff-arithmetic.html" class="active"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="../mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="../mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="../mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="../glossary.html">Glossary</a></li></ol>
|
||||
</div>
|
||||
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
|
||||
</nav>
|
||||
|
||||
@@ -85,7 +85,7 @@
|
||||
|
||||
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
|
||||
<div class="sidebar-scrollbox">
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="../intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="../motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="../developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="../protocol/notarization/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../protocol/notarization/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="../protocol/notarization/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="../protocol/notarization/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="../protocol/notarization/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="../protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="../mpc/key_exchange.html" class="active"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="../mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="../mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="../mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="../mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="../glossary.html">Glossary</a></li></ol>
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="../intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="../motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="../developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="../protocol/mpc-tls/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../protocol/mpc-tls/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="../protocol/mpc-tls/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="../protocol/mpc-tls/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="../protocol/mpc-tls/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="../protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="../mpc/key_exchange.html" class="active"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="../mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="../mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="../mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="../mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="../glossary.html">Glossary</a></li></ol>
|
||||
</div>
|
||||
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
|
||||
</nav>
|
||||
|
||||
@@ -85,7 +85,7 @@
|
||||
|
||||
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
|
||||
<div class="sidebar-scrollbox">
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="../intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="../motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="../developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="../protocol/notarization/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../protocol/notarization/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="../protocol/notarization/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="../protocol/notarization/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="../protocol/notarization/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="../protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="../mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="../mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="../mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="../mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="../mpc/mac.html" class="active"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="../glossary.html">Glossary</a></li></ol>
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="../intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="../motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="../developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="../protocol/mpc-tls/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../protocol/mpc-tls/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="../protocol/mpc-tls/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="../protocol/mpc-tls/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="../protocol/mpc-tls/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="../protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="../mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="../mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="../mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="../mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="../mpc/mac.html" class="active"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="../glossary.html">Glossary</a></li></ol>
|
||||
</div>
|
||||
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
|
||||
</nav>
|
||||
|
||||
20
print.html
20
print.html
@@ -86,7 +86,7 @@
|
||||
|
||||
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
|
||||
<div class="sidebar-scrollbox">
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="protocol/notarization/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="protocol/notarization/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="protocol/notarization/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="protocol/notarization/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="protocol/notarization/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="glossary.html">Glossary</a></li></ol>
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="protocol/mpc-tls/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="protocol/mpc-tls/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="protocol/mpc-tls/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="protocol/mpc-tls/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="protocol/mpc-tls/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="glossary.html">Glossary</a></li></ol>
|
||||
</div>
|
||||
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
|
||||
</nav>
|
||||
@@ -292,8 +292,8 @@ connection: close
|
||||
user-agent: XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
|
||||
</code></pre>
|
||||
<div style="break-before: page; page-break-before: always;"></div><link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.12.0/dist/katex.min.css" integrity="sha384-AfEj0r4/OFrOo5t7NnNe46zW/tFgW6x/bCJG8FqQCEo3+Aro6EYUG4+cU+KJWu/X" crossorigin="anonymous">
|
||||
<h1 id="notarization-phase"><a class="header" href="#notarization-phase">Notarization Phase</a></h1>
|
||||
<p>During the Notarization Phase the <code>Prover</code>, otherwise referred to as the <code>User</code>, and the <code>Notary</code> work together to generate an authenticated <code>Transcript</code> of a TLS session with a <code>Server</code>.</p>
|
||||
<h1 id="mpc-tls"><a class="header" href="#mpc-tls">MPC-TLS</a></h1>
|
||||
<p>During the MPC-TLS Phase the <code>Prover</code> and the <code>Notary</code> work together to generate an authenticated <code>Transcript</code> of a TLS session with a <code>Server</code>.</p>
|
||||
<p>Listed below are some key points regarding this process:</p>
|
||||
<ul>
|
||||
<li>The identity of the <code>Server</code> is not revealed to the <code>Notary</code>, but the <code>Prover</code> is capable of proving the <code>Server</code> identity to a <code>Verifier</code> later.</li>
|
||||
@@ -313,16 +313,16 @@ user-agent: XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
|
||||
<h1 id="encryption-decryption-and-mac-computation"><a class="header" href="#encryption-decryption-and-mac-computation">Encryption, Decryption, and MAC Computation</a></h1>
|
||||
<p>This section explains how the <code>User</code> and <code>Notary</code> use MPC to encrypt data for the server, decrypt data received from the server, and compute the MAC for the ciphertext using MPC.</p>
|
||||
<h2 id="encryption"><a class="header" href="#encryption">Encryption</a></h2>
|
||||
<p>To encrypt the plaintext, both parties input their TLS key shares as private inputs to the <a href="protocol/notarization//mpc/deap.html">MPC</a> protocol, along with some other public data. Additionally, the <code>User</code> inputs her plaintext as a private input.</p>
|
||||
<p>Both parties see the resulting ciphertext and execute the <a href="protocol/notarization/../../mpc/mac.html">2PC MAC</a> protocol to compute the MAC for the ciphertext.</p>
|
||||
<p>To encrypt the plaintext, both parties input their TLS key shares as private inputs to the <a href="protocol/mpc-tls//mpc/deap.html">MPC</a> protocol, along with some other public data. Additionally, the <code>User</code> inputs her plaintext as a private input.</p>
|
||||
<p>Both parties see the resulting ciphertext and execute the <a href="protocol/mpc-tls/../../mpc/mac.html">2PC MAC</a> protocol to compute the MAC for the ciphertext.</p>
|
||||
<p>The <code>User</code> then dispatches the ciphertext and the MAC to the server.</p>
|
||||
<p>As explained in the <a href="protocol/notarization/commitment.html">Commitment section</a>, the <code>User</code> creates a commitment to the plaintext (her private input to MPC).</p>
|
||||
<p>As explained in the <a href="protocol/mpc-tls/commitment.html">Commitment section</a>, the <code>User</code> creates a commitment to the plaintext (her private input to MPC).</p>
|
||||
<h2 id="decryption"><a class="header" href="#decryption">Decryption</a></h2>
|
||||
<p>Once the <code>User</code> receives the ciphertext and its associated MAC from the server, the parties first authenticate the ciphertext by validating the MAC. They do this by running the <a href="protocol/notarization//mpc/mac.html">MPC</a> protocol to compute the authentic MAC for the ciphertext. They then verify if the authentic MAC matches the MAC received from the server.</p>
|
||||
<p>Next, the parties decrypt the ciphertext by providing their key shares as private inputs to the <a href="protocol/notarization//mpc/deap.html">MPC</a> protocol, along with the ciphertext and some other public data.</p>
|
||||
<p>Once the <code>User</code> receives the ciphertext and its associated MAC from the server, the parties first authenticate the ciphertext by validating the MAC. They do this by running the <a href="protocol/mpc-tls//mpc/mac.html">MPC</a> protocol to compute the authentic MAC for the ciphertext. They then verify if the authentic MAC matches the MAC received from the server.</p>
|
||||
<p>Next, the parties decrypt the ciphertext by providing their key shares as private inputs to the <a href="protocol/mpc-tls//mpc/deap.html">MPC</a> protocol, along with the ciphertext and some other public data.</p>
|
||||
<p>The resulting plaintext is revealed ONLY to the <code>User</code>.</p>
|
||||
<p>As discussed in the <a href="protocol/notarization//protocol/notarization/commitment.html">Commitment section</a>, the <code>User</code> creates a commitment to the plaintext.</p>
|
||||
<p>Please note, the actual low-level implementation details of <code>Decryption</code> are more nuanced than what we have described here. For more information, please consult <a href="protocol/notarization//mpc/encryption.html">Low-level Decryption details</a>.</p>
|
||||
<p>As discussed in the <a href="protocol/mpc-tls//protocol/mpc-tls/commitment.html">Commitment section</a>, the <code>User</code> creates a commitment to the plaintext.</p>
|
||||
<p>Please note, the actual low-level implementation details of <code>Decryption</code> are more nuanced than what we have described here. For more information, please consult <a href="protocol/mpc-tls//mpc/encryption.html">Low-level Decryption details</a>.</p>
|
||||
<h2 id="summary"><a class="header" href="#summary">Summary</a></h2>
|
||||
<p>This chapter illustrated how the <code>Notary</code> and <code>User</code> collaborate to encrypt and decrypt data. The <code>Notary</code> performs these tasks "blindly", without acquiring knowledge of the plaintext. In fact, the <code>Notary</code> even remains unaware of which <code>Server</code> the <code>User</code> is communicating with. Additionally, the <code>User</code> creates commitments to the plaintext and can use them later to prove the authenticity of the plaintext to a third party <code>Verifier</code>.</p>
|
||||
<div style="break-before: page; page-break-before: always;"></div><link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.12.0/dist/katex.min.css" integrity="sha384-AfEj0r4/OFrOo5t7NnNe46zW/tFgW6x/bCJG8FqQCEo3+Aro6EYUG4+cU+KJWu/X" crossorigin="anonymous">
|
||||
|
||||
@@ -85,7 +85,7 @@
|
||||
|
||||
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
|
||||
<div class="sidebar-scrollbox">
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="../../intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="../../motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="../../developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="../../protocol/notarization/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../../protocol/notarization/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="../../protocol/notarization/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="../../protocol/notarization/commitment.html" class="active"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="../../protocol/notarization/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="../../protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="../../mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="../../mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="../../mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="../../mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="../../mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="../../glossary.html">Glossary</a></li></ol>
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="../../intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="../../motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="../../developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="../../protocol/mpc-tls/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../../protocol/mpc-tls/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="../../protocol/mpc-tls/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="../../protocol/mpc-tls/commitment.html" class="active"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="../../protocol/mpc-tls/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="../../protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="../../mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="../../mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="../../mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="../../mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="../../mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="../../glossary.html">Glossary</a></li></ol>
|
||||
</div>
|
||||
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
|
||||
</nav>
|
||||
@@ -145,7 +145,7 @@
|
||||
<a href="https://github.com/tlsnotary/docs-mdbook" title="Git repository" aria-label="Git repository">
|
||||
<i id="git-repository-button" class="fa fa-github"></i>
|
||||
</a>
|
||||
<a href="https://github.com/tlsnotary/docs-mdbook/edit/main/src/protocol/notarization/commitment.md" title="Suggest an edit" aria-label="Suggest an edit">
|
||||
<a href="https://github.com/tlsnotary/docs-mdbook/edit/main/src/protocol/mpc-tls/commitment.md" title="Suggest an edit" aria-label="Suggest an edit">
|
||||
<i id="git-edit-button" class="fa fa-edit"></i>
|
||||
</a>
|
||||
|
||||
@@ -184,11 +184,11 @@
|
||||
|
||||
<nav class="nav-wrapper" aria-label="Page navigation">
|
||||
<!-- Mobile navigation buttons -->
|
||||
<a rel="prev" href="../../protocol/notarization/encryption.html" class="mobile-nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
|
||||
<a rel="prev" href="../../protocol/mpc-tls/encryption.html" class="mobile-nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
|
||||
<i class="fa fa-angle-left"></i>
|
||||
</a>
|
||||
|
||||
<a rel="next" href="../../protocol/notarization/signing.html" class="mobile-nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
|
||||
<a rel="next" href="../../protocol/mpc-tls/signing.html" class="mobile-nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
|
||||
<i class="fa fa-angle-right"></i>
|
||||
</a>
|
||||
|
||||
@@ -198,11 +198,11 @@
|
||||
</div>
|
||||
|
||||
<nav class="nav-wide-wrapper" aria-label="Page navigation">
|
||||
<a rel="prev" href="../../protocol/notarization/encryption.html" class="nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
|
||||
<a rel="prev" href="../../protocol/mpc-tls/encryption.html" class="nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
|
||||
<i class="fa fa-angle-left"></i>
|
||||
</a>
|
||||
|
||||
<a rel="next" href="../../protocol/notarization/signing.html" class="nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
|
||||
<a rel="next" href="../../protocol/mpc-tls/signing.html" class="nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
|
||||
<i class="fa fa-angle-right"></i>
|
||||
</a>
|
||||
</nav>
|
||||
@@ -85,7 +85,7 @@
|
||||
|
||||
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
|
||||
<div class="sidebar-scrollbox">
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="../../intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="../../motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="../../developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="../../protocol/notarization/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../../protocol/notarization/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="../../protocol/notarization/encryption.html" class="active"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="../../protocol/notarization/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="../../protocol/notarization/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="../../protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="../../mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="../../mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="../../mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="../../mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="../../mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="../../glossary.html">Glossary</a></li></ol>
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="../../intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="../../motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="../../developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="../../protocol/mpc-tls/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../../protocol/mpc-tls/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="../../protocol/mpc-tls/encryption.html" class="active"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="../../protocol/mpc-tls/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="../../protocol/mpc-tls/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="../../protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="../../mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="../../mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="../../mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="../../mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="../../mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="../../glossary.html">Glossary</a></li></ol>
|
||||
</div>
|
||||
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
|
||||
</nav>
|
||||
@@ -145,7 +145,7 @@
|
||||
<a href="https://github.com/tlsnotary/docs-mdbook" title="Git repository" aria-label="Git repository">
|
||||
<i id="git-repository-button" class="fa fa-github"></i>
|
||||
</a>
|
||||
<a href="https://github.com/tlsnotary/docs-mdbook/edit/main/src/protocol/notarization/encryption.md" title="Suggest an edit" aria-label="Suggest an edit">
|
||||
<a href="https://github.com/tlsnotary/docs-mdbook/edit/main/src/protocol/mpc-tls/encryption.md" title="Suggest an edit" aria-label="Suggest an edit">
|
||||
<i id="git-edit-button" class="fa fa-edit"></i>
|
||||
</a>
|
||||
|
||||
@@ -186,7 +186,7 @@
|
||||
<p>Once the <code>User</code> receives the ciphertext and its associated MAC from the server, the parties first authenticate the ciphertext by validating the MAC. They do this by running the <a href="/mpc/mac.html">MPC</a> protocol to compute the authentic MAC for the ciphertext. They then verify if the authentic MAC matches the MAC received from the server.</p>
|
||||
<p>Next, the parties decrypt the ciphertext by providing their key shares as private inputs to the <a href="/mpc/deap.html">MPC</a> protocol, along with the ciphertext and some other public data.</p>
|
||||
<p>The resulting plaintext is revealed ONLY to the <code>User</code>.</p>
|
||||
<p>As discussed in the <a href="/protocol/notarization/commitment.html">Commitment section</a>, the <code>User</code> creates a commitment to the plaintext.</p>
|
||||
<p>As discussed in the <a href="/protocol/mpc-tls/commitment.html">Commitment section</a>, the <code>User</code> creates a commitment to the plaintext.</p>
|
||||
<p>Please note, the actual low-level implementation details of <code>Decryption</code> are more nuanced than what we have described here. For more information, please consult <a href="/mpc/encryption.html">Low-level Decryption details</a>.</p>
|
||||
<h2 id="summary"><a class="header" href="#summary">Summary</a></h2>
|
||||
<p>This chapter illustrated how the <code>Notary</code> and <code>User</code> collaborate to encrypt and decrypt data. The <code>Notary</code> performs these tasks "blindly", without acquiring knowledge of the plaintext. In fact, the <code>Notary</code> even remains unaware of which <code>Server</code> the <code>User</code> is communicating with. Additionally, the <code>User</code> creates commitments to the plaintext and can use them later to prove the authenticity of the plaintext to a third party <code>Verifier</code>.</p>
|
||||
@@ -195,11 +195,11 @@
|
||||
|
||||
<nav class="nav-wrapper" aria-label="Page navigation">
|
||||
<!-- Mobile navigation buttons -->
|
||||
<a rel="prev" href="../../protocol/notarization/handshake.html" class="mobile-nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
|
||||
<a rel="prev" href="../../protocol/mpc-tls/handshake.html" class="mobile-nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
|
||||
<i class="fa fa-angle-left"></i>
|
||||
</a>
|
||||
|
||||
<a rel="next" href="../../protocol/notarization/commitment.html" class="mobile-nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
|
||||
<a rel="next" href="../../protocol/mpc-tls/commitment.html" class="mobile-nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
|
||||
<i class="fa fa-angle-right"></i>
|
||||
</a>
|
||||
|
||||
@@ -209,11 +209,11 @@
|
||||
</div>
|
||||
|
||||
<nav class="nav-wide-wrapper" aria-label="Page navigation">
|
||||
<a rel="prev" href="../../protocol/notarization/handshake.html" class="nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
|
||||
<a rel="prev" href="../../protocol/mpc-tls/handshake.html" class="nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
|
||||
<i class="fa fa-angle-left"></i>
|
||||
</a>
|
||||
|
||||
<a rel="next" href="../../protocol/notarization/commitment.html" class="nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
|
||||
<a rel="next" href="../../protocol/mpc-tls/commitment.html" class="nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
|
||||
<i class="fa fa-angle-right"></i>
|
||||
</a>
|
||||
</nav>
|
||||
@@ -85,7 +85,7 @@
|
||||
|
||||
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
|
||||
<div class="sidebar-scrollbox">
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="../../intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="../../motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="../../developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="../../protocol/notarization/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../../protocol/notarization/handshake.html" class="active"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="../../protocol/notarization/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="../../protocol/notarization/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="../../protocol/notarization/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="../../protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="../../mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="../../mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="../../mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="../../mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="../../mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="../../glossary.html">Glossary</a></li></ol>
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="../../intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="../../motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="../../developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="../../protocol/mpc-tls/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../../protocol/mpc-tls/handshake.html" class="active"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="../../protocol/mpc-tls/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="../../protocol/mpc-tls/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="../../protocol/mpc-tls/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="../../protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="../../mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="../../mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="../../mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="../../mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="../../mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="../../glossary.html">Glossary</a></li></ol>
|
||||
</div>
|
||||
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
|
||||
</nav>
|
||||
@@ -145,7 +145,7 @@
|
||||
<a href="https://github.com/tlsnotary/docs-mdbook" title="Git repository" aria-label="Git repository">
|
||||
<i id="git-repository-button" class="fa fa-github"></i>
|
||||
</a>
|
||||
<a href="https://github.com/tlsnotary/docs-mdbook/edit/main/src/protocol/notarization/handshake.md" title="Suggest an edit" aria-label="Suggest an edit">
|
||||
<a href="https://github.com/tlsnotary/docs-mdbook/edit/main/src/protocol/mpc-tls/handshake.md" title="Suggest an edit" aria-label="Suggest an edit">
|
||||
<i id="git-edit-button" class="fa fa-edit"></i>
|
||||
</a>
|
||||
|
||||
@@ -188,11 +188,11 @@
|
||||
|
||||
<nav class="nav-wrapper" aria-label="Page navigation">
|
||||
<!-- Mobile navigation buttons -->
|
||||
<a rel="prev" href="../../protocol/notarization/index.html" class="mobile-nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
|
||||
<a rel="prev" href="../../protocol/mpc-tls/index.html" class="mobile-nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
|
||||
<i class="fa fa-angle-left"></i>
|
||||
</a>
|
||||
|
||||
<a rel="next" href="../../protocol/notarization/encryption.html" class="mobile-nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
|
||||
<a rel="next" href="../../protocol/mpc-tls/encryption.html" class="mobile-nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
|
||||
<i class="fa fa-angle-right"></i>
|
||||
</a>
|
||||
|
||||
@@ -202,11 +202,11 @@
|
||||
</div>
|
||||
|
||||
<nav class="nav-wide-wrapper" aria-label="Page navigation">
|
||||
<a rel="prev" href="../../protocol/notarization/index.html" class="nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
|
||||
<a rel="prev" href="../../protocol/mpc-tls/index.html" class="nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
|
||||
<i class="fa fa-angle-left"></i>
|
||||
</a>
|
||||
|
||||
<a rel="next" href="../../protocol/notarization/encryption.html" class="nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
|
||||
<a rel="next" href="../../protocol/mpc-tls/encryption.html" class="nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
|
||||
<i class="fa fa-angle-right"></i>
|
||||
</a>
|
||||
</nav>
|
||||
@@ -85,7 +85,7 @@
|
||||
|
||||
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
|
||||
<div class="sidebar-scrollbox">
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="../../intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="../../motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="../../developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="../../protocol/notarization/index.html" class="active"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../../protocol/notarization/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="../../protocol/notarization/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="../../protocol/notarization/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="../../protocol/notarization/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="../../protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="../../mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="../../mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="../../mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="../../mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="../../mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="../../glossary.html">Glossary</a></li></ol>
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="../../intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="../../motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="../../developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="../../protocol/mpc-tls/index.html" class="active"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../../protocol/mpc-tls/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="../../protocol/mpc-tls/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="../../protocol/mpc-tls/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="../../protocol/mpc-tls/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="../../protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="../../mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="../../mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="../../mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="../../mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="../../mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="../../glossary.html">Glossary</a></li></ol>
|
||||
</div>
|
||||
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
|
||||
</nav>
|
||||
@@ -145,7 +145,7 @@
|
||||
<a href="https://github.com/tlsnotary/docs-mdbook" title="Git repository" aria-label="Git repository">
|
||||
<i id="git-repository-button" class="fa fa-github"></i>
|
||||
</a>
|
||||
<a href="https://github.com/tlsnotary/docs-mdbook/edit/main/src/protocol/notarization/README.md" title="Suggest an edit" aria-label="Suggest an edit">
|
||||
<a href="https://github.com/tlsnotary/docs-mdbook/edit/main/src/protocol/mpc-tls/README.md" title="Suggest an edit" aria-label="Suggest an edit">
|
||||
<i id="git-edit-button" class="fa fa-edit"></i>
|
||||
</a>
|
||||
|
||||
@@ -175,8 +175,8 @@
|
||||
<div id="content" class="content">
|
||||
<main>
|
||||
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.12.0/dist/katex.min.css" integrity="sha384-AfEj0r4/OFrOo5t7NnNe46zW/tFgW6x/bCJG8FqQCEo3+Aro6EYUG4+cU+KJWu/X" crossorigin="anonymous">
|
||||
<h1 id="notarization-phase"><a class="header" href="#notarization-phase">Notarization Phase</a></h1>
|
||||
<p>During the Notarization Phase the <code>Prover</code>, otherwise referred to as the <code>User</code>, and the <code>Notary</code> work together to generate an authenticated <code>Transcript</code> of a TLS session with a <code>Server</code>.</p>
|
||||
<h1 id="mpc-tls"><a class="header" href="#mpc-tls">MPC-TLS</a></h1>
|
||||
<p>During the MPC-TLS Phase the <code>Prover</code> and the <code>Notary</code> work together to generate an authenticated <code>Transcript</code> of a TLS session with a <code>Server</code>.</p>
|
||||
<p>Listed below are some key points regarding this process:</p>
|
||||
<ul>
|
||||
<li>The identity of the <code>Server</code> is not revealed to the <code>Notary</code>, but the <code>Prover</code> is capable of proving the <code>Server</code> identity to a <code>Verifier</code> later.</li>
|
||||
@@ -192,7 +192,7 @@
|
||||
<i class="fa fa-angle-left"></i>
|
||||
</a>
|
||||
|
||||
<a rel="next" href="../../protocol/notarization/handshake.html" class="mobile-nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
|
||||
<a rel="next" href="../../protocol/mpc-tls/handshake.html" class="mobile-nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
|
||||
<i class="fa fa-angle-right"></i>
|
||||
</a>
|
||||
|
||||
@@ -206,7 +206,7 @@
|
||||
<i class="fa fa-angle-left"></i>
|
||||
</a>
|
||||
|
||||
<a rel="next" href="../../protocol/notarization/handshake.html" class="nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
|
||||
<a rel="next" href="../../protocol/mpc-tls/handshake.html" class="nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
|
||||
<i class="fa fa-angle-right"></i>
|
||||
</a>
|
||||
</nav>
|
||||
@@ -85,7 +85,7 @@
|
||||
|
||||
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
|
||||
<div class="sidebar-scrollbox">
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="../../intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="../../motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="../../developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="../../protocol/notarization/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../../protocol/notarization/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="../../protocol/notarization/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="../../protocol/notarization/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="../../protocol/notarization/signing.html" class="active"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="../../protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="../../mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="../../mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="../../mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="../../mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="../../mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="../../glossary.html">Glossary</a></li></ol>
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="../../intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="../../motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="../../developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="../../protocol/mpc-tls/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../../protocol/mpc-tls/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="../../protocol/mpc-tls/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="../../protocol/mpc-tls/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="../../protocol/mpc-tls/signing.html" class="active"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="../../protocol/verification.html"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="../../mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="../../mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="../../mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="../../mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="../../mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="../../glossary.html">Glossary</a></li></ol>
|
||||
</div>
|
||||
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
|
||||
</nav>
|
||||
@@ -145,7 +145,7 @@
|
||||
<a href="https://github.com/tlsnotary/docs-mdbook" title="Git repository" aria-label="Git repository">
|
||||
<i id="git-repository-button" class="fa fa-github"></i>
|
||||
</a>
|
||||
<a href="https://github.com/tlsnotary/docs-mdbook/edit/main/src/protocol/notarization/signing.md" title="Suggest an edit" aria-label="Suggest an edit">
|
||||
<a href="https://github.com/tlsnotary/docs-mdbook/edit/main/src/protocol/mpc-tls/signing.md" title="Suggest an edit" aria-label="Suggest an edit">
|
||||
<i id="git-edit-button" class="fa fa-edit"></i>
|
||||
</a>
|
||||
|
||||
@@ -184,7 +184,7 @@
|
||||
|
||||
<nav class="nav-wrapper" aria-label="Page navigation">
|
||||
<!-- Mobile navigation buttons -->
|
||||
<a rel="prev" href="../../protocol/notarization/commitment.html" class="mobile-nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
|
||||
<a rel="prev" href="../../protocol/mpc-tls/commitment.html" class="mobile-nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
|
||||
<i class="fa fa-angle-left"></i>
|
||||
</a>
|
||||
|
||||
@@ -198,7 +198,7 @@
|
||||
</div>
|
||||
|
||||
<nav class="nav-wide-wrapper" aria-label="Page navigation">
|
||||
<a rel="prev" href="../../protocol/notarization/commitment.html" class="nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
|
||||
<a rel="prev" href="../../protocol/mpc-tls/commitment.html" class="nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
|
||||
<i class="fa fa-angle-left"></i>
|
||||
</a>
|
||||
|
||||
@@ -85,7 +85,7 @@
|
||||
|
||||
<nav id="sidebar" class="sidebar" aria-label="Table of contents">
|
||||
<div class="sidebar-scrollbox">
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="../intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="../motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="../developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="../protocol/notarization/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../protocol/notarization/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="../protocol/notarization/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="../protocol/notarization/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="../protocol/notarization/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="../protocol/verification.html" class="active"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="../mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="../mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="../mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="../mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="../mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="../glossary.html">Glossary</a></li></ol>
|
||||
<ol class="chapter"><li class="chapter-item expanded affix "><a href="../intro.html">Introduction</a></li><li class="chapter-item expanded affix "><a href="../motivation.html">Motivation</a></li><li class="chapter-item expanded affix "><a href="../developers/quick_start.html">Quick Start</a></li><li class="chapter-item expanded affix "><li class="part-title">Protocol</li><li class="chapter-item expanded "><a href="../protocol/mpc-tls/index.html"><strong aria-hidden="true">1.</strong> MPC-TLS</a></li><li><ol class="section"><li class="chapter-item expanded "><a href="../protocol/mpc-tls/handshake.html"><strong aria-hidden="true">1.1.</strong> TLS Handshake</a></li><li class="chapter-item expanded "><a href="../protocol/mpc-tls/encryption.html"><strong aria-hidden="true">1.2.</strong> Encryption and Decryption</a></li><li class="chapter-item expanded "><a href="../protocol/mpc-tls/commitment.html"><strong aria-hidden="true">1.3.</strong> Commitment</a></li><li class="chapter-item expanded "><a href="../protocol/mpc-tls/signing.html"><strong aria-hidden="true">1.4.</strong> Signing</a></li></ol></li><li class="chapter-item expanded "><a href="../protocol/verification.html" class="active"><strong aria-hidden="true">2.</strong> Verification</a></li><li class="chapter-item expanded "><div><strong aria-hidden="true">3.</strong> Selective Disclosure</div></li><li class="chapter-item expanded affix "><li class="part-title">MPC</li><li class="chapter-item expanded "><a href="../mpc/key_exchange.html"><strong aria-hidden="true">4.</strong> Key Exchange</a></li><li class="chapter-item expanded "><a href="../mpc/ff-arithmetic.html"><strong aria-hidden="true">5.</strong> Finite-Field Arithmetic</a></li><li class="chapter-item expanded "><a href="../mpc/deap.html"><strong aria-hidden="true">6.</strong> Dual Execution with Asymmetric Privacy</a></li><li class="chapter-item expanded "><a href="../mpc/encryption.html"><strong aria-hidden="true">7.</strong> Encryption</a></li><li class="chapter-item expanded "><a href="../mpc/mac.html"><strong aria-hidden="true">8.</strong> MAC</a></li><li class="chapter-item expanded affix "><a href="../glossary.html">Glossary</a></li></ol>
|
||||
</div>
|
||||
<div id="sidebar-resize-handle" class="sidebar-resize-handle"></div>
|
||||
</nav>
|
||||
@@ -216,7 +216,7 @@
|
||||
|
||||
<nav class="nav-wrapper" aria-label="Page navigation">
|
||||
<!-- Mobile navigation buttons -->
|
||||
<a rel="prev" href="../protocol/notarization/signing.html" class="mobile-nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
|
||||
<a rel="prev" href="../protocol/mpc-tls/signing.html" class="mobile-nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
|
||||
<i class="fa fa-angle-left"></i>
|
||||
</a>
|
||||
|
||||
@@ -230,7 +230,7 @@
|
||||
</div>
|
||||
|
||||
<nav class="nav-wide-wrapper" aria-label="Page navigation">
|
||||
<a rel="prev" href="../protocol/notarization/signing.html" class="nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
|
||||
<a rel="prev" href="../protocol/mpc-tls/signing.html" class="nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
|
||||
<i class="fa fa-angle-left"></i>
|
||||
</a>
|
||||
|
||||
|
||||
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
Reference in New Issue
Block a user