BitcoinOS says ZK proofs now enable permissionless upgrades on Bitcoin, removing the need to enhance the chain via soft forks.