Comment by @pigdao5p • Hey

zkevm ≤ lens ....