one of the stackoverflow comments links to https://gwern.net/self-decrypting
i think the idea is to write homomorphically encrypted code that verifies the bitcoin blockchain has accumulated sufficient difficulty, not certain; this navigates the concern around attracting miners to disparate chains
