Module oblivious_transfer 

Oblivious Transfer (OT).

1-out-of-2 OT: the sender has two messages (m0, m1), the receiver gets exactly one (m_b) without the sender learning which, and the receiver doesn’t learn the other message.

Based on the Bellare-Micali protocol using P-256.

Structs

OtChoice

Receiver’s choice message.

OtEncrypted

Sender’s encrypted messages.

OtReceiver

Receiver’s output for choice bit b.

OtSetup

Sender’s setup message.

Functions

receiver_choose

Phase 2: Receiver chooses bit b and generates choice message.

receiver_decrypt

Phase 4: Receiver decrypts the chosen message.

sender_encrypt

Phase 3: Sender encrypts both messages.

sender_setup

Phase 1: Sender initiates with a random point.