No Forks Required: BitcoinOS Verifies First ZK Proof In Bitcoin History