Signature

\begin{aligned}
R &= k G = (x_R, y_R) \quad &&\text{over } \mathbb{F}_p \\
r &= x_R \bmod n \\
s &= k^{-1}(z + r d) \bmod n
\end{aligned}

Verification

\begin{aligned}
w &= s^{-1} \bmod n \\
u_1 &= z \cdot w \bmod n \\
u_2 &= r \cdot w \bmod n \\
P &= u_1 \cdot G + u_2 \cdot Q = (x_P, y_P) \\
r' &= x_P \bmod n
\end{aligned}