Session Types

Implementation of "Session Types for Rust" - (Munksgaard, et. all)

Oblivious Transfer (OT) Example

http://kaaik.local/the_tent/papers/2015-the-simplest-protocol-for-oblivious-transfer.pdf

In this example, the sender has two values in it's memory and the receiver can pick either the first or second value by index. The receiver only learns the value it chose and the sender doesn't know which value it revieled.

# Start the receiving client first, this will bind to the socket.
cargo run -p ot -- --receiver
# Then start the sending client, which will connect to the receiver.
cargo run -p ot -- --sender

To see a trace of the program execution, run the examples with RUST_LOG=debug.

Testing

cargo test --all -- --test-threads=1