Re: [ANNOUNCE] Electrum - a new thin client

But as long as there is no mathematical proof that such attack is impossible, I do not feel entirely comfortable with deterministic keys

You might have bigger problems then since ecdsa is also only assumed to be secure.