Low-level systems language focused on performance and safety without a GC; used for crypto tooling, provers, and high-assurance infrastructure components.