Смарт-контракт, EVM и первая строка кода

Прежде чем писать на Solidity, разберёмся, куда попадёт этот код и почему к нему такие строгие требования. Спойлер: поправить его вечером, как сайт, не получится. А в конце модуля развернём первый контракт - заготовку нашего краудфандинга.

• что такое смарт-контракт и чем он отличается от обычной программы;
• как устроена виртуальная машина Ethereum (EVM), аккаунты, транзакции и газ;
• из чего состоит минимальный файл на Solidity и как запустить его в Remix.

- Подождите, то есть если я ошибся, это навсегда?

- Почти всегда да. Есть приёмы, которые позволяют обновлять логику (о них - в продвинутом курсе), но по умолчанию развёрнутый код живёт вечно. Поэтому поговорку «семь раз отмерь» здесь приходится соблюдать буквально.

Смарт-контракт похож на торговый автомат. Правила написаны заранее и одинаковы для всех: бросил монеты, нажал кнопку - получил банку. Продавец-посредник не нужен, исключений «по дружбе» автомат не делает и исполняет ровно то, что в нём зашито. А если в механизме есть изъян - скажем, он выдаёт две банки за одну монету, - об этом очень быстро узнают все. В блокчейне такие «две банки» обычно стоят миллионы.

У каждой транзакции есть лимит газа. Если выполнение его превысит, транзакция откатывается целиком, как будто её не было, - только заплаченный газ не возвращается. Обидно, но честно. Зато бесконечный цикл в контракте не «повесит» сеть: он просто упрётся в лимит и отменится. Экономия газа - вечная забота разработчика; ей посвящён целый модуль продвинутого курса.

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.24;

contract Counter {
    uint256 public count;          // переменная состояния, лежит в storage

    function increment() public {    // функция, меняющая состояние
        count += 1;
    }
}

Слово public у переменной означает «сгенерируй функцию чтения». А вот private вводит в заблуждение почти всех: значение такой переменной всё равно лежит в открытом хранилище, и прочитать его напрямую из блокчейна может любой желающий. private запрещает читать переменную другим контрактам в коде, людям оно не мешает. Пароль в контракте - это пароль, написанный мелом на заборе. Никогда не храните там секреты.

- А почему чтение бесплатное, а запись - нет?

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

• у кампании есть цель (сколько эфира нужно собрать) и дедлайн (до какого момента);
• любой может сделать вклад, отправив эфир в контракт;
• если к дедлайну цель достигнута - создатель кампании забирает собранное;
• если не достигнута - каждый вкладчик может вернуть свои деньги;
• контракт честно ведёт учёт: кто сколько внёс и сколько собрано всего.

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.24;

contract Crowdfunding {
    // адрес создателя кампании (заполним в модуле 3)
    // цель и дедлайн (модуль 2)
    // учёт вкладов (модуль 4)
    // приём и возврат денег (модуль 5)
}

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

Каркас контракта готов, но о кампании он пока ничего не знает. Как записать цель в 10 эфиров, если дробных чисел в Solidity нет вовсе? В следующем модуле разберём типы данных и три места, где живут переменные, - от этого зависит цена каждой транзакции.