How does Paxos compare to the Bitcoin protocol? I've seen claims that Bitcoin is the first practical solution to the Byzantine Generals Problem (e.g. from Marc Andreessen recently), but it seems like Paxos is a better solution. (Handles network partition, avoids arbitrary rollback, finite time to reach consensus.)

Does anyone have a semi-rigorous explanation of what Bitcoin actually accomplishes with BGP?