Nubit is also developing a compiler to convert user-friendly code into optimized BTC scripts, with formal verification to validate each program’s integrity.