Assessment reports>Circuit DAO>Design>Recharge auction

Recharge auction

A recharge auction can be launched whenever the BYC balance of the treasury drops below the treasury minimum. The treasury auctions off CRT for BYC, and the auction can only be launched by the governance approval.

Operations

The following operations could be performed on the recharge auction.

  • Governance operations. The launch operation launches a recharge auction coin. This is only possible if it receives a custom message from the statutes puzzle to start the auction. This operation creates a new coin with the LAUNCHER_ID set.

  • Keeper operations. The start-auction operation starts the auction by setting the start_time. The operation also verifies that the treasury balance is below treasury minimum by spending the treasury ring. The bid operation allows users to place a bid for CRT. If the bid is outbid by another bid, the BYC held in the auction coin is refunded to the target puzzle hash for the previous bidder. For the win operation, once the auction has concluded, the winner can mint an amount of CRT as specified in the bid by asserting the corresponding announcement from the auction coin.

Condition filtering and solution-parameters verification

The REMARK, ANNOUNCEMENTS, MESSAGE, and CREATE_COIN conditions should not be allowed to be directly passed via solution and returned without filtering. The function filter-conditions is responsible for filtering out these conditions. It does not allow the CREATE_COIN condition, which could lead to incorrect lineage.

The solution parameters are verified via the announcement assertions from the statutes coin.

Test coverage

Intended branches

Negative behavior

Zellic © 2025Back to top ↑