DAL: split the SRS
This MR is the first step for the split of the SRS in the DAL. It introduces a first "dummy" split by modifying the SRS type & new functions dedicated for the verifier.
This MR is the first step for the split of the SRS in the DAL. It introduces a first "dummy" split by modifying the SRS type & new functions dedicated for the verifier.