[Libre-soc-dev] microwatt grows up LCA2021

[Luke Kenneth Casson Leighton]

(context of link: analysis process for testing RNGs)
https://github.com/betrusted-io/betrusted-soc/issues/13

paul the last question asked, about the RNG, slapped wrist for saying it
can be trusted to be secure! :)

mathematically, nobody can give guarantees (ever), in a nutshell the only
thing you can say 100% is, "no nightmare scenario has occurred... so far".

there are "degrees of catastrophic breakage" that can be demonstrated
quicker with less resources, these eliminate the worst algorithms quickly.
 over time you have to spend progressively more resources to find the ways
in which to find broken-ness, and the really good algorithms survive that
process far longer...

... but nobody, not ever, can make a categorical statement, "this
cryptographic algorithm is secure".

ultimately there is no 100% categorical test which proves security.  the
best that can be done is a process which cautiously declares, "it ain't
broke... so far"

sorry for picking up on that and nit-picking :)

l.


-- 
---
crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68