É divertido ver isso a funcionar em produção - como muitas coisas, as limitações de não ter pré-compilações de G2 exigiram uma abordagem um pouco não natural, nomeadamente a "mudança de chave" de G2 para G1, que acabou por ser bastante eficiente. Parabéns a @jeffburdges, @OanaCiobotaru, Syed e Alistair pelo trabalho conjunto (que, embora direcionado a um verificador diferente (nativo vs EVM no meu caso), também quis aliviar a carga sobre os verificadores com métodos quase idênticos, juntamente com um tratamento mais formal e provas). Após Pectra, EIP 2537 e o custo relativo das adições de G1 e G2, vale a pena reavaliar a partir de que número de chaves agregadas este método se torna mais barato novamente.