7 ms·
While WireGuard makes every sense for an FPGA due to its minimal design, I wonder why there isn't much interest in using QUIC as a modern tunneling protocol, es
by geoctl 11mo ago
While WireGuard makes every sense for an FPGA due to its minimal design, I wonder why there isn't much interest in using QUIC as a modern tunneling protocol, especially for corporate use cases. QUIC already provides an almost complete WireGuard-alternative via its datagrams that can be easily combined with TUN devices and custom authentication schemes (e.g. mTLS, bearer tokens obtained via OAuth2 and OIDC authentication, etc...) to build your own VPN. While I am not sure about performance, at least when compared to kernel-mode WireGuard, since QUIC is obviously a more complex state machine that's running in userspace and it depends on the implementation and optimizations offered by the OS (e.g. GRO/GSO), QUIC isn't just a yet another tunneling protocol, it actually offers lots of benefits such as working well with dynamic endpoints with DNS instead of just using static IP addrs, it uses modern TLSv1.3 and therefore it's compliant with FIPS for example, it uses AES which can be accelerated by the underlying hardware (e.g. AES-NI), it currently has implementations in almost every major programming language, it can work well in the future with proxies and load balancers, you can bring your own custom, more fine-grained authentication scheme (e.g. bearer tokens, mTLS, etc...), it masquerades as just another QUIC/HTTP3 traffic that's used by almost all major websites now and therefore less susceptible to dropping by any nodes in between, and other less obvious benefits such as congestion control and PMTUD.
- wmf 11mo agoI think standards operate according to punctuated equilibrium so the market will only accept one new standard every ten years or so. I could imagine something like PQC causing a shift to QUIC in the future.
- azalemeth 11mo agoMullvad offers exactly the combination of wireguard in QUIC for obsfucation and to make traffic look like Https -- https://mullvad.net/en/blog/introducing-quic-obfuscation-for-wireguard https://mullvad.net/en/blog/introducing-quic-obfuscation-for...
- geoctl 11mo agoWireGuard-over-QUIC does not make any sense to me, this lowers performance and possibly the inner WireGuard MTUs. You can just replace WireGuard with QUIC altogether if you just want obfuscation.
- nine_k 11mo agoIt's not about performance, of course. It's about looking like HTTPS, being impenetrable, separating the ad-hoc transport encryption and the Wireguard encryption which also works as authentication between endpoints, and also not being not TCP inside TCP.
- geoctl 11mo agoYou can just do that by using QUIC-based tunneling directly instead of using WireGuard-over-QUIC and basically stacking 2 state machines on top of one another.
- bb88 11mo agoTCP over Wireguard is two state machines stacked on each other. QUIC over Wireguard is the same thing. Yet, both seems to work pretty well. I think I see your argument, in that it's similar to what sshuttle does to eliminate TCP over TCP through ssh. sshuttle doesn't prevent HOL blocking though.
- geoctl 11mo agoTCP over WireGuard is unavoidable because that's the whole point of tunneling. But TCP over WireGuard over QUIC just doesn't make any sense, neither from performance nor from security perspective. Not to mention that with every additional tunneling layer you need to reduce the MTU (which is already a very restricted sub-1500 value without tunneling) of all inner tunnels.
- bb88 11mo ago> But TCP over WireGuard over QUIC just doesn't make any sense Agreed, but that wasn't what I was saying. Read it carefully next time before downvoting. If the argument is if wireguard is a state machine, well, TCP over wireguard is just fine. And that's exactly what I said.
- buildbuildbuild 11mo agoSee also Obscura's approach of QUIC bridges to Mullvad as a privacy layer: https://obscura.net/blog/bootstrapping-trust/ https://obscura.net/blog/bootstrapping-trust/
- AnthonyMouse 11mo agoThe purpose of Wireguard is to be simple. The purpose of QUIC is to be compatible with legacy web junk. You don't use the second one unless you need the second one.
- geoctl 11mo agoQUIC isn't really about the web, it's more of a TCP+TLS replacement on top of UDP. You can build your own custom L7 on top of QUIC.
- bb88 11mo agoYou can build a custom L7 on top of anything, really. I think my favorite was tcp/ip over printers and webcams. The question is what does QUIC get you that UDP alone does not? I don't know the answer to that. Is it because firewalls understand it better than native wireguard over UDP packets?
- remexre 11mo agoEncryption and reliable transport.
- bb88 11mo agoI probably should have clarified that question. What does QUIC get you that TCP over Wireguard over UDP does not?
- zamadatix 11mo agoYou really don't want reliable transport as a feature of the tunnel unless you are _intimately_ familiar with what all of the tunneled traffic is already doing for reliable transport. The net result of two reliable transports which are unaware of each other is awful.
- zamadatix 11mo agoMostly because WireGuard (intentionally) didn't bother with obfuscation https://www.wireguard.com/known-limitations/ https://www.wireguard.com/known-limitations/ > WireGuard does not focus on obfuscation. Obfuscation, rather, should happen at a layer above WireGuard, with WireGuard focused on providing solid crypto with a simple implementation. It is quite possible to plug in various forms of obfuscation, however. This comment https://news.ycombinator.com/item?id=45562302 https://news.ycombinator.com/item?id=45562302 goes into a practical example of QUIC being that "layer above WireGuard" which gets plugged in. Once you have that, one may naturally wonder "why not also have an alternative tunnelling protocol with <the additional things built into QUIC originally listed> without the need to also layer Wireguard under it?". Many design decisions are in direct opposition to Wireguard's design. E.g. Wireguard (intentionally) has no AES and no user selectable ciphers (both intentionally), QUIC does. Wireguard has no obfuscation built in, QUIC does (+ the happy fact when you obfuscate traffic by using it then it looks like standard web traffic). Wireguard doesn't support custom authentication schemes, QUIC does. Both are a reasonable tunneling protocol design, just with different goals.
- contact9879 11mo agoMASQUE[0] is the protocol for this. Cloudflare already uses masque instead of wireguard in their warp vpn. [0]https://datatracker.ietf.org/wg/masque/about/ https://datatracker.ietf.org/wg/masque/about/
- khimaros 11mo agoi was curious about this and did some digging around for an open source implementation. this is what i found: https://github.com/iselt/masque-vpn https://github.com/iselt/masque-vpn
- sugarpimpdorsey 11mo agoWhy would anyone want to use a complex kludge like QUIC and be at the mercy of broken TLS libraries, when Wireguard implementations are ~ 5k LOC and easily auditable? Have all the bugs in OpenSSL over the years taught us nothing?
- dpeckett 11mo agoFWIW QUIC enforces TLS 1.3 and modern crypto. A lot smaller surface area and far fewer foot-guns. Combined with memory safe TLS implementations in Go and Rust I think it's fair to say things have changed since the heartbleed days.
- szundi 11mo ago[dead]
- timschmidt 11mo ago> I think it's fair to say things have changed since the heartbleed days. The Linux Foundation is still funding OpenSSL development after scathing review of the codebase[1], so I think it's fair to say things haven't changed a bit. 1: https://www.openbsd.org/papers/bsdcan14-libressl/ https://www.openbsd.org/papers/bsdcan14-libressl/
- nly 11mo agoWireguard uses "modern crypto"
- zoobab 11mo ago"Have all the bugs in OpenSSL over the years taught us nothing?" TweetNaCL to the rescue.
- alphazard 11mo agoQUIC allows identities to be signing keys, which are used to build public key infrastructure. You need to be able to sign things to do web-of-trust, or make arbitrary attestations. Wireguard has a concept of identity as long term key pairs, but since the algorithm is based on Diffie-Hellman, and arriving at a shared secret ephemeral key, it's only useful for establishing active connections. The post-quantum version of Wireguard would use KEMs, which also don't work for general purpose PKI. What we really need is a signature based handshake and simple VPN solution (like what Wireguard does for the Noise Protocol Framework), that a stream multiplexing protocol can be layered on top of. QUIC gets the layers right, in the right order (first encrypt, then deal with transport features), but annoyingly none of the QUIC implementations make it easy to take one layer without the other.
- smolder 11mo agoQuic is a corporate supported black hole. Corporations are anti-human. Its a wonder that there is still some freedom to make useful protocols on the internet and that people are nice enough to do that
- dpeckett 11mo agoI've recently spent a bunch of time working on a mesh networking project that employs CONNECT-IP over QUIC [1]. There's a lot of benefits for sure, mTLS being a huge one (particularly when combined with ACME). For general purpose, spoke and hub VPN's tunneling over QUIC is a no-brainer. Trivial to combine with JWT bearer tokens etc. It's a neat solution that should be used more widely. However there are downsides, and those downsides are primarily performance related. For a bunch of reasons, some just including poorly optimized library code, others involving relatively high message parsing/framing/coalescing/fragmenting costs, and userspace UDP overheads. On fat pipes today you'll struggle to get more than a few gbits of throughput @ 1500 MTU (which is plenty for internet browsing for sure). For fat pipes and hardware/FPGA acceleration use cases, google probably has the most mature approach here with their datacenter transport PSP [2]. Basically a stripped down per flow IPsec. In-kernel IPsec has gotten a lot faster and more scalable in recent years with multicore/multiqueue support [3]. Internal benchmarking still shows IPsec on linux absolutely dominating performance benchmarks (throughput and latency). For the mesh project we ended up pivoting to a custom offload friendly, kernel bypass (AF_XDP) dataplane inspired by IPsec/PSP/Geneve. I'm available for hire btw, if you've got an interesting networking project and need a remote Go/Rust developer (contract/freelance) feel free to reach out! 1. https://www.rfc-editor.org/rfc/rfc9484.html https://www.rfc-editor.org/rfc/rfc9484.html 2. https://cloud.google.com/blog/products/identity-security/announcing-psp-security-protocol-is-now-open-source https://cloud.google.com/blog/products/identity-security/ann... 3. https://netdevconf.info/0x17/docs/netdev-0x17-paper54-talk-slides/sec_ws_slides.pdf https://netdevconf.info/0x17/docs/netdev-0x17-paper54-talk-s...
- keepamovin 11mo agoIs quic related to the Chrome implemented WebTransport? Seems pretty cool to have that in browser API.
- dpeckett 11mo agoNow that's an interesting, and wild, idea. I don't believe you could implement RFC 9484 directly in the browser (missing capsule apis would make upgrading the connection not possible). Though WebTransport does support datagrams so you could very well implement something custom.
- ohdeardear 11mo ago[flagged]
- philipallstar 11mo ago> When was the last time that the author of "grep" was recognized as a great programmer? Never. Ken Thompson wrote grep, and he is definitely recognised as such.
- ohdeardear 11mo agoman -T grep | grep 'Free Soft\|Thom' (Cop)108 348 Q(yright 1998-2000, 2002, 2005-2023 Free Softw)-.1 E(are F) Sure, he wrote _a_ version of grep, and probably the first, but who cares? "The" (sure, you might run some bsd grep) current version of grep certainly doesn't.
- jacquesm 11mo agoNo, he wrote grep. Before he wrote it there was no grep. And yes, he's recognized as a great programmer. With Multics, Unix, B, C, UTF-8 Plan9, Inferno and grep to his name (and probably others that I forgot) he has more than deserved that. Future grep versions, including the FSF one, were all re-implementations. Your statement in the GP is nonsensical.
- ohdeardear 11mo agoI do not agree he was a great programmer. All of his programs are trivial from a computer science perspective. In fact, you can quite easily check this by trying to let an LLM generate a program like grep. It can do that. Now, there also exist programs for which LLMs can't generate code, because it's too complex.
- jacquesm 11mo agoYou have absolutely no idea what you are talking about. And that's fine but it is kind of adding a lot of noise and zero signal.
- HackerThemAll 11mo agoWhy are you taking from people their will to experiment and design new stuff? Are they using your money or time? Is this just out of grumpiness, envy, condescension or what?
- riobard 11mo agoThe assumed mentality of “being flexible” is the very reason WireGuard was created to fight against in the first place, otherwise why bother? IPSec is already standardized and with wide-spread hardware implementation (both FPGA and ASIC) and flexible.