[Testing] fuzz_target_1 is an empty stub and lending_pool_fuzz asserts the obsolete 1:1 deposit invariant

[grantfox-oss]

Telegram (ask questions / claim the issue here first): https://t.me/+DOylgFv1jyJlNzM0

Why this matters

fuzz/fuzz_targets/fuzz_target_1.rs is the default empty libfuzzer stub (// fuzzed code goes here). fuzz/fuzz_targets/lending_pool_fuzz.rs asserts assert_eq!(balance, amount) and balance_before - amount == balance_after, which encode the pre-share-model 1:1 deposit semantics; under the current LP-share model in lending_pool/src/lib.rs, get_deposit returns asset value of shares and withdraw takes a share count, so these invariants are stale.

Acceptance criteria

• Remove or repurpose the empty fuzz_target_1 stub
• Update lending_pool_fuzz invariants to the share model (shares minted are positive, redeemable value is non-negative, no panics) rather than 1:1 balance equality
• Note that withdraw's amount parameter is a share count, not an asset amount, and adjust the harness accordingly
• Ensure each fuzz target still compiles against the current public API

Files to touch

• fuzz/fuzz_targets/fuzz_target_1.rs
• fuzz/fuzz_targets/lending_pool_fuzz.rs
• lending_pool/src/lib.rs

Out of scope

• Adding a corpus or CI fuzz scheduling
• Multi-contract differential fuzzing

[gloskull]

Hello, I have 4 years of experience delivering solutions for projects like this, covering backend, frontend, and smart contract development. After carefully reviewing your requirements, I have a clear understanding of the task and am confident in my ability to deliver a clean, efficient, and thoroughly tested solution on time. I prioritize code quality, maintainability, and industry best practices throughout the development process.

[K1NGD4VID]

Hello maintainer, i would like to work on this issue

[grantfox-oss]

🦊 GrantFox — @K1NGD4VID has been assigned to this issue as part of the Official Campaign campaign!

Next steps:

1. Open a Pull Request referencing this issue (e.g., Closes #21)
2. Your PR will be reviewed by the LabsCrypt maintainers

Good luck! Track your progress on GrantFox.