FlashProve produces 18.78 MB proofs for Llama 4 Maverick, compared to VerInf's 93.6 GB proof size and Attestable's 4.35 to 7.92 MiB proof size on Gemma 4 31B

AI models and tools released with open weights or open licenses.

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