Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
WelcomeShorty
on May 30, 2022
|
parent
|
context
|
favorite
| on:
Linux kernel RNG enhancements for 5.19
https://www.wireguard.com/formal-verification/
You are welcome.
midislack
on June 1, 2022
[2 more]
[flagged]
tptacek
on June 1, 2022
|
parent
[–]
It's one of the most carefully reviewed pieces of cryptographic software on the Internet. You could just use Google, or, if you like, Google Scholar, to verify that for yourself. Please don't write troll comments on HN.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
You are welcome.