We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 4936e51 commit fd172c1Copy full SHA for fd172c1
src/poly/domain/vanishing_poly.rs
@@ -38,12 +38,6 @@ impl<F: PrimeField> VanishingPolynomial<F> {
38
/// Caution for use in holographic lincheck: The output has 2 entries in one
39
/// matrix
40
pub fn evaluate_constraints(&self, x: &FpVar<F>) -> Result<FpVar<F>, SynthesisError> {
41
- if self.dim_h == 1 {
42
- let mut cur = x.square()?;
43
- cur -= &FpVar::Constant(self.constant_term);
44
- return Ok(cur);
45
- }
46
-
47
let mut cur = x.square()?;
48
for _ in 1..self.dim_h {
49
cur.square_in_place()?;
0 commit comments