Жетон Благо

Описание

Смарт-контракт жетона Благо на языке FunC с функцией полного управления Децентрализованной Автономной Организацией (ДАО) Градосфера.

Цели и задачи

Этот проект был создан, чтобы позволить пользователям обменивать и получать активы в экосистеме Градосфера за жетон Благо, который не подвержен волатильным колебаниям. Для соответствия нормативным требованиям эмитент токенов имеет дополнительный контроль с помощью мультиподписного кошелка ДАО Градосфера.

Таким образом, этот жетон Благо представляет собой стандартный смарт-контракт жетона в сети TON с дополнительным функционалом:

• ДАО Градосфера может совершать переводы жетона Благо из кошелька пользователя.
• ДАО Градосфера может сжигать жетоны Благо в кошельке пользователя.
• ДАО Градосфера может заблокировать/разблокировать жетон Благо в кошельке пользователя (
  set_status
  ).
• ДАО Градосфера может сделать перевод и сжечь жетон, даже если кошелек жетона заблокирован.
• ДАО Градосфера может изменить код жетона Благо и его метаданные.

⚠️ Для ДАО критически важно управлять закрытым ключом учетной записи администратора, чтобы избежать любых потенциальных рисков взлома. Для этих целей, используется кошелек с несколькими подписями в качестве учетной записи администратора с закрытыми ключами, хранящимися на разных изолированных кошельках.

⚠️ Контракт не проверяет код и данные в сообщении 'upgrade', поэтому существует вероятность блокировки контракта, если вы отправите недействительные данные или код. Поэтому всегда нужно проверять обновления в тестовой сети.

Дополнение

• Контракт жетона не включает функционал, позволяющий ДАО выводить TON с баланса кошелька жетона.

• Цена на газ основана на текущей конфигурации блокчейна TON. Стоит иметь в виду ситуацию, когда конфигурация изменилась в тот момент, когда сообщение отправлено с одного кошелька жетона на другой. Снижение комиссий в конфигурации блокчейна не требует дополнительных действий. Однако увеличение комиссий в конфигурации блокчейна требует предварительной подготовки — например, кошельки и приложения должны начать отправлять TON за газ заранее, исходя из будущих параметров.

• Если установлен статус в кошельке жетона, запрещающий прием жетонов Благо - нет гарантии, что при отправке жетонов на такой кошелек, они вернутся обратно и будут зачислены отправителю. В случае нехватки газа они могут быть утеряны. TON за газ и пересылку также не будут возвращены отправителю, а останутся на кошельке жетона.

Что такое заявка?

Заявка - это последовательный список из одного или нескольких действий, выполняемых с помощью мультикошелька ДАО Градосфера.

Состояние контракта с заказом

• multisig_address
  - родительский адрес с многопользовательским адресом.
• order_seqno
  - порядковый номер контракта на заявку.
• threshold
  - количество подписей, необходимое для начала выполнения заявки.
• sent_for_execution?
  флаг, указывающий, был ли уже выполнен ордер
• signers
  - словать содержащий адреса подтверждающих контрактов, разрешенные для исполнения заявки.
• approvals_mask
  Битовое поле, где бит "true" в n-й позиции указывает на подтверждение, полученное от n-го подтверждающего.
• approvals_num
  Общее количество подтверждений.
• expiration_date
  Как только текущее время превысит эту отметку, зазаява больше не может быть выполнена.
• order
  - ячейка содержащая описание действий.

Действия по заявке

Сообщение

При выполнении заявки, Мультикошелек отправит произвольное сообщение, описываемое действием.

Обновление параметров мультикошелька ДАО

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

Обновляемыми параметрами являются:

• подтверждающие
• порог голосования

Жизненный цикл заявки

Жизненный цикл заявки состоит из следующих этапов:

• Инициализация заявки.
• Подтверждение (подпись) заявки.
• Исполнение заявки.

Гарантии исполнения

• Заявка может быть выполнена только один раз. Если выполнение завершилось некорректно (недостаточно TON для мультикошелька ДАО, список подписывающих изменился, порог голосования стал выше), заявка не может быть повторно использована; Для эьтого необходимо создать и подтвердить новую заявку.
• Действия с заявками выполняются последовательно одно за другим, что означает, что контракт мультикошелька отправляет сообщения в том же порядке, в котором они указаны (обратите внимание, что если получатели сообщений находятся в разных шардах сети, сообщения будут доставляться асинхронно, возможно, в разном порядке).
• Заявка не может быть выполнена по истечении срока действия.
• После получения одобрения подписавшим его лицом, действие не может быть отозвано.

