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