Схема построения протокола Диффи — Хеллмана для некоммутативного случая

Два некоммутативных медиальных моноида $(K,\circ)$ и $(K,\ast)$, удовлетворяющих обобщённому тождеству медиальности, позволяют построить обобщение стандартного протокола Диффи — Хеллмана для случая, когда каждая из сторон использует операцию возведения в степень относительно своей бинарной операции. При этом выбор скобочного выражения, определяющего порядок вычисления степени, может быть произвольным.