Bitcoin Rollup Protocol BOS Verifies Zero-Knowledge Proof on Mainnet