BitcoinOS launches BitSNARK ZK verification for enhanced privacy on Bitcoin