Comment by @lahngaturlo • Hey

zkevm ≤ lens ....