Yeah, indeed. Just might be cool to mention in the RIP that the precompile always returns true, so there is no room left for interpretations.
Integration Updates
-
ZKsync Era implements RIP-7212 on mainnet: Announcement Tweet
-
Optimism ecosystem implements RIP-7212 on mainnet: Announcement Tweet
-
OpenZeppelin implements RIP-7212 by this PR: Implement P256 verification via RIP-7212 precompile with Solidity fallback #4881.
Congrats to all teams!
I’ve posted a short summary before the next ACDE about “RIP-7212 in Pectra” to help with its discussion.
Realistically, at this point, when will it come out on Ethereum?
It works on Polygon, BSC and elsewhere
Final decision to add this proposal to the Pectra hard fork can be given in the next ACDE call due to the last one. You can check its summary
EIP/RIP-7212
- Ulaş Erdoğan shared a document with open questions about bringing EIP-7212 to mainnet.
- I emphasized that we still hadn’t implemented everything we’d committed to for Pectra (and had just spent the rest of the call discussing ongoing spec changes), and that we probably shouldn’t consider extending the scope right now.
- Ansgar shared that we keep pushing back the decision about 7212 and we should aim to make a final one soon, ideally the next ACDE.
Is there any update on inclusion into Pectra of this? In the ACD calls it doesn’t seem like anyone is championing this. Therefore it doesn’t feel realistic that this EIP gets included.
In a previous ACDE call, this decision has been postponed to months later depending on the execution-spec-tests coverage. It’s expected to complete the tests by community, core devs are busy with current Pectra schedule. Details are in the ACDE#193 recap. I am interested in working on that, but I am not knowledgeable yet and may not be able to focus enough in short term.
ENSDAO is also interested in incentivizing this contribution. cc @estmcmxci
@ulerdogan can you create an EIP for secp256r1 precompile? We can then get an EIP number assigned.
Do you recommend having only copy-paste from the RIP content? Should this include any reference or mention to the RIP-7212?
Just to give share my impression from the ACD call yesterday:
- The EthereumJS team would prefer not to include 7212 (see here), while other teams are generally supportive, but it was for all of them rather a nice-to-have than a must-have
- Even with a split it seems that there is a tendency not to include 7212 (see here)
So the current sentiment seems to be that 7212 will rather not be included unless there is a stronger voice for this (afaik in the last 3 ACD calls 7212 was not discussed at all, even so for some general hardfork scope questions this would have made sense).
While I personally would like to see 7212 to come to Ethereum Mainnet, I currently do not have the capacity to push this, therefore I was reaching out to see if someone else can.
I am not an EIP editor, I am an associate (who assigns numbers. )
Suggest duplicating as much as possible.
Add in the abstract that the precompile was described as RIP-7212 and has been implemented on multiple L2s
Explicitly call out any differences to RIP-7212.
Depending on when Pectra Part 2 occurs, it may still be feasible to include it—so let’s not count it out just yet! ;]
—
That’s right; there is interest from the ENS DAO in supporting this specific EIP for inclusion in the next EVM hard fork. TL;DR: the DAO is willing to sponsor a bounty for a prequalified test writer to assist Ulaş, who can support but not lead broader testing efforts. Anyone interested and qualified is welcome to reach out to me on Telegram to discuss and learn more.