search

kayabaNerve / full-chain-membership-proofs

18 stars 1 forks source link

Review using LinComb, as dalek did, for the Constraint API #31

Open kayabaNerve opened 1 year ago

kayabaNerve commented 1 year ago

Instead of doing a product of x, y, then post-constraining it to equal some linear combination, passing a linear combination directly into the product statement may be more elegant.

kayabaNerve commented 1 year ago

Removing VariableReference + ProductReference would be appreciated.