bomb diggity

Arkham часть 1. (Top 100 holders LayerZero)

2024-06-30T13:09:32.753Z

1. Создание панели мониторинга.

1.1 Перехожу в личный кабинет, раздел - мои панели.

1.2 Создать панель.

1.3 Нахожу панель с холдерами.

1.4 Настраиваю под нужный токен.

1.4.1 В правой части, выбираю размер информационной панели.

1.5 Наша панель ZRO холдеров создана.

2. Анализ данных.

Некоторым кошелькам, аркхам автоматически присваивает метки принадлежности. Создам таблицу эксель и занесу топ 100 адресов, разделю по категориям (кошельки проекта, маркет мейкеры/биржи, х - кошельки.

На примере кошелька Gnosis Safe Proxy (0x806f68Bb6ce8f3100D4745C8b13b36e4f40D8431)

https://platform.arkhamintelligence.com/explorer/address/0x806f68Bb6ce8f3100D4745C8b13b36e4f40D8431

https://etherscan.io/tx/0x9f4c16f296f5ea5576496a4c4eaff7cf2411fb23baabd40c85844c45ac6e0b18

Как видим в Tokens Transferred: 23 адреса. В таблице каждый батч отмечаю своим цветом.

Таким образом формирую группы: 1) кошельки LZ, отдельным цветом отмечаю биржи, мм, кошельки Airdrop и AptosAirdropZRO. 9 адресов из 100, отобрал в категорию неизвестных кошельков X-address, к ним и перейдем.

3. X - address

Общие данные: на 29.06.24 топ 100 кошельков - владеют 95,48% всего саплая, *без учета airdrop кошельков - 93,49% В локе 70 из топ 100 и на их долю приходится 88,6%

Х кошельки - 9 из топ 100, на их долю приходится 9M токенов, 0,9% от всех токенов (10,5% от 85M)

1) 0x63be42b40816eB08F6Ea480e5875E6F4668da379

Переходим в визуализатор:

Среди множества зеленых линий входящих транзакций, есть красная линия - отток средств.

Кошельку 16 дней, в сети эфира аккумулирует ZRO крупными суммами из других 6 кошельков. *На кошельке только токены ZRO и эфира.

Во вкладке дополнительной информации, возможна фильтрация переводов.

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

2) 0x8dB0f952B8B6A462445C732C41Ec2937bCae9c35

Несколько тысяч пополнений небольшими суммами, все в сети base.

https://platform.arkhamintelligence.com/explorer/address/0x8dB0f952B8B6A462445C732C41Ec2937bCae9c35

Tранзакции оттока.

3) 0x25681Ab599B4E2CEea31F8B498052c53FC2D74db

https://platform.arkhamintelligence.com/explorer/address/0x25681Ab599B4E2CEea31F8B498052c53FC2D74db

Кошельку 10 дней и аркхам никак его не индефицирует, я отнесу его к Binance, т.к. массовое пополнение с бинанса.

И прием средств происходит каждую минуту.

4) 0x3348984E9285b4A214bF098573918b2D69172517

https://platform.arkhamintelligence.com/explorer/address/0x3348984E9285b4A214bF098573918b2D69172517

Высокий отток, вероятно временный кошелек, но на балансе все еще >500к Zro.

5) 0x3931dAb967C3E2dbb492FE12460a66d0fe4cC857

https://platform.arkhamintelligence.com/explorer/address/0x3931dAb967C3E2dbb492FE12460a66d0fe4cC857

Также как кошелек №3 создан 10 дней назад, пополнение с Binance.

6) 0xf3cCBf6537CB1fD3fDB72E3b1909Ab58B29CDAFA

https://platform.arkhamintelligence.com/explorer/address/0xf3cCBf6537CB1fD3fDB72E3b1909Ab58B29CDAFA

Кошельку 12 дней, связь с Wintermute и Galaxy Digital.

7) 0x4680900FB91164Ee22b9E8f7c66efc79D7C4E1f9

https://platform.arkhamintelligence.com/explorer/address/0x4680900FB91164Ee22b9E8f7c66efc79D7C4E1f9

Высокий показатель оттока, пока под наблюдением. Источник притока вызывает интерес.

Поступление $1,71M (499,999 ZRO)

https://etherscan.io/tx/0x155363a5eae943a44cb44b35508df091f0d1522b398470f825c57cc5d3903667

от 0x0d88d7a4Ca8826A7F8bcAE5650386a6dB8c5ce6e

В свою очередь на этот адрес 0x0d88d7a4Ca8826A7F8bcAE5650386a6dB8c5ce6e был приток в 1M zro

Поступление 500К от 0x3348984E9285b4A214bF098573918b2D69172517 это наш адрес под №4

https://arbiscan.io/tx/0x492c927e2a8b8b574c83859436c3444b6167027361c126dda4fb36257de3800e

Поступление 200к от 0xe89792360C32b3fa9BaACFc577b809000f6D0c24

https://platform.arkhamintelligence.com/explorer/tx/0x98e96fbc5f4651015b139c0606f15255d0eadca4277f5ceae88364c7f2c2ed53

приток на адрес 0xe89792360C32b3fa9BaACFc577b809000f6D0c24

Поступление 300к от 0x0Af5fe66F56FAbbde7e9C0fB54898A64B325070C

https://etherscan.io/tx/0x3b68886a1e259ce8139eae53839fe0a7a129d3a4126a5dc66b0384198e5e8f43

Поступление на адрес 0x0Af5fe66F56FAbbde7e9C0fB54898A64B325070C

Оба адреса aркхам относит к L0

8) 0x64440d8A6E6F949536646C363A4b734819EeDbfd

https://platform.arkhamintelligence.com/explorer/address/0x64440d8A6E6F949536646C363A4b734819EeDbfd

Весь приток c Paribu Deposit

Исходящие транзакции уже на разные биржи и кошельки.

9) 0xaa7C42fBC45396d94Ee2fbF7F37c4f05db3E3cE4

