text: Для проверки подлинности требуется проверить равенство e p ( σ , Q ) = e p ( ∑ 1 ≤ i ≤ D ( u i s i P i ) , Q ) = ∏ i e p ( u i s i P i , Q ) = ∏ i e p ( u i P i , s i Q ) {\displaystyle {\begin{aligned}e_{p}(\sigma ,Q)&=e_{p}\left(\sum _{1\leq i\leq D}(u_{i}s_{i}P_{i}),Q\right)\\&=\prod _{i}e_{p}(u_{i}s_{i}P_{i},Q)\\&=\prod _{i}e_{p}(u_{i}P_{i},s_{i}Q)\end{aligned}}} Верификация использует билинейность Вейль-спаривания.