ARC20_leo
About The Project
Implementation of the 6 mandatory rules in Leo Programming Language so that they can be invoked in a Smart contract.
They are: balance_of, total_supply, approve, transfer_from, transfer, and allowance.
Usage
To run balance_of function:
Input file ARC20_leo/inputs/arc20_leo.in
[balance_of]
owner_balance: Balance = Balance {
owner: aleo1ht2a9q0gsd38j0se4t9lsfulxgqrens2vgzgry3pkvs93xrrzu8s892zn7,
gates: 0u64,
amount: 269u64,
_nonce: 0group,
};
leo run balance_of
Console output
• Executing 'arc20_leo.aleo/balance_of'...
• Executed 'balance_of' (in 11642 ms)
➡️ Output
• 269u64
To run total_supply function:
Input file ARC20_leo/inputs/arc20_leo.in
[total_supply]
amount_supply: u64 = 1729u64;
leo run total_supply
Console output.
• Executing 'arc20_leo.aleo/total_supply'...
• Executed 'total_supply' (in 5944 ms)
➡️ Output
• 1729u64
To run approve function:
Input file ARC20_leo/inputs/arc20_leo.in
[approve]
owner: address = aleo1ht2a9q0gsd38j0se4t9lsfulxgqrens2vgzgry3pkvs93xrrzu8s892zn7;
amount_owner: u64 = 164u64;
spender: address = aleo1mgfq6g40l6zkhsm063n3uhr43qk5e0zsua5aszeq5080dsvlcvxsn0rrau;
amount_desired: u64 = 64u64;
leo run approve
Console output.
• Executing 'arc20_leo.aleo/approve'...
• Executed 'approve' (in 9745 ms)
➡️ Output
• true
To run transfer_from function:
Input file ARC20_leo/inputs/arc20_leo.in
[transfer_from]
from_balance: Balance = Balance {
owner: aleo1ht2a9q0gsd38j0se4t9lsfulxgqrens2vgzgry3pkvs93xrrzu8s892zn7,
gates: 0u64,
amount: 25u64,
_nonce: 0group,
};
from: address = aleo1ht2a9q0gsd38j0se4t9lsfulxgqrens2vgzgry3pkvs93xrrzu8s892zn7;
to_address: address = aleo1mgfq6g40l6zkhsm063n3uhr43qk5e0zsua5aszeq5080dsvlcvxsn0rrau;
to_gates: u64 = 0u64;
to_amount: u64 = 30u64;
amount: u64 = 5u64;
leo run transfer_from
Console output.
• Executing 'arc20_leo.aleo/transfer_from'...
• Executed 'transfer_from' (in 21740 ms)
➡️ Outputs
• {
owner: aleo1ht2a9q0gsd38j0se4t9lsfulxgqrens2vgzgry3pkvs93xrrzu8s892zn7.private,
gates: 0u64.private,
amount: 20u64.private,
_nonce: 6431287615986696097612324621785026814136142669749924915411966793544219414836group.public
}
• aleo1mgfq6g40l6zkhsm063n3uhr43qk5e0zsua5aszeq5080dsvlcvxsn0rrau
• 35u64
• 0u64
To run transfer function:
Input file ARC20_leo/inputs/arc20_leo.in
[transfer]
to_balance: Balance = Balance {
owner: aleo1ht2a9q0gsd38j0se4t9lsfulxgqrens2vgzgry3pkvs93xrrzu8s892zn7,
gates: 0u64,
amount: 25u64,
_nonce: 0group,
};
to: address = aleo1ht2a9q0gsd38j0se4t9lsfulxgqrens2vgzgry3pkvs93xrrzu8s892zn7;
amount: u64 = 5u64;
leo run transfer
Console output.
• Executing 'arc20_leo.aleo/transfer'...
• Executed 'transfer' (in 14139 ms)
➡️ Output
• {
owner: aleo1ht2a9q0gsd38j0se4t9lsfulxgqrens2vgzgry3pkvs93xrrzu8s892zn7.private,
gates: 0u64.private,
amount: 30u64.private,
_nonce: 5223267181059685515422878880245687591758320347768724919987298470390181053809group.public
}
To run allowance function:
Input file ARC20_leo/inputs/arc20_leo.in
[allowance]
owner: address = aleo1ht2a9q0gsd38j0se4t9lsfulxgqrens2vgzgry3pkvs93xrrzu8s892zn7;
spender: address = aleo1mgfq6g40l6zkhsm063n3uhr43qk5e0zsua5aszeq5080dsvlcvxsn0rrau;
balance_owner: Balance = Balance {
owner: aleo1ht2a9q0gsd38j0se4t9lsfulxgqrens2vgzgry3pkvs93xrrzu8s892zn7,
gates: 0u64,
amount: 250u64,
_nonce: 0group,
};
amount_remaining: u64 = 78u64;
leo run allowance
Console output.
• Executing 'arc20_leo.aleo/allowance'...
• Executed 'allowance' (in 16274 ms)
➡️ Output
• 78u64
Optional functions
ARC20 includes 3 optional rules. They are: decimals, name, and symbol.
To run decimals function:
Input file ARC20_leo/inputs/arc20_leo.in
[decimals]
quantity_decimals: u64 = 8u64;
leo run decimals
Console output.
• Executing 'arc20_leo.aleo/decimals'...
• Executed 'decimals' (in 4244 ms)
➡️ Output
• 8u64
To run name function:
Input file ARC20_leo/inputs/arc20_leo.in
[name]
is_dummmy: u64 = 0u64;
leo run name
Console output.
• Executing 'arc20_leo.aleo/name'...
• Executed 'name' (in 6431 ms)
➡️ Outputs
• 65u64
• 76u64
• 69u64
• 79u64
To run symbol function:
Input file ARC20_leo/inputs/arc20_leo.in
[symbol]
is_dummmy: u64 = 0u64;
leo run symbol
Console output.
• Executing 'arc20_leo.aleo/symbol'...
• Executed 'symbol' (in 6450 ms)
➡️ Outputs
• 76u64
• 69u64
• 79u64
To run Test functions:
In every ARC20 function the input values are declared in \input\arc20_leo.in
Each Test function uses the algorithm of the original function and compares its output with the values coded into the test function.
In case the comparison is successful, the Test function will return True in a boolean variable.