Round-Optimal Verifiable Oblivious Pseudorandom Functions from Ideal Lattices | Litlas