Closed feltroidprime closed 4 months ago
This adds CairoZero circuits and interfaces for https://eprint.iacr.org/2022/596.pdf
A "tweak" is made in (Eq 3) in the paper by passing the Sum of Logarithmic Derivatives of the Elliptic curves divisors instead of each divisor individually.
This adds CairoZero circuits and interfaces for https://eprint.iacr.org/2022/596.pdf
A "tweak" is made in (Eq 3) in the paper by passing the Sum of Logarithmic Derivatives of the Elliptic curves divisors instead of each divisor individually.