Assessment reports>Circuit DAO>Design>Savings vault

Savings vault

Savings vaults are BYC CAT singletons that can be permissionlessly created by anyone to earn yield. The amount deposited in the vault is converted to DISCOUNTED_DEPOSIT, which is stored in the vault and used to calculate the accumulated yield by the vault. There are two possible operations on the vault: deposit and withdraw.

While depositing and withdrawing, users can provide the treasury-coin info, which is used to calculate the treasury coin from which interest is paid.

Condition filtering and solution-parameters verification

The puzzle filters out the REMARK, ANNOUNCEMENTS, and MESSAGE conditions but allows more than one CREATE_COIN condition. This is a serious concern as it allows users to create a savings vault with parameters already curried in and still prove the lineage (read more about this in Finding ).

Test coverage

Intended branches

Negative behavior

Zellic © 2025Back to top ↑