arkworks-rs / snark

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

Add Edwards curves over MNT-298 and MNT-753 #218

Closed weikengchen closed 4 years ago

weikengchen commented 4 years ago

With the help of Pratyush, we found Edwards curve parameters for MNT-298 and MNT-753. The former was easy. The latter took ~$1k AWS credits together with half a month of two machines in RISELab.

Comments are made extensive to aid others in case they need to construct an Edwards curve and want to know how to properly write the parameters in Zexe.

This is, in spirit, similar to https://github.com/scipr-lab/zexe/pull/217

weikengchen commented 4 years ago

wait for CI