Обратите внимание, что в приведенных выше гарантиях Порядок означает совокупность всех параметров, в частности идентификатор заявки, список действий с заявкой, даты создания и истечения срока действия, список подтверждающих и т.д.

Можно создать две разных заявки, которые имеют общие параметры (например, список действий), однако такие заявки будут независимыми и для их выполнения потребуются отдельные подтверждения.

Кроме того, после исполнения заявки, контракт такой заявки больше не используется. Учитывая механизм блокчейна TON, это означает, что через некоторое время (обычно через год) этот контракт будет удален из блокчейна. После этого, если мултьтикошелек ДАО Градосфера работает в режиме

, может быть создана новая заявка с тем же order_id. Как и в приведенном выше случае, две заявки с общим идентификатором order_id будут полностью независимыми, могут содержать разный список действий и потребуют отдельных подтверждений (помимо того, что они разделены по времени годом и более).

Действия с заявкой в Мультикошельке выполняются с учетом баланса мультикошелька

Убедитесь, что у вас достаточно средств на мультикошельке.

Инициализация заявки

Инициализация сообщений отправляется из мультикошелька, создавая новый контракт на заявку.
Только

и

order_seqno

являются частью структуры initState (определяющей адрес будущего контракта).
Остальные параметры состояния заявки передаются в теле сообщения.
Значение параметра

approve_on_init

, равное

true

, указывает на то, что инициализатор хочет подписать заявку во время инициализации.

Цепочка транзакций

Подтверждение заявки

Подтверждение заявки может быть получено либо с помощью сообщения инициализации, либо с помощью сообщения подтверждения.

Поле

указывает индекс в словаре

signers

, по которому можно сверять адрес отправителя.

Подтверждение с помощью init будет приниматься только с адреса мультикошелька, где сообщение об одобрении будет принято, если адрес отправителя совпадает с адресом в

.

Цепочка транзакций

Выполнение заявки

Как только количество подтверждений достигает "порогового значения", сообщение с функцией выполнить отправляется обратно в мультикошелек вместе со всей суммой на заявку. Мультикошелек выполняет проверку на основе входных данных заявки и принимает их к исполнению, если все условия соблюдены.

Цепочка транзакций

Требование к балансу заявки

Баланс контракта заявки должен быть достаточным для:

• Хранение до истечения срока заявки
  expiration_date
  .
• Исполнения мультикошельком до получения стасута заявки принято для исполнения.

Расчет стоимости заявки

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

• Цепочки транзакций инициализации заявки.
• Хранение заявки.
• Выполнение логики подтверждения в случае, если
  approve_on_init
  равно
  true
  .
• Цепочки транзакций для выполнения заявки в случае, если
  approve_on_init
  равно
  true
  и
  threshold = 1

Как происходит расчёт

Стоимость рассчитывается в виде order_helper.fc#53

В качестве базовых значений используются константы, однако размер ячейки для подтверждающих и размер заявки являются динамическими. Поэтому к этим базовым значениям добавляются динамически рассчитанные размеры и стоимость потребления газа.

  int initial_gas = gas_consumed();
  (int order_cells, int order_bits, _)     = compute_data_size(order_body, 8192);
	(int signers_cells, int signers_bits, _) = compute_data_size(signers, 512);
	int size_counting_gas = gas_consumed() - initial_gas;

Чтобы получить эти константы расхода газа, используются два тестовых примера.

• С небольшим количеством подтверждающих:tests/FeeComputation.spec.ts#L199, называемых "мало подтверждений"
• С максимальным количеством подтверждающих:tests/FeeComputation.spec.ts#L205, называемых "много подтверждений"

contracts/order_helpers.func#L63

Плата за отправку

Плата за отправку требуется для покрытия расходов на пересылку сообщений. Для всех расходов используется тест

.

Связанные константы:

и

INIT_ORDER_CELL_OVERHEAD

Представляют общее количество битов и ячеек, используемых сообщением инициализации заявки, уменьшенное на количество битов и ячеек, занимаемых содержимым заявки. tests/FeeComputation.spec.ts#L123

            /*
              tx0 : external -> treasury
              tx1: treasury -> multisig
              tx2: multisig -> order
            */
  let orderBody = (await order.getOrderData()).order;
  let orderBodyStats = collectCellStats(orderBody!, []);

  let multisigToOrderMessage = res.transactions[2].inMessage!;
  let multisigToOrderMessageStats = computeMessageForwardFees(curMsgPrices, multisigToOrderMessage).stats;
  let initOrderStateOverhead = multisigToOrderMessageStats.sub(orderBodyStats);

и

EXECUTE_ORDER_CELL_OVERHEAD

