BitcoinOS Claims First Zero-Knowledge Proof Verified on Bitcoin Mainnet