Systems programming language with strong safety guarantees and performance, widely used for blockchain clients, provers, and smart contracts on some chains.