Linked Presentation: ObliCheck: Efficient Verification of Oblivious Algorithms with Unobservable State