The development of secure smart contracts remains a critical challenge in blockchain technology. This paper introduces Jus, a functional language designed to address this challenge on the Tezos platform. Jus combines functional programming principles with domain-specific constructs tailored for smart contracts, including explicit state-transition systems and advanced type-theoretic features. A prototype interpreter for Jus has been implemented, enabling the execution of simple contracts and validating the language’s core design principles. Preliminary results demonstrate Jus’s potential to simplify contract development, enhance security, and facilitate formal verification. Jus aims to provide an efficient and expressive environment for developing robust decentralized applications. Future work will focus on extending the interpreter and developing a compiler to translate Jus contracts into Michelson bytecode, paving the way for broader adoption within the Tezos ecosystem.