VFY (zkVerify) on Base