Crypto btc-verified lance la preuve mathématique de morceaux critiques du protocole Bitcoin Théo Lambert · 22 juillet 2026