https://platform.arkhamintelligence.com/explorer/address/0xaa7C42fBC45396d94Ee2fbF7F37c4f05db3E3cE4

Накапливает zro по 40-50к $, остается под наблюдением дальше.

4. Alerts

Из девяти, отсеялось три кошелька, два Binance и один за связь с Wintermute и Galaxy Digital.

За кошельками планирую понаблюдать, иду в оповещения - > создать оповещение.

Добавляю 6 кошельков, фильтр на объем от 100к$ и добавляю оповещение в телеграм группу.

Тоже самое делаю с категорией: биржи и маркет мейкеры.

Чтобы не перенасыщать бота уведомлениями, объем транзакции меняю - на 500k zro и выше.

Дальше создаю Locklist Zro. (70 кошельков LZ из топ 100) Мне интересно насколько эти токены недвижимы.

Заодно добавил алерт на топ хантеров, уведомление составил из двух списков.

1) Всеми известная дюна Matapac и CypherPepe - в аркхаме Dashboard по этой дюне от t.me/retrodropsdao

2) Список от Lookonchain

И дополню бота алертом на объемы от 800M $ по эфиру и бтс.

Вывод:

Аркхам вполне удобный инструмент мониторинга и анализа данных (link на таблицу) гибкий в настройках уведомлений и создания дашбордов. Рассмотрели общую картину холдеров, создали телеграм бота со следующими категориями алертов: 1) Whitelist ZRO - состоит из маркет мейкеров, бирж с потоком от 500к zro (Х-кошельков с транзакциями от 100к$ также при обнаружении, будут добавляться новые адреса. 2) Locklist Zro (70 кошельков LZ из топ 100) 3) Grand Hunters - топ хантеры из двух списков, с объемами > 10к$ 4) EPIC (ETH & BTC) - редкие движения тяжеловесных переводов от 800M$.

Смарт-контракт с использованием zk-SNARKs

2024-02-03T12:46:51.352Z

Например, у нас есть секретная информация, скажем, пароль. Мы хотим доказать другому человеку, что у нас есть этот пароль, но не хотим раскрывать сам пароль. С использованием zk-SNARKs, мы сможем сгенерировать доказательство, подтверждающее, что у нас есть знание о пароле, но при этом сам пароль будет оставаться скрытым. Это обеспечит доказуемую аутентификацию без необходимости раскрывать секретную информацию.

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

ZoKrates - набор инструментов которые упрощает разработку и развертывание программ доказательства с нулевым разглашением, специально разработанных для использования на Ethereum.

Варианты использования:

Плагин в Remix IDE предоставляет создание и верификацию zk-SNARKs.
ZoKrates Playground - веб-игровая площадка, где разработчики могут писать и компилировать программы онлайн. Playground включает в себя редактор кода, компилятор и инструменты для создания и проверки доказательств.
Установить ZoKrates локально с помощью менеджеров пакетов, таких как npm, или загрузив двоичный файл непосредственно из репозитория ZoKrates GitHub.
Контейнер Docker: ZoKrates также предоставляет контейнер Docker, который можно использовать для запуска программ ZoKrates в виртуализированной среде. Эта опция полезна для разработчиков, которые не хотят устанавливать ZoKrates локально и предпочитают использовать стандартизированную среду. docker run -ti zokrates/zokrates /bin/bash

Технические особенности:

ZoKrates — использует программы на предметно-ориентированном языке (DSL) высокого уровня.
ZoKrates DSL похож на язык программирования C (Си) включает переменные, циклы и условные операторы.
Использует libsnark, библиотеку C++ zkSNARKs, для генерации доказательств и ключей проверки.
Поддерживает криптографию на основе эллиптических кривых, модульную арифметику, хеш-функции и другие криптографические операции.
Использует систему доказательств Groth16 для быстрого и эффективного создания и проверки ZKP.
Имеет лицензию MIT и представляет собой проект с открытым исходным кодом.

Журнал изменений ZoKrates

Рассмотрим пример, где у нас есть секретное значение x а у нашего товарища Жака такое хэш-значение: y = H(x)

При использовании 256-битного хэш, практически нет шансов, что мы когда-либо узнаем значение x, зная только значение y. Таким образом, x может быть паролем. Итак, посмотрим, сможем ли мы доказать x, зная H(x) и запустить смарт-контракт.

1) В ZoKrates Playground напишем следующий код:

import "hashes/sha256/512bitPacked" as sha256packed;

def main(private field a, private field b, private field c, private field d) -> field[2] {
    field[2] h = sha256packed([a, b, c, d]);
    return h;
}

Первая строка импортирует sha256packedфункцию из стандартной библиотеки ZoKrates.sha256packed— это реализация SHA256, оптимизированная для использования в ZoKrates DSL. Вот как это работает: мы хотим передать 512 бит входных данных в SHA256. Однакоfieldзначение может содержать только 254 бита из-за размера основного поля, которое мы используем. Как следствие, мы используем четыре элемента поля, каждый из которых кодирует 128 бит, для представления наших входных данных. Затем четыре элемента объединяются в ZoKrates и передаются в SHA256. Учитывая, что длина полученного хеша составляет 256 бит, то он делится на две части и возвращает каждое значение как 128-битное число.

Вычисление хеша с помощью ZoKrates.

Переходим во вкладку Execute и нажимаем Run

[ "71860681579908444993719277659355514616", "203894998809118867442052767119280883826" ]

2) Создадим доказательство с нулевым разглашением.

2.1) В Remix IDE cоздадим фаил main.zok и напишем следующий код:

import "hashes/sha256/512bitPacked" as sha256packed;

def main(private field a, private field b, private field c, private field d) {
    field[2] h = sha256packed([a, b, c, d]);
    assert(h[0] == 71860681579908444993719277659355514616);
    assert(h[1] == 203894998809118867442052767119280883826);
    return;
}

