search

arkworks-rs / snark

Interfaces for Relations and SNARKs for these relations
https://www.arkworks.rs
Apache License 2.0
769 stars 203 forks source link

Sage scripts params #352

Closed DDT92 closed 2 years ago

DDT92 commented 2 years ago

Added two Sagemath scripts:

  1. check_field_parameters.sage, inserted in algebra/src/fields, checks the consistency of the prime fields parameters. They have already been reviewed by Ulrich before being added in ginger-lib;
  2. check_curve_parameters.sage, inserted in algebra/src/curve, checks the consistency of the short Weierstrass curves over prime fields parameters.
weikengchen commented 2 years ago

This seems to be pretty big PR. Is it intended for HorizenOfficial's own PR or?

Pratyush commented 2 years ago

@DDT92 we would love to add these to curves, so if you'd like you can make a PR there =)

DDT92 commented 2 years ago

This seems to be pretty big PR. Is it intended for HorizenOfficial's own PR or?

Sorry, this was intended for HorizenOfficial's own repo (for the moment). My mistake and my apologies.