Basic idea ERC1155Upgradeable constract that our RenodeBonding contract uses , is calling _mint() inside bond() function . This bond()function is setting to be external . So it is satisfied with users . _mint(_msgSender(), nftIds[_type][_amount], 1, "0x"); This mint function in ERC1155Upgradeable contract is defined as : function _mint(address to, uint256 id, uint256 amount, bytes memory data) internal { if (to == address(0)) { revert ERC1155InvalidReceiver(address(0));

General audit phase : Automatic tools scan [x] Slither [ ] Echidna(fuzz-testing) [ ] Slither(static analysis) [ ] Manticore(Symbolic execution) Manual Review