Создание и использование

Прежде чем продолжить, убедитесь, что вы уже выполнили все шаги по настройке.

Чтобы увидеть список поддерживаемых контрактов и действий, выполните команду: lorentz-contract-multisig --help

Создание кода контракта Transferlist

Автономный Transferlist контракт

Пример начального хранилища:

$ lorentz-contract-transferlist Transferlist init --issuer "\"$FRED_ADDRESS\"" \
  --transferlists "[]" \
  --users "[]" \
  --admin "\"$FRED_ADDRESS\"" \
  --initialStorageType 'address'

Pair (Pair "tz1RwoEdg4efDQHarsw6aKtMUYvg278Gv1ir" { }) (Pair { } "tz1RwoEdg4efDQHarsw6aKtMUYvg278Gv1ir")

Чтобы создать контракт:

$ tezos-client --wait none originate contract Transferlist \
  transferring 0 from $FRED_ADDRESS running \
  "$(cat contracts/address_transferlist.tz)" \
  --init "$(lorentz-contract-transferlist Transferlist init --issuer "\"$FRED_ADDRESS\"" \
  --transferlists "[]" \
  --users "[]" \
  --admin "\"$FRED_ADDRESS\"" \
  --initialStorageType 'address')" --burn-cap 2.937

Waiting for the node to be bootstrapped before injection...
Current head: BLhwwjTTonUC (timestamp: 2020-07-09T19:24:06-00:00, validation: 2020-07-09T19:24:38-00:00)
Node is bootstrapped, ready for injecting operations.
Estimated gas: 77713 units (will add 100 for safety)
Estimated storage: 2937 bytes added (will add 20 for safety)
Operation successfully injected in the node.
Operation hash is 'ooMkQ2WYZhM9FRTSmg1ijJ5PT4DChzZA8rjPsroM1MR4YjsXxdG'
NOT waiting for the operation to be included.
Use command
  tezos-client wait for ooMkQ2WYZhM9FRTSmg1ijJ5PT4DChzZA8rjPsroM1MR4YjsXxdG to be included --confirmations 30 --branch BKk5pbbgmu4ZnA7NjcSwsZF66h66dc287WQFtRz8fM2NZLfLY75
and/or an external block explorer to make sure that it has been included.
This sequence of operations was run:
  Manager signed operations:
    From: tz1RwoEdg4efDQHarsw6aKtMUYvg278Gv1ir
    Fee to the baker: ꜩ0.010656
    Expected counter: 623955
    Gas limit: 77813
    Storage limit: 2957 bytes
    Balance updates:
      tz1RwoEdg4efDQHarsw6aKtMUYvg278Gv1ir ............. -ꜩ0.010656
      fees(tz1Ke2h7sDdakHJQh8WX4Z372du1KChsksyU,270) ... +ꜩ0.010656
    Origination:
      From: tz1RwoEdg4efDQHarsw6aKtMUYvg278Gv1ir
      Credit: ꜩ0
      Script:
        { ... }
        Initial storage:
          (Pair (Pair "tz1RwoEdg4efDQHarsw6aKtMUYvg278Gv1ir" {})
                (Pair {} "tz1RwoEdg4efDQHarsw6aKtMUYvg278Gv1ir"))
        No delegate for this contract
        This origination was successfully applied
        Originated contracts:
          KT1FHaNcQwQt6Ug92iKuFjFs31bQTSDU92Fi
        Storage size: 2680 bytes
        Updated big_maps:
          New map(9382) of type (big_map nat (pair bool (set nat)))
          New map(9381) of type (big_map address nat)
        Paid storage size diff: 2680 bytes
        Consumed gas: 77713
        Balance updates:
          tz1RwoEdg4efDQHarsw6aKtMUYvg278Gv1ir ... -ꜩ2.68
          tz1RwoEdg4efDQHarsw6aKtMUYvg278Gv1ir ... -ꜩ0.257

New contract KT1FHaNcQwQt6Ug92iKuFjFs31bQTSDU92Fi originated.
Contract memorized as Transferlist.
$ TRANSFERLIST_ADDRESS="KT1FHaNcQwQt6Ug92iKuFjFs31bQTSDU92Fi"

Наполнение контракта

Давайте заполним договор пользователями и трансфер-листами.

Добавление пользователей

Чтобы сгенерировать параметр для добавления $ALICE_ADDRESS в список передачи 0:

