Bitcoin script optimization makes mainnet lightweight for verifying Layer 2 transactions. $PROVE @BitlayerLabs #BitlayerLabs