audits

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	🔗