Solana Programs

In the Solana ecosystem, smart contracts are referred to as "programs," which are on-chain accounts containing executable logic. These programs are stateless but can issue instructions to manage and store data in accounts. Solana programs are typically written in Rust, and two popular approaches are using the Anchor framework (for simpler development) or writing directly in Rust for more control. Programs can be upgraded unless the upgrade authority is revoked. Additionally, Solana utilizes verifiable builds for program transparency.

For more details, check the Solana Programs documentation.