Hacker News Reader

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

Provable does not imply secure.

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