Код использует библиотеку sha256packed для вычисления хеша SHA-256 от четырех приватных полей a, b, c и d. Затем программа проверяет, что вычисленный хеш совпадает с ожидаемыми значениями, и возвращает ошибку, если это не так. В данном случае программа проверяет, что вычисленный хеш (полученный ранее в п.1) равен 71860681579908444993719277659355514616 для h0 и 203894998809118867442052767119280883826 для h1. Если это условие выполняется, то программа завершается успешно, иначе возникает ошибка.

main.zok

2.2) Добавим плагин ZoKrates в Remix IDE

Менеджер плагинов

Активация ZoKrates

ZoKrates

2.3) Компиляция: на левой боковой панели кнопка компиляции. Если ошибки нет, можем двигаться дальше.

Компиляция кода

Скомпилировано успешно

2.4) Вычисление свидетеля для которого предоставлены действительные частные значения (наш пароль) Уже на этой стадии пароль изменить не сможем т.к. хеш к этому паролю скомпилирован.

Свидетель – представляет собой набор данных, который подтверждает истинность скрытой информации, не раскрывая конфиденциальности. Необходим для доказательства, что держатель этой информации обладает знанием о ней, но не раскрывает саму информацию.

Вычислено успешно

К примеру удаляем одну цифру - Execution failed

Выполнение не удалось

2.5) Run Setup (cоздать доказательство). Используем свидетель для создания доказательства, которое демонстрирует достоверность вычислений без раскрытия частных входных данных. После вычисления мы можем сгенерировать проверочный и подтверждающий ключ. Это может занять больше минуты, но выполняется только один раз. Эти ключи получены из источника случайности, обычно называемого «токсичными отходами». Мы увидим, что создался файл с именем verification_key.json, который содержит все эти данные.

Запустить установку

Изменение ключа проверки

verification_key.json

2.6) Generate Proof - имея ключи верификатора, а также свидетель, мы теперь можем сгенерировать наше доказательство:

Создать доказательство

Теперь у нас есть проверяющее доказательство (proof.js)

Доказательство (proof.js)

{
  "scheme": "g16",
  "curve": "bn128",
  "proof": {
    "a": [
      "0x0ac917308a7b8db29288c028109c8617f910f6b6843c975a736374ddbc276797",
      "0x1960e7c91c4bb774e6308c418615d566280679a5b7c18b45f89ab64098187bdf"
    ],
    "b": [
      [
        "0x2df5af53473f2343c58091e657898f92b5b7f0b88a6ea7514c9952a47e07f444",
        "0x0121a9c22c2abafb7dee637ef4f743a4d62798835350d042d55c708d2481fe3d"
      ],
      [
        "0x1e46763eeacc9f85215740e3d3f7eaddc2fca5c8115c282be1e60157740bcec8",
        "0x23d8a13843a39d8f37b8a0ef6da31281b7ee2c61d16079a48f2620b9f6ef9aa0"
      ]
    ],
    "c": [
      "0x2f990abf7f96daee712f3ca282e7e304370ac70d633b6156a41b91f140e6cb41",
      "0x0e619f6d20fc6c39fa3fa0320c795e57218824f1f11ee90b0d7edf3a306de8fd"
    ]
  },
  "inputs": []
}

Копируем доказательство

[["0x0ac917308a7b8db29288c028109c8617f910f6b6843c975a736374ddbc276797","0x1960e7c91c4bb774e6308c418615d566280679a5b7c18b45f89ab64098187bdf"],[["0x2df5af53473f2343c58091e657898f92b5b7f0b88a6ea7514c9952a47e07f444","0x0121a9c22c2abafb7dee637ef4f743a4d62798835350d042d55c708d2481fe3d"],["0x1e46763eeacc9f85215740e3d3f7eaddc2fca5c8115c282be1e60157740bcec8","0x23d8a13843a39d8f37b8a0ef6da31281b7ee2c61d16079a48f2620b9f6ef9aa0"]],["0x2f990abf7f96daee712f3ca282e7e304370ac70d633b6156a41b91f140e6cb41","0x0e619f6d20fc6c39fa3fa0320c795e57218824f1f11ee90b0d7edf3a306de8fd"]]

Наше доказательство

2.7) Export Verifier - генерирует контракт Solidity, который включает ключ проверки. Этот контракт предоставляет общедоступную функцию для проверки решений скомпилированной программы. Это обеспечивает независимую проверку правильности и повышает прозрачность в системах с нулевым разглашением данных.

Экспорт верификатора

Верификатор экспортирован

Файл verifier.sol

3) Проверка доказательства с нулевым разглашением.

3.1) Компилируем verifier.sol После развертывания контракт верификатора можно использовать для проверки решений скомпилированной программы.

Solidity компилятор

Компиляция файла verifier.sol

3.2) Развертывание смарт-контракта verifier.sol

Deploy verifier.sol

Контракт Verifier

[["0x0ac917308a7b8db29288c028109c8617f910f6b6843c975a736374ddbc276797","0x1960e7c91c4bb774e6308c418615d566280679a5b7c18b45f89ab64098187bdf"],[["0x2df5af53473f2343c58091e657898f92b5b7f0b88a6ea7514c9952a47e07f444","0x0121a9c22c2abafb7dee637ef4f743a4d62798835350d042d55c708d2481fe3d"],["0x1e46763eeacc9f85215740e3d3f7eaddc2fca5c8115c282be1e60157740bcec8","0x23d8a13843a39d8f37b8a0ef6da31281b7ee2c61d16079a48f2620b9f6ef9aa0"]],["0x2f990abf7f96daee712f3ca282e7e304370ac70d633b6156a41b91f140e6cb41","0x0e619f6d20fc6c39fa3fa0320c795e57218824f1f11ee90b0d7edf3a306de8fd"]]

Наше доказательство

ZoKrates может генерировать большие ключи подтверждений и проверки, особенно для более сложных вычислений. Размер доказательств, может потенциально достигать нескольких мегабайт.

3.3) Вставляем доказательство в поле, а затем протестируем: должно быть написано «0»: «bool: r true». Это означает, что транзакция успешно подтверждена.

