moved constant "generators" to prover