While divisors are understood, being part of the underlying geometry of elliptic curves and in-use in pairing-curve-based solutions, this application from Eagen is novel. We should have it, and the efficiency gains via logarithmic derivatives, reviewed. Specifically, the first interpolation check provided in 3.2 of https://eprint.iacr.org/2022/596, and the ability to simplify it with logarithmic derivatives (yet not the z coordinate work as we do not use it, which is notable as the provided logarithmic derivative transform is for the z coordinate solution, making our transform distinct from anything directly in paper).
While divisors are understood, being part of the underlying geometry of elliptic curves and in-use in pairing-curve-based solutions, this application from Eagen is novel. We should have it, and the efficiency gains via logarithmic derivatives, reviewed. Specifically, the first interpolation check provided in 3.2 of https://eprint.iacr.org/2022/596, and the ability to simplify it with logarithmic derivatives (yet not the z coordinate work as we do not use it, which is notable as the provided logarithmic derivative transform is for the z coordinate solution, making our transform distinct from anything directly in paper).