Add polynomials to zkp #3
Conversation
survived
force-pushed
the
polynomial
branch
2 times, most recently
from
75a6dde
to
b1f4848
Compare
|
I have updated cggmp21 code as well to use polynomials from this crate, you can find changes in LFDT-Lockness/cggmp21#49 |
| pub fn value<P, O>(&self, point: &P) -> O | ||
| where | ||
| O: Zero, | ||
| for<'a> O: ops::Mul<&'a P, Output = O> + ops::Add<&'a C, Output = O>, |
There was a problem hiding this comment.
Looking at usage in cggmp21: maybe add a variant where C = P = O? Call it value_in for value in ring/field
There was a problem hiding this comment.
Idk, value_in seems more confusing to me. I didn't find generics annoying when I was updating cggmp21 to use Polynomial. Most of the time compiler can figure out the generics, sometimes I had to specify them, but it was fine
You're asking why I didn't put it in |
Move polynomials-related logic from cggmp21 to generic-ec-zkp crate