Add PI intended positions as output of compile():
Circuit compilation now outputs ProverKey and VerifierKey + a vector of the positions where public inputs were introduced
Constrain visibility of insert() as it is intended for internal use, add_input() should be used instead.
Add aux functions get_pos()get_vals() and from_val_pos() for working and constructing PublicInputs more easily.
Changes included in the PR:
compile()
: Circuit compilation now outputsProverKey
andVerifierKey
+ a vector of the positions where public inputs were introducedinsert()
as it is intended for internal use,add_input()
should be used instead.get_pos()
get_vals()
andfrom_val_pos()
for working and constructingPublicInputs
more easily.