[SMTChecker] Verification progress tracker
- Dominant language
- C++
- Stars
- 25.7k
- Forks
- 6.2k
- Avg merge
- 1d 11h
- Merged PRs (30d)
- 21
Description
These are the contracts we have looked at. This is a list of feature support:
- [x] Myhtril/Slither examples (#6721)
- [ ] Solc-Verify examples (#8145)
- [x] Eth2.0 deposit contract (#9806)
- [ ] Circles UBI (#10062)
- [ ] UniswapV2 -- safemath...
- [ ] Gnosis Safe
- [ ] Gnosis MultiSigWallet https://github.com/ethereum/solidity/issues/11275
- [ ] Chai https://github.com/ethereum/solidity/issues/11276
- [ ] SafeMath (zeppelin) -- fails to handle
- [ ] chi gastoken
Contributor guide
Research direction
No files, tests, or entry points are named. Start by reviewing the listed contract examples and the linked issues for Gnosis MultiSigWallet and Chai, then determine what verification-support work remains; done is not defined beyond updating the progress tracker.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- solidity
- Domain
- compilers, security
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100