content: refine math text/notes; fix \pmod formatting; minor text edits

Author: n-WN

content/blog/idek2025_writeup.md

@@ -1091,11 +1091,11 @@ $$
 \boxed{\,x^{2} \equiv (y-1337)^{3}\pmod n\,}
 $$
 
-即
+<!-- 即
 
 $$
 x^{2} \equiv (y-1337)^{3}\pmod n,
-$$
+$$ -->
 
 它是一条 **奇异曲线**（在点 $(0,1337)$ 处有尖点），虽然不是正规椭圆曲线，但在其非奇异点仍可定义加法群。 
 
@@ -1225,7 +1225,7 @@ $$
 于是可直接读取
 
 $$
-x_{2,\text{sol}} = \text{根}(g) .
+x_{2,\text{sol}} = \text{root}(g) .
 $$
 
 ### 4. 回代求解
@@ -1260,10 +1260,10 @@ Exploit 如下题，直接看 `Sadness ECC - Revenge`
 
 ## Happy ECC
 
-### 题目一：Happy ECC - Revenge
-
 这道题是一个基于超椭圆曲线密码学的挑战。我们需要在一个未知的二亏格（genus 2）超椭圆曲线上，计算一个给定点的阶。
 
+> 赛后知道一部分是[论文](https://inria.hal.science/inria-00512403/document)，不过 SageMath 已经实现好了，而且计算方法有很多
+
 #### **解题思路**
 
 核心分为三个步骤：
@@ -1384,7 +1384,7 @@ c2 = 304939267693072796204027153778258043309446776809271703887768911528314257867
 """
 ```
 
-这题一开始思路被带偏，上来就是 $\pmod (p-1)$ 走了多少弯路
+这题一开始思路被带偏，上来就是 $\pmod {p-1}$ 走了多少弯路
 
 因为有爆破的成分在，我们继续 Golang