[SMTChecker] Verify Gnosis MultiSig
Open
smt
- Dominant language
- C++
- Stars
- 25.7k
- Forks
- 6.2k
- Avg merge
- 2d 19h
- Merged PRs (30d)
- 29
Description
https://github.com/gnosis/MultiSigWallet/blob/master/contracts/MultiSigWallet.sol
Need to check what kind of invariants could be checked.
Contributor guide
Research direction
Start by reading contracts/MultiSigWallet.sol from the linked Gnosis repository, then inspect the Solidity SMTChecker entry points and existing invariant checks. Determine which properties of the multisig can be expressed and verified, and record concrete verification results or a scoped follow-up; the issue does not name a test or implementation file.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- solidity
- Domain
- blockchain, compilers, security
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100