Starknet aims to enable Bitcoin's programmability through Layer 2, overcoming Bitcoin’s inherent limitations, such as lack of scalability and limited native functionality