Вастрик

Языки смарт-котрактов хоть и упрощены до безобразия, но при этом обладают полнотой по Тьюрингу. Другими словами, на них можно реализовать любую логику, которая поддаётся программированию. В них есть переменные, функции, условия, циклы и даже некое подобие классов и наследования.

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

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

За выполнение операций в контракте, будь то условие, сравнение или вызов функции, нужно платить. Платит всегда тот, кто вызывает контракт. В нашем случае и Олег, и Настя заплатят за свои вызовы по копеечке майнерам.
Так сделано, чтобы избежать бесконечных циклов и чрезмерно сложных вычислений. Ведь код исполняется на компьютерах майнеров, те просто зависнут и не смогут майнить дальше.
Для этого в Ethereum используют так называемый Газ (Gas) — это маленький кусочек Эфира (ETH) — внутренней валюты.

Если заморочиться, смарт-контракт с арендой можно сделать на биткоине. Но в языке Script нет циклов и рекурсии — что лишает его полноты по Тьюрингу, а Ethereum есть. И целая виртуальная машина в придачу.

Владение кошельком подтверждает только приватный ключ.

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

Такие прикрепленные к транзакции доходы в блокчейне называются инпутами (input), а все получатели денег — аутпутами (output).

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

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