Prepare for an intra-era hardfork: protocol version 11

[lehins]

It looks like we will have a need for another intra-era hard fork in the Conway era.

This ticket tracks bumping up the highest version of the Conway protocol version and the maximum protocol version.

Also creation of tickets on all of the downstream repositories: ouoboros-consensus, cardano-api, cardano-cli and cardano-node.

These are the tickets so far with features that will be included in this intra-era hard fork:

• Revert predicate check BabbageNonDisjointRefInputs for PlutusV1/V2 #5009
• Inconsistent voting stake calculation when compared to leader election #5014 (time permitting, it is a complex issue to solve)
• Move CC votes mempool check #5022
• Disallow different pools to use the same VRF key. #5159 and Implement counters for VRFKeyHashes #5252
• Add a new predicate failure for non-matching withdrawals #4640
• Improve PPViewHashesDontMatch to include the data for the expected hash #4517
• Add a new predicate failure for non-matching withdrawals #4640 and Move withdrawals updating logic from CERTS to LEDGER #4932
• Ensure nOpt is non-zero #5314

[gufmar]

is there already a name for this intra-era Hardfork?
I see the next era after Conway will be named after Dijkstra.

I suggest to name the HF after Gottlob Frege, because of his work on predicate logic, and this intra-era-hardfork is about that area.

[lehins]

@gufmar intra-era hard forks are usually named by someone other than the Ledger team. It is up the Hard Fork Working group to come up with the name. Usually it was named after someone who contributed to Cardano in some capacity that has passed away.

As far as ledger is concerned this will be a bump to the major protocol version 11, since we do not concern ourselves with naming intra-era hard forks. 😄