optimized verification scheme by calculating local hash before reduction