state: lower memory footprint for verify