FlashProve verification requires no GPU and can be executed locally on a standard CPU