Python like smart contract language for the EVM focused on simplicity and auditability, with restricted features to reduce attack surface compared to Solidity.