This allows to retrieve the PublicValues stored in the public inputs of a proof, regardless of its aggregation level.
I haven't touched the existing API for the prover, as we may still prefer to just keep the returned PublicValues but this at least allows a verifier to recover them if needed (as they are kind of "decoupled" from their proofs for now).
This allows to retrieve the
PublicValues
stored in the public inputs of a proof, regardless of its aggregation level. I haven't touched the existing API for the prover, as we may still prefer to just keep the returnedPublicValues
but this at least allows a verifier to recover them if needed (as they are kind of "decoupled" from their proofs for now).