Closed mmv08 closed 1 year ago
This PR adds a rule that verifies that calling checkNSignatures X times is the same as calling checkSignatures
This PR adds a rule that verifies that calling checkNSignatures X times is the same as calling checkSignatures