Es divertido ver esto funcionando en producción; como muchas cosas, las limitaciones de no tener precompilaciones de G2 requirieron un enfoque un poco antinatural, a saber, el "cambio de clave" de G2 a G1, que resultó ser bastante eficiente. Felicitaciones a @jeffburdges, @OanaCiobotaru, Syed y Alistair por su trabajo concurrente (que, aunque estaba dirigido a un verificador diferente (nativo vs EVM en mi caso), también quería aligerar la carga sobre los verificadores con métodos casi idénticos, junto con un tratamiento más formal y pruebas). Después de Pectra, EIP 2537 y el costo relativo de las adiciones de G1 y G2, vale la pena reevaluar en qué número de claves agregadas este método se vuelve más barato nuevamente.