Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Key exchange update #35

Open
wants to merge 10 commits into
base: main
Choose a base branch
from
Open

Key exchange update #35

wants to merge 10 commits into from

Conversation

sinui0
Copy link
Member

@sinui0 sinui0 commented Sep 6, 2023

This PR updates our key exchange section

Copy link
Member

@heeckhau heeckhau left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Better, but needs some some more work to be entirely clear.

src/mpc/key_exchange.md Show resolved Hide resolved

Below is the 3-party ECDH protocol between $S$, $P$ and $V$, enabling $P$ and $V$ to arrive at shares of $\mathbb{pms}$.
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
Below is the 3-party ECDH protocol between $S$, $P$ and $V$, enabling $P$ and $V$ to arrive at shares of $\mathbb{pms}$.
$S$, $P$ and $V$ perform the 3-party ECDH protocol together. The result is that both $P$ and $V$, each have a share of the $\mathbb{pms}$. The 3-party ECDH protocol consists of following steps:

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I feel like we should avoid 3-party here. I'd say the server plays its normal role. The TLS-client is a 2PC between the Prover and the Verifier.
Note that the diagram also uses 2PC

src/mpc/key_exchange.md Show resolved Hide resolved
src/mpc/key_exchange.md Show resolved Hide resolved

Below is the 3-party ECDH protocol between $S$, $P$ and $V$, enabling $P$ and $V$ to arrive at shares of $\mathbb{pms}$.
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Can we mention that the notation is from Wikipedia, so ppl could have wikipedia open and easier follow the explanation.



1. $S$ sends its public key $Q_b$ to $P$, and $P$ forwards it to $V$
2. $P$ picks a random private key share $d_c$ and computes a public key share $Q_c = d_c * G$
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Can we change the diagram to also have the word "share" there?

Base automatically changed from protocol-rewrite to main September 14, 2023 15:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants