News for hackers. Stuff that matters.

A comment on Fixing Getrandom(). Parent comment

Re:Fixing Getrandom() by cryptonector on Tuesday October 01, 2019 @05:58PM (#21131180)
I don't understand why you got downvoted. Even if GP meant that a CPU that is advertised as formally verified must be deterministic... the devil is in the details, and any number of bugs and undocumented features, including vulnerabilities and backdoors, can hide in a formally verified CPU that has billions of transistors.
[ Parent | on HN ]
Re:Fixing Getrandom() by tedunangst on Tuesday October 01, 2019 @07:23PM (#21131976)
Even if it seems deterministic now, there's no guarantee it won't become non deterministic in the future. https://ieeexplore.ieee.org/document/7546493
[ Parent | on HN ]