zkllvm-blueprint

zkllvm-blueprint copied to clipboard

Division by zero in blueprint_algebra_curves_plonk_variable_base_scalar_mul_test

2

We always had a division by zero in blueprint_algebra_curves_plonk_variable_base_scalar_mul_test, near assignment.witness(component.W(7), i + 1) = (P[0].Y - Q.Y) * (P[0].X - Q.X).inversed(); in include/nil/blueprint/components/algebra/curves/pasta/plonk/variable_base_scalar_mul.hpp. P[0].X - Q.X is zero because...

martun

ETatuzova