Я новичок в блокчейне.Я смотрел различные видео об эфириуме и умных контрактах, но я не понимаю, что именно хранится в Ledger.Все примеры умных контрактов, на которые я смотрел, создали mapping в смарт-контракте, что это или я что-то упустил?Я также читал о майнерах, майнеры исполняют умные контракты, но что они проверяют?