Incomplete Implementation of ExtraneousScriptWitnesses #685
Description
What revision are you using?
What operating system are you using?
MacOS
What architecture are you using?
armv7
What problem are you having? What should be the expected behaviour?
The Haskell node uses set differences to check for extraneous script witnesses.
This check means that if a script is provided both as an input or a reference input AND provided in the witness set the validation would fail due to an ExtraneousScriptWitnessesUTXOW error. Amaru merges the witness set and provided references into a single BTreeMap, which will deduplicate the scripts silently, causing a divergence in validation.
If possible, provide reproductions steps.
No response
If any, provide logs / error outputs from the system when the problem occurs.
No response
Please confirm that you've already searched issues, CHANGELOG and available documentation.
- I searched, but no luck.