@privateger @Moon nock and hoon were supposed to be about having some really easily verified CPU and an assembly language for that CPU. It's arguably the good part of Urbit because it's the only part that wasn't weird crypto shit from the get go.

Others have tried the same research using web assembly but those never got the funding Urbit did and went off to other projects after proving the concepts. Like one open source research thing was using WASM to prove smart contracts were executed correctly.