Files

audits

and

Remove v5.0 release candidate note and add audit (OpenZeppelin#4663 )

Oct 5, 2023

a754936 · Oct 5, 2023

This branch is 378 commits behind OpenZeppelin/openzeppelin-contracts:master.

Name		Name	Last commit message	Last commit date
parent directory ..
2017-03.md		2017-03.md	Update guidelines and project documentation (OpenZeppelin#3966 )	Jan 18, 2023
2018-10.pdf		2018-10.pdf	Update guidelines and project documentation (OpenZeppelin#3966 )	Jan 18, 2023
2022-10-Checkpoints.pdf		2022-10-Checkpoints.pdf	Update guidelines and project documentation (OpenZeppelin#3966 )	Jan 18, 2023
2022-10-ERC4626.pdf		2022-10-ERC4626.pdf	Update guidelines and project documentation (OpenZeppelin#3966 )	Jan 18, 2023
2023-05-v4.9.pdf		2023-05-v4.9.pdf	Add final PDF report for v4.9 audit (OpenZeppelin#4235 )	May 10, 2023
2023-10-v5.0.pdf		2023-10-v5.0.pdf	Remove v5.0 release candidate note and add audit (OpenZeppelin#4663 )	Oct 5, 2023
README.md		README.md	Remove v5.0 release candidate note and add audit (OpenZeppelin#4663 )	Oct 5, 2023

README.md

Audits

Date	Version	Commit	Auditor	Scope	Links
October 2023	v5.0.0	`b5a3e69`	OpenZeppelin	v5.0 Changes	🔗
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	🔗