Convert eip7667 into an rip

[Eikix]

Hi all!

Posting my first RIP here (literally just converting an existing EIP into an RIP).
Talked to Vitalik this morning about bumping gas price of hash functions for ZK-Rollups eagerly, as proposed in: https://eips.ethereum.org/EIPS/eip-7667

Still in draft, particularly on # for keccak / SHA256 etc.; Values posted by Vitalik are still very much placeholders.

Actionables by Kakarot ZK-EVM team:

• Check with Starkware STWO team a reasonable gas price for each hash functions listed in the RIP.
• Check with other rollups if their internal # is close enough to the one we come up with so that everyone can adopt a common value. Otherwise, we can plan a per-rollup # of keccak.

Closing notes: this RIP is a specific type of RIP that only benefits ZK-Rollups. As such, I don't expect ORUs to adopt or consider this EIP, as they don't suffer from non-ZK friendly hash functions.

[abcoathup]

@Eikix as the RIP is a clone of the EIP, with potential for divergence in the spec now or in the future between EIP and RIP, then it should have a different number. I am issuing 7724.

If @vbuterin permits, then you should be added as an author to the RIP so you can steer the RIP through the process

[abcoathup]

Suggested change

	rip: 7667
	rip: 7724

Assigning next sequential EIP/ERC/RIP number.

Please also update the filename.

[nconsigny]

Up @Eikix

[Eikix]

Up @Eikix

Changes requested: I changed the name of the file and the name of the RIP a while ago.

Update: we're awaiting the release of the STWO prover to be able to benchmark the cost of proving keccak and other hash functions with state-of-the-art provers and propose new #.

[nconsigny]

Sounds good, looking forward to see those benchmarks !