safe-global / safe-smart-account

Safe allows secure management of blockchain assets.

https://safe.global

GNU Lesser General Public License v3.0

1.88k stars 927 forks source link

Formally Verify New Signature Requirements From #754 #771

Closed nlordell closed 4 months ago

nlordell commented 4 months ago

Context / issue

754 introduces new checks and restrictions on signature encoding that should be formally verified.

Proposed solution

Add a new formal verification rule that checks that for a valid set of signatures, you can only encoded it in a single bytes representation (length and order).

Alternatives

Don't formally verify it.

nlordell commented 4 months ago

Moving to the safe-modules repository