FlashProve uses hash-based cryptographic proofs to compile interactive oracle proofs, providing post-quantum security guarantees similar to Starknet's L2 validity proofs