论文部分内容阅读
定义于有限域上的超椭圆曲线的Jacobian簇可应用于离散对数加密协议。为寻求安全的曲线，需要有效的数点算法。Kedlaya提出了一个算法，用于计算奇特征有限域上超椭圆曲线的Zeta函数。Kedlaya的方法使用了Monsky-Washnitzer上同调以及Lefschetz不动点公式。本文详细介绍了Kedlaya的算法，并用数学软件Magma给出该算法的一个实现。