Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Solution Solved #71

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Solution Solved #71

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
93 changes: 69 additions & 24 deletions projects/challenge/smart_contracts/artifacts/asa_vault/AsaVault.approval.teal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -59,7 +59,7 @@ main_opt_in_to_asset_route@2:
return

main_deposit_asa_route@3:
// smart_contracts/asa_vault/contract.py:25
// smart_contracts/asa_vault/contract.py:32
// @arc4.abimethod
txn OnCompletion
!
Expand All @@ -76,14 +76,14 @@ main_deposit_asa_route@3:
int axfer
==
assert // transaction type is axfer
// smart_contracts/asa_vault/contract.py:25
// smart_contracts/asa_vault/contract.py:32
// @arc4.abimethod
callsub deposit_asa
int 1
return

main_withdraw_asa_route@4:
// smart_contracts/asa_vault/contract.py:33
// smart_contracts/asa_vault/contract.py:40
// @arc4.abimethod
txn OnCompletion
!
Expand All @@ -95,14 +95,14 @@ main_withdraw_asa_route@4:
txna ApplicationArgs 1
btoi
txnas Assets
// smart_contracts/asa_vault/contract.py:33
// smart_contracts/asa_vault/contract.py:40
// @arc4.abimethod
callsub withdraw_asa
int 1
return

main_get_asa_balance_route@5:
// smart_contracts/asa_vault/contract.py:47
// smart_contracts/asa_vault/contract.py:54
// @arc4.abimethod(readonly=True)
txn OnCompletion
!
Expand Down Expand Up @@ -159,14 +159,59 @@ opt_in_to_asset:
bury 1
!
assert
// smart_contracts/asa_vault/contract.py:21-27
// itxn.AssetTransfer(
// xfer_asset=self.asset_id,
// asset_receiver=Global.current_application_address,
// sender=Global.current_application_address,
// asset_amount=0,
// fee=0,
// ).submit()
itxn_begin
// smart_contracts/asa_vault/contract.py:22
// xfer_asset=self.asset_id,
int 0
byte "asset_id"
app_global_get_ex
assert // check asset_id exists
// smart_contracts/asa_vault/contract.py:23
// asset_receiver=Global.current_application_address,
global CurrentApplicationAddress
// smart_contracts/asa_vault/contract.py:24
// sender=Global.current_application_address,
dup
// smart_contracts/asa_vault/contract.py:26
// fee=0,
int 0
itxn_field Fee
// smart_contracts/asa_vault/contract.py:25
// asset_amount=0,
int 0
itxn_field AssetAmount
itxn_field Sender
itxn_field AssetReceiver
itxn_field XferAsset
// smart_contracts/asa_vault/contract.py:21
// itxn.AssetTransfer(
int axfer
itxn_field TypeEnum
// smart_contracts/asa_vault/contract.py:21-27
// itxn.AssetTransfer(
// xfer_asset=self.asset_id,
// asset_receiver=Global.current_application_address,
// sender=Global.current_application_address,
// asset_amount=0,
// fee=0,
// ).submit()
itxn_submit
// smart_contracts/asa_vault/contract.py:29
// assert mbr_pay.receiver == Global.current_application_address
frame_dig -1
gtxns Receiver
global CurrentApplicationAddress
==
assert
// smart_contracts/asa_vault/contract.py:23
// smart_contracts/asa_vault/contract.py:30
// assert mbr_pay.amount == Global.min_balance + Global.asset_opt_in_min_balance
frame_dig -1
gtxns Amount
Expand Down Expand Up @@ -195,27 +240,27 @@ authorize_creator:

