zkvyper - это компилятор Vyper. Начиная с версии 1.3.12 и до версии 1.5.3, поскольку LLL IR не имеет ограничений по Тьюринг-полноте, он ком…

zkvyper - это компилятор Vyper. Начиная с версии 1.3.12 и до версии 1.5.3, поскольку LLL IR не имеет ограничений по Тьюринг-полноте, он компилируется в цикл с гораздо более поздним условием выхода. Это приводит к потере средств или другому нежелательному поведению, если тело цикла его содержит. Однако более реальные примеры использования, такие как итерация по массиву, не затрагиваются. Эта проблема не затронула ни один контракт и была исправлена в версии 1.5.3. Обновление и повторное развертывание затронутых контрактов - единственный способ избежать уязвимости.