Files

audits

Failed to load latest commit information.

Cannot retrieve latest commit at this time.

Name		Name	Last commit message	Last commit date
parent directory ..
2017-03.md		2017-03.md
2018-10.pdf		2018-10.pdf
2022-10-Checkpoints.pdf		2022-10-Checkpoints.pdf
2022-10-ERC4626.pdf		2022-10-ERC4626.pdf
2023-05-v4.9.pdf		2023-05-v4.9.pdf
2023-10-v5.0.pdf		2023-10-v5.0.pdf
2024-10-v5.1.pdf		2024-10-v5.1.pdf
2024-12-v5.2.pdf		2024-12-v5.2.pdf
2025-04-v5.3.pdf		2025-04-v5.3.pdf
2025-07-v5.4.pdf		2025-07-v5.4.pdf
README.md		README.md

README.md

Audits

Date	Version	Commit	Auditor	Scope	Links
July 2025	v5.4.0	`f6fea85`	OpenZeppelin	v5.4 Changes	🔗
April 2025	v5.3.0	`d4b2e98`	OpenZeppelin	v5.3 Changes	🔗
December 2024	v5.2.0	`98d28f9`	OpenZeppelin	v5.2 Changes	🔗
October 2024	v5.1.0	`aba9ff6`	OpenZeppelin	v5.1 Changes	🔗
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	🔗