---
# System prepended metadata

title: Fuzzing & Invariant - Budget Request (Weasel)

---


# Scope

## Introduction

Fuzzing and invariant tests are a core and default concept to have in the smart contracts nowadays before deploying on mainnet, and even before starting an audit process.

This budget request aims to increase the security and quality of the smart contracts Yearn launches by adding fuzzing and invariant tests to a couple of Yearn products (Github repositories) and creating a presentation about how these new concepts work and describing the final results.

This request will cover one quarter **(3 months)**. Over the following period, these budget requests should develop and provide a detail of work attempted and achieved.

This request also will detail an overview of the goals and objectives for the period.

Note that this budget request includes no revenue share.

Presentation [link](https://docs.google.com/presentation/d/1WPIRX1yMp1NHVyyFv0CTK5BBRz_wP-3_EXjZZ3N16sk/edit?usp=sharing).

# Plan

Note that there are no clawbacks based on the below performance targets. But performance should impact future budget requests.

- Add fuzzing and invariant tests to the following repositories:
    - [Ve-yfi](https://github.com/yearn/veYFI)
    - Yearn Boosted Staker (private repo)
- Make a final presentation to
    - Describing how these new concepts work with examples.
    - Show all the job done.
- Add learning resources and support for Yearn developers.

# Period

It will cover 3 months:

- From: 2024-05-01
- To: 2024-07-31

# People

- Rare Weasel

# Money

Funds to be streamed over three months, starting 1st May 2024.

**Total:**

*21,000.00 DAI* (7,000.00 DAI monthly)

Any funds not spent at the end of the period will be transferred back to the yBudget team or considered for the next period.

# Wallet address

0xA5CE747874f38BBf75E7B32B8B0C6B3E2118e299

# Reporting

Monthly in this issue.
