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

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