Orbis-Tertius / haskell-fri-proofs

WIP: FRI-based ZKPs in Haskell
Apache License 2.0
3 stars 1 forks source link

Write polynomial property tests #15

Open locallycompact opened 1 year ago

locallycompact commented 1 year ago

Check forall polynomials x, x is divisible by x Check forall polynomials x y, with y nonzero, x y is divisible by y Check forall polynomials x y, with y nonzero, y x is divisible by y