Гаразд, давайте я спробую. vProg схожий на це крихітне EVM-середовище, стан якого повністю закодовано на базовому рівні, тому він не потребує зведень над ним. Це має безліч переваг і недоліків. Головна перевага: немає рулону, все на базовому шарі, склад стає «банальним». Головний мінус: немає роллапа, вся доступність даних лягає на користувачів, а композиція стає дорогою на великих часових масштабах. vProgs мають сенс для ситуацій, коли атомарна компонування є швидкою (час, необхідний для створення доказу, залежить від затримки мережі) і частою. Зведені пакети доцільно виконувати, якщо вам потрібні операції на великі відстані з постійною доступністю даних. Крім того, vProgs не впорається з цим завданням у будь-яких умовах, де потрібна зовнішня ліквідність. vProgs не замінюють роллапи, вони доповнюють їх. Зокрема, vProgs потенційно можуть використовуватися в скриптах блокування rollup (частина, яка визначає умови, за яких заблоковані активи, наприклад, Kaspa з'єднана з rollup, можуть бути розблоковані) на користь обох. Але здебільшого ніхто не знає точно, що таке vProg, у тому числі люди, які зараз їх розробляють, тому що така природа ідей, які все ще розвиваються. Атомарна компонованість vProgs може бути ключем до канонічної сумісності зведення. Я думаю, що в цьому і полягає справжня сила цього поняття і мотивація, що стоїть за ним.