$ lorentz-contract-transferlist Transferlist UpdateUser \
  --newUser "\"$ALICE_ADDRESS\"" --newUserType 'address' \
  --newUserTransferlistId 0

Right (Right (Left (Left (Right (Pair "tz1R3vJ5TV8Y5pVj8dicBR23Zv8JArusDkYr" (Some 0))))))

Мы можем отправить параметр следующим кодом:

$ tezos-client --wait none transfer 0 from $FRED_ADDRESS to $TRANSFERLIST_ADDRESS \
  --arg "$(lorentz-contract-transferlist Transferlist UpdateUser \
  --newUser "\"$ALICE_ADDRESS\"" --newUserType 'address' \
  --newUserTransferlistId 0)"

Поскольку мы будем добавлять четырех пользователей, вот удобный способ добавить пользователя:

$ transferlist_add_user(){ tezos-client --wait none transfer 0 from $FRED_ADDRESS to $TRANSFERLIST_ADDRESS \
  --arg "$(lorentz-contract-transferlist Transferlist UpdateUser \
  --newUser "\"$1\"" --newUserType 'address' \
  --newUserTransferlistId "$2")" --burn-cap 1.0 }

Добавление трансфер-листов

Чтобы сгенерировать параметр для добавления трансфер-листа:

  • transferlistId: 0

  • Это может перенести в трансфер-листы 0, 2

  • unrestricted

$ lorentz-contract-transferlist Transferlist \
  SetTransferlistOutbound --transferlistId 0 --outboundTransferlist "[0,2]"

Right (Right (Left (Right (Left (Pair 0 (Some (Pair True { 0; 2 })))))))

Как и в случае с пользователями, вот удобный способ добавить трансфер-лист:

$ add_transferlist(){ tezos-client --wait none transfer 0 from $FRED_ADDRESS to $TRANSFERLIST_ADDRESS \
  --arg "$(lorentz-contract-transferlist Transferlist \
  SetTransferlistOutbound --transferlistId "$1" --outboundTransferlist "$2" $3)" --burn-cap 1.0 }

Пакетная установка

Пользователи и трансфер-листы могут быть добавлены в любом порядке.

Чтобы заполнить контракт используйте следующее:

Пользователи:

  • $ALICE_ADDRESS: 0

  • $BOB_ADDRESS: 0

  • $CHARLIE_ADDRESS: 1

  • $DAN_ADDRESS: 2

Трансфер-листы:

  • 0: (unrestricted: True, allowedTransferlists: {0, 2})

  • 1: (unrestricted: True, allowedTransferlists: {1})

  • 2: (unrestricted: False, allowedTransferlists: {1, 2})

Теперь можно выполнить:

transferlist_add_user $ALICE_ADDRESS 0
transferlist_add_user $BOB_ADDRESS 0
transferlist_add_user $CHARLIE_ADDRESS 1
transferlist_add_user $DAN_ADDRESS 2
add_transferlist 0 '[0,2]'
add_transferlist 1 '[1]'
add_transferlist 2 '[1,2]' --restricted

Вот ссылки на операции:

assertTransfers

Операция успешна тогда и только тогда, когда для каждого from из и связанных с ним to в списке выполняется одно из этих условий:

  • Оба

    • assertReceivers будут успешны для обоих from и to userId

    • transferlistId для to входит в set из набора трансфер-листов from разрешенных исходящих трансфер-листов

  • Оба:

    • assertReceivers будет успешно для to userId

    • from userId и есть issuer userId

Это эквивалентно следующему псевдокоду:

def assertTransfers(input_list):
  for from, tos in input_list:
    for to in tos:
      if from == issuer:
        assertReceivers [to]
      else:
        assertReceivers [from, to]
        users.get(to) in transferlists.get(users.get(from)).allowedTransferlists
(list %assertTransfers (pair (userId %from)
                             (list %tos userId)))

См. transfer FA2 для примера подобной пакетной точки входа.

Примеры

Используя предыдущую настройку, предположим, что был сделан следующий вызов assertTransfers:

