NethermindEth / cairo-plonk-verifier

Plonk Verifier in Cairo
0 stars 0 forks source link

Group operations for Field degree 2 as circuits #7

Open danielntmd opened 5 hours ago

danielntmd commented 5 hours ago

Let's create a new ECOperations trait that that implements the add, double, and multiply functions as circuits for the AffineG2 type.

We can choose to ignore the other functions in this trait as we will be incorporating their circuits directly into these 3 operations, but feel free to add for completeness.

Relevant files will be the groups file.