Introducing the Monastery for AI-native founders.
A single builder can now outperform a publicly traded company.
$2 million. 12 weeks. Do the impossible.
A $250,000 payout on HackenProof says a lot 💰
Could this be the highest payout yet for an AI Auditor? This massive critical was discovered by @therealgregoai.
Huge congrats from HackenProof 🎉
if you are looking at AI security to complement your existing security stack, consider the following before you let your traditional audit partners upsell you on an "AI audit":
most AI audits only give you a high level analysis, hence the low price point/quick turnaround
then they give you hundreds of false positives and hope something sticks or else charge you to manually triage through these by their own SRs
absolute waste of time
we are not competing in this area
we are competing against the top audit firms and security researchers to find the needle in the haystack
we designed our @therealgregoAI security engine to go as deep as possible and grind for hours and hours running through thousands of exploit scenarios while filtering out 95%+ of false positives (very difficult to do! IYKYK)
DM to enable the Grego AI Security Layer on your protocol and we will show you what everyone else missed
@philbugcatcher@0xKaden Well, in theory you could ZK-prove the multi-block MEV strategy profit without revealing it. Validator posts a bond on a slower chain, only released if they both executed the strategy AND paid the searcher. Only then does the searcher hand over the real recipe.
@philbugcatcher@0xKaden Not actually a "loan" though. The validator is the one executing. You just hand them the recipe and they make the profits. The real downside is the searcher has to reveal their full strategy upfront, nothing stops the validator from cutting them out entirely :p
We discovered a critical funds freezing vulnerability in @reserveprotocol protocol due to its integration with the @gnosis_ EasyAuction contract (deployed 5yrs ago)
Grego AI can easily include external dependencies within our audit scope that would typically be considered "out-of-scope" for human audits due to cost or time constraints
Secure Smarter with Grego AI
sharing one of our findings for @Uniswap V4
in total, we found 3 live bugs (2 in CCA and 1 in Core) with @therealgregoAI
all reported, confirmed, and fixed
humble shout out to the uniswap team as being great to work with