Missing one-step proof checker for ripemd160f instruction

[edfelten]

The AVM architecture includes a ripemd160f instruction which computes the compression function of the RIPEMD-160 hash function. This is supported by the AVM emulator, but the EthBridge doesn't include a one-step proof checker for it.

[Milerius]

Hey @edfelten our smart contract: https://arbiscan.io/address/0x9130b257d37a52e52f21054c4da3450c72f595ce#code use ripemd160, do you have any idea when it could be supported in arbitrum?

[PowersOfTau]

AVM architecture also has a blake2f instruction but not included in OSP checker?