High-dimensional GHZ-based multi-party quantum key agreement: rigorous security, fairness, and loss tolerance | Synapse