Add constraints for Edwards curves over MNT4

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

Closed weikengchen closed 4 years ago

weikengchen commented 4 years ago

The prior PR, https://github.com/scipr-lab/zexe/pull/218, forgot the R1CS counterpart (though no error is triggered).

This PR provides them.