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