Bringing Real-Time Price Data to Privacy-Preserving DeFi