assertTransfers 
  { Pair "$ALICE_ADDRESS" { "$BOB_ADDRESS", "$DAN_ADDRESS" }
  , Pair "$BOB_ADDRESS" { "$ALICE_ADDRESS" }
  , Pair "$CHARLIE_ADDRESS" { "$CHARLIE_ADDRESS", "$DAN_ADDRESS" }
  }
  • alice -> bob: alice и bob находятся в одном трансфер-листе (0),

    который содержит себя и свои allowedTransferlists а также имеет статус unrestricted,

    таким образом операция может успешно завершиться

  • alice -> dan: alice в трансфер-листе (0) который содержит dan transferlistId (2) в своём allowedTransferlists и имеет статус unrestricted, операция не пройдет, так как трансфер-лист для dan является restricted

  • bob -> alice: Операция успешно пройдет по той же логике, что и alice -> bob: они находятся в одномunrestricted трансфер-листе, который содержит свою собственную transferlistId в своем allowedTransferlists

  • charlie -> charlie: Операция будет успешна, поскольку трансфер-лист charlie unrestricted и содержит свою собственную transferlistId в своём allowedTransferlists

  • charlie -> dan: Операция не пройдёт, так как трансфер-лист для dan (2) является restricted

Таким образом, приведенный выше вызов assertTransfers завершится ошибкой.

Вот как его сгенерировать:

$ lorentz-contract-transferlist Transferlist AssertTransfers \
  --userType 'address' --list \
  "{ Pair \"$ALICE_ADDRESS\" { \"$BOB_ADDRESS\"; \"$DAN_ADDRESS\" }; \
  Pair \"$BOB_ADDRESS\" { \"$ALICE_ADDRESS\" }; \
  Pair \"$CHARLIE_ADDRESS\" { \"$CHARLIE_ADDRESS\"; \"$DAN_ADDRESS\" } }"

Left { Pair "tz1R3vJ5TV8Y5pVj8dicBR23Zv8JArusDkYr" { "tz1bDCu64RmcpWahdn9bWrDMi6cu7mXZynHm"; "tz1aHNfXQkBTKUDtkYrZ1iHhAoV3uZYgmkz1" }; Pair "tz1bDCu64RmcpWahdn9bWrDMi6cu7mXZynHm" { "tz1R3vJ5TV8Y5pVj8dicBR23Zv8JArusDkYr" }; Pair "tz1e95DfgHze6hszPbrkdWeVb4vPiDdJWBhF" { "tz1e95DfgHze6hszPbrkdWeVb4vPiDdJWBhF"; "tz1aHNfXQkBTKUDtkYrZ1iHhAoV3uZYgmkz1" } }

Чтобы отправить проверку assertTransfers:

$ tezos-client --wait none transfer 0 from $FRED_ADDRESS to $TRANSFERLIST_ADDRESS \
  --arg "$(lorentz-contract-transferlist Transferlist \
  AssertTransfers --userType 'address' --list \
  "{ Pair \"$ALICE_ADDRESS\" { \"$BOB_ADDRESS\"; \"$DAN_ADDRESS\" }; \
  Pair \"$BOB_ADDRESS\" { \"$ALICE_ADDRESS\" }; \
  Pair \"$CHARLIE_ADDRESS\" { \"$CHARLIE_ADDRESS\"; \"$DAN_ADDRESS\" } }")"

Waiting for the node to be bootstrapped before injection...
Current head: BLzZBqGJMh4E (timestamp: 2020-07-09T20:40:36-00:00, validation: 2020-07-09T20:41:01-00:00)
Node is bootstrapped, ready for injecting operations.
This simulation failed:
  Manager signed operations:
    From: tz1RwoEdg4efDQHarsw6aKtMUYvg278Gv1ir
    Fee to the baker: ꜩ0
    Expected counter: 623963
    Gas limit: 1040000
    Storage limit: 60000 bytes
    Transaction:
      Amount: ꜩ0
      From: tz1RwoEdg4efDQHarsw6aKtMUYvg278Gv1ir
      To: KT1FHaNcQwQt6Ug92iKuFjFs31bQTSDU92Fi
      Parameter: (Left { Pair "tz1R3vJ5TV8Y5pVj8dicBR23Zv8JArusDkYr"
                              { "tz1bDCu64RmcpWahdn9bWrDMi6cu7mXZynHm" ;
                                "tz1aHNfXQkBTKUDtkYrZ1iHhAoV3uZYgmkz1" } ;
                         Pair "tz1bDCu64RmcpWahdn9bWrDMi6cu7mXZynHm"
                              { "tz1R3vJ5TV8Y5pVj8dicBR23Zv8JArusDkYr" } ;
                         Pair "tz1e95DfgHze6hszPbrkdWeVb4vPiDdJWBhF"
                              { "tz1e95DfgHze6hszPbrkdWeVb4vPiDdJWBhF" ;
                                "tz1aHNfXQkBTKUDtkYrZ1iHhAoV3uZYgmkz1" } })
      This operation FAILED.

