Kevin, thank you so much for your reply.
I found the discussion where there is information on this optimization. The only thing I did not understand is whether the timing of 100ns will not be observed only when the stepper motors are moving at high speeds, or will this problem arise anyway? I mean, can we change the step pin output more often than at the speed at which we want to rotate the stepper motor?
P.S. About benchmarks. Are the RP2040 results in processor ticks or in clock cycles of the 12 MHz counter? Apparently, it is the counter cycles that are somewhat confusing when viewing these results.