Closed AntoineRondelet closed 6 years ago
In the auxiliary_input() function of the gadgetlib1/protoboard.tcc file, a r1cs_primary_input object is returned in the return statement:
auxiliary_input()
gadgetlib1/protoboard.tcc
r1cs_primary_input
return r1cs_primary_input<FieldT>(values.begin() + num_inputs(), values.end());
While r1cs_primary_input, and r1cs_auxiliary_input are basically different aliases for std::vector<FieldT>; I guess, it's better to use r1cs_auxiliary_input here to keep it consistent.
r1cs_auxiliary_input
std::vector<FieldT>
In the
auxiliary_input()
function of thegadgetlib1/protoboard.tcc
file, ar1cs_primary_input
object is returned in the return statement:While
r1cs_primary_input
, andr1cs_auxiliary_input
are basically different aliases forstd::vector<FieldT>
; I guess, it's better to user1cs_auxiliary_input
here to keep it consistent.