@ilemi
Each layer builds upon the last, but adds new app specific logic/data.
Right now, there is no proof aggregation being sent downwards. But proofs will be important as we will want to prove the minimum amount to make a concept (i.e. warps) composable across layers.