5 ms·
> Today's most advanced projects are able to compile pretty much arbitrary rust code into provable RISC-V programs Provable does not imply secure.
by sabas123 2y ago
> 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 2y agoCare to expand? Happy to answer your point which is interesting but I'm unsure of the dimension you are thinking of.