Уверен, что видел что-то про zero-knowledge в части именно выполнения (сертифицированного) кода, когда воркер не знает что он там выполнил, но генерирует доказательство, что это то, что требовалось. Но найти уже не могу.
@MaxAtNear по описанию звучит как-будто основные задачи — коммитить в васмер и васмтайм
Основная кроткосрочная задача допиливать и фиксить Wasmer или Wasmtime, что займет 3-6 месяцев. Основная долгосрочная задача это performance improvement, determinism imporvements, static&dynamic check tools (e.g. gas metering) для singlepass compiler или lightbeam. Так же есть шанс того что прийдется работать над Wasm interpreter и другими VM для blockchain, e.g. EVM.