从最大似然估计的基本概念出发，系统介绍坐标下降法。以抛硬币、线性回归和 Lasso 为贯穿示例，覆盖 MLE 形式化、坐标下降框架、增量更新技巧、凸收敛理论、软阈值算子、正则化路径和工程实现细节。

Reading RFC 9380 and unpacking the real structure behind hashing byte strings to elliptic-curve points.

逐步连接 EIP-4844 blob、evaluation-form polynomial、KZG commitment、versioned hash、sidecar proof 与 0x0a 验证接口。

从 EIP-196/197/1108 到 Pectra 中的 EIP-2537，复核 Ethereum 配对曲线的执行层能力、gas 与 ABI 边界。

定义 pairing 的最小性质，并用 BLS 说明双线性验证、rogue-key 防护、proof of possession 和输入验证边界。