3 ms·

> Building a "verifier" on top of Rust seems a bit excessive and unneeded. Well, Rust doesn't yet have taint checking or effects, so there's two things lacking

> Building a "verifier" on top of Rust seems a bit excessive and unneeded. Well, Rust doesn't yet have taint checking or effects, so there's two things lacking.