Implement Bitcoin smart contracts through BitVM without changing the mainnet consensus. $PROVE @BitlayerLabs #BitlayerLabs