Solana smart contracts are written in Rust, which provides memory safety without garbage collection overhead.

Rust's strict ownership model has made it the language of choice for high-performance blockchain runtimes and ZK provers.