Ernesto García fd812ee954 Group typographical errors (#5443) 8 månader sedan
..
2017-03.md fd812ee954 Group typographical errors (#5443) 8 månader sedan
2018-10.pdf 88a64a802e Update guidelines and project documentation (#3966) 2 år sedan
2022-10-Checkpoints.pdf 88a64a802e Update guidelines and project documentation (#3966) 2 år sedan
2022-10-ERC4626.pdf 88a64a802e Update guidelines and project documentation (#3966) 2 år sedan
2023-05-v4.9.pdf e5dbc7435e Add final PDF report for v4.9 audit (#4235) 2 år sedan
2023-10-v5.0.pdf a754936a47 Remove v5.0 release candidate note and add audit (#4663) 2 år sedan
2024-10-v5.1.pdf 8b591baef4 Add 5.1 audit report (#5237) 1 år sedan
2024-12-v5.2.pdf 2875a0f782 Add v5.2 audit report (#5341) 10 månader sedan
README.md 2875a0f782 Add v5.2 audit report (#5341) 10 månader sedan

README.md

Audits

Date Version Commit Auditor Scope Links
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 🔗