Hashrate escrow is safer than any unauditable impossible to formally prove code.