3 ms·Misses the main point: There is no proof that BitCoin or its implementations are correct.by tybris 15y agoMisses the main point: There is no proof that BitCoin or its implementations are correct.