Released whitepaper for BitVM-2 introducing core improvements including decentralized sequencer commitment, universal operator abstraction, randomized multi-round challenge mechanism, efficient zkProofs via zkMIPS, and a coherent incentive and security model.