BitcoinOS Unlocks New Scalability with First Zero-Knowledge Proof on Bitcoin Mainnet