🔐Logic Audit

In this page we explain the process of auditing our smart contracts, the flow of auditing is made by stressing all the functionalities of the codes using Hardhat framework.

Getting started with Hardhat | Ethereum development environment for professionals by Nomic Foundationhardhat.org

A fast link to understand what is Hardhat and why is important in the testing process of smart contracts.

The development and the logic audit is made by:

Mood Global Services B.V.

Moods Studio | Build Here, Grow Anywheremoodglobalservices.com

In our testing process, we stressed all the logic steps of our core flow behind the smart contracts, all the core is audited in terms of logic, respecting the steps required by the team, here all the positive results:

// CrazyZooToken contract:
    ✔ Deployment should assign the total supply of tokens to the owner (859ms)
    ✔ Token decimal should return 6 (95ms)
    ✔ myReferrer should return 0 address  (77ms)
    ✔ getFeeCollectors should return 0 addresses (144ms)
    ✔ getFee should return 1500000,1500000 and 3000000  (86ms)
    ✔ Fees should set to 3000000,3000000 and 1500000  (130ms)
    ✔ setReferralFee should revert for 0 value (94ms)
    ✔ setReferralFee should set the ReferralFee to 5000000 (65ms)
    ✔ setReferralFee should be reverted for OnlyOwner (65ms)
    ✔ setStakingFee should revert for 0 value (101ms)
    ✔ setStakingFee should set the StakingFee to 5000000 (108ms)
    ✔ setStakingFee should be reverted for OnlyOwner (103ms)
    ✔ setMarketingFee should revert for 0 value (87ms)
    ✔ setMarketingFee should set the StakingFee to 5000000 (75ms)
    ✔ setMarketingFee should be reverted for OnlyOwner (87ms)
    ✔ setMarketingWallet and setStakingContractAddress should set the MarketingWallet to add1 and add2 respectively (109ms)
    ✔ setMarketingWallet and setStakingContractAddress should be reverted for OnlyOwner (104ms)
    ✔ setMarketingWallet and setStakingContractAddress should be reverted for 0 address (80ms)
    ✔ setPoolAddress should set the PoolAddress to add1  (92ms)
    ✔ setPoolAddress should revert for 0 value  (79ms)
    ✔ setPoolAddress should be reverted for OnlyOwner (78ms)
    ✔ isPoolAddress should return false  (72ms)
    ✔ setMinter should set the PoolAddress to add1  (87ms)
    ✔ setMinter should revert for 0 address  (67ms)
    ✔ setMinter should be reverted for OnlyOwner (67ms)
    ✔ isMinter should return false  (76ms)
    ✔ SetReferral should set address of referrer to add1 and refferal to add2  (117ms)
    ✔ SetReferral should revert for 0 addresses  (67ms)
    ✔ SetReferral should revert for same refferer and refferal addresses  (86ms)
    ✔ SetReferral should revert for refferal has alreagy got a refferal  (87ms)
    ✔ isDeprecated should return false  (61ms)
    ✔ isDeprecated should return true  (67ms)
    ✔ deprecate should set the upgradedAddress to addr1  (72ms)
    ✔ deprecate should reverted for OnlyOwner  (88ms)
    ✔ deprecate should reverted for 0 address  (69ms)
    ✔ approve should set the spender to addr1 and amount to 10 ZooToken  (94ms)
    ✔ approve should be reverted for 0 value  (71ms)
    ✔ _calculateFee should return 0 fees. msg.sender is owner  (69ms)
    ✔ _calculateFee should return 0 fees. StakingContractAddress is msg.sender  (77ms)
    ✔ _calculateFee should return 0 fees. marketingWallet is msg.sender  (97ms)
    ✔ _calculateFee should return (150000,150000,0,300000). UniswapAddres[_from]  (83ms)
    ✔ _calculateFee should return (150000,150000,0,300000). UniswapAddres[_to]  (72ms)
    ✔ transfer should update the balance of addr1  (89ms)
    ✔ transfer should update the balance of Pool and feeCollectors.trasnfering tokens from  user to pool  (166ms)
    ✔ transfer should update the balance of Pool and feeCollectors.trasnfering tokens from  Pool to user  (152ms)
    ✔ transferFrom should update the balance of addr1  (119ms)
    ✔ transferFrom should update the balance of Pool and feeCollectors.trasnfering tokens from  user to pool  (152ms)
    ✔ transferFrom should update the balance of Pool and feeCollectors.trasnfering tokens from  Pool to user  (137ms)

CrazyZooNFT contract:
    ✔ setRange should set the id range (1002ms)
    ✔ setFees should set the fee (156ms)
    ✔ setDirectMinting should set the DirectMinting to true (126ms)
    ✔ setDirectMinting should set the DirectMinting to false (114ms)
    ✔ setMintFeeStatus should set the DirectMinting to true (77ms)
    ✔ setMintFeeStatus should set the DirectMinting to false (102ms)
    ✔ setFeeCollector should set the FeeCollectorAddress (107ms)
    ✔ setFeeCollector should be reverted for setting 0 address (124ms)
    ✔ setFeeCollector should be reverted for onlyRole (134ms)
    ✔ transferFee should update the balance of feeCollector (192ms)
    ✔ transferFee should be reverted for 0 address (167ms)
    ✔ transferFee should be reverted for 0 amount (148ms)
    ✔ mintLemur should mint the LemurId (359ms)
    ✔ mintLemur should mint the LemurId for Minter Role (180ms)
    ✔ mintLemur should be reverted when directMint is disabled (174ms)
    ✔ mintLemur should mint the LemurId when chargeFeeOnMint is false (178ms)
    ✔ mintLemur should be reverted for lemurIdCounter <= lemurMaxId (316ms)
    ✔ mintRhino should mint the RhinoId (316ms)
    ✔ mintRhino should mint the RhinoId for Minter Role (174ms)
    ✔ mintRhino should be reverted when directMint is disabled (189ms)
    ✔ mintRhino should mint the RhinoId when chargeFeeOnMint is false (165ms)
    ✔ mintRhino should be reverted for rhinoIdCounter <= rhinoMaxId (317ms)
    ✔ mintGorilla should mint the GorillaId (335ms)
    ✔ mintGorilla should mint the GorillaId for Minter Role (165ms)
    ✔ mintGorilla should be reverted when directMint is disabled (170ms)
    ✔ mintGorilla should mint the GorillaId when chargeFeeOnMint is false (196ms)
    ✔ mintGorilla should be reverted for gorillaIdCounter <= gorillaMaxId (326ms)
    ✔ setBaseURI should set the BaseURI (203ms)

CrazyZooStaking contract:
    ✔ Setting addresses and fees value. (953ms)
    ✔ getWhaleFee should return the correct value of Fees based on rewardTokenBalance (245ms)
    ✔ calculateRewards should return the correct value of rewards based on the stakerData and stakedNFT (235ms)
    ✔ calculateRewards should return the correct value of rewards based on the stakerData and stakedNFT. it has been morethen 30 days since the nft didn't feed (205ms)
    ✔ calculateRewards should return 0 when expired nft has set to true (213ms)
    ✔ calculateRewards should return 0 when timestaked has exceed reward days (184ms)
    ✔ setRewardsPerDay should set the rewardPerDay (228ms)
    ✔ setRewardDays should set the rewardDays. (231ms)
    ✔ isHungry should return false when lastTimeFed is less than 30 days. (174ms)
    ✔ isHungry should return true when lastTimeFed is greater than 30 days. (170ms)