From 934c9e1b31cf635540a26a0de32240e49800b80e Mon Sep 17 00:00:00 2001 From: sinui0 Date: Fri, 20 Jan 2023 19:49:19 +0000 Subject: [PATCH] deploy: 47255f91ef31acc72313ac69b9dd8cc3d302e26d --- CNAME | 2 +- print.html | 2 +- protocol/2pc/deap.html | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/CNAME b/CNAME index d0485f0..20f7e7d 100644 --- a/CNAME +++ b/CNAME @@ -1 +1 @@ -docs.tlsnotary.org \ No newline at end of file +docs.tlsnotary.org diff --git a/print.html b/print.html index 7bf8f02..53b80e6 100644 --- a/print.html +++ b/print.html @@ -538,7 +538,7 @@ Later, U can reveal only those Merkle leaves which she wants to mak

This is a significant deviation from standard DualEx protocols such as [HKE12]. Typically the output labels are not returned to the Generator, instead, output authenticity is established during a secure equality check at the end. See the section below for more detail.

Equality Check

-
    +
    1. Bob opens his garbled circuit and OT by sending , and to Alice.
    2. Alice, can now derive the purported input labels to Bob's garbled circuit .
    3. Alice uses to open all of Bob's OTs for and verifies that they were performed honestly. Otherwise she aborts.
      4. diff --git a/protocol/2pc/deap.html b/protocol/2pc/deap.html index 82f7b6c..371350a 100644 --- a/protocol/2pc/deap.html +++ b/protocol/2pc/deap.html @@ -204,7 +204,7 @@

      This is a significant deviation from standard DualEx protocols such as [HKE12]. Typically the output labels are not returned to the Generator, instead, output authenticity is established during a secure equality check at the end. See the section below for more detail.

      Equality Check

      -
        +
        1. Bob opens his garbled circuit and OT by sending , and to Alice.
        2. Alice, can now derive the purported input labels to Bob's garbled circuit .
        3. Alice uses to open all of Bob's OTs for and verifies that they were performed honestly. Otherwise she aborts.