We already have @SuccinctLabs and @RiscZero proving Ethrex, our minimalist ethereum execution client for the L1 and L2s.

Which zkVM should we add next?