Add new fixed generators for the output circuit

src/circuit/mont.rs

@@ -788,7 +788,7 @@ mod test {
         for _ in 0..100 {
             let mut cs = TestConstraintSystem::<Bls12>::new();
 
-            let p = params.generator(FixedGenerators::NoteCommitmentRandomization);
+            let p = params.generator(FixedGenerators::NoteCommitmentRandomness);
             let s = Fs::rand(rng);
             let q = p.mul(s, params);
             let (x1, y1) = q.into_xy();
@@ -805,7 +805,7 @@ mod test {
 
             let q = fixed_base_multiplication(
                 cs.namespace(|| "multiplication"),
-                FixedGenerators::NoteCommitmentRandomization,
+                FixedGenerators::NoteCommitmentRandomness,
                 &s_bits,
                 params
             ).unwrap();

src/jubjub/mod.rs

@@ -67,8 +67,11 @@ impl JubjubEngine for Bls12 {
 /// exponent.
 #[derive(Copy, Clone)]
 pub enum FixedGenerators {
-    NoteCommitmentRandomization = 0,
-    Max = 1
+    NoteCommitmentRandomness = 0,
+    ProvingPublicKey = 1,
+    ValueCommitmentValue = 2,
+    ValueCommitmentRandomness = 3,
+    Max = 4
 }
 
 pub struct JubjubBls12 {