Recon
@getreconxyz
Followers
2K
Following
532
Media
368
Statuses
723
World Class EVM Audits backed by Invariant Testing - $3 BLN Protected - $20 MLN in Exploits prevented with Fuzzing - 500 devs using our extension
Joined November 2023
2 years ago we set to make Invariant Testing the default Echidna was an extremely powerful tool with huge promise, hidden behind a layer of hurdles. Foundry was the clear winner for testing smart contracts. We chose to combine the two into the Chimera framework so you could
12
8
77
Job's not finished
Seriously, every year there are around 5 demon-level vulnerabilities prevented and rewarded. We're missing some.
0
0
1
Today, around 7:48 AM UTC, an exploit affected Balancer V2 Composable Stable Pools. Our team is working with leading security researchers to understand the issue and will share additional findings and a full post-mortem as soon as possible. Because these pools have been live
203
237
1K
Congrats to Vivek for saving a project. Still tons of work to be done.
The only thing more satisfying than scoring a big win is having a great experience while doing it. Thank you to the chads at @code4rena and @RujiraNetwork for the great experience.
1
0
5
If your audit firm is so great to publish a balancer postmortem why didn’t you prevent the hack
24
10
248
Revoke dot cash Every possible integration Zero downside to do this
2
5
33
Just got the Recon Magic Results for Morpho. 100% coverage minus the bad debt edge case! Recon Magic is available to all Recon Pro customers.
0
0
10
One of our whitehats just saved a project from total funds loss! He found a critical bug in a recently started bug bounty and now has enough funds to continue bug hunting for a year! 2 months ago we started working with whitehats, giving them coaching and tools, we're confident
1
1
20
Properly Test your libraries, or we will have to do it for you (and find bugs) Receipt: https://t.co/aw7HDPJiiX
getrecon.xyz
View the test results for this invariant test. Status: ERROR
Over this year I’ve recommended most projects perform Partial Formal Verification as a simple step to harden their code. I’m planning on doing a live on this, here’s the fundamentals: - State is an implicit input for SC functions - Stateless functions are easier to reason
0
0
3
Just a few hours left in our Giveth Fundraise, we're 3 contributors short of our goal. If you're going to donate, now's the time! 100% of funds will be transparently used to improve the Recon Extension (Roadmap in our substack)
5
1
3
giveth.io
Over 300 downloads, the most used Stateful Fuzzing Smart Contract Testing Framework!
0
0
0
Just a few hours left in our Giveth Fundraise, we're 3 contributors short of our goal. If you're going to donate, now's the time! 100% of funds will be transparently used to improve the Recon Extension (Roadmap in our substack)
5
1
3
Just 3 days left for our crowdfunding with Gitcoin. Every dollar donated is matched quadratically from a $200,000 pool. We have a goal of reaching 25 unique contributors, and we're missing 9, will you help?
5
2
14
And our premiere tool is the Recon Extension. Trusted by over 400 developers, we've used the extension to write hundreds of invariant testing suites. We're still crowdfunding to further it's development, you can support us here: https://t.co/UijOKPe6nB
0
0
0
When you understand bytecode all smart contracts are open sourced. The Bytecode tools help you verify deployment, reverse engineer interfaces, prettify bytecode and work with assembly in a more convenient way.
1
0
0
Oracles introduce inaccuracies which can compound The Oracle Drift tool helps you identify the maximum theoretical inaccuracies of any given formula
1
0
0
Say you're reviewing proxies and need to fetch a few storage slots. Or a contract with Roles. That's where the Storage & Governance tools come into play.
1
0
0
Over the years we built multiple tools you can use for Security Research and Due Diligence. You can find all the tools on our website at /tools This includes tools for Economic Research, Bytecode deep dives as well as Due Diligence on Smart Contracts
1
0
6
Just 3 days left for our crowdfunding with Gitcoin. Every dollar donated is matched quadratically from a $200,000 pool. We have a goal of reaching 25 unique contributors, and we're missing 9, will you help?
5
2
14
We just published the Recon Extension Roadmap: A ton of new improvements are coming soon! And we're revealing our long term goal of autoclamping chimera handlers: https://t.co/678Pj4ZO6X Just 5 days left for the Gitcoin funding round, support us if you can!
0
0
5
2 years ago we set to make Invariant Testing the default Echidna was an extremely powerful tool with huge promise, hidden behind a layer of hurdles. Foundry was the clear winner for testing smart contracts. We chose to combine the two into the Chimera framework so you could
12
8
77