Pretty sure they use Whisper, which is what FUTO Keyboard already uses on Android to keep it local to the phone.

I use Heliboard as a keyboard, then FUTO Voice connected to the mic button.