Preview testnet: bounties on this network are funded with tADA. Stablecoin labels (USDM / USDA / USDCx) are preserved on the bounty record for the mainnet cutover, but actual on-chain settlement uses tADA.
VaultGuard — Aiken smart-contract test suite
OpenDevelopmentUSDA→ tADA on testnet
Summary
VaultGuard (fictional time-locked vault validator) needs a comprehensive Aiken test suite.
Deliverables
- Property + unit tests covering deposit, withdraw-after-unlock, early-withdraw rejection, wrong-signer rejection
- Negative tests for each redeemer
- A short coverage write-up
- All tests green via aiken check
Provided
We supply the validator source and datum/redeemer types.
Judging
Coverage breadth, edge-case thinking, clarity of test names.
Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.