Ok let’s start a step earlier then:

How does the peg out work? Nobody on BTC main chain can verify that the transaction submitted to peg out is actually valid ownership, because all that activity happens off chain. So what “keys” are required to write a peg out, and what stops a miner from writing one that has nothing to do with the sidechain?