Starting in December, Bitcoin holders will be able to stake BTC on Babylon, a Bitcoin layer-2, from the Sui network. Post navigation Sui to launch Bitcoin staking Safegcd’s Implementation Formally Verified