NP-Eng / ligero

Rust implementation of (the non-interactive, non-ZK version of) the Ligero SNARK for arithmetic circuits.
Apache License 2.0
2 stars 1 forks source link

Better handling of circuit inputs? #8

Closed Antonio95 closed 1 month ago

Antonio95 commented 2 months ago

Currently the values of the input variables are passed as a list of index-value pairs (which is not too bad, since the variable indices come in the form of human-friendly Rust variable names). Let's think whether we want a more elegant handling, e.g. in the form of a dictionary or a custom structure (I think it's possible what we are doing is already the best option).

If we go ahead and implement labelling (cf. issue #7), labels would also be a natural way to pass input values

Cesar199999 commented 1 month ago

Closed by #16