Now Alice is going to send a message to Bob that will allow Bob to learn the wire label.
The way she's going to do that is actually quite simple,
she's just going to add these two keys to the wire labels.
She'll send these two values to Bob.
Another question is how does Bob compute W1, and we assume Bob's input value was 1.
We pick X1 here and follow the protocol as specified.
Does Bob now have enough information to figure out W1? These are the choices.
Is it possible for Bob to now learn the value corresponding to Bob's input wire?
