“A formal proof published by Tim Ruffing confirms that the fallback mechanism in Bitcoin's Taproot upgrade, designed for secondary public key commitments, is quantum-secure.”