🔒🖼️ Новый пост: Зашифрованные транзакции рамки 🔒🖼️ tl;dr: Зашифрованные транзакции рамки основаны на LUCID и EIP-8141, чтобы скрыть параметры выполнения (цель, calldata, суммы) до тех пор, пока порядок блока не будет зафиксирован. Этот дизайн разблокирует зашифрованное выполнение в одном слоте, чередующиеся открытые/зашифрованные транзакции и совместим с будущими схемами PQ. 👇🧵

Дизайны зашифрованного мемпула сегодня (например, LUCID) задерживают выполнение до следующего слота и используют выделенную полосу в верхней части блока для зашифрованных транзакций. В этом посте предлагается выполнение зашифрованных транзакций в том же слоте, отделяя упорядочение от выполнения. Строитель подтверждает полный упорядоченный набор транзакций до того, как будет раскрыт любой ключ, а затем выполняет это подтвержденное упорядочение в том же слоте.

В стандартном ePBS ставка строителя привязывается к предвычисленному block_hash. Это не работает здесь, потому что конечный результат зависит от того, какие зашифрованные txs будут раскрыты и к чему они расшифруются. Вместо этого ставка привязывается к tx_ordering_root, блокируя полный список транзакций до раскрытия. Выходы, зависящие от выполнения (state_root, BAL, квитанции), связываются только после.

Это ключевое отличие от LUCID. В LUCID ключи выпускаются во время слота N, а выполнение происходит в верхней части блока в слоте N+1. Следующий строитель уже знает расшифрованные транзакции, когда размещает остальную часть блока. Здесь обязательство происходит до раскрытия, выполнение остается в том же слоте, а зашифрованные транзакции чередуются с открытым текстом в одном порядке.

Каждый зашифрованный кадр tx имеет публичный кадр VERIFY и скрытую зашифрованную фазу выполнения. Конверт фиксирует exec_params_binding = H(exec_params). Цель, calldata, суммы и, при необходимости, плата за приоритет остаются скрытыми до раскрытия. Если ключ не поступит до крайнего срока раскрытия строителя, зашифрованная фаза пропускается. VERIFY все равно выполняется, nonce используется, и отправитель оплачивает публичную часть. Скрытые газовые расходы на выполнение возвращаются. Порядок остается фиксированным независимо от этого.

Строитель все еще имеет право на усмотрение в отношении раскрытий, близких к сроку. Чтобы ограничить это, дизайн использует слияние представлений аттестаторов, аналогичное FOCIL: аттестаторы не будут голосовать за полезную нагрузку, которая помечает раскрытие как отсутствующее, если они наблюдали ключ до своего собственного срока заморозки.

Что касается проблемы (другого) бесплатного варианта: саморасшифровывающийся отправитель может наблюдать за зафиксированным порядком и выбирать момент для раскрытия, когда позиция будет благоприятной, фактически удерживая бесплатный вариант исполнения. Существуют меры смягчения, такие как дополнительные сборы за зашифрованные транзакции или штрафы за пропуск, но я думаю, что необходимо больше исследований для принятия окончательных решений.