It's a lot easier to produce properties like constant-time execution by construction than to have to shoehorn things into them after the fact. One project that

It's a lot easier to produce properties like constant-time execution by construction than to have to shoehorn things into them after the fact. One project that tries to do something like this is Nadeko: https://www.reddit.com/r/rust/comments/3696wt/checking_that_functions_are_constant_time_with/crbvmwa https://www.reddit.com/r/rust/comments/3696wt/checking_that_...