Add append_public_witness
to TurboComposer
#654
Labels
team:Core
Low Level Core Development Team (Rust)
append_public_witness
to TurboComposer
#654
Describe what you want implemented
A method to append a witness as public scalar.
Describe "Why" this is needed
We have available
append_public_point
for points, but we don't have such method for witnesses. These will avoid unnecessary constraints for the users.Describe alternatives you've considered
The user might create the gates on his own, but then this is error-prone.
Additional context
It is desirable to have API consistency - the methods to append points should reflect the ones to append public inputs.
The text was updated successfully, but these errors were encountered: