FlashProve generates proof files of 18.78 MB, with client verification taking 17 seconds on 24 CPU threads and 21 seconds on a single thread