Efficient Batched Oblivious PRF with Applications to Private Set Intersection | Synapse