Scholarly publication

The Jus Programming Language: Towards a Functional Language for Secure and Verifiable Smart Contracts on Tezos

Larissa Pimentel Viana Randow, Karin Satie Komati, Jefferson Oliveira Andrade

· Emerging Trends in Information Systems and Technologies (WorldCIST 2025)

Overview

The chapter introduces Jus, a functional language for smart contracts on Tezos, featuring mechanisms intended to support security and formal verification.

Files and links