pq-wireguard
pq-adapter-mullvad
pq-wireguard | pq-adapter-mullvad | |
---|---|---|
2 | 1 | |
26 | 0 | |
- | - | |
10.0 | 10.0 | |
almost 3 years ago | about 1 year ago | |
Go | Go | |
MIT License | MIT License |
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.
pq-adapter-mullvad
-
Rosenpass – formally verified post-quantum WireGuard
They maintain separate peers for Pre-quantum and Post-quantum so that connectivity isn't interrupted. Each Pre-quantum peer is implicitly paired with a corresponding Post-quantum peer. Negotiating the PSK happens over a grpc api they expose at `10.64.0.1:1337`. The spec is public, if you're curious: https://github.com/mullvad/mullvadvpn-app/blob/main/talpid-t...
If you're a fuddy-dud like me who uses the Vanilla WireGuard config files, I wrote a tool to upgrade your pre-quantum peer to a post-quantum one. https://github.com/d-z-m/pq-adapter-mullvad
What are some alternatives?
rosenpass - Rosenpass is a post-quantum-secure VPN that uses WireGuard to transport the actual data.
CompCert - The CompCert formally-verified C compiler
mullvadvpn-app - The Mullvad VPN client app for desktop and mobile
noise - Go implementation of the Noise Protocol Framework
cargo-geiger - Detects usage of unsafe Rust in a Rust crate and its dependencies.
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.