ledwards2225

The main flow used for IVC in the TS tests `client_ivc_prove_output_all_msgpack` now includes explicit tagging of every other circuit as a kernel. This used to be done automatically from within...

The original version of ClientIvc automatically appended recursive verifiers to each circuit. This was simple but did not allow the proof/vkey witnesses used in noir to be properly connected to...

In bberg, a Honk/PG proof explicitly contains the public inputs. They are placed at an offset from the start position (after circuit size, log circuit size, and num public inputs)....