Solidity Export for BLS12-381?

[patrickmao1]

Is your feature request related to a problem? Please describe.
Now that Ethereum will have a suite of precompiles for BLS12-381 in the upcoming Pectra upgrade...

Describe the solution you'd like
...would you consider adding support for BLS12-381 as solidity export target?

Describe alternatives you've considered
Continue using the solidity exported for BN254, but it has less security bits

[ivokub]

Thanks for the report! Imo it completely makes sense. I think we're going to do it some time mid-term.

[rdubois-crypto]

This is a very important feature, and also an opportunity because many protocols will have to upgrade their security.