BitcoinOS Verifies First ZK Proof In Bitcoin History