From f571a33b8cc6a2f2cf4dfba7a3cf8da2d2bde9f1 Mon Sep 17 00:00:00 2001 From: Jason Ridgway-Taylor Date: Wed, 25 Oct 2023 16:02:08 +0530 Subject: [PATCH] Removed balance assertion from deposit for testing --- batcher/michelson/btctz-vault-ghostnet.tz | 161 +++------------------- batcher/michelson/eurl-vault-ghostnet.tz | 161 +++------------------- batcher/michelson/tzbtc-vault-ghostnet.tz | 161 +++------------------- batcher/michelson/usdt-vault-ghostnet.tz | 161 +++------------------- batcher/michelson/usdtz-vault-ghostnet.tz | 161 +++------------------- batcher/utils.mligo | 2 +- batcher/vault.mligo | 7 +- 7 files changed, 95 insertions(+), 719 deletions(-) diff --git a/batcher/michelson/btctz-vault-ghostnet.tz b/batcher/michelson/btctz-vault-ghostnet.tz index 488c5eaf..a50c4fb6 100644 --- a/batcher/michelson/btctz-vault-ghostnet.tz +++ b/batcher/michelson/btctz-vault-ghostnet.tz @@ -162,138 +162,13 @@ CONS ; TRANSFER_TOKENS } { DROP 2 ; PUSH nat 108 ; FAILWITH } } } } ; - SELF_ADDRESS ; - DUP 5 ; - CDR ; - CAR ; - CAR ; - CAR ; - DUP ; - GET 5 ; - IF_NONE { PUSH nat 101 ; FAILWITH } {} ; - DUP 2 ; - GET 8 ; - IF_NONE { PUSH nat 108 ; FAILWITH } {} ; - PUSH string "FA2 standard" ; - DUP 2 ; - COMPARE ; - EQ ; - IF { DIG 2 ; - DROP 2 ; - DUP 2 ; - CONTRACT %balance_response_fa12 nat ; - SWAP ; - CONTRACT %getbalance (pair (contract %callback nat) (address %owner)) ; - SWAP ; - IF_NONE - { DROP ; PUSH nat 169 ; FAILWITH } - { SWAP ; - IF_NONE - { DROP ; PUSH nat 170 ; FAILWITH } - { PUSH mutez 0 ; DUP 4 ; DIG 3 ; PAIR ; TRANSFER_TOKENS } } } - { PUSH string "FA1.2 standard" ; - SWAP ; - COMPARE ; - EQ ; - IF { DUP 3 ; - CONTRACT %balance_response_fa2 - (list (pair (nat %balance) (pair %request (address %owner) (nat %token_id)))) ; - SWAP ; - CONTRACT %balance_of - (pair (contract %callback - (list (pair (nat %balance) (pair %request (address %owner) (nat %token_id))))) - (list %requests (pair (address %owner) (nat %token_id)))) ; - SWAP ; - IF_NONE - { DROP 2 ; PUSH nat 169 ; FAILWITH } - { SWAP ; - IF_NONE - { DROP 2 ; PUSH nat 170 ; FAILWITH } - { PUSH mutez 0 ; - NIL (pair address nat) ; - DIG 4 ; - CAR ; - DUP 6 ; - PAIR ; - CONS ; - DIG 3 ; - PAIR ; - TRANSFER_TOKENS } } } - { DROP 2 ; PUSH nat 108 ; FAILWITH } } ; - NIL operation ; - SWAP ; - CONS ; - DUP 6 ; - CAR ; - CDR ; - CAR ; - ITER { CDR ; - SWAP ; - DUP 2 ; - CAR ; - GET 5 ; - IF_NONE { PUSH nat 101 ; FAILWITH } {} ; - DUP 3 ; - CAR ; - GET 8 ; - IF_NONE { PUSH nat 108 ; FAILWITH } {} ; - PUSH string "FA2 standard" ; - DUP 2 ; - COMPARE ; - EQ ; - IF { DIG 3 ; - DROP 2 ; - DUP 3 ; - CONTRACT %balance_response_fa12 nat ; - SWAP ; - CONTRACT %getbalance (pair (contract %callback nat) (address %owner)) ; - SWAP ; - IF_NONE - { DROP ; PUSH nat 169 ; FAILWITH } - { SWAP ; - IF_NONE - { DROP ; PUSH nat 170 ; FAILWITH } - { PUSH mutez 0 ; DUP 5 ; DIG 3 ; PAIR ; TRANSFER_TOKENS } } } - { PUSH string "FA1.2 standard" ; - SWAP ; - COMPARE ; - EQ ; - IF { DUP 4 ; - CONTRACT %balance_response_fa2 - (list (pair (nat %balance) (pair %request (address %owner) (nat %token_id)))) ; - SWAP ; - CONTRACT %balance_of - (pair (contract %callback - (list (pair (nat %balance) (pair %request (address %owner) (nat %token_id))))) - (list %requests (pair (address %owner) (nat %token_id)))) ; - SWAP ; - IF_NONE - { DIG 2 ; DROP 2 ; PUSH nat 169 ; FAILWITH } - { SWAP ; - IF_NONE - { DIG 2 ; DROP 2 ; PUSH nat 170 ; FAILWITH } - { PUSH mutez 0 ; - NIL (pair address nat) ; - DIG 5 ; - CAR ; - CAR ; - DUP 7 ; - PAIR ; - CONS ; - DIG 3 ; - PAIR ; - TRANSFER_TOKENS } } } - { DIG 2 ; DROP 2 ; PUSH nat 108 ; FAILWITH } } ; - CONS } ; - SWAP ; - DROP ; - DUP 5 ; + DUP 4 ; CDR ; CAR ; CAR ; DUP ; CAR ; - DUP 5 ; + DUP 4 ; CAR ; DUP 2 ; GET 8 ; @@ -330,37 +205,37 @@ AND ; AND ; NOT ; - IF { DIG 3 ; DIG 4 ; DIG 5 ; DROP 4 ; PUSH nat 115 ; FAILWITH } - { DUP 4 ; + IF { DIG 2 ; DIG 3 ; DIG 4 ; DROP 4 ; PUSH nat 115 ; FAILWITH } + { DUP 3 ; CDR ; - DUP 7 ; + DUP 6 ; CDR ; CDR ; CAR ; ADD ; DUP 2 ; - DUP 6 ; + DUP 5 ; CDR ; DIG 3 ; CDR ; ADD ; UPDATE 2 ; - DUP 7 ; + DUP 6 ; CDR ; CDR ; CDR ; DUP ; CAR ; - DUP 8 ; + DUP 7 ; MEM ; IF { CDR ; - DUP 7 ; + DUP 6 ; GET ; IF_NONE { NONE (pair (pair address nat) mutez) } { SOME } } { DROP ; NONE (pair (pair address nat) mutez) } ; IF_NONE - { PUSH mutez 0 ; DIG 5 ; CDR ; DUP 7 ; PAIR ; PAIR } - { DIG 5 ; + { PUSH mutez 0 ; DIG 4 ; CDR ; DUP 6 ; PAIR ; PAIR } + { DIG 4 ; CDR ; DUP 2 ; CAR ; @@ -372,8 +247,8 @@ DIG 2 ; UPDATE 2 ; UPDATE 1 } ; + DUP 6 ; DUP 7 ; - DUP 8 ; CDR ; DUP ; CDR ; @@ -385,19 +260,19 @@ CDR ; DUP ; CDR ; - DIG 8 ; + DIG 7 ; CDR ; CDR ; CDR ; DUP ; CAR ; - DUP 10 ; + DUP 9 ; MEM ; - IF { DUP ; CDR ; DIG 5 ; SOME ; DIG 9 ; UPDATE ; UPDATE 2 } + IF { DUP ; CDR ; DIG 5 ; SOME ; DIG 8 ; UPDATE ; UPDATE 2 } { DUP ; DUP 2 ; CAR ; - DUP 11 ; + DUP 10 ; PUSH bool True ; SWAP ; UPDATE ; @@ -405,7 +280,7 @@ SWAP ; CDR ; DIG 5 ; - DIG 9 ; + DIG 8 ; SWAP ; SOME ; SWAP ; @@ -422,7 +297,7 @@ UPDATE 1 ; UPDATE 1 ; UPDATE 2 } ; - SWAP ; + NIL operation ; DIG 2 ; CONS } { DUP 2 ; diff --git a/batcher/michelson/eurl-vault-ghostnet.tz b/batcher/michelson/eurl-vault-ghostnet.tz index 488c5eaf..a50c4fb6 100644 --- a/batcher/michelson/eurl-vault-ghostnet.tz +++ b/batcher/michelson/eurl-vault-ghostnet.tz @@ -162,138 +162,13 @@ CONS ; TRANSFER_TOKENS } { DROP 2 ; PUSH nat 108 ; FAILWITH } } } } ; - SELF_ADDRESS ; - DUP 5 ; - CDR ; - CAR ; - CAR ; - CAR ; - DUP ; - GET 5 ; - IF_NONE { PUSH nat 101 ; FAILWITH } {} ; - DUP 2 ; - GET 8 ; - IF_NONE { PUSH nat 108 ; FAILWITH } {} ; - PUSH string "FA2 standard" ; - DUP 2 ; - COMPARE ; - EQ ; - IF { DIG 2 ; - DROP 2 ; - DUP 2 ; - CONTRACT %balance_response_fa12 nat ; - SWAP ; - CONTRACT %getbalance (pair (contract %callback nat) (address %owner)) ; - SWAP ; - IF_NONE - { DROP ; PUSH nat 169 ; FAILWITH } - { SWAP ; - IF_NONE - { DROP ; PUSH nat 170 ; FAILWITH } - { PUSH mutez 0 ; DUP 4 ; DIG 3 ; PAIR ; TRANSFER_TOKENS } } } - { PUSH string "FA1.2 standard" ; - SWAP ; - COMPARE ; - EQ ; - IF { DUP 3 ; - CONTRACT %balance_response_fa2 - (list (pair (nat %balance) (pair %request (address %owner) (nat %token_id)))) ; - SWAP ; - CONTRACT %balance_of - (pair (contract %callback - (list (pair (nat %balance) (pair %request (address %owner) (nat %token_id))))) - (list %requests (pair (address %owner) (nat %token_id)))) ; - SWAP ; - IF_NONE - { DROP 2 ; PUSH nat 169 ; FAILWITH } - { SWAP ; - IF_NONE - { DROP 2 ; PUSH nat 170 ; FAILWITH } - { PUSH mutez 0 ; - NIL (pair address nat) ; - DIG 4 ; - CAR ; - DUP 6 ; - PAIR ; - CONS ; - DIG 3 ; - PAIR ; - TRANSFER_TOKENS } } } - { DROP 2 ; PUSH nat 108 ; FAILWITH } } ; - NIL operation ; - SWAP ; - CONS ; - DUP 6 ; - CAR ; - CDR ; - CAR ; - ITER { CDR ; - SWAP ; - DUP 2 ; - CAR ; - GET 5 ; - IF_NONE { PUSH nat 101 ; FAILWITH } {} ; - DUP 3 ; - CAR ; - GET 8 ; - IF_NONE { PUSH nat 108 ; FAILWITH } {} ; - PUSH string "FA2 standard" ; - DUP 2 ; - COMPARE ; - EQ ; - IF { DIG 3 ; - DROP 2 ; - DUP 3 ; - CONTRACT %balance_response_fa12 nat ; - SWAP ; - CONTRACT %getbalance (pair (contract %callback nat) (address %owner)) ; - SWAP ; - IF_NONE - { DROP ; PUSH nat 169 ; FAILWITH } - { SWAP ; - IF_NONE - { DROP ; PUSH nat 170 ; FAILWITH } - { PUSH mutez 0 ; DUP 5 ; DIG 3 ; PAIR ; TRANSFER_TOKENS } } } - { PUSH string "FA1.2 standard" ; - SWAP ; - COMPARE ; - EQ ; - IF { DUP 4 ; - CONTRACT %balance_response_fa2 - (list (pair (nat %balance) (pair %request (address %owner) (nat %token_id)))) ; - SWAP ; - CONTRACT %balance_of - (pair (contract %callback - (list (pair (nat %balance) (pair %request (address %owner) (nat %token_id))))) - (list %requests (pair (address %owner) (nat %token_id)))) ; - SWAP ; - IF_NONE - { DIG 2 ; DROP 2 ; PUSH nat 169 ; FAILWITH } - { SWAP ; - IF_NONE - { DIG 2 ; DROP 2 ; PUSH nat 170 ; FAILWITH } - { PUSH mutez 0 ; - NIL (pair address nat) ; - DIG 5 ; - CAR ; - CAR ; - DUP 7 ; - PAIR ; - CONS ; - DIG 3 ; - PAIR ; - TRANSFER_TOKENS } } } - { DIG 2 ; DROP 2 ; PUSH nat 108 ; FAILWITH } } ; - CONS } ; - SWAP ; - DROP ; - DUP 5 ; + DUP 4 ; CDR ; CAR ; CAR ; DUP ; CAR ; - DUP 5 ; + DUP 4 ; CAR ; DUP 2 ; GET 8 ; @@ -330,37 +205,37 @@ AND ; AND ; NOT ; - IF { DIG 3 ; DIG 4 ; DIG 5 ; DROP 4 ; PUSH nat 115 ; FAILWITH } - { DUP 4 ; + IF { DIG 2 ; DIG 3 ; DIG 4 ; DROP 4 ; PUSH nat 115 ; FAILWITH } + { DUP 3 ; CDR ; - DUP 7 ; + DUP 6 ; CDR ; CDR ; CAR ; ADD ; DUP 2 ; - DUP 6 ; + DUP 5 ; CDR ; DIG 3 ; CDR ; ADD ; UPDATE 2 ; - DUP 7 ; + DUP 6 ; CDR ; CDR ; CDR ; DUP ; CAR ; - DUP 8 ; + DUP 7 ; MEM ; IF { CDR ; - DUP 7 ; + DUP 6 ; GET ; IF_NONE { NONE (pair (pair address nat) mutez) } { SOME } } { DROP ; NONE (pair (pair address nat) mutez) } ; IF_NONE - { PUSH mutez 0 ; DIG 5 ; CDR ; DUP 7 ; PAIR ; PAIR } - { DIG 5 ; + { PUSH mutez 0 ; DIG 4 ; CDR ; DUP 6 ; PAIR ; PAIR } + { DIG 4 ; CDR ; DUP 2 ; CAR ; @@ -372,8 +247,8 @@ DIG 2 ; UPDATE 2 ; UPDATE 1 } ; + DUP 6 ; DUP 7 ; - DUP 8 ; CDR ; DUP ; CDR ; @@ -385,19 +260,19 @@ CDR ; DUP ; CDR ; - DIG 8 ; + DIG 7 ; CDR ; CDR ; CDR ; DUP ; CAR ; - DUP 10 ; + DUP 9 ; MEM ; - IF { DUP ; CDR ; DIG 5 ; SOME ; DIG 9 ; UPDATE ; UPDATE 2 } + IF { DUP ; CDR ; DIG 5 ; SOME ; DIG 8 ; UPDATE ; UPDATE 2 } { DUP ; DUP 2 ; CAR ; - DUP 11 ; + DUP 10 ; PUSH bool True ; SWAP ; UPDATE ; @@ -405,7 +280,7 @@ SWAP ; CDR ; DIG 5 ; - DIG 9 ; + DIG 8 ; SWAP ; SOME ; SWAP ; @@ -422,7 +297,7 @@ UPDATE 1 ; UPDATE 1 ; UPDATE 2 } ; - SWAP ; + NIL operation ; DIG 2 ; CONS } { DUP 2 ; diff --git a/batcher/michelson/tzbtc-vault-ghostnet.tz b/batcher/michelson/tzbtc-vault-ghostnet.tz index 488c5eaf..a50c4fb6 100644 --- a/batcher/michelson/tzbtc-vault-ghostnet.tz +++ b/batcher/michelson/tzbtc-vault-ghostnet.tz @@ -162,138 +162,13 @@ CONS ; TRANSFER_TOKENS } { DROP 2 ; PUSH nat 108 ; FAILWITH } } } } ; - SELF_ADDRESS ; - DUP 5 ; - CDR ; - CAR ; - CAR ; - CAR ; - DUP ; - GET 5 ; - IF_NONE { PUSH nat 101 ; FAILWITH } {} ; - DUP 2 ; - GET 8 ; - IF_NONE { PUSH nat 108 ; FAILWITH } {} ; - PUSH string "FA2 standard" ; - DUP 2 ; - COMPARE ; - EQ ; - IF { DIG 2 ; - DROP 2 ; - DUP 2 ; - CONTRACT %balance_response_fa12 nat ; - SWAP ; - CONTRACT %getbalance (pair (contract %callback nat) (address %owner)) ; - SWAP ; - IF_NONE - { DROP ; PUSH nat 169 ; FAILWITH } - { SWAP ; - IF_NONE - { DROP ; PUSH nat 170 ; FAILWITH } - { PUSH mutez 0 ; DUP 4 ; DIG 3 ; PAIR ; TRANSFER_TOKENS } } } - { PUSH string "FA1.2 standard" ; - SWAP ; - COMPARE ; - EQ ; - IF { DUP 3 ; - CONTRACT %balance_response_fa2 - (list (pair (nat %balance) (pair %request (address %owner) (nat %token_id)))) ; - SWAP ; - CONTRACT %balance_of - (pair (contract %callback - (list (pair (nat %balance) (pair %request (address %owner) (nat %token_id))))) - (list %requests (pair (address %owner) (nat %token_id)))) ; - SWAP ; - IF_NONE - { DROP 2 ; PUSH nat 169 ; FAILWITH } - { SWAP ; - IF_NONE - { DROP 2 ; PUSH nat 170 ; FAILWITH } - { PUSH mutez 0 ; - NIL (pair address nat) ; - DIG 4 ; - CAR ; - DUP 6 ; - PAIR ; - CONS ; - DIG 3 ; - PAIR ; - TRANSFER_TOKENS } } } - { DROP 2 ; PUSH nat 108 ; FAILWITH } } ; - NIL operation ; - SWAP ; - CONS ; - DUP 6 ; - CAR ; - CDR ; - CAR ; - ITER { CDR ; - SWAP ; - DUP 2 ; - CAR ; - GET 5 ; - IF_NONE { PUSH nat 101 ; FAILWITH } {} ; - DUP 3 ; - CAR ; - GET 8 ; - IF_NONE { PUSH nat 108 ; FAILWITH } {} ; - PUSH string "FA2 standard" ; - DUP 2 ; - COMPARE ; - EQ ; - IF { DIG 3 ; - DROP 2 ; - DUP 3 ; - CONTRACT %balance_response_fa12 nat ; - SWAP ; - CONTRACT %getbalance (pair (contract %callback nat) (address %owner)) ; - SWAP ; - IF_NONE - { DROP ; PUSH nat 169 ; FAILWITH } - { SWAP ; - IF_NONE - { DROP ; PUSH nat 170 ; FAILWITH } - { PUSH mutez 0 ; DUP 5 ; DIG 3 ; PAIR ; TRANSFER_TOKENS } } } - { PUSH string "FA1.2 standard" ; - SWAP ; - COMPARE ; - EQ ; - IF { DUP 4 ; - CONTRACT %balance_response_fa2 - (list (pair (nat %balance) (pair %request (address %owner) (nat %token_id)))) ; - SWAP ; - CONTRACT %balance_of - (pair (contract %callback - (list (pair (nat %balance) (pair %request (address %owner) (nat %token_id))))) - (list %requests (pair (address %owner) (nat %token_id)))) ; - SWAP ; - IF_NONE - { DIG 2 ; DROP 2 ; PUSH nat 169 ; FAILWITH } - { SWAP ; - IF_NONE - { DIG 2 ; DROP 2 ; PUSH nat 170 ; FAILWITH } - { PUSH mutez 0 ; - NIL (pair address nat) ; - DIG 5 ; - CAR ; - CAR ; - DUP 7 ; - PAIR ; - CONS ; - DIG 3 ; - PAIR ; - TRANSFER_TOKENS } } } - { DIG 2 ; DROP 2 ; PUSH nat 108 ; FAILWITH } } ; - CONS } ; - SWAP ; - DROP ; - DUP 5 ; + DUP 4 ; CDR ; CAR ; CAR ; DUP ; CAR ; - DUP 5 ; + DUP 4 ; CAR ; DUP 2 ; GET 8 ; @@ -330,37 +205,37 @@ AND ; AND ; NOT ; - IF { DIG 3 ; DIG 4 ; DIG 5 ; DROP 4 ; PUSH nat 115 ; FAILWITH } - { DUP 4 ; + IF { DIG 2 ; DIG 3 ; DIG 4 ; DROP 4 ; PUSH nat 115 ; FAILWITH } + { DUP 3 ; CDR ; - DUP 7 ; + DUP 6 ; CDR ; CDR ; CAR ; ADD ; DUP 2 ; - DUP 6 ; + DUP 5 ; CDR ; DIG 3 ; CDR ; ADD ; UPDATE 2 ; - DUP 7 ; + DUP 6 ; CDR ; CDR ; CDR ; DUP ; CAR ; - DUP 8 ; + DUP 7 ; MEM ; IF { CDR ; - DUP 7 ; + DUP 6 ; GET ; IF_NONE { NONE (pair (pair address nat) mutez) } { SOME } } { DROP ; NONE (pair (pair address nat) mutez) } ; IF_NONE - { PUSH mutez 0 ; DIG 5 ; CDR ; DUP 7 ; PAIR ; PAIR } - { DIG 5 ; + { PUSH mutez 0 ; DIG 4 ; CDR ; DUP 6 ; PAIR ; PAIR } + { DIG 4 ; CDR ; DUP 2 ; CAR ; @@ -372,8 +247,8 @@ DIG 2 ; UPDATE 2 ; UPDATE 1 } ; + DUP 6 ; DUP 7 ; - DUP 8 ; CDR ; DUP ; CDR ; @@ -385,19 +260,19 @@ CDR ; DUP ; CDR ; - DIG 8 ; + DIG 7 ; CDR ; CDR ; CDR ; DUP ; CAR ; - DUP 10 ; + DUP 9 ; MEM ; - IF { DUP ; CDR ; DIG 5 ; SOME ; DIG 9 ; UPDATE ; UPDATE 2 } + IF { DUP ; CDR ; DIG 5 ; SOME ; DIG 8 ; UPDATE ; UPDATE 2 } { DUP ; DUP 2 ; CAR ; - DUP 11 ; + DUP 10 ; PUSH bool True ; SWAP ; UPDATE ; @@ -405,7 +280,7 @@ SWAP ; CDR ; DIG 5 ; - DIG 9 ; + DIG 8 ; SWAP ; SOME ; SWAP ; @@ -422,7 +297,7 @@ UPDATE 1 ; UPDATE 1 ; UPDATE 2 } ; - SWAP ; + NIL operation ; DIG 2 ; CONS } { DUP 2 ; diff --git a/batcher/michelson/usdt-vault-ghostnet.tz b/batcher/michelson/usdt-vault-ghostnet.tz index 488c5eaf..a50c4fb6 100644 --- a/batcher/michelson/usdt-vault-ghostnet.tz +++ b/batcher/michelson/usdt-vault-ghostnet.tz @@ -162,138 +162,13 @@ CONS ; TRANSFER_TOKENS } { DROP 2 ; PUSH nat 108 ; FAILWITH } } } } ; - SELF_ADDRESS ; - DUP 5 ; - CDR ; - CAR ; - CAR ; - CAR ; - DUP ; - GET 5 ; - IF_NONE { PUSH nat 101 ; FAILWITH } {} ; - DUP 2 ; - GET 8 ; - IF_NONE { PUSH nat 108 ; FAILWITH } {} ; - PUSH string "FA2 standard" ; - DUP 2 ; - COMPARE ; - EQ ; - IF { DIG 2 ; - DROP 2 ; - DUP 2 ; - CONTRACT %balance_response_fa12 nat ; - SWAP ; - CONTRACT %getbalance (pair (contract %callback nat) (address %owner)) ; - SWAP ; - IF_NONE - { DROP ; PUSH nat 169 ; FAILWITH } - { SWAP ; - IF_NONE - { DROP ; PUSH nat 170 ; FAILWITH } - { PUSH mutez 0 ; DUP 4 ; DIG 3 ; PAIR ; TRANSFER_TOKENS } } } - { PUSH string "FA1.2 standard" ; - SWAP ; - COMPARE ; - EQ ; - IF { DUP 3 ; - CONTRACT %balance_response_fa2 - (list (pair (nat %balance) (pair %request (address %owner) (nat %token_id)))) ; - SWAP ; - CONTRACT %balance_of - (pair (contract %callback - (list (pair (nat %balance) (pair %request (address %owner) (nat %token_id))))) - (list %requests (pair (address %owner) (nat %token_id)))) ; - SWAP ; - IF_NONE - { DROP 2 ; PUSH nat 169 ; FAILWITH } - { SWAP ; - IF_NONE - { DROP 2 ; PUSH nat 170 ; FAILWITH } - { PUSH mutez 0 ; - NIL (pair address nat) ; - DIG 4 ; - CAR ; - DUP 6 ; - PAIR ; - CONS ; - DIG 3 ; - PAIR ; - TRANSFER_TOKENS } } } - { DROP 2 ; PUSH nat 108 ; FAILWITH } } ; - NIL operation ; - SWAP ; - CONS ; - DUP 6 ; - CAR ; - CDR ; - CAR ; - ITER { CDR ; - SWAP ; - DUP 2 ; - CAR ; - GET 5 ; - IF_NONE { PUSH nat 101 ; FAILWITH } {} ; - DUP 3 ; - CAR ; - GET 8 ; - IF_NONE { PUSH nat 108 ; FAILWITH } {} ; - PUSH string "FA2 standard" ; - DUP 2 ; - COMPARE ; - EQ ; - IF { DIG 3 ; - DROP 2 ; - DUP 3 ; - CONTRACT %balance_response_fa12 nat ; - SWAP ; - CONTRACT %getbalance (pair (contract %callback nat) (address %owner)) ; - SWAP ; - IF_NONE - { DROP ; PUSH nat 169 ; FAILWITH } - { SWAP ; - IF_NONE - { DROP ; PUSH nat 170 ; FAILWITH } - { PUSH mutez 0 ; DUP 5 ; DIG 3 ; PAIR ; TRANSFER_TOKENS } } } - { PUSH string "FA1.2 standard" ; - SWAP ; - COMPARE ; - EQ ; - IF { DUP 4 ; - CONTRACT %balance_response_fa2 - (list (pair (nat %balance) (pair %request (address %owner) (nat %token_id)))) ; - SWAP ; - CONTRACT %balance_of - (pair (contract %callback - (list (pair (nat %balance) (pair %request (address %owner) (nat %token_id))))) - (list %requests (pair (address %owner) (nat %token_id)))) ; - SWAP ; - IF_NONE - { DIG 2 ; DROP 2 ; PUSH nat 169 ; FAILWITH } - { SWAP ; - IF_NONE - { DIG 2 ; DROP 2 ; PUSH nat 170 ; FAILWITH } - { PUSH mutez 0 ; - NIL (pair address nat) ; - DIG 5 ; - CAR ; - CAR ; - DUP 7 ; - PAIR ; - CONS ; - DIG 3 ; - PAIR ; - TRANSFER_TOKENS } } } - { DIG 2 ; DROP 2 ; PUSH nat 108 ; FAILWITH } } ; - CONS } ; - SWAP ; - DROP ; - DUP 5 ; + DUP 4 ; CDR ; CAR ; CAR ; DUP ; CAR ; - DUP 5 ; + DUP 4 ; CAR ; DUP 2 ; GET 8 ; @@ -330,37 +205,37 @@ AND ; AND ; NOT ; - IF { DIG 3 ; DIG 4 ; DIG 5 ; DROP 4 ; PUSH nat 115 ; FAILWITH } - { DUP 4 ; + IF { DIG 2 ; DIG 3 ; DIG 4 ; DROP 4 ; PUSH nat 115 ; FAILWITH } + { DUP 3 ; CDR ; - DUP 7 ; + DUP 6 ; CDR ; CDR ; CAR ; ADD ; DUP 2 ; - DUP 6 ; + DUP 5 ; CDR ; DIG 3 ; CDR ; ADD ; UPDATE 2 ; - DUP 7 ; + DUP 6 ; CDR ; CDR ; CDR ; DUP ; CAR ; - DUP 8 ; + DUP 7 ; MEM ; IF { CDR ; - DUP 7 ; + DUP 6 ; GET ; IF_NONE { NONE (pair (pair address nat) mutez) } { SOME } } { DROP ; NONE (pair (pair address nat) mutez) } ; IF_NONE - { PUSH mutez 0 ; DIG 5 ; CDR ; DUP 7 ; PAIR ; PAIR } - { DIG 5 ; + { PUSH mutez 0 ; DIG 4 ; CDR ; DUP 6 ; PAIR ; PAIR } + { DIG 4 ; CDR ; DUP 2 ; CAR ; @@ -372,8 +247,8 @@ DIG 2 ; UPDATE 2 ; UPDATE 1 } ; + DUP 6 ; DUP 7 ; - DUP 8 ; CDR ; DUP ; CDR ; @@ -385,19 +260,19 @@ CDR ; DUP ; CDR ; - DIG 8 ; + DIG 7 ; CDR ; CDR ; CDR ; DUP ; CAR ; - DUP 10 ; + DUP 9 ; MEM ; - IF { DUP ; CDR ; DIG 5 ; SOME ; DIG 9 ; UPDATE ; UPDATE 2 } + IF { DUP ; CDR ; DIG 5 ; SOME ; DIG 8 ; UPDATE ; UPDATE 2 } { DUP ; DUP 2 ; CAR ; - DUP 11 ; + DUP 10 ; PUSH bool True ; SWAP ; UPDATE ; @@ -405,7 +280,7 @@ SWAP ; CDR ; DIG 5 ; - DIG 9 ; + DIG 8 ; SWAP ; SOME ; SWAP ; @@ -422,7 +297,7 @@ UPDATE 1 ; UPDATE 1 ; UPDATE 2 } ; - SWAP ; + NIL operation ; DIG 2 ; CONS } { DUP 2 ; diff --git a/batcher/michelson/usdtz-vault-ghostnet.tz b/batcher/michelson/usdtz-vault-ghostnet.tz index 488c5eaf..a50c4fb6 100644 --- a/batcher/michelson/usdtz-vault-ghostnet.tz +++ b/batcher/michelson/usdtz-vault-ghostnet.tz @@ -162,138 +162,13 @@ CONS ; TRANSFER_TOKENS } { DROP 2 ; PUSH nat 108 ; FAILWITH } } } } ; - SELF_ADDRESS ; - DUP 5 ; - CDR ; - CAR ; - CAR ; - CAR ; - DUP ; - GET 5 ; - IF_NONE { PUSH nat 101 ; FAILWITH } {} ; - DUP 2 ; - GET 8 ; - IF_NONE { PUSH nat 108 ; FAILWITH } {} ; - PUSH string "FA2 standard" ; - DUP 2 ; - COMPARE ; - EQ ; - IF { DIG 2 ; - DROP 2 ; - DUP 2 ; - CONTRACT %balance_response_fa12 nat ; - SWAP ; - CONTRACT %getbalance (pair (contract %callback nat) (address %owner)) ; - SWAP ; - IF_NONE - { DROP ; PUSH nat 169 ; FAILWITH } - { SWAP ; - IF_NONE - { DROP ; PUSH nat 170 ; FAILWITH } - { PUSH mutez 0 ; DUP 4 ; DIG 3 ; PAIR ; TRANSFER_TOKENS } } } - { PUSH string "FA1.2 standard" ; - SWAP ; - COMPARE ; - EQ ; - IF { DUP 3 ; - CONTRACT %balance_response_fa2 - (list (pair (nat %balance) (pair %request (address %owner) (nat %token_id)))) ; - SWAP ; - CONTRACT %balance_of - (pair (contract %callback - (list (pair (nat %balance) (pair %request (address %owner) (nat %token_id))))) - (list %requests (pair (address %owner) (nat %token_id)))) ; - SWAP ; - IF_NONE - { DROP 2 ; PUSH nat 169 ; FAILWITH } - { SWAP ; - IF_NONE - { DROP 2 ; PUSH nat 170 ; FAILWITH } - { PUSH mutez 0 ; - NIL (pair address nat) ; - DIG 4 ; - CAR ; - DUP 6 ; - PAIR ; - CONS ; - DIG 3 ; - PAIR ; - TRANSFER_TOKENS } } } - { DROP 2 ; PUSH nat 108 ; FAILWITH } } ; - NIL operation ; - SWAP ; - CONS ; - DUP 6 ; - CAR ; - CDR ; - CAR ; - ITER { CDR ; - SWAP ; - DUP 2 ; - CAR ; - GET 5 ; - IF_NONE { PUSH nat 101 ; FAILWITH } {} ; - DUP 3 ; - CAR ; - GET 8 ; - IF_NONE { PUSH nat 108 ; FAILWITH } {} ; - PUSH string "FA2 standard" ; - DUP 2 ; - COMPARE ; - EQ ; - IF { DIG 3 ; - DROP 2 ; - DUP 3 ; - CONTRACT %balance_response_fa12 nat ; - SWAP ; - CONTRACT %getbalance (pair (contract %callback nat) (address %owner)) ; - SWAP ; - IF_NONE - { DROP ; PUSH nat 169 ; FAILWITH } - { SWAP ; - IF_NONE - { DROP ; PUSH nat 170 ; FAILWITH } - { PUSH mutez 0 ; DUP 5 ; DIG 3 ; PAIR ; TRANSFER_TOKENS } } } - { PUSH string "FA1.2 standard" ; - SWAP ; - COMPARE ; - EQ ; - IF { DUP 4 ; - CONTRACT %balance_response_fa2 - (list (pair (nat %balance) (pair %request (address %owner) (nat %token_id)))) ; - SWAP ; - CONTRACT %balance_of - (pair (contract %callback - (list (pair (nat %balance) (pair %request (address %owner) (nat %token_id))))) - (list %requests (pair (address %owner) (nat %token_id)))) ; - SWAP ; - IF_NONE - { DIG 2 ; DROP 2 ; PUSH nat 169 ; FAILWITH } - { SWAP ; - IF_NONE - { DIG 2 ; DROP 2 ; PUSH nat 170 ; FAILWITH } - { PUSH mutez 0 ; - NIL (pair address nat) ; - DIG 5 ; - CAR ; - CAR ; - DUP 7 ; - PAIR ; - CONS ; - DIG 3 ; - PAIR ; - TRANSFER_TOKENS } } } - { DIG 2 ; DROP 2 ; PUSH nat 108 ; FAILWITH } } ; - CONS } ; - SWAP ; - DROP ; - DUP 5 ; + DUP 4 ; CDR ; CAR ; CAR ; DUP ; CAR ; - DUP 5 ; + DUP 4 ; CAR ; DUP 2 ; GET 8 ; @@ -330,37 +205,37 @@ AND ; AND ; NOT ; - IF { DIG 3 ; DIG 4 ; DIG 5 ; DROP 4 ; PUSH nat 115 ; FAILWITH } - { DUP 4 ; + IF { DIG 2 ; DIG 3 ; DIG 4 ; DROP 4 ; PUSH nat 115 ; FAILWITH } + { DUP 3 ; CDR ; - DUP 7 ; + DUP 6 ; CDR ; CDR ; CAR ; ADD ; DUP 2 ; - DUP 6 ; + DUP 5 ; CDR ; DIG 3 ; CDR ; ADD ; UPDATE 2 ; - DUP 7 ; + DUP 6 ; CDR ; CDR ; CDR ; DUP ; CAR ; - DUP 8 ; + DUP 7 ; MEM ; IF { CDR ; - DUP 7 ; + DUP 6 ; GET ; IF_NONE { NONE (pair (pair address nat) mutez) } { SOME } } { DROP ; NONE (pair (pair address nat) mutez) } ; IF_NONE - { PUSH mutez 0 ; DIG 5 ; CDR ; DUP 7 ; PAIR ; PAIR } - { DIG 5 ; + { PUSH mutez 0 ; DIG 4 ; CDR ; DUP 6 ; PAIR ; PAIR } + { DIG 4 ; CDR ; DUP 2 ; CAR ; @@ -372,8 +247,8 @@ DIG 2 ; UPDATE 2 ; UPDATE 1 } ; + DUP 6 ; DUP 7 ; - DUP 8 ; CDR ; DUP ; CDR ; @@ -385,19 +260,19 @@ CDR ; DUP ; CDR ; - DIG 8 ; + DIG 7 ; CDR ; CDR ; CDR ; DUP ; CAR ; - DUP 10 ; + DUP 9 ; MEM ; - IF { DUP ; CDR ; DIG 5 ; SOME ; DIG 9 ; UPDATE ; UPDATE 2 } + IF { DUP ; CDR ; DIG 5 ; SOME ; DIG 8 ; UPDATE ; UPDATE 2 } { DUP ; DUP 2 ; CAR ; - DUP 11 ; + DUP 10 ; PUSH bool True ; SWAP ; UPDATE ; @@ -405,7 +280,7 @@ SWAP ; CDR ; DIG 5 ; - DIG 9 ; + DIG 8 ; SWAP ; SOME ; SWAP ; @@ -422,7 +297,7 @@ UPDATE 1 ; UPDATE 1 ; UPDATE 2 } ; - SWAP ; + NIL operation ; DIG 2 ; CONS } { DUP 2 ; diff --git a/batcher/utils.mligo b/batcher/utils.mligo index 6829988f..144d5aea 100644 --- a/batcher/utils.mligo +++ b/batcher/utils.mligo @@ -319,8 +319,8 @@ let assert_some_or_fail_with (an_opt: a option) (error: nat) : a = match an_opt with - | None -> failwith error | Some v -> v + | None -> failwith error let assert_or_fail_with (predicate: bool) diff --git a/batcher/vault.mligo b/batcher/vault.mligo index 05d79c27..e362fc05 100644 --- a/batcher/vault.mligo +++ b/batcher/vault.mligo @@ -43,11 +43,12 @@ let assert_balances let deposit (deposit_address : address) (deposited_token : token_amount) - (storage:storage): operation list = + (_storage:storage): operation list = let treasury_vault = get_vault () in let deposit_op = Treasury_Utils.handle_transfer deposit_address treasury_vault deposited_token in - let bal_ops = assert_balances storage in - deposit_op :: bal_ops + [ deposit_op ] + (* let bal_ops = assert_balances storage in + deposit_op :: bal_ops *) [@inline] let find_liquidity_amount