pq-wireguard
rosenpass
pq-wireguard | rosenpass | |
---|---|---|
2 | 5 | |
26 | 1,005 | |
- | 2.3% | |
10.0 | 9.4 | |
almost 3 years ago | 5 days ago | |
Go | Rust | |
MIT License | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
pq-wireguard
- Rosenpass – formally verified post-quantum WireGuard
-
Windows 10 Wireguard clients management from Linux
I like Wireguard, because less things can go wrong with it compared to OpenVPN. I guess the only thing I would want is something like https://github.com/kudelskisecurity/pq-wireguard in production, but then again I am not a nation state.
rosenpass
-
Rosenpass – formally verified post-quantum WireGuard
They verified the protocol, not the actual implementation: https://github.com/rosenpass/rosenpass#security-analysis
This is still a pretty neat result! End-to-end proofs from high level protocol to low level implementation are mostly still a research topic.
What are some alternatives?
CompCert - The CompCert formally-verified C compiler
desktop-app - TunnlTo is a Windows WireGuard VPN client built for split tunnelling.
noise - Go implementation of the Noise Protocol Framework
mullvadvpn-app - The Mullvad VPN client app for desktop and mobile
pq-adapter-mullvad - Go utility for upgrading pre-quantum Mullvad peers to their post-quantum counterparts
coq - Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
cargo-geiger - Detects usage of unsafe Rust in a Rust crate and its dependencies.