proof-systems icon indicating copy to clipboard operation
proof-systems copied to clipboard

delete mina-curves

Open mimoo opened this issue 3 years ago • 6 comments

I believe we should be able to delete the mina-curves crate and use pallas/vesta from https://github.com/arkworks-rs/curves

thanks to @mmaker for the pointer

mimoo avatar May 02 '22 12:05 mimoo

We use a different generator, and we're now locked into it because we use it for Mina public keys. @mimoo I recommend closing this issue.

Anybody considering taking this on nonetheless should also expect to create a PR on the Mina side that allows signatures etc. to still work after this change, and any PR to make this change will not be approved or merged until the PR against MinaProtocol/mina has been accepted.

mrmr1993 avatar May 02 '22 13:05 mrmr1993

I was under the impression that we never use the generator specified in arkworks in our code, maybe I missed a place

EDIT: Ah I guess the signer might, cc @jspada . But it should be easy to just re-define the curve point there, instead of redefining the same curve

mimoo avatar May 02 '22 15:05 mimoo

another thing, at a minimum we should move to their new way of doing this: https://github.com/arkworks-rs/curves/blob/master/pallas/src/fields/fq.rs

mimoo avatar May 02 '22 16:05 mimoo

@mimoo - what precisely do you mean by "redefine the curve point there"? Redefine the generator locally within the signer? Are you sure the mina generator is not used anywhere else in proof systems, snarky, pickles, mina?

jspada avatar May 03 '22 09:05 jspada

I don’t think so but I might be wrong. Let’s just make this issue about defining things more clearly like in arkworks for now :o I just got enthusiastic about the possibility of deleting code

mimoo avatar May 03 '22 09:05 mimoo

Stale issue message

github-actions[bot] avatar Jul 03 '22 07:07 github-actions[bot]

Stale issue message

github-actions[bot] avatar Sep 12 '22 07:09 github-actions[bot]