Linked Presentation: PerfOMR: Oblivious Message Retrieval with Reduced Communication and ComputationZKSMT: A VM for Proving SMT Theorems in Zero Knowledge
