代数曲線暗号やるなら有限体上の議論に親しむほうがいい。
Moreno, Algebraic Curves over Finite Fieldsのほうが適切では?