In the Bitcoin ecosystem, the adage ‘Don’t trust, verify’ applies not only to blocks and transactions, but also to the source code itself.

For over a decade, Bitcoin Core has served as the de facto standard: this C++ implementation defines the consensus rules. An error in the code could therefore threaten the stability of the network – something that has already happened in 2013. It is precisely this problem that btc-verified seeks to address; the project was unveiled in early July 2026 by Keagan McClelland (ProofOfKeags). Presented on the bitcoindev mailing list and on Delving Bitcoin, it aims to provide a formal verification of certain parts of the Bitcoin protocol.