search

arkworks-rs / snark

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

Add mul_by_inverse to FieldGadget #227

Closed ValarDragon closed 4 years ago

ValarDragon commented 4 years ago

This implements mul_by_inverse to FieldGadget. This computes a.mul_by_inverse(b) = a.mul(b.inverse()) but is computed in fewer constraints.