1m1-github / juliateal

julia -> TEAL

juliaTEAL

Translate julia -> TEAL as follows:

1. Translate julia to ARM assembly
2. Translate ARM assembly to TEAL
3. Check TEAL rules (e.g. no backward branching) - Some checks can be performed on julia directly (before step 1.

Example 1

Consider the "Simple PyTeal Example" (https://developer.algorand.org/docs/features/asc1/teal/pyteal/)

The following TEAL code...

txn TypeEnum
int 1
==
txn Receiver
addr ZZAF5ARA4MEC5PVDOP64JM5O5MQST63Q2KOY2FLYFLXXD3PFSNJJBYAFZM
==
&&
txn CloseRemainderTo
global ZeroAddress
==
&&
txn AssetCloseTo
global ZeroAddress
==
&&

...could be translated from the following julia code

function main(transaction, args)
    
    # checks
    transaction.TypeEnum ≠ 1 && return false
    transaction.Receiver ≠ "ZZAF5ARA4MEC5PVDOP64JM5O5MQST63Q2KOY2FLYFLXXD3PFSNJJBYAFZM" && return false
    transaction.CloseRemainderTo ≠ ZeroAddress && return false
    transaction.AssetCloseTo ≠ ZeroAddress && return false

    # all good
    return true
end

or from the following

function main(transaction, args)
    typeEnumCheck = transaction.TypeEnum ≠ 1
    receiverCheck = transaction.Receiver ≠ "ZZAF5ARA4MEC5PVDOP64JM5O5MQST63Q2KOY2FLYFLXXD3PFSNJJBYAFZM"
    closeRemainderToCheck = transaction.CloseRemainderTo ≠ ZeroAddress
    assetCloseToCheck = transaction.AssetCloseTo ≠ ZeroAddress

    return typeEnumCheck && receiverCheck && closeRemainderToCheck && assetCloseToCheck
end

or in many other ways according to julia.

Example 2

Consider the example provided at the bottom of https://developer.algorand.org/docs/features/asc1/teal/

The following TEAL code...

txn CloseRemainderTo
addr SOEI4UA72A7ZL5P25GNISSVWW724YABSGZ7GHW5ERV4QKK2XSXLXGXPG5Y
==
txn Receiver
addr SOEI4UA72A7ZL5P25GNISSVWW724YABSGZ7GHW5ERV4QKK2XSXLXGXPG5Y
==
&&
arg 0
len
int 46
==
&&
arg 0
sha256
byte base64 QzYhq9JlYbn2QdOMrhyxVlNtNjeyvyJc/I8d8VAGfGc=
==
&&
txn CloseRemainderTo
addr RFGEHKTFSLPIEGZYNVYALM6J4LJX4RPWERDWYS2PFKNVDWW3NG7MECQTJY
==
txn Receiver
addr RFGEHKTFSLPIEGZYNVYALM6J4LJX4RPWERDWYS2PFKNVDWW3NG7MECQTJY
==
&&
txn FirstValid
int 67240
>
&&
||
txn Fee
int 1000000
<
txn RekeyTo
global ZeroAddress
==
&&
&&

...could be translated from the following julia code

function addr2_and_secret(transaction, args)
    # check transaction properties
    transaction.CloseRemainderTo ≠ "SOEI4UA72A7ZL5P25GNISSVWW724YABSGZ7GHW5ERV4QKK2XSXLXGXPG5Y" && return false
    transaction.Receiver ≠ "SOEI4UA72A7ZL5P25GNISSVWW724YABSGZ7GHW5ERV4QKK2XSXLXGXPG5Y" && return false

    # check provided secret
    lenght(args[0]) ≠ 46 && return false
    sha256(args[0]) ≠ "QzYhq9JlYbn2QdOMrhyxVlNtNjeyvyJc/I8d8VAGfGc=" && return false

    # all good
    return true
end

function addr1_and_timeout(transaction, args)
    # check transaction properties
    transaction.CloseRemainderTo ≠ "RFGEHKTFSLPIEGZYNVYALM6J4LJX4RPWERDWYS2PFKNVDWW3NG7MECQTJY" && return false
    transaction.Receiver ≠ "RFGEHKTFSLPIEGZYNVYALM6J4LJX4RPWERDWYS2PFKNVDWW3NG7MECQTJY" && return false

    # check timeout
    return 67240 < transaction.FirstValid
end

function main(transaction, args)

    !addr2_and_secret(transaction, args) && return false
    !addr1_and_timeout(transaction, args) && return false

    # check fee
    1000000 < transaction.Fee && return false

    # check ReKey
    transaction.RekeyTo ≠ ZeroAddress && return false

    # all good
    return true
end