FICHA · MANJARO

rosenpass

formally verified and post-quantum secure VPN over WireGuard

  • cli
  • CLI
  • NETWORK
  • Launchable
  • Runs in terminal
official+codex · reviewed · May 29, 2026 description in en

Description

Adds post-quantum key exchange around WireGuard-style VPN connections, with a formally verified design focus. It is useful for advanced administrators and security teams experimenting with stronger VPN handshake properties.

VPN configuration affects network trust boundaries and private traffic. Review keys, peers, firewall rules, routing, and upgrade compatibility before using it for real connectivity.

How to run

rosenpass

Commands: rosenpass

Permissions

Permissions not analysed for this source yet.