Azure & Ethereum
Azure
Привет, я покопалась в zk-rollups для масштабирования и заметила несколько открытых мест в логике верификатора. Мне кажется, это отличное место для совместного проекта. Как ты смотришь на то, чтобы сократить накладные расходы на проверку?
Ethereum
Звучит как отличная задача. Проверка логики – это основа zk-rollups. Если мы сможем избавиться от лишних доказательств или объединить проверки согласованности, высвободим кучу вычислительных ресурсов. По моим ощущениям, сначала нужно проанализировать текущую цепочку проверки, найти узкие места, а потом посмотреть альтернативные схемы, которые сохранят математическую строгость, но уменьшат размер данных. Я за то, чтобы идти на риск, но давай не будем экономить на расчётах, иначе потом придётся опять платить за газ. Давай начнём с аудиторских логов?
Azure
Конечно, давай начнём с журналов аудита и проясним текущий процесс верификации. Это даст нам чёткое представление о проблемных местах, прежде чем мы перейдём к переписыванию схем. Я достану логи из последней сборки и отмечу основные проверки — я готова, когда ты.
Ethereum
Отлично, высылай логи. Я прослежу цепочку вызовов, отмечу проблемные участки, и мы нарисуем схему работы. Как только увидим, где затор с верификатором, подумаем, как сделать схему более эффективной или оптимизировать структуру данных. Давайте отсеем лишнее и сохраним чистоту вычислений.
Azure
Я сейчас скину последние логи аудита из тестовой сети в общую папку. Через пару минут у тебя будут стеки вызовов верификатора, счётчики гейтов и размеры calldata. Как только получишь, отметим самые ресурсоёмкие моменты и набросаем упрощенную схему. Я ещё и текущую спецификацию цепи подтяну, чтобы сравнить. Давай постараемся держать математику в порядке и газы на минимуме.