比承諾更強大：證明 Oblivious HTTP 的隱私屬性