The task of running WebAssembly in Nock presents two challenges. First, the function that runs in place of a Nock formula invocation via the jet system needs to return output equivalent to its definition in Nock on all inputs. Second, Wasm VM is a state machine, which complicates the interactions with it in a purely functional environment, requiring, for example, marshalling from the Wasm state in the internal jet representation to the formal representation in Nock nouns. This talk will present a solution that attempts to solve both problems, bringing the world of conventional software to Urbit.

‍