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

Mathematical foundations of blockchains: hash functions, digital signatures, and encryption schemes that secure transactions, wallets, and consensus.

Approaches to processing more transactions without sacrificing security or decentralization, spanning rollups, sharding, data compression, and faster consensus designs.