Weikeng Chen

@burdges We are thinking about an approach that seems to be the same one you are looking for... That is, instead of placing a hook in `algebra`; instead, users fork...

@Pratyush Let me create an issue to cover this topic, and probably for this PR we will just let it be this.

In other words, I feel we need to bring up "polynomial IOP" in the codebase.

This is likely going to be a long project. One way to make this more possible is to allow "using R1CS" in the TurboPlonk or Halo2, by having a `ConstraintSystemRef`...

This seems to go in the opposite direction of how Plonk and TurboPlonk achieves a better performance---by using more FFTs, people try to reduce MSMs, and it has been the...

Nonnative arithmetics: https://github.com/DZK-Labs/ark-yafa/blob/main/benches/curve25519_scalar_mul.rs#L165 This is about 4M constraints I believe.

^ The change above (using CanonicalSerialize + CanonicalDeserialize) is done. But, it depends on https://github.com/arkworks-rs/algebra/pull/476

Closed --- needs to rebuild the PR.

I find a probably better solution is to do something like the following, so it is still a proper 32-byte key. ``` base64_decode('wWzOmmkU3VX5BBaToePoWv55m+g9I6suhnWmbrpXXtw=') ``` But I think it should be...

I may contribute some code for this since it is needed for a project. My proposal for implementation is as follows. Let me know if there are any red flags....