Здорово видеть, как это работает в продакшене - как и многие вещи, ограничения, связанные с отсутствием предварительной компиляции G2, потребовали немного неестественного подхода, а именно "переключения ключей" с G2 на G1, что в итоге оказалось довольно эффективным. Благодарности @jeffburdges, @OanaCiobotaru, Syed и Alistair за их совместную работу (которая, хотя и была нацелена на другого проверяющего (нативный против EVM в моем случае), также стремилась облегчить нагрузку на проверяющих почти теми же методами, вместе с более формальным подходом и доказательствами). После Pectra, EIP 2537 и относительной стоимости сложений G1 и G2, стоит переоценить, при каком количестве агрегированных ключей этот метод снова становится дешевле.