QUIC是怎么实现的，为什么可以让UDP可靠

这个实现是在UDP上实现还是在应用层实现？