barretenberg icon indicating copy to clipboard operation
barretenberg copied to clipboard

Dynamically remove databus commitments from tube public inputs

Open ledwards2225 opened this issue 4 months ago • 0 comments

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).

ledwards2225 avatar Oct 07 '24 16:10 ledwards2225