lambdaclass / lambdaworks_kzg Goto Github PK

#9 assumes that the number of G2 points is 2. The Ethereum implementation generalizes that number, so we have to do the same.

We assume that the number of G2Points is 2 (this happens in Plonk). The Ethereum implementation generalizes this number. We can generalize in another issue.

Trusted setup files have G1 and G2 points encoded in hex. We need to uncompress each point as (x, y) field element pairs.

Basically, check that r*g1=Point at infinity

Use of projective coordinates, Montgomery form