BitcoinOS successfully verifies the first ZK proof on the Bitcoin mainnet

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.