BitcoinOS Achieves Breakthrough with ZKP on Bitcoin: $250 Million Liquidated