Comment by @genjutsu • Hey

zkevm ≤ lens ....