Weikeng Chen

By the way, thanks a lot for the serialization system by Celo. It has helped one of my projects significantly!

Yes. I will take a look!

Is the problem due to whether it should default to `(de)serialize_uncompressed` or `(de)serialize_unchecked` when a specific implementation is not given?

Updated that arkworks-rs/algebra#274 would no longer be a blocker.

I agree that the irreducible polynomial is basically hidden throughout both repos. And it seems that the current implementations in https://github.com/arkworks-rs/algebra/tree/master/ff/src/fields/models focus on only specific irreducible polynomials. Should we add...

(Note: generally there exist some prime numbers that could cause some of these polynomials to be not irreducible, but it seems to be rare)

So it seems that it is possible to implement u^2+5, just one needs to choose the NONRESIDUE in Fq2Parameters to be -5. On a related note, I recently also implemented...

After Curve25519 there might be Ristretto. https://ristretto.group/

Some description of these parameters and how to calculate them are here: https://github.com/arkworks-rs/algebra/blob/master/ff/src/fields/mod.rs#L202 Warning: some of them need to be in the Montgomery form. The documentation of this is still...

Yes. That PR would simplify the matter a lot. By the way, previously I used Python to calculate. To chop a big number into u64 u64, I use `% pow(2,...