Audits 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 🔗 Formal Verification 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 🔗