Core Contracts

Description

The conditions for calling the redeem and redeemAll functions are solely dependent on isRedeemable(), which checks if the current time is greater than or equal to MATURITY_DATE. When the auction end time in Auction.sol does not align with the MATURITY_DATE, users can redeem bonds before the auction ends!

Impact

Since the constructors in both ZENO.sol and Auction.sol directly set MATURITY_DATE and endTime without any checks to ensure the auction end time matches the bond maturity date, this can result in users being able to redeem bonds before the auction concludes.

Recommendations

It is necessary to ensure that the auction end time matches the bond maturity date to prevent users from redeeming bonds before the auction ends.