Luannet

https://github.com/MinaProtocol/mina/blob/develop/src/lib/pickles/verify.ml#L30 - original implementation https://github.com/NilFoundation/zkllvm-blueprint/blob/mina-circuits/include/nil/crypto3/zk/components/systems/snark/plonk/pickles/verify_heterogenous_base.hpp#L153 - elliptic curves base field (for point coordinates) calculations implementation. https://github.com/NilFoundation/zkllvm-blueprint/blob/mina-circuits/include/nil/crypto3/zk/components/systems/snark/plonk/pickles/verify_heterogenous_scalar.hpp#L316 - scalar field calculations implementation.