Співзасновник Ethereum Віталік Бутерін окреслив те, що він вважає потенційно великою еволюцією транзакцій Ethereum.
Він стверджує, що нещодавня робота над абстракцією облікових записів, дизайном стану та агрегацією криптографічних доказів сприяє чіткішому розмежуванню між тим, що роблять транзакції, і тим, що має бути доведено, перш ніж вони зможуть це зробити.
Бутерін сказав, що нещодавні дослідження навколо EIP-8141, альтернативних моделей стану, ключових одноразових номерів та рекурсивних мемпулів на основі STARK створили більш чітку концептуальну модель транзакцій.
Ключове — розрізняти два компоненти: «дії» та «залежності».
«Дія — це ефект, який має транзакція», — пояснив Бутерін.
Це розмежування може звучати переважно концептуально. Однак Бутерін стверджує, що явне розділення цих двох аспектів може дозволити розробникам Ethereum оптимізувати їх принципово різними способами.
Чому це важливо
Перевірка та виконання традиційно переплетені. Вузли отримують транзакції, перевіряють необхідну інформацію та зрештою виконують їх.
Бутерін стверджує, що залежності мають властивості, які роблять їх особливо придатними для оптимізації.
Багато залежностей можна перевіряти паралельно. Деякі можуть бути перевірені мемпулом до того, як транзакція потрапить у блок. Інші взагалі не потребують доступу до стану Ethereum.
Ці так звані «чисті» залежності потенційно можуть бути перевірені мемпулом один раз, а потім ніколи не виконуватися кожним валідатором знову.
За словами Бутеріна, великі набори таких перевірок зрештою можуть бути замінені одним STARK-доказом, що підтверджує, що всі вони були виконані правильно.
«Залежності можуть оброблятися паралельно», — написав він.