следует той же логике, но для выполнения сообщений

заявка -> мультикошелек

. tests/FeeComputation.spec.ts#L149

/*
  tx0 : external -> treasury
  tx1: treasury -> order
  tx2: order -> treasury (approve)
  tx3: order -> multisig
  tx4+: multisig -> destination
*/
let orderToMultiownerMessage      = secondApproval.transactions[3].inMessage!;
let orderToMultiownerMessageStats = computeMessageForwardFees(curMsgPrices, orderToMultiownerMessage).stats;
let orderToMultiownerMessageOverhead = orderToMultiownerMessageStats.sub(orderBodyStats);

Суммируется с динамическим объемом заявки и количеством подтверждающих для расчета соответствующих платежей.

    int forward_fees = get_forward_fee(BASECHAIN,
                                       INIT_ORDER_BIT_OVERHEAD + order_bits + signers_bits,
                                       INIT_ORDER_CELL_OVERHEAD + order_cells + signers_cells) +
                       get_forward_fee(BASECHAIN,
                                       EXECUTE_ORDER_BIT_OVERHEAD + order_bits,
                                       EXECUTE_ORDER_CELL_OVERHEAD + order_cells);

Плата за газ

Затраты на газ привязаны к выполняемым инструкциям TVM, но плата за газ может меняться в зависимости от конфигурации сети. Таким образом, мы полагаемся на расчеты.

contracts/order_helpers.func#L75

представляет общее количество единиц газа, необходимых для выполнения

op::new_order

на стороне мультикошелька ДАО Градосферы. Используется тест

много подтверждений

, а затем вычитается значение

size_counting_gas

. Чтобы получить значение

size_counting_gas

, его нужно выгрузить вручную.

  int size_counting_gas = gas_consumed() - initial_gas;
  size_counting_gas~dump();

запишите значение и восстановите исходный файл.

tests/FeeComputation.spec.ts#L106

/*
              tx0 : external -> treasury
              tx1: treasury -> multisig
              tx2: multisig -> order
            */

let MULTISIG_INIT_ORDER_GAS = computedGeneric(res.transactions[1]).gasUsed;

- это количество газа используется контрактом заявки при обработке

op::init

. Используется тест

мало подтверждений

, поскольку на него не влияют количество подпсиывающих или размер заявки.

tests/FeeComputation.spec.ts#L108

let ORDER_INIT_GAS = computedGeneric(res.transactions[2]).gasUsed;

- это количество газа, потребляемого контрактом заявки после достижения порога голосов. Используется тест

много подтверждений

, поскольку стоимость поиска по словарю зависит от размера словаря. contracts/order.func#L109

Вычисления:

tests/FeeComputation.spec.ts#L157

let ORDER_EXECUTE_GAS = computedGeneric(secondApproval.transactions[1]).gasUsed;

- это количество газа, потребляемого мультикошельком до принятия заявки к исполнению. Для простоты мы используем стоимость выполнения заявки на 1 сообщение. Используется тест

мало подтверждений

, поскольку на него не влияет количество подтверждающих.

tests/FeeComputation.spec.ts#L159

let MULTISIG_EXECUTE_GAS =
  actions.length > 1
    ? 7310n
    : computedGeneric(secondApproval.transactions[3]).gasUsed;

В то время как на самом деле это требуется только для учета газа до тех пор, пока contracts/multisig.func#L23

Эти константы не будут суммированы с динамическим значением

, и плата за газ рассчитывается для каждой из них отдельно.

contracts/order_helpers.func#L70

    int gas_fees = get_compute_fee(BASECHAIN,MULTISIG_INIT_ORDER_GAS + size_counting_gas) +
    get_compute_fee(BASECHAIN, ORDER_INIT_GAS) +
    get_compute_fee(BASECHAIN, ORDER_EXECUTE_GAS) +
    get_compute_fee(BASECHAIN, MULTISIG_EXECUTE_GAS);

Плата за хранение

и

ORDER_STATE_CELL_OVERHEAD

- это количество битов и ячеек, занимаемых состоянием контракта заявки без содержимого заявки. Используется тест

мало подтверждений

, поскольку расходы на

подтверждающих

и

заявки

добавляются динамически

tests/FeeComputation.spec.ts#L125

let initOrderStateOverhead = multisigToOrderMessageStats.sub(orderBodyStats);

contracts/order_helpers.func#L83

  int storage_fees = get_storage_fee(BASECHAIN, duration,
                                       ORDER_STATE_BIT_OVERHEAD + order_bits + signers_bits,
                                       ORDER_STATE_CELL_OVERHEAD + order_cells  + signers_cells);