There are definitely cases where there is little hope of proving “100% intended performance”. For example, RSA only works as intended if factoring is hard. Most computer scientists strongly believe this is true, but this is not likely to be proven any time soon.
There are definitely cases where there is little hope of proving “100% intended performance”. For example, RSA only works as intended if factoring is hard. Most computer scientists strongly believe this is true, but this is not likely to be proven any time soon.