Size of aggregated proof