Comment by @eric333 • Hey

zkevm ≤ lens ....