Должна ли проверка Ed25519 умножаться на кофактор?

Документ стандартизации для Ed25519, RFC 8032, говорит, что для проверки подписей Ed25519 следует использовать следующий метод:

3. Проверьте групповое уравнение $[8][S]B = [8]R + [8][k]A'$. Достаточно, но не обязательно вместо проверки $[S]B = R + [k]A'$.

Означает ли это, что код, выполняющий проверку, должен умножать обе стороны на $8 = 2^с$ для кофактора $с$ или не должны? Документ и разные вопросы здесь, на CryptoExchange, на самом деле не отвечаю, должен ли я как разработчик умножать обе стороны на $8$ при внедрении стандарта.

Я понимаю, что это за число $8$ является; порядок циклической группы Ed25519 равен $8\элл$ для 253-битного простого числа $\ell$, и $|В| = \ell$. Так $В$ предварительно умножается на $8$ сделать его частью $\ell$- подгруппа порядка.