[go: up one dir, main page]

DAL: export Adjustable DAL parameters in DAL proofs

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

This MR extends the DAL proofs with two fields attestation_threshold_percent and commitment_publisher(_opt) that are set with/for Adjustable DAL parameters/verification.

In the next MRs:

  • verify_proof will take care of using those provided parameters when checking the proofs (modulo ADAL)
  • verify_proof will returns the (validated) versions of those parameters to be checked against the input_request in Sc_rollup_proofs_repr.valid (But this will require some refactoring in Sc_rollup_proofs_repr.valid to ease this step).

Merge request reports