Publicação científica

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)

Síntese

O artigo apresenta um estudo de caso de contratos inteligentes escritos na linguagem Jus, com um cofre digital com bloqueio temporal modelado por uma máquina de estados finitos na plataforma Tezos.

Arquivos e links