Getting Started

Installing Juvix

Please see the README.

Writing your first smart contract

To write Juvix programs, you can use any text editor. However, we recommend to use VSCode with the Juvix syntax highlighting package. In the following example, we will code a smart contract using the backend for Michelson, the language of Tezos.

  1. Located at the Juvix folder, e.g.,
$ pwd
  1. create the file identity.ju. The file content should be as follows.
mod identity where

open Prelude
open Prelude.Michelson

sig cons-pair : list operation -> int -> pair (list operation) int
let cons-pair = %Michelson.pair

sig nil : list operation
let nil = %Michelson.nil

sig car : pair int int -> int
let car =

sig main : pair int int -> pair (list operation) int
let main = \params ->
  cons-pair nil (car params)
  1. Then, you can run the following commands using the Michelson backend.
  • To simply type-check your code:

    $ juvix typecheck identity.ju -b michelson
  • To compile your code to a Michelson .tz file, please run the following command:

    $ juvix compile identity.ju -b michelson

    As a result, you obtain a contract that can be deployed using standard procedures outlined in the Tezos documentation. Direct integration with the Juvix toolchain is still work in progress.

    $ cat
    parameter int;
    storage int;
    code { { DIG 0;
           DUG 1;
           NIL operation;
           DIP { DROP } } };

More examples of Juvix programs can be found in examples and test folders.