rosenpass
pq-wireguard
rosenpass | pq-wireguard | |
---|---|---|
5 | 2 | |
992 | 26 | |
1.0% | - | |
9.4 | 10.0 | |
3 days ago | almost 3 years ago | |
Rust | Go | |
Apache License 2.0 | 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.
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.
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.
What are some alternatives?
desktop-app - TunnlTo is a Windows WireGuard VPN client built for split tunnelling.
CompCert - The CompCert formally-verified C compiler
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
noise - Go implementation of the Noise Protocol Framework
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.