TODOs in ecc/mod.rs

[Autoparallel]

ECC

We need to get the following done to be able to implement other issues (e.g., #34)

• Implement reduced_ate_pairing_batch_precomputed()
• Implement conditionally_subtract_from_double_modulus()
• Implement tag_coset_generator()
• Implement coset_generator()
• Implement external_coset_generator()

[Autoparallel]

Trying to work on this now but I'm a bit lost.

We need to be able to get:

• the modulus of the scalar field
• coset generators

In Barettenberg these are all part of the field struct (located in field.hpp)

[Autoparallel]

@shuklaayush want to join?

[shuklaayush]

Let's do it

[shuklaayush]

We probably don't need reduced_ate_pairing_batch_precomputed for now as mentioned in #57

[Autoparallel]

• We need to figure out how the exact values of the coset generators are attained.
  • Can we copy from Barretenberg or IDEALLY, use Arkworks?
• Figure out the double modulus. Do we need the exact BigInt value?

[laudiacay]

whats up here @shuklaayush

[laudiacay]

oh yeah i put stubs for the coset generators. weren't we arguing about this in the chat? I decided to do something else

[laudiacay]

just kidding. we still need 3/4 of these, I think. but wait until a test is breaking to implement them.