another interesting read is the wireguard paper (although not a RFC) https://www.wireguard.com/papers/wireguard.pdf it's not that long but describes the entire protocol, it's quite clever how they achieve security with such low overhead and coordination