arkworks-rs / r1cs-std

R1CS constraints for bits, fields, and elliptic curves
https://www.arkworks.rs
Apache License 2.0
133 stars 58 forks source link

Case for fallible `cs()` method #138

Open skaunov opened 8 months ago

skaunov commented 8 months ago

Error handling is mocked just for example; return type for the modified method have been left incompatible as it shows the idea to the point.

Description

It's a small example on possible inconsistency when cs() is called on [T] which contains different non-null CS. I'd like to continue on this one if introduction of error handling is indeed reasonable in the crate; or receive feedback showing this is a bad idea.


Before we can merge this PR, please make sure that all the following items have been checked off. If any of the checklist items are not applicable, please leave them but write a little note why.

Unchecked boxes are due to the draft nature of this PR and it's purpose isn't merging but feedback to continue development in this direction.