Scholarly publication

Finite State Machine-Based Smart Contracts on Tezos: A Time-Locked Vault Implementation in Jus

Jefferson Oliveira Andrade, Larissa P. V. Randow, Karin Satie Komati

· 2025 IEEE Chilean Conference on Electrical, Electronics Engineering, Information and Communication Technologies (CHILECON)

Overview

The paper presents a case study of smart contracts written in Jus, using a finite-state-machine model of a time-locked digital vault on Tezos.

Files and links