According to BlockBeats, on July 25, the Bitcoin Rollup protocol BitcoinOS (BOS) successfully verified the first ZK proof on the Bitcoin mainnet, and the final verification was confirmed in block 853626.

This will help Bitcoin achieve the potential for unlimited scalability and functionality without the need for a soft fork.