Merge pull request #3032 from o1-labs/arrabbiata/remove-marker

svv232 · web-flow · commit aa13c6aba577 · 2025-02-18T15:05:29.000-05:00
diff --git a/arrabbiata/src/witness.rs b/arrabbiata/src/witness.rs
@@ -245,12 +245,6 @@ pub struct Env<
     /// Current input
     pub zi: BigInt,
     // ---------------
-
-    // ---------------
-    // Only used to have type safety and think about the design at the
-    // type-level
-    pub _marker: std::marker::PhantomData<(Fp, Fq, E1, E2)>,
-    // ---------------
 }
 
 // The condition on the parameters for E1 and E2 is to get the coefficients and
@@ -1013,8 +1007,6 @@ where
             // Inputs
             z0: z0.clone(),
             zi: z0,
-            // ------
-            _marker: std::marker::PhantomData,
         }
     }
 

Original file line number	Diff line number	Diff line change
`@@ -245,12 +245,6 @@ pub struct Env<`
`245`	`245`	`/// Current input`
`246`	`246`	`pub zi: BigInt,`
`247`	`247`	`// ---------------`
`248`		`-`
`249`		`- // ---------------`
`250`		`- // Only used to have type safety and think about the design at the`
`251`		`- // type-level`
`252`		`- pub _marker: std::marker::PhantomData<(Fp, Fq, E1, E2)>,`
`253`		`- // ---------------`
`254`	`248`	`}`
`255`	`249`
`256`	`250`	`// The condition on the parameters for E1 and E2 is to get the coefficients and`
`@@ -1013,8 +1007,6 @@ where`
`1013`	`1007`	`// Inputs`
`1014`	`1008`	`z0: z0.clone(),`
`1015`	`1009`	`zi: z0,`
`1016`		`- // ------`
`1017`		`- _marker: std::marker::PhantomData,`
`1018`	`1010`	`}`
`1019`	`1011`	`}`
`1020`	`1012`