[Merged by Bors] - Add double marry malfeasance proof

[fasmat]

Motivation

Closes #6218

Description

Adds the proof for double marry malfeasance and updates the ATX handler to create and publish one when detected

Test Plan

• Tests for malfeasance proof and ATX handler have been added / updated

TODO

• Explain motivation or link existing issue(s)
• Test changes and document test plan
• Update documentation as needed
• Update changelog as needed

[codecov]

Codecov Report

Attention: Patch coverage is 84.76821% with 23 lines in your changes missing coverage. Please review.

Project coverage is 82.0%. Comparing base (00d476f) to head (42ddecc).

Files	Patch %	Lines
activation/wire/malfeasance_double_marry.go	89.1%	6 Missing and 6 partials ⚠️
activation/handler_v2.go	55.5%	5 Missing and 3 partials ⚠️
activation/wire/wire_v2.go	90.4%	1 Missing and 1 partial ⚠️
activation/malfeasance2.go	0.0%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff            @@
##           develop   #6219     +/-   ##
=========================================
- Coverage     82.0%   82.0%   -0.1%     
=========================================
  Files          308     309      +1     
  Lines        33913   34033    +120     
=========================================
+ Hits         27829   27922     +93     
- Misses        4311    4326     +15     
- Partials      1773    1785     +12     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[poszu]

Could you explain why is it important that leaves are all 32B?

[fasmat]

If I remember correctly the validate Merkle proof function assumes that all values are 32 bytes and appends them with zeroes if they are not.

So if we don't create the Merkle proof with 32 byte values the proof will fail to validate 😕

[fasmat]

bors merge

[spacemesh-bors]

Pull request successfully merged into develop.

Build succeeded:

• systest-status
• ci-status