EIP2537 BLS breakout, October 14 2024

Agenda

EIP-2537 Breakout Call · Issue #1176 · ethereum/pm · GitHub

Summary

TLDR from Kev (Copied from Eth R&D Discord)

  • @ralexstokes will try to reach out to users to see what they think about not having subgroup checks
  • One possibility was to add a flag, but it was noted by @mratsim that this becomes a pain for zkEVMs to implement this branching logic
  • Removing G1MUL and placing it inside of MSM did not seem to have a lot of backing, though there were folks advocating for it as an equalizer, if we decide to add more opcodes like the subgroupCheck
  • There seems to have been consensus that the precompiles were underpriced

I think most decisions will be downstream from figuring out whether users want to have subgroup checks

Recording