Runtime error in contract KT1FHaNcQwQt6Ug92iKuFjFs31bQTSDU92Fi:
  001: { parameter
  002:     (or (list %assertTransfers (pair address (list address)))
  ...
  070:                                                   IF {} { PUSH string "outbound not transferlisted" ; FAILWITH } } } ;
  ...
  271:          PAIR } }
At line 70 characters 102 to 110,
script reached FAILWITH instruction
with "outbound not transferlisted"
Fatal error:
  transfer simulation failed

Если мы удалим передачи, которые не могут быть завершены (подробнее см. TZIP-15), утверждение будет успешным:

$ tezos-client --wait none transfer 0 from $FRED_ADDRESS to $TRANSFERLIST_ADDRESS \
  --arg "$(lorentz-contract-transferlist Transferlist \
  AssertTransfers --userType 'address' --list \
  "{ Pair \"$ALICE_ADDRESS\" { \"$BOB_ADDRESS\" }; \
  Pair \"$BOB_ADDRESS\" { \"$ALICE_ADDRESS\" }; \
  Pair \"$CHARLIE_ADDRESS\" { \"$CHARLIE_ADDRESS\" } }")" --burn-cap 0.000001

Waiting for the node to be bootstrapped before injection...
Current head: BLjCwGGsznH8 (timestamp: 2020-07-09T20:43:06-00:00, validation: 2020-07-09T20:43:40-00:00)
Node is bootstrapped, ready for injecting operations.
Estimated gas: 72505 units (will add 100 for safety)
Estimated storage: no bytes added
Operation successfully injected in the node.
Operation hash is 'op5a4BjNXh39vqkFgeyRj1m87W9vVmTX5kYFNKwjPv34fL4eo2m'
NOT waiting for the operation to be included.
Use command
  tezos-client wait for op5a4BjNXh39vqkFgeyRj1m87W9vVmTX5kYFNKwjPv34fL4eo2m to be included --confirmations 30 --branch BLJoirBhCYFmQWfmedAdLk6UgBFQAKUY2GuQyDA2Gbb7hinTfqL
and/or an external block explorer to make sure that it has been included.
This sequence of operations was run:
  Manager signed operations:
    From: tz1RwoEdg4efDQHarsw6aKtMUYvg278Gv1ir
    Fee to the baker: ꜩ0.007791
    Expected counter: 623964
    Gas limit: 72605
    Storage limit: 0 bytes
    Balance updates:
      tz1RwoEdg4efDQHarsw6aKtMUYvg278Gv1ir ............. -ꜩ0.007791
      fees(tz1Ke2h7sDdakHJQh8WX4Z372du1KChsksyU,270) ... +ꜩ0.007791
    Transaction:
      Amount: ꜩ0
      From: tz1RwoEdg4efDQHarsw6aKtMUYvg278Gv1ir
      To: KT1FHaNcQwQt6Ug92iKuFjFs31bQTSDU92Fi
      Parameter: (Left { Pair "tz1R3vJ5TV8Y5pVj8dicBR23Zv8JArusDkYr"
                              { "tz1bDCu64RmcpWahdn9bWrDMi6cu7mXZynHm" } ;
                         Pair "tz1bDCu64RmcpWahdn9bWrDMi6cu7mXZynHm"
                              { "tz1R3vJ5TV8Y5pVj8dicBR23Zv8JArusDkYr" } ;
                         Pair "tz1e95DfgHze6hszPbrkdWeVb4vPiDdJWBhF"
                              { "tz1e95DfgHze6hszPbrkdWeVb4vPiDdJWBhF" } })
      This transaction was successfully applied
      Updated storage:
        (Pair (Pair 0x0000452d024b72d5897f14a02dc1a3b8e012c802cc3d 9381)
              (Pair 9382 0x0000452d024b72d5897f14a02dc1a3b8e012c802cc3d))
      Storage size: 3180 bytes
      Consumed gas: 72505

Материалы разработаны TQ Tezos переведены на русский язык Tezos Ukraine

Last updated