Comment by 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.