[go: up one dir, main page]

DAL/Proto: Migrate refutations games to Content v2

Mohamed IGUERNLALArequested to merge
iguerNL@migrate-refutation-games-to-Content_v2 into master

Stacked on !15406 (merged)

This MR aims at migrating the refutation game functions (mainly produce_proof and verify_proof) to use variants of Content_v2.t

The next MR should plug the new module and adapt the unit & pbt tests.

Edited by Mohamed IGUERNLALA

Merge request reports