[sabas123]

> Today's most advanced projects are able to compile pretty much arbitrary rust code into provable RISC-V programs

Provable does not imply secure.

[missing-acumen]

Care to expand? Happy to answer your point which is interesting but I'm unsure of the dimension you are thinking of.