Участник Ethereum Marchhill представил черновик предложения, направленного на включение универсальной проверки доказательств и спонсируемой пакетной обработки, что позволит нескольким транзакционным требованиям совместно использовать одно доказательство, сохраняя при этом отдельные платежи и подписи.
Краткое содержание
- Спонсоры могли бы оплачивать пакетные доказательства, в то время как транзакции участников оплачивают свои индивидуальные требования.
- Допустимые подмножества могли бы попадать в блок без необходимости для участников повторно подписывать свои транзакции.
- Предлагаемые комиссии и лимиты ресурсов остаются предварительными, а активация зависит от измерений производительности.
- Представленный материал является черновиком пул-реквеста без присвоенного номера EIP или даты активации в основной сети.
Предложение Marchhill, поданное в репозиторий EIP Ethereum 13 ноября, активировало бы схему LEANSTARK_SCHEME, зарезервированную в EIP-8288, и ввело бы правила для спонсируемых пакетов. Представленный материал находится в разработке и не был принят в качестве обновления сети Ethereum.
Черновик объединяет универсальную проверку, идентичность доказательства, лимиты ресурсов, сводки зависимостей и пакетные платежи в одно предложение. Он заменяет более раннюю заявку, пул-реквест №12654, при этом номер EIP и специальная тема для обсуждения ещё должны быть назначены.
Пакетные доказательства Ethereum разделят платежи спонсора и участников
В центре черновика находится схема оплаты, при которой спонсор покрывает каждый сохраняемый лист пакета — отдельный компонент доказательства, содержащий несколько требований. Транзакции участников оплачивались бы в соответствии с их собственными поданными требованиями.
Строитель блока мог бы включить любое допустимое подмножество, не требуя от участников повторной подписи. Таким образом, согласно предлагаемому механизму, тому, чья транзакция была готова к включению, не потребовалась бы новая подпись только из-за того, что другие участники исходной группы были исключены.
Черновик сохранил бы индивидуальные нонсы и квитанции транзакций. Нонс идентифицирует место транзакции в последовательности транзакций счёта, а квитанция фиксирует результат её выполнения. Совместное использование работы над доказательствами оставило бы эти записи привязанными к отдельным транзакциям.
Сопоставление платежей проверялось бы на этапе финализации, при этом рекурсивные доказательства аутентифицировали бы источники, использованные в пакете. Представленный материал различает работу по установлению действительности требований и работу по подтверждению сопровождения их необходимыми платежами.
Требования со скидкой и платежи спонсоров направлялись бы непосредственно строителям блоков. Обычные доказательства, охватывающие одно утверждение, оставались бы доступными для публичного мемпула, где транзакции ожидают включения в блоки.
Универсальная проверка строится на EIP-8288
Лежащий в основе EIP-8288, авторами которого являются Виталик Бутерин и Томас Коратже, предлагает агрегирование криптографических подписей и доказательств вне основного процесса выполнения Ethereum. Транзакции определяли бы утверждения, которые необходимо проверить, а рекурсивный STARK устанавливал бы их действительность на уровне блока.
STARK — это криптографические доказательства, демонстрирующие, что вычисление было выполнено правильно, без необходимости каждому верификатору повторять его. Рекурсия позволяет одному доказательству проверять другие доказательства, объединяя их результаты.
В настоящее время EIP-8288 резервирует универсальную схему leanSTARK, а не разрешает её использование в фреймах зависимостей. Представленный материал Marchhill предлагает включить этот путь и заменить простое утверждение хеша данных базового черновика на стабильный дайджест, представляющий список требований.
Дизайн следует более раннему обсуждению криптографической проверки, включая поддержку Бутериным обработки сложной криптографии посредством агрегированных доказательств. Его комментарии касались базовой архитектуры; черновик Marchhill излагает конкретную схему проверки и оплаты.
Предлагаемые сборы остаются предметом калибровки
Представленная редакция перечисляет предварительные сборы в размере 15 400 газа за нативную проверку и 572 000 газа за обычную универсальную проверку. Она назначает 5 100 газа на долю внутреннего доказательства, 675 000 газа на платеж за лист и 4 200 газа на пакетное требование.
Платежи за листья несут отдельную плату, поскольку привязка платежей добавляет фиксированную работу сверх обычной проверки, поясняет черновик. Требования и платежи не повлекут дополнительной доли внутреннего доказательства. Эти цифры требуют совместной калибровки, поэтому они не устанавливают окончательный график комиссий или подтверждённую экономию для пользователей.
Ограничения ресурсов включают предварительный лимит блока в 16 384 различных зависимостей, применяемый независимо от газа, наряду с соответствующим правилом соответствия списку включения. Лист может содержать до 256 утверждений, а шаг доказательства может иметь 16 входов. Ни одна из этих цифр не является лимитом на уровне блока.
Активация потребует измерений производительности полного блока
Перед активацией предложение требует измерений, охватывающих полный график обработки, позднее исправление спонсором и пошаговые сборы за доказательство, которые укладываются в лимиты газа транзакции, включая необходимые накладные расходы.
Его эталонные материалы отличают измеренные результаты для отдельного узла и одной машины от смоделированных показателей для 16 рабочих. Черновик требует, чтобы доказательства и оставшиеся пробелы в производительности были зафиксированы в его эталонных материалах.
Аннулированное спонсорство может привести к потере работы строителя, и в заявке говорится, что газ включения не возместит эту работу. Конкретное построение обязательств и кодировки остаются в закреплённой спецификации системы доказательств. Предложение не вводит новых сетевых сообщений.