Доказательство истинно

Но если мы воспользуемся неверным доказательством, мы получим ложный результат: errored: Error occured: invalid opcode.

4) Развернем смарт-контракт в тестовой сети и проверим наше доказательство.

4.1) Создан новый смарт-контракт в сети Sepolia:

https://sepolia.etherscan.io/tx/0x0a555af118bc0961984947432ee28e20ff33e8f8525cf0b9fc31080a45c61566

4.2) Переходим в контракт:

4.3) Контракт необходимо верифицировать.

4.3.1) Заполняем поля:

4.3.2) В новом окне необходимо вставить код нашего контракта verifier.sol

4.3.3) Подтверждаем верификацию.

4.3.4) Верификация пройдена.

4.4) Переходим в Read Contract

4.5) В строку proof (tuple) вставляем наше доказательство.

[["0x0ac917308a7b8db29288c028109c8617f910f6b6843c975a736374ddbc276797","0x1960e7c91c4bb774e6308c418615d566280679a5b7c18b45f89ab64098187bdf"],[["0x2df5af53473f2343c58091e657898f92b5b7f0b88a6ea7514c9952a47e07f444","0x0121a9c22c2abafb7dee637ef4f743a4d62798835350d042d55c708d2481fe3d"],["0x1e46763eeacc9f85215740e3d3f7eaddc2fca5c8115c282be1e60157740bcec8","0x23d8a13843a39d8f37b8a0ef6da31281b7ee2c61d16079a48f2620b9f6ef9aa0"]],["0x2f990abf7f96daee712f3ca282e7e304370ac70d633b6156a41b91f140e6cb41","0x0e619f6d20fc6c39fa3fa0320c795e57218824f1f11ee90b0d7edf3a306de8fd"]]

Доказательство

Доказательство истинно

https://sepolia.etherscan.io/address/0xe38f6eebf205303e417525bf52638290ffee7d08#readContract

Вывод:

При помощи инструментов ZoKrates сгенерировали доказательство zk-SNARKs и подтвердили истинность нашего значения х которое было сохранено в хеш и разделено на две части. Как видим смарт-контракты с нулевым разглашением (ZK) предполагают внедрение системы, которая позволяет сторонам доказывать подлинность определенной информации, не раскрывая деталей этой информации.

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

ZoKrates делает создание zk-SNARKs доступным, предоставляя простой язык для написания функций. Также существует обширный набор примеров, демонстрирующий все возможности языка. Потенциал использования: в системах идентификации, сохраняя конфиденциальность, в различных голосованиях, финансах, оракулах, приложениях DeFi и т.д.

Ethernaut - основы игры.

2024-01-17T16:24:34.657Z

Ethernaut – это СTF решение OpenZeppelin, каждый уровень является смарт-контрактом, который необходимо «взломать». Исходный код игры полностью открытый, а все уровни созданы другими игроками.

CTF (Capture The Flags/War games) — это проблемы безопасности, в которых представлен уязвимый код и вам необходимо написать смарт-контракт для использования этой уязвимости.

Проблема Ethernaut в том что некоторые уязвимости применимы только к старым версиям Solidity и в реальной жизни мы их уже не увидим. Тем не менее это хороший инструмент для отработки навыков.

Игра изначально создавалась для использования в тестовой сети Ethereum, но на январь 2024 г. запланировано прекращение поддержки cети Goerli. Для подписания транзакций буду использовать Polygon Mumbai.

Задача 0. Hello Ethernaut

Методы контракта уровня 0 интегрированы в консоль нашего браузера, что позволят нам инициировать вызовы методов.

1) Добавим в метамаск тестовую сеть Polygon Mumbai

2) В кране запрашиваем Matic

3) Переходим на сайт игры, подключаем кошелек.

Можем сразу поменять язык.

Панель выбора языка

4) Выбираем задачу

Панель выбора задачи

5) Откроем консоль разработчика Chrome. (Правая кнопка мыши - Просмотреть код - Вкладка Console)

Вызов консоли

Приветствие Ethernaut

6) Из нашей консоли мы вызовем команду: player

Консоль выводит адрес моего кошелька

также инструкция с командами доступна в окне нашей задачи.

Окно с инструкцией к текущей задаче

7) Чтобы проверить свой баланс вызовем команду: await getBalance(player)

Текущий баланс кошелька

8) Команда help() покажет список вспомогательных функций:

Вспомогательные функции

9) Команда await ethernaut.owner() выведет адрес владельца контракта ethernaut:

owner

10) Для прохождения уровня необходимо запросить инстанс уровня. (экземпляр) Чтобы запросить инстанс нажмем на соответствующую кнопку внизу страницы и подтвердим транзакцию в метамаске. После этого в консоли должно появиться несколько новых сообщений.

Примечание: создание инстанса займет некоторое время

Запрс инстанса

Адрес инстанса

11) Теперь чтобы завершить уровень необходимо взаимодействовать с контрактом, следующими командами:

Взаимодействие с контрактом

12) Вызовем метод await contract.info()

Ответ: «Вы найдете то, что вам нужно, в info1()»

13) Вызовем метод await contract.info1()

Ответ: Попробуйте info2(), но с «hello» в качестве параметра.

14) Вызовем метод await contract.info2("hell")

Ответ: «Свойство infoNum содержит номер следующего информационного метода, 
который будет вызван».

15) Вызовем метод await contract.infoNum()

Номер 42 - номер следующего информационного метода

16) Вызовем метод await contract.info42()

Получаем ответ: 'theMethodName — это имя следующего метода.'

17) Вызовем метод await contract.theMethodName()

Наш ответ: 'Имя метода — method7123949.'

18) Вызовем await contract.method7123949()

Ответ: 'Если вы знаете пароль, отправьте его в функцию authenticate().'

19) Вызовем функцию пароля await contract.password()

Наш пароль: 'ethernaut0'

20) Передадим пароль в функцию authenticate() и подпишем транзакцию.

21) Транзакция прошла успешно.

