キーワードpolynomial time verification