Zé Garção

Software Engineer

[Coverage @coverage_labs]

Good panels over the last two days at @summit_defi.

Plenty of valuable insights and feedback on security itself and on our new product, a cloud-based platform for running invariant tests.

We’ll soon open our Alpha version.

If you have experience with invariant testing don’t hesitate to DM us!

[Coverage @coverage_labs]

Congrats Team Europe! Well done, guys.

[Zé Garção @zeGarcao]

@0xrebelo I don't know what's more delicious 😅

[Zé Garção @zeGarcao]

@0xMiguelBits you can if you want to 😉

[Zé Garção @zeGarcao]

I've just started a fuzzing campaign from my cell phone 👀

[Zé Garção @zeGarcao]

Perfection delays. Action delivers. Just get it done! ⚡

[rafaelnicolau @0xrafaelnicolau]

My new favourite foundry feature is time-bounded invariant tests, such a nice addition, specially for CI/CD integrations.

Way easier to say “this code can only be merged if it was fuzzed for X minutes” instead of relying on a run count.

[0xrebelo @0xrebelo]

At @coverage_labs our next step is to truly differentiate our services and approach from every other team out there.

[0xrebelo @0xrebelo]

Cooking 👨‍🍳

[Zé Garção @zeGarcao]

@0xrafaelnicolau Sometimes the fuzzer reports that a property has passed the test, but due to a logic bug, the assertion is never reached. Because of this, I always have to check the coverage report to confirm it was really tested—immediate feedback would save time and prevent false confidence 👀

[Zé Garção @zeGarcao]

Risk is what’s left over when you think you’ve thought of everything

[Zé Garção @zeGarcao]

@0xrafaelnicolau @jigsawdefi @cantinaxyz @coverage_labs Proud of you my brother 💪🏻

[rafaelnicolau @0xrafaelnicolau]

I'm excited to share that I placed 3rd in the @jigsawdefi contest on @cantinaxyz 🥉

Managed to find the most valuable bug of the contest, which could have triggered a stablecoin death spiral due to misaligned economic incentives.

Proud to contribute to a safer ecosystem!

[rafaelnicolau @0xrafaelnicolau]

Placed 11th in the @infinifilabs contest on @cantinaxyz.

Proud to have landed my first solo medium finding on this one.

On to the next!

[Zé Garção @zeGarcao]

@0xrafaelnicolau @infinifilabs @cantinaxyz Let’s go my brother! Congrats! ❤️💪🏻

[Coverage @coverage_labs]

We’re excited to share that we’ve successfully completed a security review for @berabuzz 🐝

[Coverage @coverage_labs]

We are proud to announce our partnership with @berabuzz as their official security partner 🐝

Wishing the team the greatest success as they embark on this new journey!

[Zé Garção @zeGarcao]

@RealJohnnyTime I'm new to public contests and I'll never forget my first one, which was for stakeUp protocol on Cantina in October 2024. My minimum goal was to find at least 1 low vulnerability, and happily I managed to find 2 high and 2 medium, which put me at 23/363. I felt amazing! 😀

[Zé Garção @zeGarcao]

Also, add new features or explore something you're curious about!

I built a risk-free lottery myself and delved into the 'Branching Tree Technique' by @Sablier & @PaulRBerg .

Check it out: https://t.co/lKLjBKPADu

[Zé Garção @zeGarcao]

Are you starting your journey in smart contracts and want a cool personal project for your portfolio? I've a challange for you 👇

[Zé Garção @zeGarcao]

Build a risk-free lottery like PoolTogether, a simplified version of it.

It's complex enough to challenge you (+1k SLOCs) and involves ERC20 tokens, Aave, Chainlink, and Uniswap integrations. Plus, you'll learn cool stuff and create a fun project!