alex

fix:paramaters->paramaters

2

fix:paramaters->paramaters && replaced in all file ## Description ## Checklist - [ ] Changelog has been updated as necessary.

**🧐 Motivation** currently `openzeppelin-contracts` already integrate `codespell` typo checker,But https://github.com/crate-ci/typos works better below is `crate-ci/typos ` result: ``` error: `Transfered` should be `Transferred` --> ./certora/specs/ERC20FlashMint.spec:21:62 | 21 | ghost mapping(address...