Crypto btc-verified lance la preuve mathématique de morceaux critiques du protocole Bitcoin Théo Lambert · il y a 1 h