作問するときに気をつけること

作問 getstrongprimeはsafe_primeを返すわけではない

#作問

  • getStrongPrimeはsafe primeを返すわけではない

    • 特にquadratic residue関連の問題を作るときはこれに気をつけたい

  • 特別な理由がなければフラグにはパディングをつける

    • small_roots で解けるべきかどうか、ということ

  • 愚直なz3で解けないことを確かめておく

  • p や 0 や負値を入力してunintended solutionが得られないことを確かめておく

  • 1 や p-1 も同様