toposware / frost

A fork of frost-dalek, made WASM compatible, and upgraded to Static ICE-FROST
BSD 3-Clause "New" or "Revised" License
14 stars 2 forks source link

Fix complaint verification and add some edge cases in unit test #23

Closed Nashtare closed 3 years ago

Nashtare commented 3 years ago

closes #22

The issue appears at the final step of the blame() function, where the participant finally verifies the recovered secret share, with the associated commitment. The order was incorrect: if the verification succeeds, that means the share was correct with respect to the commitment and then the complaint maker is the one who should be blamed.

Also adds a check for invalid share correctly encrypted (the previous case was only checking wrong encryption)