Earlier quoted context omitted.
It doesn't make any difference which language you use; the security promises are coming from the verifier, which is analyzing the CFG of the compiled program. C is what most people use, since the underlying APIs are in C, and since the verifier is so limiting that most high-level constructions are off the table.
Sure, I was not implying that Rust would have any security benefits fir eBPF. Just that you can even write eBPF code in more convenient languages.
I'm also biased because I love writing C code (I know, both viscerally and intellectually, that I should virtually never do so; eBPF is the one sane exception!)