Merkle Commitments for Scalable ZK-Proof Verification on Bitcoin - Rollup News