mirror
/
openzeppelin-contracts
mirror of https://github.com/OpenZeppelin/openzeppelin-contracts
2
1
Fork 1
Code Issues Releases Wiki Activity
mirror of openzeppelin-contracts
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
3261 Commits
56 Branches
139 Tags
87 MiB
 
 
 
 
 
Tag: Branch: Tree: fv/Governor
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'fv/Governor'
${ noResults }
openzeppelin-contracts/audits
History
Ernesto García e5dbc7435e
Add final PDF report for v4.9 audit (#4235) 		2 years ago
..
2017-03.md Update guidelines and project documentation (#3966) 2 years ago
2018-10.pdf Update guidelines and project documentation (#3966) 2 years ago
2022-10-Checkpoints.pdf Update guidelines and project documentation (#3966) 2 years ago
2022-10-ERC4626.pdf Update guidelines and project documentation (#3966) 2 years ago
2023-05-v4.9.pdf Add final PDF report for v4.9 audit (#4235) 2 years ago
README.md Add PDF report for v4.9 audit (#4227) 2 years ago

README.md

Audits

Date Version Commit Auditor Scope Links
May 2023 v4.9.0 91df66c OpenZeppelin v4.9 Changes 🔗
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 🔗