The featured API allows adding a further IVC step to a RecursiveSnark. It is useful for any application in which all the steps are not known in advance.
A few points:
It would be good if there was a way to access zn_primary from the RecursiveSnark instead of passing it as input to the add_step function
It's still unclear to me what circuit_secondary and z0_secondary actually are. Is it safe to instantiate them to 0/default within the add_step function or is there a case in which the user may want to set a different value?
The featured API allows adding a further IVC step to a
RecursiveSnark. It is useful for any application in which all the steps are not known in advance.A few points:
zn_primaryfrom theRecursiveSnarkinstead of passing it as input to theadd_stepfunctioncircuit_secondaryandz0_secondaryactually are. Is it safe to instantiate them to 0/default within theadd_stepfunction or is there a case in which the user may want to set a different value?