Blockstream on Nostr: At Blockstream, we are first and foremost a Bitcoin development company, and are ...

At Blockstream, we are first and foremost a Bitcoin development company, and are always thinking of ways to improve Bitcoin's security.

Recently, our applied research division became the first to formally verify the safegcd algorithm, which is used in libsecp256k1, thereby strengthening the security and reliability of Bitcoin and Liquid, and obtaining the highest possible software correctness guarantees.

Read the details in our latest in Bitcoin Magazine:

https://bitcoinmagazine.com/technical/safegcds-implementation-formally-verified