Oblivious transfer and polynomial evaluation | Synapse