search

coder5876 / simple-multisig

Simple multisig for Ethereum using detached signatures
MIT License
247 stars 108 forks source link

Has this been audited? #18

Closed jamesray1 closed 6 years ago

ScJa commented 6 years ago

Only informally by Maurelian AFAIK: https://github.com/christianlundkvist/simple-multisig/blob/master/maurelian_review.md

jamesray1 commented 6 years ago

Gnosis multisig has apparently been formally audited multiple times.

coder5876 commented 6 years ago

@jamesray1 Maurelian from ConsenSys Diligence performed the above review but not in an official auditing capacity. I might submit it for a formal audit once ERC 712 has been finalized at which point I'd like to update the contract to support this standard.

However, the main benefit of this contract is its simplicity, so what I really want to do is to mathematically prove through formal verification that certain things cannot happen (like funds getting locked, or funds being moved without a threshold of signers etc).