Ok, thanks for explaining. I got excited for a moment and thought that the compilation was being used instead of hashing as a proof of work. That would require

Ok, thanks for explaining. I got excited for a moment and thought that the compilation was being used instead of hashing as a proof of work. That would require compilation to be trivially verifiable though, so sadly it is not the case.