Việc xác minh Ed25519 có nên nhân lên với người đồng sáng lập không?

Tài liệu tiêu chuẩn hóa cho Ed25519, RFC 8032, cho biết nên sử dụng phương pháp sau để xác minh chữ ký Ed25519:

3. Kiểm tra phương trình nhóm $[8][S]B = [8]R + [8][k]A'$. Thay vào đó, chỉ cần kiểm tra là đủ, nhưng không bắt buộc $[S]B = R + [k]A'$.

Điều đó có nghĩa là mã đang thực hiện xác minh phải nhân điểm cả hai bên với $8 = 2^c$ cho đồng sáng lập $c$ hay họ nên không? Tài liệu và nhiều câu hỏi ở đây trên CryptoExchange không thực sự trả lời liệu tôi với tư cách là người triển khai có nên nhân cả hai bên với nhau hay không $8$ khi thực hiện tiêu chuẩn.

Tôi hiểu con số là gì $8$ Là; thứ tự của nhóm tuần hoàn Ed25519 là $8\ell$ cho số nguyên tố 253 bit $\ell$, và $|B| = \ell$. Cho nên $B$ được nhân trước bởi $8$ biến nó thành một phần của $\ell$-đặt hàng nhóm con.