Skip to content

Latest commit

 

History

History
 
 

audits

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 

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 🔗