公式定理
这里我们仅考虑素域 F p ( p > 3 ) F_p(p>3) Fp(p>3)上的椭圆曲线,因为素域 F p F_p Fp的特征不为2,3,所以素域 F p F_p Fp上的椭圆曲线E的 W e i e r s t r a s s Weierstrass Weierstrass方程可设为
E : y 2 = x 3 + a 4 x + a 6 E: y^2 = x^3 + a_4x + a_6 E:y2=x3+a4x+a6
其判别式 Δ = − 16 ( 4 a 4 3 + 27 a 6 2 ) ≠ 0 \Delta=-16(4a_4^3+27a_6^2)\neq0 Δ=−16(4a43+27a62)=0,其在 F p F_p Fp上的运算规则如下:
设 P 1 = ( x 1 , y 1 ) P_1 = (x_1, y_1) P1=(x1,y1), P 2 = ( x 2 , y 2 ) P_2 = (x_2, y_2) P2=(x2,y2),是曲线E上的两个点,O为无穷远点,则
-
O + P 1 = P 1 + O O+P_1 = P_1 + O O+P1=P