How is verification done in PAIN?

[jivanph]

First, I would like to thank you so much for your contribution to the literature.

I wanted to ask how is token verification implemented in your code, since it remains unclear to me how verification of tokens is done in your proposed algorithm.

Thanks in advance.