BitcoinOS has achieved a significant milestone by verifying a zero-knowledge proof (ZK-proof) on the Bitcoin mainnet for the first time