从Agent Psychometrics论文出发，讨论IRT、LLM-as-Judge与LLM能力/Scaffold能力分解如何外推为Agent运行时的任务难度感知机制。

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

解释 KZG commitments 为什么依赖 pairing-friendly curves，写出最小 opening verification equation，并把它映射到 EIP-4844 blob workflow。

从 EIP-196/197/1108/2537 的执行层时间线出发，解释 Ethereum 为什么早期采用 BN254，又为什么 BLS12-381 长期形成升级压力。

定义 pairing-friendly curves 的最小双线性结构，并说明它为什么会成为 BLS signatures、SNARK verifier 和 KZG opening verification 的共同协议接口。