Также можем посмотреть txid в сети: https://mumbai.polygonscan.com/tx/0xc6eccc73e46da5b472d1410efc73d1ee40f169019251537f735f67510caeeed3

22) Проверка: вызовем метод await contract.getCleared()

Ответ: true

23) Отправим инстанс на проверку и подпишем транзакцию.

24) Ответ: Отлично, Уровень пройден!

Также мы получим контракт с которым работали и его можно задеплоить в ремиксе.

Контракт: Hello Ethernaut

Бонусная часть: В консоле вызовем await contract и увидим все методы которые возможно вызвать в данном контракте.

Нам интересна вкладка ABI (Application Binary Interface) - используется для кодирования данных, которые передаются между смарт-контрактом и внешним приложением. ABI представлены в формате JSON и обычно генерируются компилятором при развертывании смарт-контракта, cюда входят имена, типы функций и событий (В Contract ABI возможно обнаружить функции которые скрыты во вкладке Write Contract) В контексте нашей задачи мы можем сразу посмотреть все доступные функции и решить уровень за два шага.

ABI

Вывод:

Рассмотрели методы контракта уровня 0, добавили в метамаск тестовую сеть Polygon Mumbai, ознакомились с консолью браузера, прошлись по необходимым командам, успешно завершили уровень. Получили данные c contract ABI.

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

Смарт-контракт «Калькулятор»

2024-01-04T18:53:44.901Z

1. Создадим контракт под названием Calculator
2. Создадим переменную result для хранения исходного значения калькулятора.
3. Создадим функции сложения, вычитания, умножения, деления, возведение в степень, извлечения квадратного корня и округление чисел.
4. Создадим функцию получить результат вычислений.

Для создания логики контракта мы будем использовать Solidity - Операторы.

Что такое Solidity - операторы?

Возьмем простое выражение 3 + 5 равно 8. Здесь 3 и 5 называются операндами а '+' называется оператором. Solidity поддерживает следующие типы операторов:

Арифметические операторы
Операторы сравнения
Логические операторы
Побитовые операторы
Операторы присваивания
Условные (или тернарные)

Арифметические операторы

Арифметические операторы — это своего рода математические помощники в программировании, которые позволяют выполнять такие операции, как сложение, вычитание, умножение, деление и т.д.

Предположим, что переменная A содержит 10, а переменная B содержит 20, тогда -

Solidity - журнал изменений (Link)

В следующем коде показано, как использовать арифметические операторы:

// SPDX-License-Identifier: MIT
pragma solidity >=0.8.23;

contract Addition {
   constructor() public{
   }
   function getResult() public view returns(uint){
      uint a = 1; 
      uint b = 2;
      uint result = a + b; //арифметическая операция addition
      return result; 
   }
}

Вывод: 3

Ключевые моменты:

Целочисленное деление: Деление Solidity возвращает только частное, отбрасывая остаток. Поддержка дробных чисел или чисел с точкой в Solidity все еще плохо реализована. Для деления с плавающей запятой нужно будет использовать внешние библиотеки или дополнительные приемы.
Переполнение/недополнение. Необходимо помнить о возможных Overflow/Underflow при работе с большими числами или вычислениями. Подробней об этой уязвимости в смарт-контракте и как ее обойти здесь.
При преобразовании целочисленного типа большего размера в меньший - биты справа сохраняются, а биты слева теряются.
При преобразовании типов байтов происходит обратное. Когда больший тип байта преобразуется в меньший тип, первые байты сохраняются, а последние теряются. При преобразовании меньшего байта в больший справа добавляются нулевые байты.

