Ok. This is seriously cool. I need to check this out. This is a port of WAMR (#WebAssembly runtime) to CHERI (Capability Enhance Risk Instruction) and some ARM prototype silicon which implements it.
Why is this cool. Because it is hardware enhanced memory bounds checking for Wasm. It means super fast implementations and non of the downsides of guard pages and non of the performance impacts of Wasm64...