FlashProve achieves ~110 tokens per second on Llama 4 Maverick, whereas competing open-source zkML system VerInf yields ~0.02 tokens per second on the same model

AI research advances and the benchmarks used to measure progress.

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.