ZK всегда был предполагаемым эндшпилем для масштабирования Ethereum и продвигается быстрее, чем ожидалось, агрессивно отодвигая сроки. Тем не менее, при встраивании ZK в L1 отсутствует ясность в отношении рыночного дизайна. Коротко 🧵о моем докладе на эту тему в EthCC ↓

1/ Полезно сравнить делегирование доказательства с известным аукционом PBS. Оба передают сложные задачи внешним сторонам, но денежные потоки движутся в противоположных направлениях: строители покупают ценное пространство блока доказатели продают услугу генерации доказательства Это делает ответственность доказателей более сложной.

3/ Мы представляем модель закупок с штрафом за активность. Штраф C отражает экономические потери от пропущенного слота и применяется, если не предоставлено доказательство. Это может составлять сотни ETH (по недавним выигрышным ставкам MEV-Boost @mevproposerbot)!

7/ В заключение, получение доказательств не является универсальным решением. Противоборствующая среда схожа с (и, возможно, более тонка, чем) та, что в дизайне TFM, но без почти такой же обширной поддерживающей литературы. Некоторые открытые вопросы ниже.

спасибо @ks_kulk @_julianma @kevaundray за их связанные посты: - -