You will find that the encoder is attached to the motor shaft and is a 11 pole quadrature encoder so 4 signals per pole on a 30:1 gear box will come out at 1320 signals per rotation by 6 rotations per second = 7920 signals per second at full RPM then if you have 4 motors that is a total of 31,680 signals per second to count over the 4 motors. Unless your using really low resolution encoders it is usually easier to off load the over heads onto a counter chip which you pole at about 5 times per second to check the speed and adjust the duty cycle to maintain constant speed.
Using a counter chip will also off load the amount of needed GPIO pins as all 4 counter chips will use the same SPI pins but each will have a different CS pin then all the encoder pins will connect to the counter chip not the RPi
If you have lots of spare time check out this video especially the first half hour as this guy is a very respected robotics professor
https://www.youtube.com/watch?v=8CXReb7f0Eo