| Date | Version | Commit | Auditor | Scope | Links |
|---|---|---|---|---|---|
| October 2022 | v4.8.0 | 14f98db |
OpenZeppelin | ERC4626, Checkpoints | 🔗 🔗 |
| October 2018 | v2.0.0 | dac5bcc |
LevelK | Everything | 🔗 |
| March 2017 | v1.0.4 | 9c5975a |
New Alchemy | Everything | 🔗 |
| Date | Version | Commit | Tool | Scope | Links |
|---|---|---|---|---|---|
| May 2022 | v4.7.0 | 109778c |
Certora | Initializable, GovernorPreventLateQuorum, ERC1155Burnable, ERC1155Pausable, ERC1155Supply, ERC1155Holder, ERC1155Receiver | 🔗 |
| March 2022 | v4.4.0 | 4088540 |
Certora | ERC20Votes, ERC20FlashMint, ERC20Wrapper, TimelockController, ERC721Votes, Votes, AccessControl, ERC1155 | 🔗 |
| October 2021 | v4.4.0 | 4088540 |
Certora | Governor, GovernorCountingSimple, GovernorProposalThreshold, GovernorTimelockControl, GovernorVotes, GovernorVotesQuorumFraction | 🔗 |