Kul att se detta fungera i prod - som många andra saker krävde begränsningarna av att inte ha G2-förkompileringar lite av ett onaturligt tillvägagångssätt, nämligen "nyckelväxlingen" från G2 till G1, vilket slutade med att vara ganska effektivt En eloge till @jeffburdges, @OanaCiobotaru, Syed och Alistair för deras samtidiga arbete (som visserligen riktade sig till en annan verifierare (native vs EVM i mitt fall), men som också ville lätta på bördan för verifierare med nästan samma metoder, tillsammans med mer formell behandling och bevis Efter Pectra, EIP 2537 och den relativa kostnaden för G1- och G2-tillägg är det värt att omvärdera vid vilket antal aggregerade nycklar denna metod blir billigare igen