Приоритет: Лучше использовать порядок операций PEMDAS чем BODMAS. (основное различие между ними заключается в приоритете (умножение или деление) и приоритете (сложение или вычитание)

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

PEMDAS расшифровывается как:

- P: Parentheses (скобки)

- E: Exponents (степени)

- M: Multiplication (умножение)

- D: Division (деление)

- A: Addition (сложение)

- S: Subtraction (вычитание)

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

Порядок старшинства операторов (Link)

Операторы сравнения

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

Предположим, что переменная A содержит 10, а переменная B содержит 20, тогда -

В приведенном ниже контракте RelationalOperator демонстрируется вышеупомянутые различные типы реляционных операторов (сравнения)

// SPDX-License-Identifier: MIT
pragma solidity >=0.8.23;

contract RelationalOperator {

    // Объявление переменных
    uint16 public a = 20;
    uint16 public b = 10;
    
    // Инициализация переменной 
    // с логическим значением равенства a и b 
    bool public eq = a == b;
    
    // Инициализация переменной
    // с логическим значением неравенства a и b 
    bool public noteq = a != b;
    
    // Инициализация переменной 
    // с логическим значением a больше b
    bool public gtr = a > b;
    
    // Инициализация переменной
    // с логическим значением a меньше b
    bool public les = a < b;
    
    // Инициализация переменной
    // с логическим значением a больше или равно b
    bool public gtreq = a >= b;
    
    // Инициализация переменной
    // с логическим значением a меньше или равно b
    bool public leseq = a <= b;
    
}

Значения типов операторов сравнения

Ключевые моменты:

Совместимость типов данных: Сравниваемые значения относятся к совместимым типам данных. Сравнение несовместимых типов может привести к неожиданным результатам.
Строгое равенство: Solidity использует строгие проверки равенства значений. Например, 0 не считается равным false.
Сравнение адресов: Используйте == оператор для прямого сравнения адресов.

Логические операторы

Логические операторы в Solidity — мастера принятия сложных решений, позволяющие создавать сложную условную логику в смарт-контрактах. Они действуют как логические часовые, оценивая условия и определяя, какие пути кода выполнять. Используются для объединения двух или более условий.

Предположим, что переменная A содержит 10, а переменная B содержит 20, тогда -

В приведенном ниже примере контракт logicalOperator демонстрирует вышеупомянутые различные типы логических операторов.

  // SPDX-License-Identifier: MIT
pragma solidity >=0.8.23;
  
  contract logicalOperator{
  
  // Определение функции для демонстрации 
  // Логический оператор
  function Logic(
  bool a, bool b) public view returns(
  bool, bool, bool){
    
  // Логический оператор И
  bool and = a&&b;
    
  // Логический оператор ИЛИ
  bool or = a||b;
    
  // Логический оператор НЕ
  bool not = !a;
  return (and, or, not);
  }
}

Случай 1: Когда a - истинно, b - истинно

Случай 2: Когда a - ложно, b - истинно

Случай 3: Когда a - нулевое (ложь), b - ненулевое (истина)

Случай 4: Когда a - ложно, b - ложно

Ключевые моменты:

Типы операндов: Логические операторы в основном работают с логическими значениями (true илиfalse). Однако Solidity может неявно преобразовывать ненулевые числа в true и 0 в false в определенных контекстах.
Упрощенная оценка: Solidity использует short-circuit для операторов И и ИЛИ. Это означает, что он оценивает второй операнд только в случае необходимости для определения окончательного результата.
Приоритет: Логические операторы имеют более низкий приоритет, чем операторы сравнения. Используйте круглые скобки, чтобы уточнить порядок вычислений при объединении разных операторов.

Побитовые операторы

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

Предположим, что переменная A содержит 2, а переменная B содержит 3, тогда -

В приведенном ниже примере контракт Bitwise демонстрирует вышеупомянутые различные типы побитовых операторов.

// SPDX-License-Identifier: MIT
pragma solidity >=0.8.23;

contract Bitwise {

  // Объявление переменных
  uint16 public a = 20;
  uint16 public b = 10;
  
  // Объявление переменных
  // to '&' value
  uint16 public and = a & b;
  
  // Объявление переменных 
  // to '|' value
  uint16 public or = a | b;
  
  // Объявление переменных
  // to '^' value
  uint16 public xor = a ^ b;
  
  // Объявление переменных
  // to '<<' value
  uint16 public leftshift = a << b;
  
  // Объявление переменных 
  // to '>>' value
  uint16 public rightshift = a >> b;
  
  // Объявление переменных
  // to '~' value
  uint16 public not = ~a;
  
}

Типы побитовых операторов

Операторы присваивания

Эти операторы предназначены для присвоения значения переменной. Операнд слева является переменной, а операнд справа — значением.

Поддерживает следующие операторы присваивания -

Примечание: Та же логика применяется к побитовым операторам, поэтому они будут выглядеть как << =, >> =, >> =, & =, | = , ^ =.

В приведенном ниже контракте AssignmentOperator демонстрируется вышеупомянутые различные типы операторов присваивания.

// SPDX-License-Identifier: MIT
pragma solidity >=0.8.23;
contract AssignmentOperator {    
    
    // Объявление переменных
    uint16 public assignment = 20;
    uint public assignment_add = 50;
    uint public assign_sub = 50;
    uint public assign_mul = 10;
    uint public assign_div = 50;
    uint public assign_mod = 32;
  
    // Определение функции для
    // демонстраии операторов присвоения
    function getResult() public{
        assignment_add += 10;
        assign_sub -= 20;
        assign_mul *= 10;
        assign_div /= 10;
        assign_mod %= 20;
        return;
    }
}

Значения до вызова функции

Значения после вызова функиции

Ключевые моменты:

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

Условные (или тернарные) операторы

Тернарный оператор — это оператор, который принимает три операнда. Тернарные операторы пригодятся, если нужно написать простой оператор if-else в одну строку.

*Конструкция if-else способна проверить одно или же несколько условий и в случае если условие не будет верным, то выполнить другой код или проверить другое условие.

В приведенном ниже примере контракт Conditionalдемонстрирует условный оператор.

// SPDX-License-Identifier: MIT
pragma solidity >=0.8.23;
 
// Creating a contract
contract Conditional{
 
     // Определение функции для демонстрации
     // условного оператора
     function subtract(
       uint a, uint b) public view returns(
       uint){
      uint result = (a > b? a-b : b-a);
      return result;
 }
}

Разность чисел a и b

Функция subtract принимает два аргумента типа uint и возвращает их разность. Она использует условный оператор для определения модуля разности чисел a и b. Если a больше b, то возвращается разность a - b, иначе возвращается разность b - a.

Пример: тройная цепочка операторов

(условие 1) ? оператор 1: ((условие 2) ? оператор 2: оператор 3);

  // SPDX-License-Identifier: MIT
pragma solidity >=0.8.23;

// Контракт на демонстрацию оператора Solidity
// На данный момент этот контракт просто показывает, как
// реализовать тройную цепочку операторов
contract TripleChain {
  constructor() {}
  
  function getResult() public pure returns (string memory) {
    
    // Этот код возвращает строку
    // если a > b, мы возвращаем «a больше»
    // иначе, если a == b, мы возвращаем «a и b равны»
    // иначе b > a мы возвращаем «b больше»
    uint256 a = 200;
    uint256 b = 400;
  
    return (a > b ? "a is bigger" : ((a==b) ? 
        "a and b are equal" : "b is bigger" ));
  }
}

Случай когда: b больше

условие 1 — a>b, условие 2 — a==b.

утверждение 1 — «а больше», утверждение 2 — «а и b равны»,

утверждение 3 — «b больше».

После того когда ознакомились со всеми ключевыми операторами, приступим к смарт-контракту Calculator

Калькулятор

В приведенном ниже примере контракт Calculator демонстрирует:

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

// SPDX-License-Identifier: MIT
pragma solidity >=0.8.23;

contract Calculator {
// Исходное значение калькулятора равно нулю.
    uint256 result = 0; 
// Функция add позволяет прибавить к результату указанное число.
    function add(uint256 num) public { 
        result += num; 
    }
// Функция subtract позволяет вычесть из результата указанное число.
     function subtract(uint256 num) public {
        result -= num; 
    }
// Функция multiply позволяет умножить текущий 
// результат на указанное число.
     function multiply(uint256 num) public {
        result *= num; 
    }
// На выходе контракта возвращается значение 
// текущего результата или значение вычислений.
    function getResult() public view returns (uint256) {
        return result;
    }
// Функция divide позволяет разделить текущий результат
// на указанное число, с проверкой на ноль.
    function divide(uint256 num) public {
    require(num != 0, "Cannot divide by zero");
    result /= num; 
    }
// Функция exponential позволяет возвести число 
// в указанную степень.
    function exponential(uint256 base, uint256 exponent) public {
    result = uint256(1);
        for(uint256 i = 0; i < exponent; i++){
        result *= base;
        }
    }
// Функция squareRoot позволяет получить квадратный корень из числа,
// возвращая только частное, отбрасывая остаток.
    function squareRoot(uint256 num) public view returns (uint256) {
    uint256 x = num;
    uint256 y = (x + 1) / 2;
    while (y < x) {
        x = y;
        y = (x + num / x) / 2;
    }
    return x;
    }
// Функция round позволяет округлить число 
// до десятков, сотен, тысяч и т.д.
    function round(uint256 num, uint256 decimalPlaces) public pure returns (uint256) {
        uint256 precision = 10**decimalPlaces;
        return (num + precision / 2) / precision * precision;
    }
}

Функция сложения "add" принимает один параметр типа uint256 под названием num. Имеет модификатор public, что означает, что она доступна для вызова извне контракта.

В теле функции используется оператор +=, который является сокращенной формой записи для операции сложения с присваиванием. В данном случае, result += num означает, что значение переменной result увеличивается на значение, переданное в аргументах функции (num). Это эквивалентно записи result = result + num;

Таким образом, функция add позволяет увеличить текущее значение result на значение, переданное в качестве аргумента.

Логика функций вычитания и умножения аналогична функции сложения. (Меняются только операторы присваивания)

Функция деления "divide" начинается с проверки с использованием функции require, чтобы убедиться, что аргумент num не равен нулю, иначе функция divideпрервет свое выполнение, выдав ошибку "Cannot divide by zero".

Далее в теле функции используется оператор /=, который является сокращенной формой записи для операции деления с присваиванием. result /= num означает, что значение переменной result делится на значение, переданное в аргументах функции (num) и результат присваивается обратно переменной result. Это эквивалентно записи result = result / num.

Таким образом, функция "divide" позволяет разделить текущее значение result на значение, переданное в качестве аргумента, при условии, что значение аргумента не равно нулю.

Функция возведения в степень принимает два аргумента: base (основание) и exponent (показатель степени) и используется для вычисления степени числа. Функция выполняет умножение base на само себя exponent раз и сохраняет результат в переменную result. Таким образом, функция возводит число base в степень exponent.

Функция квадратного корня выполняет вычисление из числа num с использованием метода Ньютона:

Переменная x инициализируется значением числаnum. Затем переменная y вычисляется как(x+1) / 2.

Затем в цикле while проверяется условие y < x. Внутри цикла x присваивается значение y, а затем y вычисляется как среднее арифметическое между x и num / x. Это повторяется до тех пор, пока значение y не станет больше или равно x.

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

Функция округления принимает два параметра:numчисло, которое нужно округлить) и decimalPlaces(число = количество нулей, на сколько нужно округлить, округление до десятков, до сотен, до тысяч и т.д.)

