If our precomputed vk check fails (called thru bb cli) we should likely leave an updated version of the ivc-inputs.msgpack that DOES match. with an --update-fast script mode, we should update each vk in the file, such that we can simply reupload with the correct ivc-inputs.msgpack's. This would save a lot of time
If our precomputed vk check fails (called thru bb cli) we should likely leave an updated version of the ivc-inputs.msgpack that DOES match. with an --update-fast script mode, we should update each vk in the file, such that we can simply reupload with the correct ivc-inputs.msgpack's. This would save a lot of time