barretenberg
barretenberg copied to clipboard
Dynamically remove databus commitments from tube public inputs
The tube circuit takes the public inputs from the tail kernel proof and converts them to its own public inputs. We do not include the aggregation object or databus commitments in the set of public inputs to convert. The number of databus commitments can be determined based on the flags contains_app_return_data_commitment
and contains_kernel_return_data_commitment
in databus_propagation_data
on the vkey
. Only subtract the appropriate number of public inputs based on these flags (i.e. 8 per commitment).