Внутри функции создается переменная precision, которая равна 10 в степени decimalPlaces. Это используется для определения точности округления.

Затем функция возвращает результат округления числа num до заданной цифры разряда. Для этого к числу num добавляется precision / 2, затем результат делится на precision и умножается на precision, чтобы получить округленное число. Это позволяет округлить число до нужной точности.

Исходное значение калькулятора равно 0

Использование функции сложения (add 10)

Использование функции деления на 5

Возведение 3 в 4 степень. getResult: 81

Функция умножения на 10

Вычитание: 810-2=808

Округление до сотен

Округление до тысяч

Вычисление квадратного корня из числа 1089

Вывод:

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

Используются для изменения состояния контракта (например, изменения значения переменной result), а также для возвращения значений, выполнение проверок (например, проверка деления на ноль в функции divide) и выполнения вычислений в циклах (как в функции exponential).

Этот пример показывает, что операторы Solidity играют центральную роль в разработке функциональных и безопасных смарт-контрактов.

Смарт-контракт для airdrop events.

2023-12-19T10:11:48.638Z

Скажем некое сообщество X планирует сделать раздачу eth для своих подписчиков. Чтобы каждый из них в течении месяца после определенных дат смог забрать свой дроп равный сумме, которую владелец паблика внесет на депозит (смарт-контракта) xBank, поделенное на количество участников события.

// SPDX-License-Identifier: MIT  
pragma solidity >=0.8.17;