// smart_contracts.asa_vault.contract.AsaVault.deposit_asa(deposit_txn: uint64) -> void:
deposit_asa:
// smart_contracts/asa_vault/contract.py:25-26
// smart_contracts/asa_vault/contract.py:32-33
// @arc4.abimethod
// def deposit_asa(self, deposit_txn: gtxn.AssetTransferTransaction)-> None:
proto 1 0
// smart_contracts/asa_vault/contract.py:27
// smart_contracts/asa_vault/contract.py:34
// self.authorize_creator()
callsub authorize_creator
// smart_contracts/asa_vault/contract.py:28
// smart_contracts/asa_vault/contract.py:35
// assert deposit_txn.asset_receiver == Global.current_application_address
frame_dig -1
gtxns AssetReceiver
global CurrentApplicationAddress
==
assert
// smart_contracts/asa_vault/contract.py:29
// smart_contracts/asa_vault/contract.py:36
// assert deposit_txn.asset_amount > 0
frame_dig -1
gtxns AssetAmount
dup
assert
// smart_contracts/asa_vault/contract.py:31
// smart_contracts/asa_vault/contract.py:38
// self.asa_balance += deposit_txn.asset_amount
int 0
byte "asa_balance"
Expand All @@ -230,14 +275,14 @@ deposit_asa:

// smart_contracts.asa_vault.contract.AsaVault.withdraw_asa(asset: uint64) -> void:
withdraw_asa:
// smart_contracts/asa_vault/contract.py:33-34
// smart_contracts/asa_vault/contract.py:40-41
// @arc4.abimethod
// def withdraw_asa(self, asset: Asset) -> None:
proto 1 0
// smart_contracts/asa_vault/contract.py:35
// smart_contracts/asa_vault/contract.py:42
// self.authorize_creator()
callsub authorize_creator
// smart_contracts/asa_vault/contract.py:37-43
// smart_contracts/asa_vault/contract.py:44-50
// itxn.AssetTransfer(
// xfer_asset=self.asset_id,
// asset_receiver=Global.creator_address,
Expand All @@ -246,34 +291,34 @@ withdraw_asa:
// fee=0,
// ).submit()
itxn_begin
// smart_contracts/asa_vault/contract.py:38
// smart_contracts/asa_vault/contract.py:45
// xfer_asset=self.asset_id,
int 0
byte "asset_id"
app_global_get_ex
assert // check asset_id exists
// smart_contracts/asa_vault/contract.py:39
// smart_contracts/asa_vault/contract.py:46
// asset_receiver=Global.creator_address,
global CreatorAddress
// smart_contracts/asa_vault/contract.py:41
// smart_contracts/asa_vault/contract.py:48
// asset_close_to=Global.creator_address,
dup
// smart_contracts/asa_vault/contract.py:42
// smart_contracts/asa_vault/contract.py:49
// fee=0,
int 0
itxn_field Fee
itxn_field AssetCloseTo
// smart_contracts/asa_vault/contract.py:40
// smart_contracts/asa_vault/contract.py:47
// asset_amount=0,
int 0
itxn_field AssetAmount
itxn_field AssetReceiver
itxn_field XferAsset
// smart_contracts/asa_vault/contract.py:37
// smart_contracts/asa_vault/contract.py:44
// itxn.AssetTransfer(
int axfer
itxn_field TypeEnum
// smart_contracts/asa_vault/contract.py:37-43
// smart_contracts/asa_vault/contract.py:44-50
// itxn.AssetTransfer(
// xfer_asset=self.asset_id,
// asset_receiver=Global.creator_address,
Expand All @@ -282,7 +327,7 @@ withdraw_asa:
// fee=0,
// ).submit()
itxn_submit
// smart_contracts/asa_vault/contract.py:45
// smart_contracts/asa_vault/contract.py:52
// self.asa_balance = UInt64(0)
byte "asa_balance"
int 0
Expand All @@ -292,11 +337,11 @@ withdraw_asa:

// smart_contracts.asa_vault.contract.AsaVault.get_asa_balance() -> uint64:
get_asa_balance:
// smart_contracts/asa_vault/contract.py:47-48
// smart_contracts/asa_vault/contract.py:54-55
// @arc4.abimethod(readonly=True)
// def get_asa_balance(self) -> UInt64:
proto 0 1
// smart_contracts/asa_vault/contract.py:49
// smart_contracts/asa_vault/contract.py:56
// return self.asa_balance
int 0
byte "asa_balance"
Expand Down
Loading