Algorithm 3: The process of EdDSA verification between role A and role B.

$\begin{array}{l}\mathrm{fuction} \mathrm{Verify}(\mathrm{String} R,\mathrm{String} S,\mathrm{String} M,\mathrm{String} Q\left)\right\{\\ k=H(R,M,Q);\\ V{}_1=S\times G;\\ V{}_2=R+k\times Q{}_A;\\ \mathrm{if} V{}_1==V{}_2\{\\ \mathrm{return} "\mathrm{valid}" ;\\ \left\}\mathrm{else}\right\{ \\ \mathrm{return}"\mathrm{invalid}";\\ \}\end{array}$