该论文提出了一种新的代数建模方法，用于解决超奇异同源问题（Supersingular Isogeny Problem）。该问题在后量子密码学中至关重要，特别是对于基于同源的密码方案（如SIKE）的安全性基础。传统的代数建模通常使用模多项式，但计算成本较高。本文利用Renes公式，针对度数为2或3的幂的同源，将椭圆曲线表示为Montgomery形式（度数2）或三角形形式（度数3），从而构建了一个多元多项式方程组。作者证明了该方程组是零维的，即只有有限个解，并计算了其最高次部分的维数，同时指出这些系统不在通用坐标下（即具有特殊结构）。实验结果表明，通过Gröbner基方法求解这些方程组比使用模多项式的代数建模显著更快。这一工作为后量子密码分析提供了一种新的工具，可能有助于评估基于同源的密码方案的实际安全性。论文适合密码学研究人员、后量子密码安全评估者以及代数几何领域的研究者阅读。

该论文针对超椭圆曲线（genus-2）上经典的 Richelot (2,2)-同源步提出了一种完全无导数的重表述。传统的 Richelot 步骤通过曲线 f=uvw 的因式分解，利用 Wronskian 导数构造目标三元组 (U,V,W)。论文在素数域 F_p (p>2) 上，通过系数矩阵的 2×2 子式以及从第一子结式和线性合冲来恢复 Wronskian 输出，从而避免了求导运算。由此得到的 Remainder-Polynomial Route (RPR) 被证明在 F_p[x] 中产生与经典方法完全相同的多项式元组（不仅是相差单位，而是精确的多项式恒等）。在此基础上，作者进一步提出了 Guarded Subresultant Route (GSR)，一种确定性评估器：通过常数大小的代数守卫和轻量级后检查来认证可容许性，并且最多允许一次有界仿射重试。所有路径每步执行 O(1) 次域运算。在多个素数域上的原型实现中，对超过 10^6 次匹配试验，RPR 相对于经典 Wronskian 公式获得了约 4.75–6 倍的核加速；即使计入认证开销，完整的 GSR 流水线仍比 WRO 快 1.4–3 倍。正确性通过双 Richelot 对合测试在 5 个素数上的 2.5×10^5 个随机三元组上得到独立验证。该工作为后量子密码学中基于同源的密码体制（如 SIDH/SIKE 的推广）的高效实现提供了新途径。