contract AirdropEvent {
    uint8 public totalEligible; /* всего eligible участников (переменная 
    uint8 говорит о том, что возможно до 255 человек*/
    uint256 public xBank; /* внесенная общая сумма средств (владельцем), доступная 
    для распределения (может отличаться от текущего баланса контракта)*/
    address public owner; // адрес владельца контракта (владельца сообщества тг)

Cтруктура для хранения данных о каждом участнике, включая их username в telegram, дату и время разблокировки eth и информацию о том, получили ли они уже средства.

    struct EligibleMember {
        string userNameTelegram;
        uint256 unlocking;
        bool alreadyGotMoney;
        bool exist;
    }

    address[] public arrEligibleMembers; /* массив для хранения адресов участников, 
    имеющих право на получение токенов.*/
    mapping(address => EligibleMember) public eligibleMembers; 
    /* использует для хранения информации об участниках, 
    имеющих право на получение токенов, на основе их адреса кошелька.*/

    constructor(){
        owner = msg.sender;
        totalEligible = 0;
    }

    function addEligibleMember( /* функция используется владельцем контракта 
    для добавления участников, имеющих право на получение дропа.*/
        address walletAddress, // адрес кошелька участника
        string memory userNameTelegram, // username в телеграме
        uint256 unlocking // дата и время разблокировки в Unix Timestamp https://www.unixtimestamp.com/
    ) public onlyOwner {
        require(unlocking > 0, "The unlock date has not arrived");
        require( /* проверка что дата разблокировки больше нуля 
        и что пользователя еще нет в списке участников. 
        Если обе проверки пройдены успешно, участник добавляется в 
        список и общее количество увеличивается*/
            eligibleMembers[walletAddress].exist == false,
            "Error! There is such a user"
        );
        eligibleMembers[walletAddress] = (
            EligibleMember(userNameTelegram, unlocking, false, true)
        );
        arrEligibleMembers.push(walletAddress);
        totalEligible++;
        emit NewEligibleMember(walletAddress, userNameTelegram, unlocking);
    } /*генерируется событие "NewEligibleMember"о добавлении нового участника. 
    Модификатор "onlyOwner" гарантирует, что только владелец контракта 
    может вызвать эту функцию. */

Функция для чтения определенного диапазона участников из массива.

       function readEligibleMembersArray(uint cursor, uint length) public view returns (address[] memory) { 
        address[] memory array = new address[](length);
        uint totalEligible2 = 0;
        for (uint i = cursor; i < cursor+length; i++) {
            array[totalEligible2] = arrEligibleMembers[i];
            totalEligible2++;
        }
        return array;
    }

Функция claim эфира для участников, имеющих право на получение токенов после разблокировки.

  function claim() public { 
        address payable walletAddress = payable(msg.sender);

        require(
            eligibleMembers[walletAddress].exist == true,
            "No such participant!"
        ); /* Проверка - существует ли участник с данным кошельком. 
        Если параметр exist (существует) равен false, 
        то будет выведено сообщение "Нет такого участника!" 
        и выполнение функции будет остановлено.*/
        require(
            block.timestamp > eligibleMembers[walletAddress].unlocking,
            "Unlocking hasn't happened yet!"
        ); /* Проверяет произошло ли уже разблокирование для данного участника. 
        Если текущее время (block.timestamp) не наступило, то будет выведено сообщение 
        "Разблокирование ещё не произошло!" и выполнение функции будет остановлено.*/
        require(
            eligibleMembers[walletAddress].alreadyGotMoney == false,
            "You have already received eth!"
        ); /* Получил ли участник уже эфир. Если параметр 
        alreadyGotMoney (уже получил) для участника с заданным кошельком 
        равен true, то будет выведено сообщение "Вы уже получили эфир!" 
        и выполнение функции будет остановлено.
        
        Таким образом, эти три проверки обеспечивают, что участник имеет право 
        получить свой дроп, иначе функция вызовет ошибку 
        и завершит своё выполнение.*/

        uint256 amount = xBank / totalEligible;
        eligibleMembers[walletAddress].alreadyGotMoney = true;
        (bool success, ) = walletAddress.call{value: amount}("");
        require(success);
        emit GotMoney(walletAddress);
    }

Проверка текущего баланса контракта.

function currentBalance() public view returns (uint256) {
        return address(this).balance; 
    }

    modifier onlyOwner() { /* модификатор для ограничения доступа к определенным функциям 
    (только для владельца контракта)*/
        require(msg.sender == owner, "You are not the owner");
        _;
    }

    receive() external payable { /*"запасная" функция для приема и сохранения поступающего эфира в xBank 
    для последующего распределения.*/
        xBank += msg.value;
    }

    //события
    event NewEligibleMember(address indexed walletAddress, string userNameTelegram, uint256 unlocking);
    event GotMoney(address indexed walletAddress);
    }

Конструкция event в Solidity используется для объявления событий, которые могут быть инициированы в ходе выполнения функций в смарт-контракте.

1. event NewEligibleMember(address indexed walletAddress, string userNameTelegram, uint256 unlocking);
* Это событие NewEligibleMember инициируется при добавлении нового участника в список.
* Он принимает три параметра: адрес кошелька, имя пользователя в Telegram и дату разблокировки.
* Ключевое слово indexed используется для обеспечения возможности эффективного поиска и фильтрации событий по указанному параметру.

2. event GotMoney(address indexed walletAddress);
* Это событие GotMoney, которое будет вызвано в случае, если участник получит деньги.
* Он принимает один параметр - адрес кошелька.
* Также используется ключевое слово indexed для этого параметра.

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

[1] Компиляция, деплой и функционал.

Видим оранжевые и синие кнопки, через addEligibleMember можем добавить данные подходящих участников: адрес кошелька, telegram username и дату unlocking например 18.12.2023 17:21:01 преобразованную в Unix Timestamp 1702909261 т.к. все вносится в ручную количество участников небольшое до 255.

[2] Добавим 3х человек с наступившей датой и 2х с разлоком на 25.12.2023

username1
0xAb8483F64d9C6d1EcF9b849Ae677dD3315835cb2

18.12.2023 17:21:01
1702909261
______________________________________
username2
0x4B20993Bc481177ec7E8f571ceCaE8A9e22C02db

18.12.2023 17:21:01
1702909261

______________________________________
username3
0x78731D3Ca6b7E34aC0F824c42a7cC18A495cabaB

18.12.2023 17:21:01
1702909261

_______________________________________
username4
0x617F2E2fD72FD9D5503197092aC168c91465E7f2

25.12.2023 01.11.11
1703455871
________________________________________
username5
0x17F6AD8Ef982297579C203069C1DbfFE4348c372

25.12.2023 01.11.11
1703455871

*Функция для чтения определенного диапазона участников из массива.

[3] Сlaim

Username1 успешно заклеймил 0,2 eth, на балансе контракта осталось 0,8. username4 и username5 смогут это сделать (25.12.)

[4] Вывод: Смарт-контракт предоставляет базовую структуру для проведения аирдропа среди подписчиков (также возможно адаптировать под различные активности и мероприятия, добавлять больше данных о пользователях / ранжировать на группы по анлоку), где участники могут получить свои токены после определенной даты разблокировки.