[go: up one dir, main page]

DAL: verify_proof takes into account ADAL parameters stored in the given proof

Mohamed IGUERNLALArequested to merge
iguerNL@handle-adal-params-in-refutation-proofs-1 into master

EDIT: (further) fixes for this MR are introduced in !16158 (closed)

This MR is stacked on top of !16127 (merged). It extends the verify_proof function of dal_slot_repr to take into account the ADAL parameters stored in the DAL proofs and introduced in !16127 (merged).

Edited by Mohamed IGUERNLALA

Merge request reports