Старт без газу та підґрунтя для доказових аудитів

Цього тижня зрушили три опори, і всі вказують в одному напрямку: безпека, яку можна перевірити, а не приймати на віру.

Перша транзакція без токенів

Нативна абстракція акаунтів тепер охоплює першу операцію зовсім нового гаманця. Адреса з нульовим балансом може проводити транзакції; комісія береться зі спонсорського пулу, а не з користувача.

Перевірено на вузлі: транзакція з нульовим балансом проходить, а комісія списується з пулу. Звичний крок «спершу роздобудьте токени деінде» зник.

Чому крихітна модель — це перевага

VMGuardian, аудитор контрактів, має 897 параметрів. Це звучить як обмеження — доки не спробуєш довести його роботу.

Прямий прохід такого розміру реально виконати всередині zkVM, а це робить можливим криптографічний доказ: ця оцінка — результат роботи затвердженої моделі на цьому байткоді. Жодної довіри до того вузла, який виконав аудит. Дизайн і каркас уже готові.

Підґрунтя для взаємодії мереж

Наш внутрішній міжшардовий релей — блокування, фіксація, повернення, з Merkle-доказами й тайм-аутами — узагальнено до багаторазового рушія пакетів і каналів. Поведінка наявних міжшардових переказів не змінилася; змінилося те, що той самий механізм тепер може переносити пакети назовні.