rosenpass/rosenpass
View on GitHub ↗ ★ 1,443 Rust
Rosenpass is a post-quantum-secure VPN that uses WireGuard to transport the actual data.
3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2023-02-28 · latest 2024-11-20
20082026
-
…are generally viewed as better modern alternatives to AES, so postquantum system like rosenpass https://github.com/rosenpass/rosenpass are more preferable). However, I think there is no reason at all that a system that is decentralized is…
comment by chaxor · 2024-11-20 · in Let's Encrypt is 10 years old now -
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…
comment by ekiwi · 2023-02-28 · in Rosenpass – formally verified post-quantum WireGuard -
▲ 285
Rosenpass – formally verified post-quantum WireGuardstory by lima · 2023-02-28 · 80 comments