High Assurance Rust with Tiemoko Ballo
Rustacean Station
The High Assurance of the Compiler, Right?
Some of these terms kind of bleeding to each other, right? Like with parasne, it's all about how can i prove that the code i write couldn't generate the right gess you'd call it machine code. To the best of my knowledge, the l v m back end used is not one that is verified. There's one school of thought that actually says we're going to completely remove the compiler from the chain of trust and just test the binaries themselves. The cpu fetchs and decodes and executes instructions fo directly. That something thas enabled.
00:00
Transcript
Play full episode
Remember Everything You Learn from Podcasts
Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
